runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051419/p2cudf-paranoid-1.6/randa45895.cudf.difficult.log.runsolver ./p2cudf-paranoid-1.6 /home/misc2010/data/2010/difficult//randa45895.cudf /home/misc2010/tmp/201007051419/p2cudf-paranoid-1.6/randa45895.cudf.difficult.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.17 1.06 1.01 1/94 22706 /proc/meminfo: memFree=1104816/2097152 swapFree=2055620/2097144 [pid=22706] ppid=22705 vsize=2376 CPUtime=0 /proc/22706/stat : 22706 (p2cudf-paranoid) S 22705 22706 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 418277501 2433024 258 1283457024 134512640 135191968 4286996688 18446744073709551615 4158724750 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22706/statm: 594 258 222 166 0 26 0 [pid=22707] ppid=22706 vsize=2376 CPUtime=0 /proc/22707/stat : 22707 (p2cudf) S 22706 22706 13759 34823 13904 4194304 337 0 0 0 0 0 0 0 19 0 1 0 418277501 2433024 260 1283457024 134512640 135191968 4289395536 18446744073709551615 4159786894 0 0 4 65536 18446744071564457842 0 0 17 1 0 0 0 /proc/22707/statm: 594 260 223 166 0 26 0 [pid=22708] ppid=22707 vsize=2376 CPUtime=0 /proc/22708/stat : 22708 (p2cudf) R 22707 22706 13759 34823 13904 4194368 87 0 0 0 0 0 0 0 20 0 1 0 418277502 2433024 109 1283457024 134512640 135191968 4289395536 18446744073709551615 4159627920 0 65538 0 65538 0 0 0 17 1 0 0 0 /proc/22708/statm: 594 112 74 166 0 26 0 [pid=22709] ppid=22708 vsize=2376 CPUtime=0 /proc/22709/stat : 22709 (p2cudf) S 22708 22706 13759 34823 13904 4194368 89 0 0 0 0 0 0 0 20 0 1 0 418277502 2433024 109 1283457024 134512640 135191968 4289395536 18446744073709551615 4159628570 0 2147483391 0 0 18446744071697298955 0 0 17 1 0 0 0 /proc/22709/statm: 594 109 71 166 0 26 0 [startup+0.160835 s] /proc/loadavg: 1.17 1.06 1.01 1/94 22706 /proc/meminfo: memFree=1104816/2097152 swapFree=2055620/2097144 [pid=22706] ppid=22705 vsize=2376 CPUtime=0 /proc/22706/stat : 22706 (p2cudf-paranoid) S 22705 22706 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 418277501 2433024 258 1283457024 134512640 135191968 4286996688 18446744073709551615 4158724750 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22706/statm: 594 258 222 166 0 26 0 [pid=22707] ppid=22706 vsize=2384 CPUtime=0.05 /proc/22707/stat : 22707 (p2cudf) S 22706 22706 13759 34823 13904 4202496 374 3251 0 0 0 0 4 1 20 0 1 0 418277501 2441216 270 1283457024 134512640 135191968 4289395536 18446744073709551615 4159625870 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22707/statm: 596 270 231 166 0 28 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4760 [startup+0.210796 s] /proc/loadavg: 1.17 1.06 1.01 1/94 22706 /proc/meminfo: memFree=1104816/2097152 swapFree=2055620/2097144 [pid=22706] ppid=22705 vsize=2376 CPUtime=0 /proc/22706/stat : 22706 (p2cudf-paranoid) S 22705 22706 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 418277501 2433024 258 1283457024 134512640 135191968 4286996688 18446744073709551615 4158724750 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22706/statm: 594 258 222 166 0 26 0 [pid=22707] ppid=22706 vsize=2384 CPUtime=0.05 /proc/22707/stat : 22707 (p2cudf) S 22706 22706 13759 34823 13904 4202496 374 3251 0 0 0 0 4 1 20 0 1 0 418277501 2441216 270 1283457024 134512640 135191968 4289395536 18446744073709551615 4159625870 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22707/statm: 596 270 231 166 0 28 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4760 [startup+0.306768 s] /proc/loadavg: 1.17 1.06 1.01 1/94 22706 /proc/meminfo: memFree=1104816/2097152 swapFree=2055620/2097144 [pid=22706] ppid=22705 vsize=2376 CPUtime=0 /proc/22706/stat : 22706 (p2cudf-paranoid) S 22705 22706 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 418277501 2433024 258 1283457024 134512640 135191968 4286996688 18446744073709551615 4158724750 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22706/statm: 594 258 222 166 0 26 0 [pid=22707] ppid=22706 vsize=2384 CPUtime=0.05 /proc/22707/stat : 22707 (p2cudf) S 22706 22706 13759 34823 13904 4202496 374 3251 0 0 0 0 4 1 20 0 1 0 418277501 2441216 270 1283457024 134512640 135191968 4289395536 18446744073709551615 4159625870 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22707/statm: 596 270 231 166 0 28 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4760 [startup+1.07565 s] /proc/loadavg: 1.17 1.06 1.01 1/94 22706 /proc/meminfo: memFree=1104816/2097152 swapFree=2055620/2097144 [pid=22706] ppid=22705 vsize=2376 CPUtime=0 /proc/22706/stat : 22706 (p2cudf-paranoid) S 22705 22706 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 418277501 2433024 258 1283457024 134512640 135191968 4286996688 18446744073709551615 4158724750 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22706/statm: 594 258 222 166 0 26 0 [pid=22707] ppid=22706 vsize=2384 CPUtime=0.05 /proc/22707/stat : 22707 (p2cudf) S 22706 22706 13759 34823 13904 4202496 374 3251 0 0 0 0 4 1 20 0 1 0 418277501 2441216 270 1283457024 134512640 135191968 4289395536 18446744073709551615 4159625870 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22707/statm: 596 270 231 166 0 28 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4760 [startup+1.51095 s] /proc/loadavg: 1.17 1.06 1.01 2/108 22734 /proc/meminfo: memFree=946612/2097152 swapFree=2055620/2097144 [pid=22706] ppid=22705 vsize=2376 CPUtime=0 /proc/22706/stat : 22706 (p2cudf-paranoid) S 22705 22706 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 418277501 2433024 258 1283457024 134512640 135191968 4286996688 18446744073709551615 4158724750 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22706/statm: 594 258 222 166 0 26 0 [pid=22707] ppid=22706 vsize=2384 CPUtime=0.05 /proc/22707/stat : 22707 (p2cudf) S 22706 22706 13759 34823 13904 4202496 374 3251 0 0 0 0 4 1 20 0 1 0 418277501 2441216 270 1283457024 134512640 135191968 4289395536 18446744073709551615 4159625870 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22707/statm: 596 270 231 166 0 28 0 [pid=22723] ppid=22707 vsize=872160 CPUtime=2.23 /proc/22723/stat : 22723 (java) S 22707 22706 13759 34823 13904 4202496 43157 0 0 0 211 12 0 0 18 0 12 0 418277509 893091840 41168 1283457024 134512640 134550932 4290149024 18446744073709551615 4160095378 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22723/statm: 218040 41168 1733 10 0 215125 0 [pid=22723/tid=22724] ppid=22707 vsize=872160 CPUtime=1.32 /proc/22723/task/22724/stat : 22724 (java) R 22707 22706 13759 34823 13904 4202560 36344 0 0 0 124 8 0 0 18 0 12 0 418277510 893091840 41168 1283457024 134512640 134550932 4290149024 18446744073709551615 4095639101 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22723/tid=22725] ppid=22707 vsize=872160 CPUtime=0 /proc/22723/task/22725/stat : 22725 (java) S 22707 22706 13759 34823 13904 4202560 3 0 0 0 0 0 0 0 20 0 12 0 418277511 893091840 41168 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22726] ppid=22707 vsize=872160 CPUtime=0 /proc/22723/task/22726/stat : 22726 (java) S 22707 22706 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 21 0 12 0 418277511 893091840 41168 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22727] ppid=22707 vsize=872160 CPUtime=0 /proc/22723/task/22727/stat : 22727 (java) S 22707 22706 13759 34823 13904 4202560 4 0 0 0 0 0 0 0 16 0 12 0 418277512 893091840 41168 1283457024 134512640 134550932 4290149024 18446744073709551615 4160109576 0 0 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22728] ppid=22707 vsize=872160 CPUtime=0 /proc/22723/task/22728/stat : 22728 (java) S 22707 22706 13759 34823 13904 4202560 9 0 0 0 0 0 0 0 23 0 12 0 418277513 893091840 41168 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22729] ppid=22707 vsize=872160 CPUtime=0 /proc/22723/task/22729/stat : 22729 (java) S 22707 22706 13759 34823 13904 4202560 4 0 0 0 0 0 0 0 24 0 12 0 418277513 893091840 41168 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22730] ppid=22707 vsize=872160 CPUtime=0 /proc/22723/task/22730/stat : 22730 (java) S 22707 22706 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 418277515 893091840 41168 1283457024 134512640 134550932 4290149024 18446744073709551615 4160117072 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22731] ppid=22707 vsize=872160 CPUtime=0.83 /proc/22723/task/22731/stat : 22731 (java) S 22707 22706 13759 34823 13904 4202560 5137 0 0 0 79 4 0 0 18 0 12 0 418277515 893091840 41168 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 1 0 0 0 [pid=22723/tid=22732] ppid=22707 vsize=872160 CPUtime=0.06 /proc/22723/task/22732/stat : 22732 (java) S 22707 22706 13759 34823 13904 4202560 580 0 0 0 6 0 0 0 17 0 12 0 418277515 893091840 41168 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 1 0 0 0 [pid=22723/tid=22733] ppid=22707 vsize=872160 CPUtime=0 /proc/22723/task/22733/stat : 22733 (java) S 22707 22706 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 418277515 893091840 41168 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22734] ppid=22707 vsize=872160 CPUtime=0 /proc/22723/task/22734/stat : 22734 (java) S 22707 22706 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 418277516 893091840 41168 1283457024 134512640 134550932 4290149024 18446744073709551615 4160109576 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.28 Current children cumulated vsize (KiB) 876920 [startup+3.11115 s] /proc/loadavg: 1.17 1.06 1.01 4/108 22734 /proc/meminfo: memFree=834888/2097152 swapFree=2055620/2097144 [pid=22706] ppid=22705 vsize=2376 CPUtime=0 /proc/22706/stat : 22706 (p2cudf-paranoid) S 22705 22706 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 418277501 2433024 258 1283457024 134512640 135191968 4286996688 18446744073709551615 4158724750 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22706/statm: 594 258 222 166 0 26 0 [pid=22707] ppid=22706 vsize=2384 CPUtime=0.05 /proc/22707/stat : 22707 (p2cudf) S 22706 22706 13759 34823 13904 4202496 374 3251 0 0 0 0 4 1 20 0 1 0 418277501 2441216 270 1283457024 134512640 135191968 4289395536 18446744073709551615 4159625870 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22707/statm: 596 270 231 166 0 28 0 [pid=22723] ppid=22707 vsize=883180 CPUtime=5.02 /proc/22723/stat : 22723 (java) S 22707 22706 13759 34823 13904 4202496 74197 0 0 0 476 26 0 0 18 0 12 0 418277509 904376320 69251 1283457024 134512640 134550932 4290149024 18446744073709551615 4160095378 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22723/statm: 220795 69251 1767 10 0 217880 0 [pid=22723/tid=22724] ppid=22707 vsize=883180 CPUtime=2.62 /proc/22723/task/22724/stat : 22724 (java) R 22707 22706 13759 34823 13904 4202560 47670 0 0 0 248 14 0 0 17 0 12 0 418277510 904376320 69251 1283457024 134512640 134550932 4290149024 18446744073709551615 4153035710 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22723/tid=22725] ppid=22707 vsize=883180 CPUtime=0.24 /proc/22723/task/22725/stat : 22725 (java) S 22707 22706 13759 34823 13904 4202560 9646 0 0 0 21 3 0 0 18 0 12 0 418277511 904376320 69251 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22726] ppid=22707 vsize=883180 CPUtime=0.19 /proc/22723/task/22726/stat : 22726 (java) S 22707 22706 13759 34823 13904 4202560 5573 0 0 0 19 0 0 0 18 0 12 0 418277511 904376320 69251 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 1 0 0 0 [pid=22723/tid=22727] ppid=22707 vsize=883180 CPUtime=0 /proc/22723/task/22727/stat : 22727 (java) S 22707 22706 13759 34823 13904 4202560 5 0 0 0 0 0 0 0 15 0 12 0 418277512 904376320 69251 1283457024 134512640 134550932 4290149024 18446744073709551615 4160109576 0 0 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22728] ppid=22707 vsize=883180 CPUtime=0 /proc/22723/task/22728/stat : 22728 (java) S 22707 22706 13759 34823 13904 4202560 10 0 0 0 0 0 0 0 18 0 12 0 418277513 904376320 69251 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 1 0 0 0 [pid=22723/tid=22729] ppid=22707 vsize=883180 CPUtime=0 /proc/22723/task/22729/stat : 22729 (java) S 22707 22706 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 418277513 904376320 69251 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 1 0 0 0 [pid=22723/tid=22730] ppid=22707 vsize=883180 CPUtime=0 /proc/22723/task/22730/stat : 22730 (java) S 22707 22706 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 418277515 904376320 69251 1283457024 134512640 134550932 4290149024 18446744073709551615 4160117072 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22731] ppid=22707 vsize=883180 CPUtime=1.36 /proc/22723/task/22731/stat : 22731 (java) R 22707 22706 13759 34823 13904 4202560 7814 0 0 0 130 6 0 0 16 0 12 0 418277515 904376320 69251 1283457024 134512640 134550932 4290149024 18446744073709551615 4148823184 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=22723/tid=22732] ppid=22707 vsize=883180 CPUtime=0.58 /proc/22723/task/22732/stat : 22732 (java) R 22707 22706 13759 34823 13904 4202560 2398 0 0 0 56 2 0 0 16 0 12 0 418277515 904376320 69251 1283457024 134512640 134550932 4290149024 18446744073709551615 4152643095 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=22723/tid=22733] ppid=22707 vsize=883180 CPUtime=0 /proc/22723/task/22733/stat : 22733 (java) S 22707 22706 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 418277515 904376320 69251 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22734] ppid=22707 vsize=883180 CPUtime=0 /proc/22723/task/22734/stat : 22734 (java) S 22707 22706 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 418277516 904376320 69251 1283457024 134512640 134550932 4290149024 18446744073709551615 4160109576 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.07 Current children cumulated vsize (KiB) 887940 Solver just ended. Dumping a history of the last processes samples [startup+3.61135 s] /proc/loadavg: 1.17 1.06 1.01 4/108 22734 /proc/meminfo: memFree=834888/2097152 swapFree=2055620/2097144 [pid=22706] ppid=22705 vsize=2376 CPUtime=0 /proc/22706/stat : 22706 (p2cudf-paranoid) S 22705 22706 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 418277501 2433024 258 1283457024 134512640 135191968 4286996688 18446744073709551615 4158724750 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22706/statm: 594 258 222 166 0 26 0 [pid=22707] ppid=22706 vsize=2384 CPUtime=0.05 /proc/22707/stat : 22707 (p2cudf) S 22706 22706 13759 34823 13904 4202496 374 3251 0 0 0 0 4 1 20 0 1 0 418277501 2441216 270 1283457024 134512640 135191968 4289395536 18446744073709551615 4159625870 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22707/statm: 596 270 231 166 0 28 0 [pid=22723] ppid=22707 vsize=883180 CPUtime=6.02 /proc/22723/stat : 22723 (java) S 22707 22706 13759 34823 13904 4202496 74256 0 0 0 576 26 0 0 18 0 12 0 418277509 904376320 69309 1283457024 134512640 134550932 4290149024 18446744073709551615 4160095378 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22723/statm: 220795 69309 1767 10 0 217880 0 [pid=22723/tid=22724] ppid=22707 vsize=883180 CPUtime=3.12 /proc/22723/task/22724/stat : 22724 (java) R 22707 22706 13759 34823 13904 4202560 47672 0 0 0 298 14 0 0 17 0 12 0 418277510 904376320 69309 1283457024 134512640 134550932 4290149024 18446744073709551615 4095322042 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22723/tid=22725] ppid=22707 vsize=883180 CPUtime=0.24 /proc/22723/task/22725/stat : 22725 (java) S 22707 22706 13759 34823 13904 4202560 9646 0 0 0 21 3 0 0 18 0 12 0 418277511 904376320 69309 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22726] ppid=22707 vsize=883180 CPUtime=0.19 /proc/22723/task/22726/stat : 22726 (java) S 22707 22706 13759 34823 13904 4202560 5573 0 0 0 19 0 0 0 18 0 12 0 418277511 904376320 69309 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 1 0 0 0 [pid=22723/tid=22727] ppid=22707 vsize=883180 CPUtime=0 /proc/22723/task/22727/stat : 22727 (java) S 22707 22706 13759 34823 13904 4202560 5 0 0 0 0 0 0 0 16 0 12 0 418277512 904376320 69309 1283457024 134512640 134550932 4290149024 18446744073709551615 4160109576 0 0 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22728] ppid=22707 vsize=883180 CPUtime=0 /proc/22723/task/22728/stat : 22728 (java) S 22707 22706 13759 34823 13904 4202560 10 0 0 0 0 0 0 0 18 0 12 0 418277513 904376320 69309 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 1 0 0 0 [pid=22723/tid=22729] ppid=22707 vsize=883180 CPUtime=0 /proc/22723/task/22729/stat : 22729 (java) S 22707 22706 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 418277513 904376320 69309 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 1 0 0 0 [pid=22723/tid=22730] ppid=22707 vsize=883180 CPUtime=0 /proc/22723/task/22730/stat : 22730 (java) S 22707 22706 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 418277515 904376320 69309 1283457024 134512640 134550932 4290149024 18446744073709551615 4160117072 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22731] ppid=22707 vsize=883180 CPUtime=1.59 /proc/22723/task/22731/stat : 22731 (java) R 22707 22706 13759 34823 13904 4202560 7844 0 0 0 153 6 0 0 16 0 12 0 418277515 904376320 69309 1283457024 134512640 134550932 4290149024 18446744073709551615 4149721646 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=22723/tid=22732] ppid=22707 vsize=883180 CPUtime=0.85 /proc/22723/task/22732/stat : 22732 (java) R 22707 22706 13759 34823 13904 4202560 2425 0 0 0 83 2 0 0 16 0 12 0 418277515 904376320 69309 1283457024 134512640 134550932 4290149024 18446744073709551615 4148805184 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=22723/tid=22733] ppid=22707 vsize=883180 CPUtime=0 /proc/22723/task/22733/stat : 22733 (java) S 22707 22706 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 418277515 904376320 69309 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22734] ppid=22707 vsize=883180 CPUtime=0 /proc/22723/task/22734/stat : 22734 (java) S 22707 22706 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 418277516 904376320 69309 1283457024 134512640 134550932 4290149024 18446744073709551615 4160109576 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.07 Current children cumulated vsize (KiB) 887940 [startup+4.40704 s] /proc/loadavg: 1.40 1.11 1.03 4/108 22734 /proc/meminfo: memFree=833896/2097152 swapFree=2055620/2097144 [pid=22706] ppid=22705 vsize=2376 CPUtime=0 /proc/22706/stat : 22706 (p2cudf-paranoid) S 22705 22706 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 418277501 2433024 258 1283457024 134512640 135191968 4286996688 18446744073709551615 4158724750 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22706/statm: 594 258 222 166 0 26 0 [pid=22707] ppid=22706 vsize=2384 CPUtime=0.05 /proc/22707/stat : 22707 (p2cudf) S 22706 22706 13759 34823 13904 4202496 374 3251 0 0 0 0 4 1 20 0 1 0 418277501 2441216 270 1283457024 134512640 135191968 4289395536 18446744073709551615 4159625870 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22707/statm: 596 270 231 166 0 28 0 [pid=22723] ppid=22707 vsize=883500 CPUtime=7.05 /proc/22723/stat : 22723 (java) S 22707 22706 13759 34823 13904 4202496 74349 0 0 0 679 26 0 0 18 0 13 0 418277509 904704000 69401 1283457024 134512640 134550932 4290149024 18446744073709551615 4160095378 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22723/statm: 220875 69401 1773 10 0 217960 0 [pid=22723/tid=22724] ppid=22707 vsize=883500 CPUtime=3.59 /proc/22723/task/22724/stat : 22724 (java) S 22707 22706 13759 34823 13904 4202560 47699 0 0 0 345 14 0 0 19 0 13 0 418277510 904704000 69401 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22725] ppid=22707 vsize=883500 CPUtime=0.24 /proc/22723/task/22725/stat : 22725 (java) S 22707 22706 13759 34823 13904 4202560 9646 0 0 0 21 3 0 0 18 0 13 0 418277511 904704000 69401 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22726] ppid=22707 vsize=883500 CPUtime=0.19 /proc/22723/task/22726/stat : 22726 (java) S 22707 22706 13759 34823 13904 4202560 5573 0 0 0 19 0 0 0 18 0 13 0 418277511 904704000 69401 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 1 0 0 0 [pid=22723/tid=22727] ppid=22707 vsize=883500 CPUtime=0 /proc/22723/task/22727/stat : 22727 (java) S 22707 22706 13759 34823 13904 4202560 5 0 0 0 0 0 0 0 15 0 13 0 418277512 904704000 69401 1283457024 134512640 134550932 4290149024 18446744073709551615 4160109576 0 0 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22728] ppid=22707 vsize=883500 CPUtime=0 /proc/22723/task/22728/stat : 22728 (java) S 22707 22706 13759 34823 13904 4202560 10 0 0 0 0 0 0 0 18 0 13 0 418277513 904704000 69401 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 1 0 0 0 [pid=22723/tid=22729] ppid=22707 vsize=883500 CPUtime=0 /proc/22723/task/22729/stat : 22729 (java) S 22707 22706 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 13 0 418277513 904704000 69401 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 1 0 0 0 [pid=22723/tid=22730] ppid=22707 vsize=883500 CPUtime=0 /proc/22723/task/22730/stat : 22730 (java) S 22707 22706 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 13 0 418277515 904704000 69401 1283457024 134512640 134550932 4290149024 18446744073709551615 4160117072 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22731] ppid=22707 vsize=883500 CPUtime=1.88 /proc/22723/task/22731/stat : 22731 (java) S 22707 22706 13759 34823 13904 4202560 7882 0 0 0 182 6 0 0 16 0 13 0 418277515 904704000 69401 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22732] ppid=22707 vsize=883500 CPUtime=1.11 /proc/22723/task/22732/stat : 22732 (java) S 22707 22706 13759 34823 13904 4202560 2449 0 0 0 109 2 0 0 16 0 13 0 418277515 904704000 69401 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 1 0 0 0 [pid=22723/tid=22733] ppid=22707 vsize=883500 CPUtime=0 /proc/22723/task/22733/stat : 22733 (java) S 22707 22706 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 13 0 418277515 904704000 69401 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22734] ppid=22707 vsize=883500 CPUtime=0 /proc/22723/task/22734/stat : 22734 (java) S 22707 22706 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 13 0 418277516 904704000 69401 1283457024 134512640 134550932 4290149024 18446744073709551615 4160109576 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.1 Current children cumulated vsize (KiB) 888260 [startup+4.60697 s] /proc/loadavg: 1.40 1.11 1.03 4/108 22734 /proc/meminfo: memFree=833896/2097152 swapFree=2055620/2097144 [pid=22706] ppid=22705 vsize=2376 CPUtime=0 /proc/22706/stat : 22706 (p2cudf-paranoid) S 22705 22706 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 418277501 2433024 258 1283457024 134512640 135191968 4286996688 18446744073709551615 4158724750 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22706/statm: 594 258 222 166 0 26 0 [pid=22707] ppid=22706 vsize=2384 CPUtime=0.05 /proc/22707/stat : 22707 (p2cudf) S 22706 22706 13759 34823 13904 4202496 374 3251 0 0 0 0 4 1 20 0 1 0 418277501 2441216 270 1283457024 134512640 135191968 4289395536 18446744073709551615 4159625870 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/22707/statm: 596 270 231 166 0 28 0 [pid=22723] ppid=22707 vsize=883500 CPUtime=7.05 /proc/22723/stat : 22723 (java) S 22707 22706 13759 34823 13904 4202496 74350 0 0 0 679 26 0 0 18 0 12 0 418277509 904704000 69402 1283457024 134512640 134550932 4290149024 18446744073709551615 4160095378 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22723/statm: 220875 69402 1774 10 0 217960 0 [pid=22723/tid=22724] ppid=22707 vsize=883500 CPUtime=3.59 /proc/22723/task/22724/stat : 22724 (java) S 22707 22706 13759 34823 13904 4202560 47699 0 0 0 345 14 0 0 15 0 12 0 418277510 904704000 69402 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22725] ppid=22707 vsize=883500 CPUtime=0.24 /proc/22723/task/22725/stat : 22725 (java) S 22707 22706 13759 34823 13904 4202560 9646 0 0 0 21 3 0 0 18 0 12 0 418277511 904704000 69402 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22726] ppid=22707 vsize=883500 CPUtime=0.19 /proc/22723/task/22726/stat : 22726 (java) S 22707 22706 13759 34823 13904 4202560 5573 0 0 0 19 0 0 0 18 0 12 0 418277511 904704000 69402 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 1 0 0 0 [pid=22723/tid=22727] ppid=22707 vsize=883500 CPUtime=0 /proc/22723/task/22727/stat : 22727 (java) S 22707 22706 13759 34823 13904 4202560 5 0 0 0 0 0 0 0 15 0 12 0 418277512 904704000 69402 1283457024 134512640 134550932 4290149024 18446744073709551615 4160109576 0 0 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22728] ppid=22707 vsize=883500 CPUtime=0 /proc/22723/task/22728/stat : 22728 (java) S 22707 22706 13759 34823 13904 4202560 10 0 0 0 0 0 0 0 18 0 12 0 418277513 904704000 69402 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 1 0 0 0 [pid=22723/tid=22729] ppid=22707 vsize=883500 CPUtime=0 /proc/22723/task/22729/stat : 22729 (java) S 22707 22706 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 418277513 904704000 69402 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 1 0 0 0 [pid=22723/tid=22730] ppid=22707 vsize=883500 CPUtime=0 /proc/22723/task/22730/stat : 22730 (java) S 22707 22706 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 418277515 904704000 69402 1283457024 134512640 134550932 4290149024 18446744073709551615 4160117072 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22731] ppid=22707 vsize=883500 CPUtime=1.88 /proc/22723/task/22731/stat : 22731 (java) S 22707 22706 13759 34823 13904 4202560 7882 0 0 0 182 6 0 0 16 0 12 0 418277515 904704000 69402 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22732] ppid=22707 vsize=883500 CPUtime=1.11 /proc/22723/task/22732/stat : 22732 (java) S 22707 22706 13759 34823 13904 4202560 2449 0 0 0 109 2 0 0 16 0 12 0 418277515 904704000 69402 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 1 0 0 0 [pid=22723/tid=22733] ppid=22707 vsize=883500 CPUtime=0 /proc/22723/task/22733/stat : 22733 (java) S 22707 22706 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 418277515 904704000 69402 1283457024 134512640 134550932 4290149024 18446744073709551615 4160108784 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 [pid=22723/tid=22734] ppid=22707 vsize=883500 CPUtime=0 /proc/22723/task/22734/stat : 22734 (java) S 22707 22706 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 418277516 904704000 69402 1283457024 134512640 134550932 4290149024 18446744073709551615 4160109576 0 4 0 16800975 18446612133546370304 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.1 Current children cumulated vsize (KiB) 888260 Child status: 0 Real time (s): 4.69237 CPU time (s): 7.18845 CPU user time (s): 6.83643 CPU system time (s): 0.352022 CPU usage (%): 153.194 Max. virtual memory (cumulated for all children) (KiB): 888596 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.83643 system time used= 0.352022 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78357 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 445 involuntary context switches= 272 runsolver used 0.004 second user time and 0.004 second system time The end