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: runsolver -s SIGUSR1 -M 1124 -C 30 -d 5 -w /tmp/misc2012/2012-09-02-16:34/paranoid/p2cudf-paranoid-1.15/paranoid/real/29180036-5408-11df-9f57-00163e7a6f5e.cudf.log.runsolver /home/competition/p2cudf-paranoid-1.15/p2cudf-paranoid-1.15 /home/competition/data/real/29180036-5408-11df-9f57-00163e7a6f5e.cudf /tmp/misc2012/2012-09-02-16:34/paranoid/p2cudf-paranoid-1.15/paranoid/real/29180036-5408-11df-9f57-00163e7a6f5e.cudf.result -count(removed),-count(changed) Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 30 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 60 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 [startup+0 s] /proc/loadavg: 1.28 1.04 0.58 2/60 2252 /proc/meminfo: memFree=568476/1022884 swapFree=0/0 [pid=2252] ppid=2251 vsize=3152 CPUtime=0 /proc/2252/stat : 2252 (runsolver) R 2251 1750 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 114902266 3227648 32 18446744073709551615 134512640 134586868 4290788176 4290786224 4151866416 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0 /proc/2252/statm: 788 32 0 19 0 73 0 Current StackSize limit: 8192 KiB [startup+0.13029 s] /proc/loadavg: 1.28 1.04 0.58 2/60 2252 /proc/meminfo: memFree=568476/1022884 swapFree=0/0 [pid=2252] ppid=2251 vsize=9172 CPUtime=0 /proc/2252/stat : 2252 (p2cudf-paranoid) S 2251 2252 1750 0 -1 4202496 459 291 0 0 0 0 0 0 20 0 1 0 114902266 9392128 331 18446744073709551615 4194304 5129932 140737406079360 140737406077504 140095454385246 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/2252/statm: 2293 331 280 229 0 53 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9172 [startup+0.200241 s] /proc/loadavg: 1.28 1.04 0.58 2/60 2252 /proc/meminfo: memFree=568476/1022884 swapFree=0/0 [pid=2252] ppid=2251 vsize=9172 CPUtime=0 /proc/2252/stat : 2252 (p2cudf-paranoid) S 2251 2252 1750 0 -1 4202496 459 291 0 0 0 0 0 0 20 0 1 0 114902266 9392128 331 18446744073709551615 4194304 5129932 140737406079360 140737406077504 140095454385246 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/2252/statm: 2293 331 280 229 0 53 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9172 [startup+0.300314 s] /proc/loadavg: 1.28 1.04 0.58 2/60 2252 /proc/meminfo: memFree=568476/1022884 swapFree=0/0 [pid=2252] ppid=2251 vsize=9172 CPUtime=0 /proc/2252/stat : 2252 (p2cudf-paranoid) S 2251 2252 1750 0 -1 4202496 459 291 0 0 0 0 0 0 20 0 1 0 114902266 9392128 331 18446744073709551615 4194304 5129932 140737406079360 140737406077504 140095454385246 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/2252/statm: 2293 331 280 229 0 53 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9172 [startup+0.701645 s] /proc/loadavg: 1.28 1.04 0.58 2/60 2252 /proc/meminfo: memFree=568476/1022884 swapFree=0/0 [pid=2252] ppid=2251 vsize=9172 CPUtime=0 /proc/2252/stat : 2252 (p2cudf-paranoid) S 2251 2252 1750 0 -1 4202496 459 291 0 0 0 0 0 0 20 0 1 0 114902266 9392128 331 18446744073709551615 4194304 5129932 140737406079360 140737406077504 140095454385246 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/2252/statm: 2293 331 280 229 0 53 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9172 [startup+1.50059 s] /proc/loadavg: 1.42 1.07 0.59 4/71 2264 /proc/meminfo: memFree=460996/1022884 swapFree=0/0 [pid=2252] ppid=2251 vsize=9172 CPUtime=0 /proc/2252/stat : 2252 (p2cudf-paranoid) S 2251 2252 1750 0 -1 4202496 459 291 0 0 0 0 0 0 20 0 1 0 114902266 9392128 331 18446744073709551615 4194304 5129932 140737406079360 140737406077504 140095454385246 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/2252/statm: 2293 331 280 229 0 53 0 [pid=2255] ppid=2252 vsize=1052708 CPUtime=1.45 /proc/2255/stat : 2255 (java) S 2252 2252 1750 0 -1 4202496 41840 0 0 0 131 14 0 0 20 0 10 0 114902267 1077972992 35829 18446744073709551615 4194304 4228012 140736990706832 140736990697856 140012880666229 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2255/statm: 263177 35829 2348 9 0 250527 0 [pid=2255/tid=2256] ppid=2252 vsize=1052708 CPUtime=0.6 /proc/2255/task/2256/stat : 2256 (java) R 2252 2252 1750 0 -1 4202560 22139 0 0 0 54 6 0 0 20 0 10 0 114902267 1077972992 35829 18446744073709551615 4194304 4228012 140736990706832 140012887192256 140012785110731 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 [pid=2255/tid=2257] ppid=2252 vsize=1052708 CPUtime=0 /proc/2255/task/2257/stat : 2257 (java) S 2252 2252 1750 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 10 0 114902269 1077972992 35829 18446744073709551615 4194304 4228012 140736990706832 140012779838592 140012880680523 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2258] ppid=2252 vsize=1052708 CPUtime=0 /proc/2255/task/2258/stat : 2258 (java) S 2252 2252 1750 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 114902270 1077972992 35829 18446744073709551615 4194304 4228012 140736990706832 140012778784784 140012880679636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2259] ppid=2252 vsize=1052708 CPUtime=0 /proc/2255/task/2259/stat : 2259 (java) S 2252 2252 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 114902270 1077972992 35829 18446744073709551615 4194304 4228012 140736990706832 140012777732000 140012880679636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2260] ppid=2252 vsize=1052708 CPUtime=0 /proc/2255/task/2260/stat : 2260 (java) S 2252 2252 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 114902272 1077972992 35829 18446744073709551615 4194304 4228012 140736990706832 140012776680432 140012880688160 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2261] ppid=2252 vsize=1052708 CPUtime=0.43 /proc/2255/task/2261/stat : 2261 (java) R 2252 2252 1750 0 -1 4202560 9552 0 0 0 39 4 0 0 20 0 10 0 114902272 1077972992 35829 18446744073709551615 4194304 4228012 140736990706832 140012775627536 140012867518720 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2262] ppid=2252 vsize=1052708 CPUtime=0.4 /proc/2255/task/2262/stat : 2262 (java) R 2252 2252 1750 0 -1 4202560 8858 0 0 0 37 3 0 0 20 0 10 0 114902272 1077972992 35829 18446744073709551615 4194304 4228012 140736990706832 140012774574864 140012866328881 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2263] ppid=2252 vsize=1052708 CPUtime=0 /proc/2255/task/2263/stat : 2263 (java) S 2252 2252 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 114902272 1077972992 35829 18446744073709551615 4194304 4228012 140736990706832 140012773522640 140012880679636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2264] ppid=2252 vsize=1052708 CPUtime=0 /proc/2255/task/2264/stat : 2264 (java) S 2252 2252 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 114902272 1077972992 35829 18446744073709551615 4194304 4228012 140736990706832 140012772470144 140012880680523 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 1061880 [startup+3.10057 s] /proc/loadavg: 1.42 1.07 0.59 2/71 2264 /proc/meminfo: memFree=289132/1022884 swapFree=0/0 [pid=2252] ppid=2251 vsize=9172 CPUtime=0 /proc/2252/stat : 2252 (p2cudf-paranoid) S 2251 2252 1750 0 -1 4202496 459 291 0 0 0 0 0 0 20 0 1 0 114902266 9392128 331 18446744073709551615 4194304 5129932 140737406079360 140737406077504 140095454385246 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/2252/statm: 2293 331 280 229 0 53 0 [pid=2255] ppid=2252 vsize=1053384 CPUtime=3.03 /proc/2255/stat : 2255 (java) S 2252 2252 1750 0 -1 4202496 90823 0 0 0 272 31 0 0 20 0 10 0 114902267 1078665216 84201 18446744073709551615 4194304 4228012 140736990706832 140736990697856 140012880666229 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2255/statm: 263346 84201 2371 9 0 250696 0 [pid=2255/tid=2256] ppid=2252 vsize=1053384 CPUtime=1.48 /proc/2255/task/2256/stat : 2256 (java) R 2252 2252 1750 0 -1 4202560 47471 0 0 0 135 13 0 0 20 0 10 0 114902267 1078665216 84201 18446744073709551615 4194304 4228012 140736990706832 140012887199552 140012784713401 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 [pid=2255/tid=2257] ppid=2252 vsize=1053384 CPUtime=0.36 /proc/2255/task/2257/stat : 2257 (java) S 2252 2252 1750 0 -1 4202560 22804 0 0 0 26 10 0 0 20 0 10 0 114902269 1078665216 84201 18446744073709551615 4194304 4228012 140736990706832 140012779838592 140012880680523 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2258] ppid=2252 vsize=1053384 CPUtime=0 /proc/2255/task/2258/stat : 2258 (java) S 2252 2252 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 114902270 1078665216 84201 18446744073709551615 4194304 4228012 140736990706832 140012778784784 140012880679636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2259] ppid=2252 vsize=1053384 CPUtime=0 /proc/2255/task/2259/stat : 2259 (java) S 2252 2252 1750 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 10 0 114902270 1078665216 84201 18446744073709551615 4194304 4228012 140736990706832 140012777732000 140012880679636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2260] ppid=2252 vsize=1053384 CPUtime=0 /proc/2255/task/2260/stat : 2260 (java) S 2252 2252 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 114902272 1078665216 84201 18446744073709551615 4194304 4228012 140736990706832 140012776680432 140012880688160 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2261] ppid=2252 vsize=1053384 CPUtime=0.6 /proc/2255/task/2261/stat : 2261 (java) R 2252 2252 1750 0 -1 4202560 10185 0 0 0 56 4 0 0 20 0 10 0 114902272 1078665216 84201 18446744073709551615 4194304 4228012 140736990706832 140012775613160 140012866814448 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2262] ppid=2252 vsize=1053384 CPUtime=0.57 /proc/2255/task/2262/stat : 2262 (java) R 2252 2252 1750 0 -1 4202560 9072 0 0 0 54 3 0 0 20 0 10 0 114902272 1078665216 84201 18446744073709551615 4194304 4228012 140736990706832 140012774560360 140012866304699 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2263] ppid=2252 vsize=1053384 CPUtime=0 /proc/2255/task/2263/stat : 2263 (java) S 2252 2252 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 114902272 1078665216 84201 18446744073709551615 4194304 4228012 140736990706832 140012773522640 140012880679636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2264] ppid=2252 vsize=1053384 CPUtime=0 /proc/2255/task/2264/stat : 2264 (java) S 2252 2252 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 114902272 1078665216 84201 18446744073709551615 4194304 4228012 140736990706832 140012772470144 140012880680523 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 1062556 [startup+6.30058 s] /proc/loadavg: 1.42 1.07 0.59 3/71 2264 /proc/meminfo: memFree=168108/1022884 swapFree=0/0 [pid=2252] ppid=2251 vsize=9172 CPUtime=0 /proc/2252/stat : 2252 (p2cudf-paranoid) S 2251 2252 1750 0 -1 4202496 459 291 0 0 0 0 0 0 20 0 1 0 114902266 9392128 331 18446744073709551615 4194304 5129932 140737406079360 140737406077504 140095454385246 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/2252/statm: 2293 331 280 229 0 53 0 [pid=2255] ppid=2252 vsize=1119948 CPUtime=6.19 /proc/2255/stat : 2255 (java) S 2252 2252 1750 0 -1 4202496 118440 0 0 0 581 38 0 0 20 0 11 0 114902267 1146826752 107295 18446744073709551615 4194304 4228012 140736990706832 140736990697856 140012880666229 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2255/statm: 279987 107295 2375 9 0 267337 0 [pid=2255/tid=2256] ppid=2252 vsize=1119948 CPUtime=2.41 /proc/2255/task/2256/stat : 2256 (java) R 2252 2252 1750 0 -1 4202560 47764 0 0 0 227 14 0 0 20 0 11 0 114902267 1146826752 107295 18446744073709551615 4194304 4228012 140736990706832 140012887200376 140012784713623 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 [pid=2255/tid=2257] ppid=2252 vsize=1119948 CPUtime=0.54 /proc/2255/task/2257/stat : 2257 (java) S 2252 2252 1750 0 -1 4202560 30979 0 0 0 42 12 0 0 20 0 11 0 114902269 1146826752 107295 18446744073709551615 4194304 4228012 140736990706832 140012779838592 140012880680523 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2258] ppid=2252 vsize=1119948 CPUtime=0 /proc/2255/task/2258/stat : 2258 (java) S 2252 2252 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 114902270 1146826752 107295 18446744073709551615 4194304 4228012 140736990706832 140012778784784 140012880679636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2259] ppid=2252 vsize=1119948 CPUtime=0 /proc/2255/task/2259/stat : 2259 (java) S 2252 2252 1750 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 11 0 114902270 1146826752 107295 18446744073709551615 4194304 4228012 140736990706832 140012777732000 140012880679636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2260] ppid=2252 vsize=1119948 CPUtime=0 /proc/2255/task/2260/stat : 2260 (java) S 2252 2252 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 114902272 1146826752 107295 18446744073709551615 4194304 4228012 140736990706832 140012776680432 140012880688160 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2261] ppid=2252 vsize=1119948 CPUtime=1.71 /proc/2255/task/2261/stat : 2261 (java) R 2252 2252 1750 0 -1 4202560 22162 0 0 0 164 7 0 0 20 0 11 0 114902272 1146826752 107295 18446744073709551615 4194304 4228012 140736990706832 140012775627536 140012864945383 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2262] ppid=2252 vsize=1119948 CPUtime=1.5 /proc/2255/task/2262/stat : 2262 (java) R 2252 2252 1750 0 -1 4202560 16238 0 0 0 146 4 0 0 20 0 11 0 114902272 1146826752 107295 18446744073709551615 4194304 4228012 140736990706832 140012774574864 140012862281544 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2263] ppid=2252 vsize=1119948 CPUtime=0 /proc/2255/task/2263/stat : 2263 (java) S 2252 2252 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 114902272 1146826752 107295 18446744073709551615 4194304 4228012 140736990706832 140012773522640 140012880679636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2264] ppid=2252 vsize=1119948 CPUtime=0 /proc/2255/task/2264/stat : 2264 (java) S 2252 2252 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 114902272 1146826752 107295 18446744073709551615 4194304 4228012 140736990706832 140012772470144 140012880680523 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 1129120 Solver just ended. Dumping a history of the last processes samples [startup+6.40074 s] /proc/loadavg: 1.42 1.07 0.59 3/71 2264 /proc/meminfo: memFree=168108/1022884 swapFree=0/0 [pid=2252] ppid=2251 vsize=9172 CPUtime=0 /proc/2252/stat : 2252 (p2cudf-paranoid) S 2251 2252 1750 0 -1 4202496 459 291 0 0 0 0 0 0 20 0 1 0 114902266 9392128 331 18446744073709551615 4194304 5129932 140737406079360 140737406077504 140095454385246 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/2252/statm: 2293 331 280 229 0 53 0 [pid=2255] ppid=2252 vsize=1119948 CPUtime=6.29 /proc/2255/stat : 2255 (java) S 2252 2252 1750 0 -1 4202496 118465 0 0 0 591 38 0 0 20 0 11 0 114902267 1146826752 107320 18446744073709551615 4194304 4228012 140736990706832 140736990697856 140012880666229 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2255/statm: 279987 107320 2376 9 0 267337 0 [pid=2255/tid=2256] ppid=2252 vsize=1119948 CPUtime=2.44 /proc/2255/task/2256/stat : 2256 (java) R 2252 2252 1750 0 -1 4202560 47788 0 0 0 230 14 0 0 20 0 11 0 114902267 1146826752 107320 18446744073709551615 4194304 4228012 140736990706832 140012887191456 140012784713572 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 [pid=2255/tid=2257] ppid=2252 vsize=1119948 CPUtime=0.54 /proc/2255/task/2257/stat : 2257 (java) S 2252 2252 1750 0 -1 4202560 30979 0 0 0 42 12 0 0 20 0 11 0 114902269 1146826752 107320 18446744073709551615 4194304 4228012 140736990706832 140012779838592 140012880680523 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2258] ppid=2252 vsize=1119948 CPUtime=0 /proc/2255/task/2258/stat : 2258 (java) S 2252 2252 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 114902270 1146826752 107320 18446744073709551615 4194304 4228012 140736990706832 140012778784784 140012880679636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2259] ppid=2252 vsize=1119948 CPUtime=0 /proc/2255/task/2259/stat : 2259 (java) S 2252 2252 1750 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 11 0 114902270 1146826752 107320 18446744073709551615 4194304 4228012 140736990706832 140012777732000 140012880679636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2260] ppid=2252 vsize=1119948 CPUtime=0 /proc/2255/task/2260/stat : 2260 (java) S 2252 2252 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 114902272 1146826752 107320 18446744073709551615 4194304 4228012 140736990706832 140012776680432 140012880688160 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2261] ppid=2252 vsize=1119948 CPUtime=1.75 /proc/2255/task/2261/stat : 2261 (java) R 2252 2252 1750 0 -1 4202560 22163 0 0 0 168 7 0 0 20 0 11 0 114902272 1146826752 107320 18446744073709551615 4194304 4228012 140736990706832 140012775627536 140012867365768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2262] ppid=2252 vsize=1119948 CPUtime=1.54 /proc/2255/task/2262/stat : 2262 (java) R 2252 2252 1750 0 -1 4202560 16238 0 0 0 150 4 0 0 20 0 11 0 114902272 1146826752 107320 18446744073709551615 4194304 4228012 140736990706832 140012774574864 140012864942698 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2263] ppid=2252 vsize=1119948 CPUtime=0 /proc/2255/task/2263/stat : 2263 (java) S 2252 2252 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 114902272 1146826752 107320 18446744073709551615 4194304 4228012 140736990706832 140012773522640 140012880679636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2264] ppid=2252 vsize=1119948 CPUtime=0 /proc/2255/task/2264/stat : 2264 (java) S 2252 2252 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 114902272 1146826752 107320 18446744073709551615 4194304 4228012 140736990706832 140012772470144 140012880680523 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1129120 [startup+6.80081 s] /proc/loadavg: 1.55 1.10 0.60 1/72 2266 /proc/meminfo: memFree=135612/1022884 swapFree=0/0 [pid=2252] ppid=2251 vsize=9172 CPUtime=0 /proc/2252/stat : 2252 (p2cudf-paranoid) S 2251 2252 1750 0 -1 4202496 459 291 0 0 0 0 0 0 20 0 1 0 114902266 9392128 331 18446744073709551615 4194304 5129932 140737406079360 140737406077504 140095454385246 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/2252/statm: 2293 331 280 229 0 53 0 [pid=2255] ppid=2252 vsize=1120976 CPUtime=6.47 /proc/2255/stat : 2255 (java) S 2252 2252 1750 0 -1 4202496 118502 0 0 0 608 39 0 0 20 0 11 0 114902267 1147879424 107355 18446744073709551615 4194304 4228012 140736990706832 140736990697856 140012880666229 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2255/statm: 280244 107355 2376 9 0 267594 0 [pid=2255/tid=2256] ppid=2252 vsize=1120976 CPUtime=2.49 /proc/2255/task/2256/stat : 2256 (java) S 2252 2252 1750 0 -1 4202560 47798 0 0 0 235 14 0 0 20 0 11 0 114902267 1147879424 107355 18446744073709551615 4194304 4228012 140736990706832 140012887200688 140012880679636 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 [pid=2255/tid=2257] ppid=2252 vsize=1120976 CPUtime=0.54 /proc/2255/task/2257/stat : 2257 (java) S 2252 2252 1750 0 -1 4202560 30979 0 0 0 42 12 0 0 20 0 11 0 114902269 1147879424 107355 18446744073709551615 4194304 4228012 140736990706832 140012779838592 140012880680523 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2258] ppid=2252 vsize=1120976 CPUtime=0 /proc/2255/task/2258/stat : 2258 (java) S 2252 2252 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 114902270 1147879424 107355 18446744073709551615 4194304 4228012 140736990706832 140012778784784 140012880679636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2259] ppid=2252 vsize=1120976 CPUtime=0 /proc/2255/task/2259/stat : 2259 (java) S 2252 2252 1750 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 11 0 114902270 1147879424 107355 18446744073709551615 4194304 4228012 140736990706832 140012777732000 140012880679636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2260] ppid=2252 vsize=1120976 CPUtime=0 /proc/2255/task/2260/stat : 2260 (java) S 2252 2252 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 114902272 1147879424 107355 18446744073709551615 4194304 4228012 140736990706832 140012776680432 140012880688160 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2261] ppid=2252 vsize=1120976 CPUtime=1.8 /proc/2255/task/2261/stat : 2261 (java) S 2252 2252 1750 0 -1 4202560 22176 0 0 0 173 7 0 0 20 0 11 0 114902272 1147879424 107355 18446744073709551615 4194304 4228012 140736990706832 140012775627792 140012880679636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2262] ppid=2252 vsize=1120976 CPUtime=1.6 /proc/2255/task/2262/stat : 2262 (java) S 2252 2252 1750 0 -1 4202560 16246 0 0 0 156 4 0 0 20 0 11 0 114902272 1147879424 107355 18446744073709551615 4194304 4228012 140736990706832 140012774575120 140012880679636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2263] ppid=2252 vsize=1120976 CPUtime=0 /proc/2255/task/2263/stat : 2263 (java) S 2252 2252 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 114902272 1147879424 107355 18446744073709551615 4194304 4228012 140736990706832 140012773522640 140012880679636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2264] ppid=2252 vsize=1120976 CPUtime=0 /proc/2255/task/2264/stat : 2264 (java) S 2252 2252 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 114902272 1147879424 107355 18446744073709551615 4194304 4228012 140736990706832 140012772470144 140012880680523 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2266] ppid=2252 vsize=1120976 CPUtime=0 /proc/2255/task/2266/stat : 2266 (java) S 2252 2252 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 114902920 1147879424 107355 18446744073709551615 4194304 4228012 140736990706832 140012770220208 140012880680523 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.47 Current children cumulated vsize (KiB) 1130148 [startup+7.20061 s] /proc/loadavg: 1.55 1.10 0.60 1/72 2266 /proc/meminfo: memFree=135612/1022884 swapFree=0/0 [pid=2252] ppid=2251 vsize=9172 CPUtime=0 /proc/2252/stat : 2252 (p2cudf-paranoid) S 2251 2252 1750 0 -1 4202496 459 291 0 0 0 0 0 0 20 0 1 0 114902266 9392128 331 18446744073709551615 4194304 5129932 140737406079360 140737406077504 140095454385246 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/2252/statm: 2293 331 280 229 0 53 0 [pid=2255] ppid=2252 vsize=1120976 CPUtime=6.62 /proc/2255/stat : 2255 (java) S 2252 2252 1750 0 -1 4202496 118513 0 0 0 620 42 0 0 20 0 11 0 114902267 1147879424 107366 18446744073709551615 4194304 4228012 140736990706832 140736990697856 140012880666229 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2255/statm: 280244 107366 2377 9 0 267594 0 [pid=2255/tid=2256] ppid=2252 vsize=1120976 CPUtime=2.49 /proc/2255/task/2256/stat : 2256 (java) S 2252 2252 1750 0 -1 4202560 47798 0 0 0 235 14 0 0 20 0 11 0 114902267 1147879424 107366 18446744073709551615 4194304 4228012 140736990706832 140012887200688 140012880679636 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 [pid=2255/tid=2257] ppid=2252 vsize=1120976 CPUtime=0.54 /proc/2255/task/2257/stat : 2257 (java) S 2252 2252 1750 0 -1 4202560 30979 0 0 0 42 12 0 0 20 0 11 0 114902269 1147879424 107366 18446744073709551615 4194304 4228012 140736990706832 140012779838592 140012880680523 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2258] ppid=2252 vsize=1120976 CPUtime=0 /proc/2255/task/2258/stat : 2258 (java) S 2252 2252 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 114902270 1147879424 107366 18446744073709551615 4194304 4228012 140736990706832 140012778784784 140012880679636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2259] ppid=2252 vsize=1120976 CPUtime=0 /proc/2255/task/2259/stat : 2259 (java) S 2252 2252 1750 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 11 0 114902270 1147879424 107366 18446744073709551615 4194304 4228012 140736990706832 140012777732000 140012880679636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2260] ppid=2252 vsize=1120976 CPUtime=0 /proc/2255/task/2260/stat : 2260 (java) S 2252 2252 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 114902272 1147879424 107366 18446744073709551615 4194304 4228012 140736990706832 140012776680432 140012880688160 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2261] ppid=2252 vsize=1120976 CPUtime=1.84 /proc/2255/task/2261/stat : 2261 (java) S 2252 2252 1750 0 -1 4202560 22179 0 0 0 177 7 0 0 20 0 11 0 114902272 1147879424 107366 18446744073709551615 4194304 4228012 140736990706832 140012775627792 140012880679636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2262] ppid=2252 vsize=1120976 CPUtime=1.62 /proc/2255/task/2262/stat : 2262 (java) R 2252 2252 1750 0 -1 4202560 16250 0 0 0 158 4 0 0 20 0 11 0 114902272 1147879424 107366 18446744073709551615 4194304 4228012 140736990706832 140012774574864 140012866332906 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2263] ppid=2252 vsize=1120976 CPUtime=0 /proc/2255/task/2263/stat : 2263 (java) S 2252 2252 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 114902272 1147879424 107366 18446744073709551615 4194304 4228012 140736990706832 140012773522640 140012880679636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2264] ppid=2252 vsize=1120976 CPUtime=0 /proc/2255/task/2264/stat : 2264 (java) S 2252 2252 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 114902272 1147879424 107366 18446744073709551615 4194304 4228012 140736990706832 140012772470144 140012880680523 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2255/tid=2266] ppid=2252 vsize=1120976 CPUtime=0.1 /proc/2255/task/2266/stat : 2266 (java) R 2252 2252 1750 0 -1 4202560 10 0 0 0 7 3 0 0 20 0 11 0 114902920 1147879424 107366 18446744073709551615 4194304 4228012 140736990706832 140012770218840 140012880690778 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.62 Current children cumulated vsize (KiB) 1130148 Child status: 0 Real time (s): 7.26411 CPU time (s): 6.69642 CPU user time (s): 6.25239 CPU system time (s): 0.444027 CPU usage (%): 92.185 Max. virtual memory (cumulated for all children) (KiB): 1130148 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.25239 system time used= 0.444027 maximum resident set size= 429508 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 119288 page faults= 0 swaps= 0 block input operations= 22872 block output operations= 232 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 562 involuntary context switches= 2111 runsolver used 0.012 second user time and 0.048003 second system time The end