runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3322761-1304393918/watcher-3322761-1304393918 -o /tmp/evaluation-result-3322761-1304393918/solver-3322761-1304393918 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322761-1304393918.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 5.26 7.37 7.78 2/342 9329
/proc/meminfo: memFree=17832552/32951124 swapFree=67111448/67111528
[pid=9329] ppid=9327 vsize=22324 CPUtime=0 cores=0-7
/proc/9329/stat : 9329 (claspmt) R 9327 9329 9136 0 -1 4202496 959 0 0 0 0 0 0 0 25 0 1 0 531807905 22859776 790 33554432000 4194304 4964704 140734946270768 18446744073709551615 255106429637 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/9329/statm: 5581 791 386 189 0 455 0

[startup+0.022399 s]
/proc/loadavg: 5.26 7.37 7.78 2/342 9329
/proc/meminfo: memFree=17832552/32951124 swapFree=67111448/67111528
[pid=9329] ppid=9327 vsize=25064 CPUtime=0.01 cores=0-7
/proc/9329/stat : 9329 (claspmt) R 9327 9329 9136 0 -1 4202496 1951 0 0 0 1 0 0 0 25 0 1 0 531807905 25665536 1399 33554432000 4194304 4964704 140734946270768 18446744073709551615 255106429637 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/9329/statm: 6266 1401 386 189 0 1140 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25064

[startup+0.100383 s]
/proc/loadavg: 5.26 7.37 7.78 2/342 9329
/proc/meminfo: memFree=17832552/32951124 swapFree=67111448/67111528
[pid=9329] ppid=9327 vsize=28940 CPUtime=0.09 cores=0-7
/proc/9329/stat : 9329 (claspmt) R 9327 9329 9136 0 -1 4202496 3004 0 0 0 9 0 0 0 25 0 1 0 531807905 29634560 2442 33554432000 4194304 4964704 140734946270768 18446744073709551615 4607585 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/9329/statm: 7235 2442 399 189 0 2109 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28940

[startup+0.300349 s]
/proc/loadavg: 5.26 7.37 7.78 2/342 9329
/proc/meminfo: memFree=17832552/32951124 swapFree=67111448/67111528
[pid=9329] ppid=9327 vsize=28940 CPUtime=0.29 cores=0-7
/proc/9329/stat : 9329 (claspmt) R 9327 9329 9136 0 -1 4202496 3004 0 0 0 29 0 0 0 25 0 1 0 531807905 29634560 2442 33554432000 4194304 4964704 140734946270768 18446744073709551615 4607536 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/9329/statm: 7235 2442 399 189 0 2109 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28940

[startup+0.700239 s]
/proc/loadavg: 5.26 7.37 7.78 2/342 9329
/proc/meminfo: memFree=17832552/32951124 swapFree=67111448/67111528
[pid=9329] ppid=9327 vsize=388728 CPUtime=1.23 cores=0-7
/proc/9329/stat : 9329 (claspmt) R 9327 9329 9136 0 -1 4202496 5318 0 0 0 121 2 0 0 18 0 8 0 531807905 398057472 4478 33554432000 4194304 4964704 140734946270768 18446744073709551615 4654505 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9329/statm: 97182 4479 464 189 0 91531 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 388728

[startup+1.5011 s]
/proc/loadavg: 5.26 7.37 7.78 11/350 9337
/proc/meminfo: memFree=17802852/32951124 swapFree=67111448/67111528
[pid=9329] ppid=9327 vsize=392036 CPUtime=7.61 cores=0-7
/proc/9329/stat : 9329 (claspmt) R 9327 9329 9136 0 -1 4202496 12646 0 0 0 755 6 0 0 19 0 8 0 531807905 401444864 11806 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670243 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9329/statm: 98009 11806 464 189 0 92358 0
[pid=9329/tid=9331] ppid=9327 vsize=392036 CPUtime=0.87 cores=0-7
/proc/9329/task/9331/stat : 9331 (claspmt) R 9327 9329 9136 0 -1 4202560 1207 0 0 0 87 0 0 0 18 0 8 0 531807960 401444864 11806 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9329/tid=9332] ppid=9327 vsize=392036 CPUtime=0.84 cores=0-7
/proc/9329/task/9332/stat : 9332 (claspmt) R 9327 9329 9136 0 -1 4202560 1238 0 0 0 84 0 0 0 19 0 8 0 531807960 401444864 11806 33554432000 4194304 4964704 140734946270768 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9329/tid=9333] ppid=9327 vsize=392036 CPUtime=0.87 cores=0-7
/proc/9329/task/9333/stat : 9333 (claspmt) R 9327 9329 9136 0 -1 4202560 1142 0 0 0 87 0 0 0 18 0 8 0 531807960 401444864 11807 33554432000 4194304 4964704 140734946270768 18446744073709551615 4320872 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9329/tid=9334] ppid=9327 vsize=392036 CPUtime=0.87 cores=0-7
/proc/9329/task/9334/stat : 9334 (claspmt) R 9327 9329 9136 0 -1 4202560 1409 0 0 0 86 1 0 0 19 0 8 0 531807960 401444864 11807 33554432000 4194304 4964704 140734946270768 18446744073709551615 4320993 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9329/tid=9335] ppid=9327 vsize=392036 CPUtime=0.95 cores=0-7
/proc/9329/task/9335/stat : 9335 (claspmt) R 9327 9329 9136 0 -1 4202560 314 0 0 0 95 0 0 0 19 0 8 0 531807960 401444864 11808 33554432000 4194304 4964704 140734946270768 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9329/tid=9336] ppid=9327 vsize=392036 CPUtime=0.87 cores=0-7
/proc/9329/task/9336/stat : 9336 (claspmt) R 9327 9329 9136 0 -1 4202560 1458 0 0 0 87 0 0 0 18 0 8 0 531807960 401444864 11808 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9329/tid=9337] ppid=9327 vsize=392036 CPUtime=0.86 cores=0-7
/proc/9329/task/9337/stat : 9337 (claspmt) R 9327 9329 9136 0 -1 4202560 1492 0 0 0 86 0 0 0 19 0 8 0 531807960 401444864 11808 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.61
Current children cumulated vsize (KiB) 392036

[startup+3.10082 s]
/proc/loadavg: 5.26 7.37 7.78 9/350 9337
/proc/meminfo: memFree=17769496/32951124 swapFree=67111448/67111528
[pid=9329] ppid=9327 vsize=397792 CPUtime=20.39 cores=0-7
/proc/9329/stat : 9329 (claspmt) R 9327 9329 9136 0 -1 4202496 22440 0 0 0 2028 11 0 0 22 0 8 0 531807905 407339008 21600 33554432000 4194304 4964704 140734946270768 18446744073709551615 4669051 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9329/statm: 99448 21600 464 189 0 93797 0
[pid=9329/tid=9331] ppid=9327 vsize=397792 CPUtime=2.47 cores=0-7
/proc/9329/task/9331/stat : 9331 (claspmt) R 9327 9329 9136 0 -1 4202560 2288 0 0 0 246 1 0 0 21 0 8 0 531807960 407339008 21600 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9329/tid=9332] ppid=9327 vsize=397792 CPUtime=2.43 cores=0-7
/proc/9329/task/9332/stat : 9332 (claspmt) R 9327 9329 9136 0 -1 4202560 2248 0 0 0 242 1 0 0 22 0 8 0 531807960 407339008 21601 33554432000 4194304 4964704 140734946270768 18446744073709551615 4627259 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9329/tid=9333] ppid=9327 vsize=397792 CPUtime=2.47 cores=0-7
/proc/9329/task/9333/stat : 9333 (claspmt) R 9327 9329 9136 0 -1 4202560 2307 0 0 0 247 0 0 0 21 0 8 0 531807960 407339008 21601 33554432000 4194304 4964704 140734946270768 18446744073709551615 4627168 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9329/tid=9334] ppid=9327 vsize=397792 CPUtime=2.46 cores=0-7
/proc/9329/task/9334/stat : 9334 (claspmt) R 9327 9329 9136 0 -1 4202560 2738 0 0 0 245 1 0 0 22 0 8 0 531807960 407339008 21601 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9329/tid=9335] ppid=9327 vsize=397792 CPUtime=2.54 cores=0-7
/proc/9329/task/9335/stat : 9335 (claspmt) R 9327 9329 9136 0 -1 4202560 1914 0 0 0 254 0 0 0 22 0 8 0 531807960 407339008 21602 33554432000 4194304 4964704 140734946270768 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9329/tid=9336] ppid=9327 vsize=397792 CPUtime=2.47 cores=0-7
/proc/9329/task/9336/stat : 9336 (claspmt) R 9327 9329 9136 0 -1 4202560 2375 0 0 0 246 1 0 0 20 0 8 0 531807960 407339008 21602 33554432000 4194304 4964704 140734946270768 18446744073709551615 255106429637 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9329/tid=9337] ppid=9327 vsize=397792 CPUtime=2.47 cores=0-7
/proc/9329/task/9337/stat : 9337 (claspmt) R 9327 9329 9136 0 -1 4202560 3222 0 0 0 245 2 0 0 22 0 8 0 531807960 407339008 21602 33554432000 4194304 4964704 140734946270768 18446744073709551615 4627293 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 20.39
Current children cumulated vsize (KiB) 397792

[startup+6.30126 s]
/proc/loadavg: 5.48 7.38 7.78 9/350 9337
/proc/meminfo: memFree=17707868/32951124 swapFree=67111448/67111528
[pid=9329] ppid=9327 vsize=408536 CPUtime=45.95 cores=0-7
/proc/9329/stat : 9329 (claspmt) R 9327 9329 9136 0 -1 4202496 35420 0 0 0 4578 17 0 0 25 0 8 0 531807905 418340864 34580 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9329/statm: 102134 34581 466 189 0 96483 0
[pid=9329/tid=9331] ppid=9327 vsize=408536 CPUtime=5.67 cores=0-7
/proc/9329/task/9331/stat : 9331 (claspmt) R 9327 9329 9136 0 -1 4202560 4121 0 0 0 566 1 0 0 25 0 8 0 531807960 418340864 34581 33554432000 4194304 4964704 140734946270768 18446744073709551615 4321020 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9329/tid=9332] ppid=9327 vsize=408536 CPUtime=5.58 cores=0-7
/proc/9329/task/9332/stat : 9332 (claspmt) R 9327 9329 9136 0 -1 4202560 3758 0 0 0 557 1 0 0 25 0 8 0 531807960 418340864 34581 33554432000 4194304 4964704 140734946270768 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9329/tid=9333] ppid=9327 vsize=408536 CPUtime=5.66 cores=0-7
/proc/9329/task/9333/stat : 9333 (claspmt) R 9327 9329 9136 0 -1 4202560 3254 0 0 0 566 0 0 0 25 0 8 0 531807960 418340864 34581 33554432000 4194304 4964704 140734946270768 18446744073709551615 255106429985 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9329/tid=9334] ppid=9327 vsize=408536 CPUtime=5.67 cores=0-7
/proc/9329/task/9334/stat : 9334 (claspmt) R 9327 9329 9136 0 -1 4202560 4284 0 0 0 565 2 0 0 25 0 8 0 531807960 418340864 34581 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9329/tid=9335] ppid=9327 vsize=408536 CPUtime=5.74 cores=0-7
/proc/9329/task/9335/stat : 9335 (claspmt) R 9327 9329 9136 0 -1 4202560 3745 0 0 0 573 1 0 0 25 0 8 0 531807960 418340864 34581 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9329/tid=9336] ppid=9327 vsize=408536 CPUtime=5.67 cores=0-7
/proc/9329/task/9336/stat : 9336 (claspmt) R 9327 9329 9136 0 -1 4202560 3664 0 0 0 565 2 0 0 25 0 8 0 531807960 418340864 34581 33554432000 4194304 4964704 140734946270768 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9329/tid=9337] ppid=9327 vsize=408536 CPUtime=5.66 cores=0-7
/proc/9329/task/9337/stat : 9337 (claspmt) R 9327 9329 9136 0 -1 4202560 5801 0 0 0 563 3 0 0 25 0 8 0 531807960 418340864 34581 33554432000 4194304 4964704 140734946270768 18446744073709551615 255106429637 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 45.95
Current children cumulated vsize (KiB) 408536

[startup+12.7011 s]
/proc/loadavg: 5.68 7.39 7.78 9/350 9337
/proc/meminfo: memFree=17674672/32951124 swapFree=67111448/67111528
[pid=9329] ppid=9327 vsize=411544 CPUtime=97.06 cores=0-7
/proc/9329/stat : 9329 (claspmt) R 9327 9329 9136 0 -1 4202496 41153 0 0 0 9685 21 0 0 25 0 8 0 531807905 421421056 40313 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670462 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9329/statm: 102886 40313 466 189 0 97235 0
[pid=9329/tid=9331] ppid=9327 vsize=411544 CPUtime=12.07 cores=0-7
/proc/9329/task/9331/stat : 9331 (claspmt) R 9327 9329 9136 0 -1 4202560 4848 0 0 0 1205 2 0 0 25 0 8 0 531807960 421421056 40313 33554432000 4194304 4964704 140734946270768 18446744073709551615 4321020 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9329/tid=9332] ppid=9327 vsize=411544 CPUtime=11.92 cores=0-7
/proc/9329/task/9332/stat : 9332 (claspmt) R 9327 9329 9136 0 -1 4202560 4569 0 0 0 1190 2 0 0 25 0 8 0 531807960 421421056 40313 33554432000 4194304 4964704 140734946270768 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9329/tid=9333] ppid=9327 vsize=411544 CPUtime=12.07 cores=0-7
/proc/9329/task/9333/stat : 9333 (claspmt) R 9327 9329 9136 0 -1 4202560 3808 0 0 0 1206 1 0 0 25 0 8 0 531807960 421421056 40313 33554432000 4194304 4964704 140734946270768 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9329/tid=9334] ppid=9327 vsize=411544 CPUtime=12.06 cores=0-7
/proc/9329/task/9334/stat : 9334 (claspmt) R 9327 9329 9136 0 -1 4202560 4899 0 0 0 1204 2 0 0 25 0 8 0 531807960 421421056 40313 33554432000 4194304 4964704 140734946270768 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9329/tid=9335] ppid=9327 vsize=411544 CPUtime=12.14 cores=0-7
/proc/9329/task/9335/stat : 9335 (claspmt) R 9327 9329 9136 0 -1 4202560 4558 0 0 0 1212 2 0 0 25 0 8 0 531807960 421421056 40313 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670283 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9329/tid=9336] ppid=9327 vsize=411544 CPUtime=12.05 cores=0-7
/proc/9329/task/9336/stat : 9336 (claspmt) R 9327 9329 9136 0 -1 4202560 4131 0 0 0 1203 2 0 0 25 0 8 0 531807960 421421056 40313 33554432000 4194304 4964704 140734946270768 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9329/tid=9337] ppid=9327 vsize=411544 CPUtime=12.07 cores=0-7
/proc/9329/task/9337/stat : 9337 (claspmt) R 9327 9329 9136 0 -1 4202560 6758 0 0 0 1203 4 0 0 25 0 8 0 531807960 421421056 40313 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670032 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 97.06
Current children cumulated vsize (KiB) 411544

[startup+25.5009 s]
/proc/loadavg: 6.27 7.44 7.79 9/350 9338
/proc/meminfo: memFree=17620516/32951124 swapFree=67111448/67111528
[pid=9329] ppid=9327 vsize=416364 CPUtime=199.3 cores=0-7
/proc/9329/stat : 9329 (claspmt) R 9327 9329 9136 0 -1 4202496 55492 0 0 0 19898 32 0 0 25 0 8 0 531807905 426356736 54652 33554432000 4194304 4964704 140734946270768 18446744073709551615 4320849 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9329/statm: 104091 54652 466 189 0 98440 0
[pid=9329/tid=9331] ppid=9327 vsize=416364 CPUtime=24.87 cores=0-7
/proc/9329/task/9331/stat : 9331 (claspmt) R 9327 9329 9136 0 -1 4202560 5794 0 0 0 2484 3 0 0 25 0 8 0 531807960 426356736 54652 33554432000 4194304 4964704 140734946270768 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9329/tid=9332] ppid=9327 vsize=416364 CPUtime=24.58 cores=0-7
/proc/9329/task/9332/stat : 9332 (claspmt) R 9327 9329 9136 0 -1 4202560 6442 0 0 0 2455 3 0 0 25 0 8 0 531807960 426356736 54652 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9329/tid=9333] ppid=9327 vsize=416364 CPUtime=24.87 cores=0-7
/proc/9329/task/9333/stat : 9333 (claspmt) R 9327 9329 9136 0 -1 4202560 5640 0 0 0 2485 2 0 0 25 0 8 0 531807960 426356736 54652 33554432000 4194304 4964704 140734946270768 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9329/tid=9334] ppid=9327 vsize=416364 CPUtime=24.85 cores=0-7
/proc/9329/task/9334/stat : 9334 (claspmt) R 9327 9329 9136 0 -1 4202560 6927 0 0 0 2482 3 0 0 25 0 8 0 531807960 426356736 54652 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9329/tid=9335] ppid=9327 vsize=416364 CPUtime=24.94 cores=0-7
/proc/9329/task/9335/stat : 9335 (claspmt) R 9327 9329 9136 0 -1 4202560 5294 0 0 0 2492 2 0 0 25 0 8 0 531807960 426356736 54652 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9329/tid=9336] ppid=9327 vsize=416364 CPUtime=24.85 cores=0-7
/proc/9329/task/9336/stat : 9336 (claspmt) R 9327 9329 9136 0 -1 4202560 5620 0 0 0 2481 4 0 0 25 0 8 0 531807960 426356736 54652 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670431 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9329/tid=9337] ppid=9327 vsize=416364 CPUtime=24.86 cores=0-7
/proc/9329/task/9337/stat : 9337 (claspmt) R 9327 9329 9136 0 -1 4202560 9594 0 0 0 2481 5 0 0 25 0 8 0 531807960 426356736 54652 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 199.3
Current children cumulated vsize (KiB) 416364

Solver just ended. Dumping a history of the last processes samples

[startup+28.7013 s]
/proc/loadavg: 6.41 7.45 7.79 9/350 9338
/proc/meminfo: memFree=17614564/32951124 swapFree=67111448/67111528
[pid=9329] ppid=9327 vsize=417164 CPUtime=224.85 cores=0-7
/proc/9329/stat : 9329 (claspmt) R 9327 9329 9136 0 -1 4202496 56234 0 0 0 22453 32 0 0 25 0 8 0 531807905 427175936 55394 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670230 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9329/statm: 104291 55394 466 189 0 98640 0
[pid=9329/tid=9331] ppid=9327 vsize=417164 CPUtime=28.07 cores=0-7
/proc/9329/task/9331/stat : 9331 (claspmt) R 9327 9329 9136 0 -1 4202560 5798 0 0 0 2804 3 0 0 25 0 8 0 531807960 427175936 55394 33554432000 4194304 4964704 140734946270768 18446744073709551615 4320984 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9329/tid=9332] ppid=9327 vsize=417164 CPUtime=27.74 cores=0-7
/proc/9329/task/9332/stat : 9332 (claspmt) R 9327 9329 9136 0 -1 4202560 6841 0 0 0 2771 3 0 0 25 0 8 0 531807960 427175936 55394 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9329/tid=9333] ppid=9327 vsize=417164 CPUtime=28.07 cores=0-7
/proc/9329/task/9333/stat : 9333 (claspmt) R 9327 9329 9136 0 -1 4202560 5658 0 0 0 2805 2 0 0 25 0 8 0 531807960 427175936 55394 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9329/tid=9334] ppid=9327 vsize=417164 CPUtime=28.06 cores=0-7
/proc/9329/task/9334/stat : 9334 (claspmt) R 9327 9329 9136 0 -1 4202560 6985 0 0 0 2802 4 0 0 25 0 8 0 531807960 427175936 55394 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9329/tid=9335] ppid=9327 vsize=417164 CPUtime=28.14 cores=0-7
/proc/9329/task/9335/stat : 9335 (claspmt) R 9327 9329 9136 0 -1 4202560 5463 0 0 0 2812 2 0 0 25 0 8 0 531807960 427175936 55394 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9329/tid=9336] ppid=9327 vsize=417164 CPUtime=28.05 cores=0-7
/proc/9329/task/9336/stat : 9336 (claspmt) R 9327 9329 9136 0 -1 4202560 5625 0 0 0 2801 4 0 0 25 0 8 0 531807960 427175936 55394 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9329/tid=9337] ppid=9327 vsize=417164 CPUtime=28.06 cores=0-7
/proc/9329/task/9337/stat : 9337 (claspmt) R 9327 9329 9136 0 -1 4202560 9678 0 0 0 2801 5 0 0 25 0 8 0 531807960 427175936 55394 33554432000 4194304 4964704 140734946270768 18446744073709551615 4687006 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 224.85
Current children cumulated vsize (KiB) 417164

[startup+31.9128 s]
/proc/loadavg: 6.41 7.45 7.79 9/350 9338
/proc/meminfo: memFree=17612456/32951124 swapFree=67111448/67111528
[pid=9329] ppid=9327 vsize=417328 CPUtime=250.5 cores=0-7
/proc/9329/stat : 9329 (claspmt) R 9327 9329 9136 0 -1 4202496 56676 0 0 0 25018 32 0 0 25 0 8 0 531807905 427343872 55836 33554432000 4194304 4964704 140734946270768 18446744073709551615 4321054 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9329/statm: 104332 55836 466 189 0 98681 0
[pid=9329/tid=9331] ppid=9327 vsize=417328 CPUtime=31.28 cores=0-7
/proc/9329/task/9331/stat : 9331 (claspmt) R 9327 9329 9136 0 -1 4202560 5849 0 0 0 3125 3 0 0 25 0 8 0 531807960 427343872 55836 33554432000 4194304 4964704 140734946270768 18446744073709551615 4321069 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9329/tid=9332] ppid=9327 vsize=417328 CPUtime=30.91 cores=0-7
/proc/9329/task/9332/stat : 9332 (claspmt) R 9327 9329 9136 0 -1 4202560 7044 0 0 0 3088 3 0 0 25 0 8 0 531807960 427343872 55836 33554432000 4194304 4964704 140734946270768 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9329/tid=9333] ppid=9327 vsize=417328 CPUtime=31.28 cores=0-7
/proc/9329/task/9333/stat : 9333 (claspmt) R 9327 9329 9136 0 -1 4202560 5721 0 0 0 3126 2 0 0 25 0 8 0 531807960 427343872 55836 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9329/tid=9334] ppid=9327 vsize=417328 CPUtime=31.27 cores=0-7
/proc/9329/task/9334/stat : 9334 (claspmt) R 9327 9329 9136 0 -1 4202560 6987 0 0 0 3123 4 0 0 25 0 8 0 531807960 427343872 55836 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9329/tid=9335] ppid=9327 vsize=417328 CPUtime=31.35 cores=0-7
/proc/9329/task/9335/stat : 9335 (claspmt) R 9327 9329 9136 0 -1 4202560 5526 0 0 0 3133 2 0 0 25 0 8 0 531807960 427343872 55836 33554432000 4194304 4964704 140734946270768 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9329/tid=9336] ppid=9327 vsize=417328 CPUtime=31.26 cores=0-7
/proc/9329/task/9336/stat : 9336 (claspmt) R 9327 9329 9136 0 -1 4202560 5632 0 0 0 3122 4 0 0 25 0 8 0 531807960 427343872 55836 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9329/tid=9337] ppid=9327 vsize=417328 CPUtime=31.27 cores=0-7
/proc/9329/task/9337/stat : 9337 (claspmt) R 9327 9329 9136 0 -1 4202560 9730 0 0 0 3122 5 0 0 25 0 8 0 531807960 427343872 55836 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 250.5
Current children cumulated vsize (KiB) 417328

[startup+33.5005 s]
/proc/loadavg: 6.53 7.45 7.79 9/350 9338
/proc/meminfo: memFree=17608364/32951124 swapFree=67111448/67111528
[pid=9329] ppid=9327 vsize=420696 CPUtime=263.2 cores=0-7
/proc/9329/stat : 9329 (claspmt) R 9327 9329 9136 0 -1 4202496 58054 0 0 0 26287 33 0 0 25 0 8 0 531807905 430792704 57193 33554432000 4194304 4964704 140734946270768 18446744073709551615 4321054 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9329/statm: 105174 57193 466 189 0 99523 0
[pid=9329/tid=9331] ppid=9327 vsize=420696 CPUtime=32.86 cores=0-7
/proc/9329/task/9331/stat : 9331 (claspmt) R 9327 9329 9136 0 -1 4202560 6026 0 0 0 3283 3 0 0 25 0 8 0 531807960 430792704 57193 33554432000 4194304 4964704 140734946270768 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9329/tid=9332] ppid=9327 vsize=420696 CPUtime=32.49 cores=0-7
/proc/9329/task/9332/stat : 9332 (claspmt) R 9327 9329 9136 0 -1 4202560 7153 0 0 0 3246 3 0 0 25 0 8 0 531807960 430792704 57193 33554432000 4194304 4964704 140734946270768 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9329/tid=9333] ppid=9327 vsize=420696 CPUtime=32.87 cores=0-7
/proc/9329/task/9333/stat : 9333 (claspmt) R 9327 9329 9136 0 -1 4202560 5873 0 0 0 3285 2 0 0 25 0 8 0 531807960 430792704 57193 33554432000 4194304 4964704 140734946270768 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9329/tid=9334] ppid=9327 vsize=420696 CPUtime=32.86 cores=0-7
/proc/9329/task/9334/stat : 9334 (claspmt) R 9327 9329 9136 0 -1 4202560 7158 0 0 0 3282 4 0 0 25 0 8 0 531807960 430792704 57193 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9329/tid=9335] ppid=9327 vsize=420696 CPUtime=32.93 cores=0-7
/proc/9329/task/9335/stat : 9335 (claspmt) R 9327 9329 9136 0 -1 4202560 5721 0 0 0 3291 2 0 0 25 0 8 0 531807960 430792704 57193 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9329/tid=9336] ppid=9327 vsize=420696 CPUtime=32.85 cores=0-7
/proc/9329/task/9336/stat : 9336 (claspmt) R 9327 9329 9136 0 -1 4202560 5813 0 0 0 3281 4 0 0 25 0 8 0 531807960 430792704 57193 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9329/tid=9337] ppid=9327 vsize=420696 CPUtime=32.85 cores=0-7
/proc/9329/task/9337/stat : 9337 (claspmt) R 9327 9329 9136 0 -1 4202560 9882 0 0 0 3280 5 0 0 25 0 8 0 531807960 430792704 57193 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 263.2
Current children cumulated vsize (KiB) 420696

[startup+34.3003 s]
/proc/loadavg: 6.53 7.45 7.79 9/350 9338
/proc/meminfo: memFree=17605264/32951124 swapFree=67111448/67111528
[pid=9329] ppid=9327 vsize=421964 CPUtime=269.58 cores=0-7
/proc/9329/stat : 9329 (claspmt) R 9327 9329 9136 0 -1 4202496 58845 0 0 0 26925 33 0 0 25 0 8 0 531807905 432091136 57984 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9329/statm: 105491 57984 466 189 0 99840 0
[pid=9329/tid=9331] ppid=9327 vsize=421964 CPUtime=33.66 cores=0-7
/proc/9329/task/9331/stat : 9331 (claspmt) R 9327 9329 9136 0 -1 4202560 6193 0 0 0 3363 3 0 0 25 0 8 0 531807960 432091136 57984 33554432000 4194304 4964704 140734946270768 18446744073709551615 255106873887 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9329/tid=9332] ppid=9327 vsize=421964 CPUtime=33.28 cores=0-7
/proc/9329/task/9332/stat : 9332 (claspmt) R 9327 9329 9136 0 -1 4202560 7291 0 0 0 3325 3 0 0 25 0 8 0 531807960 432091136 57984 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9329/tid=9333] ppid=9327 vsize=421964 CPUtime=33.67 cores=0-7
/proc/9329/task/9333/stat : 9333 (claspmt) R 9327 9329 9136 0 -1 4202560 6040 0 0 0 3365 2 0 0 25 0 8 0 531807960 432091136 57984 33554432000 4194304 4964704 140734946270768 18446744073709551615 255106873887 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9329/tid=9334] ppid=9327 vsize=421964 CPUtime=33.65 cores=0-7
/proc/9329/task/9334/stat : 9334 (claspmt) R 9327 9329 9136 0 -1 4202560 7264 0 0 0 3361 4 0 0 25 0 8 0 531807960 432091136 57984 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9329/tid=9335] ppid=9327 vsize=421964 CPUtime=33.74 cores=0-7
/proc/9329/task/9335/stat : 9335 (claspmt) R 9327 9329 9136 0 -1 4202560 5801 0 0 0 3371 3 0 0 25 0 8 0 531807960 432091136 57984 33554432000 4194304 4964704 140734946270768 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9329/tid=9336] ppid=9327 vsize=421964 CPUtime=33.65 cores=0-7
/proc/9329/task/9336/stat : 9336 (claspmt) R 9327 9329 9136 0 -1 4202560 5854 0 0 0 3361 4 0 0 25 0 8 0 531807960 432091136 57984 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9329/tid=9337] ppid=9327 vsize=421964 CPUtime=33.65 cores=0-7
/proc/9329/task/9337/stat : 9337 (claspmt) R 9327 9329 9136 0 -1 4202560 9885 0 0 0 3360 5 0 0 25 0 8 0 531807960 432091136 57984 33554432000 4194304 4964704 140734946270768 18446744073709551615 4365682 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 269.58
Current children cumulated vsize (KiB) 421964

[startup+34.7013 s]
/proc/loadavg: 6.53 7.45 7.79 9/350 9338
/proc/meminfo: memFree=17605264/32951124 swapFree=67111448/67111528
[pid=9329] ppid=9327 vsize=421964 CPUtime=272.78 cores=0-7
/proc/9329/stat : 9329 (claspmt) S 9327 9329 9136 0 -1 4202496 58877 0 0 0 27245 33 0 0 25 0 7 0 531807905 432091136 58015 33554432000 4194304 4964704 140734946270768 18446744073709551615 255118571493 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9329/statm: 105491 58015 468 189 0 99840 0
[pid=9329/tid=9332] ppid=9327 vsize=421964 CPUtime=33.68 cores=0-7
/proc/9329/task/9332/stat : 9332 (claspmt) R 9327 9329 9136 0 -1 4202560 7293 0 0 0 3365 3 0 0 25 0 7 0 531807960 432091136 58015 33554432000 4194304 4964704 140734946270768 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9329/tid=9333] ppid=9327 vsize=421964 CPUtime=34.07 cores=0-7
/proc/9329/task/9333/stat : 9333 (claspmt) R 9327 9329 9136 0 -1 4202560 6041 0 0 0 3405 2 0 0 25 0 7 0 531807960 432091136 58015 33554432000 4194304 4964704 140734946270768 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9329/tid=9334] ppid=9327 vsize=421964 CPUtime=34.05 cores=0-7
/proc/9329/task/9334/stat : 9334 (claspmt) R 9327 9329 9136 0 -1 4202560 7270 0 0 0 3401 4 0 0 25 0 7 0 531807960 432091136 58015 33554432000 4194304 4964704 140734946270768 18446744073709551615 4313764 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9329/tid=9335] ppid=9327 vsize=421964 CPUtime=34.14 cores=0-7
/proc/9329/task/9335/stat : 9335 (claspmt) R 9327 9329 9136 0 -1 4202560 5801 0 0 0 3411 3 0 0 25 0 7 0 531807960 432091136 58015 33554432000 4194304 4964704 140734946270768 18446744073709551615 4313804 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9329/tid=9336] ppid=9327 vsize=421964 CPUtime=34.05 cores=0-7
/proc/9329/task/9336/stat : 9336 (claspmt) R 9327 9329 9136 0 -1 4202560 5856 0 0 0 3401 4 0 0 25 0 7 0 531807960 432091136 58015 33554432000 4194304 4964704 140734946270768 18446744073709551615 4313792 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9329/tid=9337] ppid=9327 vsize=421964 CPUtime=34.05 cores=0-7
/proc/9329/task/9337/stat : 9337 (claspmt) R 9327 9329 9136 0 -1 4202560 9897 0 0 0 3400 5 0 0 25 0 7 0 531807960 432091136 58015 33554432000 4194304 4964704 140734946270768 18446744073709551615 4313753 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 272.78
Current children cumulated vsize (KiB) 421964

[startup+34.8013 s]
/proc/loadavg: 6.53 7.45 7.79 9/350 9338
/proc/meminfo: memFree=17605264/32951124 swapFree=67111448/67111528
[pid=9329] ppid=9327 vsize=419372 CPUtime=272.97 cores=0-7
/proc/9329/stat : 9329 (claspmt) R 9327 9329 9136 0 -1 4202496 58885 0 0 0 27264 33 0 0 25 0 1 0 531807905 429436928 52069 33554432000 4194304 4964704 140734946270768 18446744073709551615 255106812263 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9329/statm: 104843 51802 476 189 0 99192 0
Current children cumulated CPU time (s) 272.97
Current children cumulated vsize (KiB) 419372

Child status: 10
Real time (s): 34.8139
CPU time (s): 272.995
CPU user time (s): 272.645
CPU system time (s): 0.349946
CPU usage (%): 784.153
Max. virtual memory (cumulated for all children) (KiB): 421964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 272.645
system time used= 0.349946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58886
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= 5224
involuntary context switches= 1206

runsolver used 0.106983 second user time and 0.276957 second system time

The end