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-3299583-1304100743/watcher-3299583-1304100743 -o /tmp/evaluation-result-3299583-1304100743/solver-3299583-1304100743 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299583-1304100743.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.18 7.90 7.83 2/176 1308
/proc/meminfo: memFree=22152556/32950928 swapFree=67111524/67111528
[pid=1308] ppid=1304 vsize=21012 CPUtime=0 cores=1,3,5,7
/proc/1308/stat : 1308 (claspmt) R 1304 1308 384 0 -1 4202496 541 0 0 0 0 0 0 0 23 0 1 0 521673131 21516288 469 33554432000 4194304 4964704 140736946594240 18446744073709551615 268272688896 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1308/statm: 5253 470 385 189 0 127 0
[startup+0.012537 s]
/proc/loadavg: 7.18 7.90 7.83 2/176 1308
/proc/meminfo: memFree=22152556/32950928 swapFree=67111524/67111528
[pid=1308] ppid=1304 vsize=168224 CPUtime=0.01 cores=1,3,5,7
/proc/1308/stat : 1308 (claspmt) R 1304 1308 384 0 -1 4202496 840 0 0 0 1 0 0 0 24 0 4 0 521673131 172261376 760 33554432000 4194304 4964704 140736946594240 18446744073709551615 4370236 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/1308/statm: 42056 761 454 189 0 36405 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 168224
[startup+0.100521 s]
/proc/loadavg: 7.18 7.90 7.83 2/176 1308
/proc/meminfo: memFree=22152556/32950928 swapFree=67111524/67111528
[pid=1308] ppid=1304 vsize=168356 CPUtime=0.36 cores=1,3,5,7
/proc/1308/stat : 1308 (claspmt) R 1304 1308 384 0 -1 4202496 1063 0 0 0 36 0 0 0 25 0 4 0 521673131 172396544 983 33554432000 4194304 4964704 140736946594240 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/1308/statm: 42089 983 458 189 0 36438 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 168356
[startup+0.300486 s]
/proc/loadavg: 7.18 7.90 7.83 2/176 1308
/proc/meminfo: memFree=22152556/32950928 swapFree=67111524/67111528
[pid=1308] ppid=1304 vsize=234312 CPUtime=1.16 cores=1,3,5,7
/proc/1308/stat : 1308 (claspmt) R 1304 1308 384 0 -1 4202496 1353 0 0 0 116 0 0 0 25 0 4 0 521673131 239935488 1273 33554432000 4194304 4964704 140736946594240 18446744073709551615 4670590 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/1308/statm: 58578 1273 458 189 0 52927 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 234312
[startup+0.700415 s]
/proc/loadavg: 7.18 7.90 7.83 2/176 1308
/proc/meminfo: memFree=22152556/32950928 swapFree=67111524/67111528
[pid=1308] ppid=1304 vsize=234836 CPUtime=2.76 cores=1,3,5,7
/proc/1308/stat : 1308 (claspmt) R 1304 1308 384 0 -1 4202496 1810 0 0 0 276 0 0 0 25 0 4 0 521673131 240472064 1730 33554432000 4194304 4964704 140736946594240 18446744073709551615 4362287 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/1308/statm: 58709 1730 458 189 0 53058 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 234836
[startup+1.50027 s]
/proc/loadavg: 7.18 7.90 7.83 9/184 1346
/proc/meminfo: memFree=22145088/32950928 swapFree=67111524/67111528
[pid=1308] ppid=1304 vsize=235368 CPUtime=5.95 cores=1,3,5,7
/proc/1308/stat : 1308 (claspmt) R 1304 1308 384 0 -1 4202496 2313 0 0 0 595 0 0 0 25 0 4 0 521673131 241016832 2233 33554432000 4194304 4964704 140736946594240 18446744073709551615 4320934 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/1308/statm: 58842 2233 458 189 0 53191 0
[pid=1308/tid=1314] ppid=1304 vsize=235368 CPUtime=1.49 cores=1,3,5,7
/proc/1308/task/1314/stat : 1314 (claspmt) R 1304 1308 384 0 -1 4202560 517 0 0 0 149 0 0 0 25 0 4 0 521673132 241016832 2233 33554432000 4194304 4964704 140736946594240 18446744073709551615 4342180 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1308/tid=1315] ppid=1304 vsize=235368 CPUtime=1.48 cores=1,3,5,7
/proc/1308/task/1315/stat : 1315 (claspmt) R 1304 1308 384 0 -1 4202560 606 0 0 0 148 0 0 0 25 0 4 0 521673132 241016832 2233 33554432000 4194304 4964704 140736946594240 18446744073709551615 4321122 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1308/tid=1316] ppid=1304 vsize=235368 CPUtime=1.49 cores=1,3,5,7
/proc/1308/task/1316/stat : 1316 (claspmt) R 1304 1308 384 0 -1 4202560 211 0 0 0 149 0 0 0 25 0 4 0 521673132 241016832 2233 33554432000 4194304 4964704 140736946594240 18446744073709551615 4312185 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 235368
[startup+3.10099 s]
/proc/loadavg: 7.18 7.90 7.83 6/178 1367
/proc/meminfo: memFree=22136084/32950928 swapFree=67111524/67111528
[pid=1308] ppid=1304 vsize=235636 CPUtime=12.35 cores=1,3,5,7
/proc/1308/stat : 1308 (claspmt) R 1304 1308 384 0 -1 4202496 2719 0 0 0 1235 0 0 0 25 0 4 0 521673131 241291264 2639 33554432000 4194304 4964704 140736946594240 18446744073709551615 4669429 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/1308/statm: 58909 2639 458 189 0 53258 0
[pid=1308/tid=1314] ppid=1304 vsize=235636 CPUtime=3.09 cores=1,3,5,7
/proc/1308/task/1314/stat : 1314 (claspmt) R 1304 1308 384 0 -1 4202560 624 0 0 0 309 0 0 0 25 0 4 0 521673132 241291264 2639 33554432000 4194304 4964704 140736946594240 18446744073709551615 4669296 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1308/tid=1315] ppid=1304 vsize=235636 CPUtime=3.07 cores=1,3,5,7
/proc/1308/task/1315/stat : 1315 (claspmt) R 1304 1308 384 0 -1 4202560 834 0 0 0 307 0 0 0 25 0 4 0 521673132 241291264 2639 33554432000 4194304 4964704 140736946594240 18446744073709551615 4669119 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1308/tid=1316] ppid=1304 vsize=235636 CPUtime=3.09 cores=1,3,5,7
/proc/1308/task/1316/stat : 1316 (claspmt) R 1304 1308 384 0 -1 4202560 244 0 0 0 309 0 0 0 25 0 4 0 521673132 241291264 2639 33554432000 4194304 4964704 140736946594240 18446744073709551615 4668635 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 235636
[startup+6.30042 s]
/proc/loadavg: 7.01 7.85 7.81 6/181 1373
/proc/meminfo: memFree=22087448/32950928 swapFree=67111524/67111528
[pid=1308] ppid=1304 vsize=236188 CPUtime=25.14 cores=1,3,5,7
/proc/1308/stat : 1308 (claspmt) R 1304 1308 384 0 -1 4202496 3152 0 0 0 2513 1 0 0 25 0 4 0 521673131 241856512 3072 33554432000 4194304 4964704 140736946594240 18446744073709551615 4670181 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/1308/statm: 59047 3072 458 189 0 53396 0
[pid=1308/tid=1314] ppid=1304 vsize=236188 CPUtime=6.28 cores=1,3,5,7
/proc/1308/task/1314/stat : 1314 (claspmt) R 1304 1308 384 0 -1 4202560 806 0 0 0 628 0 0 0 25 0 4 0 521673132 241856512 3072 33554432000 4194304 4964704 140736946594240 18446744073709551615 4321076 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1308/tid=1315] ppid=1304 vsize=236188 CPUtime=6.26 cores=1,3,5,7
/proc/1308/task/1315/stat : 1315 (claspmt) R 1304 1308 384 0 -1 4202560 1015 0 0 0 626 0 0 0 25 0 4 0 521673132 241856512 3072 33554432000 4194304 4964704 140736946594240 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1308/tid=1316] ppid=1304 vsize=236188 CPUtime=6.29 cores=1,3,5,7
/proc/1308/task/1316/stat : 1316 (claspmt) R 1304 1308 384 0 -1 4202560 288 0 0 0 629 0 0 0 25 0 4 0 521673132 241856512 3072 33554432000 4194304 4964704 140736946594240 18446744073709551615 4363473 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 236188
[startup+12.7003 s]
/proc/loadavg: 7.09 7.85 7.81 9/184 1376
/proc/meminfo: memFree=22007856/32950928 swapFree=67111524/67111528
[pid=1308] ppid=1304 vsize=236840 CPUtime=50.7 cores=1,3,5,7
/proc/1308/stat : 1308 (claspmt) R 1304 1308 384 0 -1 4202496 3680 0 0 0 5069 1 0 0 25 0 4 0 521673131 242524160 3600 33554432000 4194304 4964704 140736946594240 18446744073709551615 4658370 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/1308/statm: 59210 3600 458 189 0 53559 0
[pid=1308/tid=1314] ppid=1304 vsize=236840 CPUtime=12.68 cores=1,3,5,7
/proc/1308/task/1314/stat : 1314 (claspmt) R 1304 1308 384 0 -1 4202560 1008 0 0 0 1268 0 0 0 25 0 4 0 521673132 242524160 3600 33554432000 4194304 4964704 140736946594240 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1308/tid=1315] ppid=1304 vsize=236840 CPUtime=12.63 cores=1,3,5,7
/proc/1308/task/1315/stat : 1315 (claspmt) R 1304 1308 384 0 -1 4202560 1282 0 0 0 1263 0 0 0 25 0 4 0 521673132 242524160 3600 33554432000 4194304 4964704 140736946594240 18446744073709551615 4669337 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1308/tid=1316] ppid=1304 vsize=236840 CPUtime=12.68 cores=1,3,5,7
/proc/1308/task/1316/stat : 1316 (claspmt) R 1304 1308 384 0 -1 4202560 322 0 0 0 1268 0 0 0 25 0 4 0 521673132 242524160 3600 33554432000 4194304 4964704 140736946594240 18446744073709551615 4669462 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 236840
[startup+25.501 s]
/proc/loadavg: 7.29 7.86 7.81 9/184 1406
/proc/meminfo: memFree=22110732/32950928 swapFree=67111524/67111528
[pid=1308] ppid=1304 vsize=237520 CPUtime=101.84 cores=1,3,5,7
/proc/1308/stat : 1308 (claspmt) R 1304 1308 384 0 -1 4202496 4356 0 0 0 10182 2 0 0 25 0 4 0 521673131 243220480 4276 33554432000 4194304 4964704 140736946594240 18446744073709551615 4321020 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/1308/statm: 59380 4276 458 189 0 53729 0
[pid=1308/tid=1314] ppid=1304 vsize=237520 CPUtime=25.48 cores=1,3,5,7
/proc/1308/task/1314/stat : 1314 (claspmt) R 1304 1308 384 0 -1 4202560 1223 0 0 0 2548 0 0 0 25 0 4 0 521673132 243220480 4276 33554432000 4194304 4964704 140736946594240 18446744073709551615 4670260 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1308/tid=1315] ppid=1304 vsize=237520 CPUtime=25.36 cores=1,3,5,7
/proc/1308/task/1315/stat : 1315 (claspmt) R 1304 1308 384 0 -1 4202560 1660 0 0 0 2536 0 0 0 25 0 4 0 521673132 243220480 4276 33554432000 4194304 4964704 140736946594240 18446744073709551615 4658314 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1308/tid=1316] ppid=1304 vsize=237520 CPUtime=25.48 cores=1,3,5,7
/proc/1308/task/1316/stat : 1316 (claspmt) R 1304 1308 384 0 -1 4202560 371 0 0 0 2548 0 0 0 25 0 4 0 521673132 243220480 4276 33554432000 4194304 4964704 140736946594240 18446744073709551615 4668609 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 237520
[startup+51.1004 s]
/proc/loadavg: 7.60 7.89 7.82 10/184 1407
/proc/meminfo: memFree=22039792/32950928 swapFree=67111524/67111528
[pid=1308] ppid=1304 vsize=238284 CPUtime=204.12 cores=1,3,5,7
/proc/1308/stat : 1308 (claspmt) R 1304 1308 384 0 -1 4202496 5163 0 0 0 20409 3 0 0 25 0 4 0 521673131 244002816 5080 33554432000 4194304 4964704 140736946594240 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/1308/statm: 59571 5080 458 189 0 53920 0
[pid=1308/tid=1314] ppid=1304 vsize=238284 CPUtime=51.08 cores=1,3,5,7
/proc/1308/task/1314/stat : 1314 (claspmt) R 1304 1308 384 0 -1 4202560 1579 0 0 0 5108 0 0 0 25 0 4 0 521673132 244002816 5080 33554432000 4194304 4964704 140736946594240 18446744073709551615 4660856 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1308/tid=1315] ppid=1304 vsize=238284 CPUtime=50.85 cores=1,3,5,7
/proc/1308/task/1315/stat : 1315 (claspmt) R 1304 1308 384 0 -1 4202560 1963 0 0 0 5085 0 0 0 25 0 4 0 521673132 244002816 5080 33554432000 4194304 4964704 140736946594240 18446744073709551615 4332000 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1308/tid=1316] ppid=1304 vsize=238284 CPUtime=51.08 cores=1,3,5,7
/proc/1308/task/1316/stat : 1316 (claspmt) R 1304 1308 384 0 -1 4202560 447 0 0 0 5108 0 0 0 25 0 4 0 521673132 244002816 5080 33554432000 4194304 4964704 140736946594240 18446744073709551615 4670255 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 238284
[startup+102.306 s]
/proc/loadavg: 7.91 7.92 7.83 9/184 1408
/proc/meminfo: memFree=22000208/32950928 swapFree=67111524/67111528
[pid=1308] ppid=1304 vsize=239084 CPUtime=408.72 cores=1,3,5,7
/proc/1308/stat : 1308 (claspmt) R 1304 1308 384 0 -1 4202496 6033 0 0 0 40867 5 0 0 25 0 4 0 521673131 244822016 5950 33554432000 4194304 4964704 140736946594240 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/1308/statm: 59771 5950 458 189 0 54120 0
[pid=1308/tid=1314] ppid=1304 vsize=239084 CPUtime=102.28 cores=1,3,5,7
/proc/1308/task/1314/stat : 1314 (claspmt) R 1304 1308 384 0 -1 4202560 1976 0 0 0 10228 0 0 0 25 0 4 0 521673132 244822016 5950 33554432000 4194304 4964704 140736946594240 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1308/tid=1315] ppid=1304 vsize=239084 CPUtime=101.82 cores=1,3,5,7
/proc/1308/task/1315/stat : 1315 (claspmt) R 1304 1308 384 0 -1 4202560 2199 0 0 0 10181 1 0 0 25 0 4 0 521673132 244822016 5950 33554432000 4194304 4964704 140736946594240 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1308/tid=1316] ppid=1304 vsize=239084 CPUtime=102.29 cores=1,3,5,7
/proc/1308/task/1316/stat : 1316 (claspmt) R 1304 1308 384 0 -1 4202560 553 0 0 0 10228 1 0 0 25 0 4 0 521673132 244822016 5950 33554432000 4194304 4964704 140736946594240 18446744073709551615 268272356308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.72
Current children cumulated vsize (KiB) 239084
Solver just ended. Dumping a history of the last processes samples
[startup+127.901 s]
/proc/loadavg: 8.00 7.94 7.84 10/184 1409
/proc/meminfo: memFree=21980240/32950928 swapFree=67111524/67111528
[pid=1308] ppid=1304 vsize=239240 CPUtime=510.99 cores=1,3,5,7
/proc/1308/stat : 1308 (claspmt) R 1304 1308 384 0 -1 4202496 6322 0 0 0 51094 5 0 0 25 0 4 0 521673131 244981760 6239 33554432000 4194304 4964704 140736946594240 18446744073709551615 4670248 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/1308/statm: 59810 6239 458 189 0 54159 0
[pid=1308/tid=1314] ppid=1304 vsize=239240 CPUtime=127.88 cores=1,3,5,7
/proc/1308/task/1314/stat : 1314 (claspmt) R 1304 1308 384 0 -1 4202560 1984 0 0 0 12788 0 0 0 25 0 4 0 521673132 244981760 6239 33554432000 4194304 4964704 140736946594240 18446744073709551615 4647546 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1308/tid=1315] ppid=1304 vsize=239240 CPUtime=127.3 cores=1,3,5,7
/proc/1308/task/1315/stat : 1315 (claspmt) R 1304 1308 384 0 -1 4202560 2367 0 0 0 12729 1 0 0 25 0 4 0 521673132 244981760 6239 33554432000 4194304 4964704 140736946594240 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1308/tid=1316] ppid=1304 vsize=239240 CPUtime=127.89 cores=1,3,5,7
/proc/1308/task/1316/stat : 1316 (claspmt) R 1304 1308 384 0 -1 4202560 592 0 0 0 12788 1 0 0 25 0 4 0 521673132 244981760 6239 33554432000 4194304 4964704 140736946594240 18446744073709551615 4321010 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 510.99
Current children cumulated vsize (KiB) 239240
[startup+140.701 s]
/proc/loadavg: 8.00 7.94 7.84 9/184 1409
/proc/meminfo: memFree=21975400/32950928 swapFree=67111524/67111528
[pid=1308] ppid=1304 vsize=239544 CPUtime=562.14 cores=1,3,5,7
/proc/1308/stat : 1308 (claspmt) R 1304 1308 384 0 -1 4202496 6438 0 0 0 56209 5 0 0 25 0 4 0 521673131 245293056 6355 33554432000 4194304 4964704 140736946594240 18446744073709551615 4669349 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/1308/statm: 59886 6355 458 189 0 54235 0
[pid=1308/tid=1314] ppid=1304 vsize=239544 CPUtime=140.68 cores=1,3,5,7
/proc/1308/task/1314/stat : 1314 (claspmt) R 1304 1308 384 0 -1 4202560 2003 0 0 0 14068 0 0 0 25 0 4 0 521673132 245293056 6355 33554432000 4194304 4964704 140736946594240 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1308/tid=1315] ppid=1304 vsize=239544 CPUtime=140.05 cores=1,3,5,7
/proc/1308/task/1315/stat : 1315 (claspmt) R 1304 1308 384 0 -1 4202560 2401 0 0 0 14004 1 0 0 25 0 4 0 521673132 245293056 6355 33554432000 4194304 4964704 140736946594240 18446744073709551615 4660156 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1308/tid=1316] ppid=1304 vsize=239544 CPUtime=140.69 cores=1,3,5,7
/proc/1308/task/1316/stat : 1316 (claspmt) R 1304 1308 384 0 -1 4202560 647 0 0 0 14068 1 0 0 25 0 4 0 521673132 245293056 6355 33554432000 4194304 4964704 140736946594240 18446744073709551615 4669326 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 562.14
Current children cumulated vsize (KiB) 239544
[startup+153.5 s]
/proc/loadavg: 8.08 7.96 7.85 9/184 1410
/proc/meminfo: memFree=21973660/32950928 swapFree=67111524/67111528
[pid=1308] ppid=1304 vsize=239696 CPUtime=613.27 cores=1,3,5,7
/proc/1308/stat : 1308 (claspmt) R 1304 1308 384 0 -1 4202496 6503 0 0 0 61322 5 0 0 25 0 4 0 521673131 245448704 6420 33554432000 4194304 4964704 140736946594240 18446744073709551615 4669391 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/1308/statm: 59924 6420 458 189 0 54273 0
[pid=1308/tid=1314] ppid=1304 vsize=239696 CPUtime=153.48 cores=1,3,5,7
/proc/1308/task/1314/stat : 1314 (claspmt) R 1304 1308 384 0 -1 4202560 2006 0 0 0 15348 0 0 0 25 0 4 0 521673132 245448704 6420 33554432000 4194304 4964704 140736946594240 18446744073709551615 4681964 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1308/tid=1315] ppid=1304 vsize=239696 CPUtime=152.79 cores=1,3,5,7
/proc/1308/task/1315/stat : 1315 (claspmt) R 1304 1308 384 0 -1 4202560 2418 0 0 0 15278 1 0 0 25 0 4 0 521673132 245448704 6420 33554432000 4194304 4964704 140736946594240 18446744073709551615 4321020 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1308/tid=1316] ppid=1304 vsize=239696 CPUtime=153.49 cores=1,3,5,7
/proc/1308/task/1316/stat : 1316 (claspmt) R 1304 1308 384 0 -1 4202560 682 0 0 0 15348 1 0 0 25 0 4 0 521673132 245448704 6420 33554432000 4194304 4964704 140736946594240 18446744073709551615 4653165 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 613.27
Current children cumulated vsize (KiB) 239696
[startup+156.701 s]
/proc/loadavg: 8.08 7.96 7.85 9/184 1410
/proc/meminfo: memFree=21973412/32950928 swapFree=67111524/67111528
[pid=1308] ppid=1304 vsize=239696 CPUtime=626.06 cores=1,3,5,7
/proc/1308/stat : 1308 (claspmt) R 1304 1308 384 0 -1 4202496 6516 0 0 0 62601 5 0 0 25 0 4 0 521673131 245448704 6433 33554432000 4194304 4964704 140736946594240 18446744073709551615 4670258 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/1308/statm: 59924 6433 458 189 0 54273 0
[pid=1308/tid=1314] ppid=1304 vsize=239696 CPUtime=156.68 cores=1,3,5,7
/proc/1308/task/1314/stat : 1314 (claspmt) R 1304 1308 384 0 -1 4202560 2008 0 0 0 15668 0 0 0 25 0 4 0 521673132 245448704 6433 33554432000 4194304 4964704 140736946594240 18446744073709551615 4321099 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1308/tid=1315] ppid=1304 vsize=239696 CPUtime=155.97 cores=1,3,5,7
/proc/1308/task/1315/stat : 1315 (claspmt) R 1304 1308 384 0 -1 4202560 2418 0 0 0 15596 1 0 0 25 0 4 0 521673132 245448704 6433 33554432000 4194304 4964704 140736946594240 18446744073709551615 4668609 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1308/tid=1316] ppid=1304 vsize=239696 CPUtime=156.69 cores=1,3,5,7
/proc/1308/task/1316/stat : 1316 (claspmt) R 1304 1308 384 0 -1 4202560 693 0 0 0 15668 1 0 0 25 0 4 0 521673132 245448704 6433 33554432000 4194304 4964704 140736946594240 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 626.06
Current children cumulated vsize (KiB) 239696
[startup+158.3 s]
/proc/loadavg: 8.07 7.96 7.85 9/184 1410
/proc/meminfo: memFree=21972668/32950928 swapFree=67111524/67111528
[pid=1308] ppid=1304 vsize=239696 CPUtime=632.46 cores=1,3,5,7
/proc/1308/stat : 1308 (claspmt) R 1304 1308 384 0 -1 4202496 6524 0 0 0 63241 5 0 0 25 0 4 0 521673131 245448704 6441 33554432000 4194304 4964704 140736946594240 18446744073709551615 4670450 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/1308/statm: 59924 6441 458 189 0 54273 0
[pid=1308/tid=1314] ppid=1304 vsize=239696 CPUtime=158.28 cores=1,3,5,7
/proc/1308/task/1314/stat : 1314 (claspmt) R 1304 1308 384 0 -1 4202560 2008 0 0 0 15828 0 0 0 25 0 4 0 521673132 245448704 6441 33554432000 4194304 4964704 140736946594240 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1308/tid=1315] ppid=1304 vsize=239696 CPUtime=157.57 cores=1,3,5,7
/proc/1308/task/1315/stat : 1315 (claspmt) R 1304 1308 384 0 -1 4202560 2418 0 0 0 15756 1 0 0 25 0 4 0 521673132 245448704 6441 33554432000 4194304 4964704 140736946594240 18446744073709551615 4669416 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1308/tid=1316] ppid=1304 vsize=239696 CPUtime=158.29 cores=1,3,5,7
/proc/1308/task/1316/stat : 1316 (claspmt) R 1304 1308 384 0 -1 4202560 693 0 0 0 15828 1 0 0 25 0 4 0 521673132 245448704 6441 33554432000 4194304 4964704 140736946594240 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 632.46
Current children cumulated vsize (KiB) 239696
[startup+159.1 s]
/proc/loadavg: 8.07 7.96 7.85 9/184 1410
/proc/meminfo: memFree=21972668/32950928 swapFree=67111524/67111528
[pid=1308] ppid=1304 vsize=239696 CPUtime=635.65 cores=1,3,5,7
/proc/1308/stat : 1308 (claspmt) R 1304 1308 384 0 -1 4202496 6524 0 0 0 63560 5 0 0 25 0 4 0 521673131 245448704 6441 33554432000 4194304 4964704 140736946594240 18446744073709551615 4669214 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/1308/statm: 59924 6441 458 189 0 54273 0
[pid=1308/tid=1314] ppid=1304 vsize=239696 CPUtime=159.08 cores=1,3,5,7
/proc/1308/task/1314/stat : 1314 (claspmt) R 1304 1308 384 0 -1 4202560 2008 0 0 0 15908 0 0 0 25 0 4 0 521673132 245448704 6441 33554432000 4194304 4964704 140736946594240 18446744073709551615 4644864 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1308/tid=1315] ppid=1304 vsize=239696 CPUtime=158.36 cores=1,3,5,7
/proc/1308/task/1315/stat : 1315 (claspmt) R 1304 1308 384 0 -1 4202560 2418 0 0 0 15835 1 0 0 25 0 4 0 521673132 245448704 6441 33554432000 4194304 4964704 140736946594240 18446744073709551615 4669296 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1308/tid=1316] ppid=1304 vsize=239696 CPUtime=159.09 cores=1,3,5,7
/proc/1308/task/1316/stat : 1316 (claspmt) R 1304 1308 384 0 -1 4202560 693 0 0 0 15908 1 0 0 25 0 4 0 521673132 245448704 6441 33554432000 4194304 4964704 140736946594240 18446744073709551615 4670281 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 635.65
Current children cumulated vsize (KiB) 239696
[startup+159.506 s]
/proc/loadavg: 8.07 7.96 7.85 9/184 1410
/proc/meminfo: memFree=21971056/32950928 swapFree=67111524/67111528
[pid=1308] ppid=1304 vsize=239696 CPUtime=637.27 cores=1,3,5,7
/proc/1308/stat : 1308 (claspmt) R 1304 1308 384 0 -1 4202496 6524 0 0 0 63722 5 0 0 25 0 4 0 521673131 245448704 6441 33554432000 4194304 4964704 140736946594240 18446744073709551615 4668609 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/1308/statm: 59924 6441 458 189 0 54273 0
[pid=1308/tid=1314] ppid=1304 vsize=239696 CPUtime=159.48 cores=1,3,5,7
/proc/1308/task/1314/stat : 1314 (claspmt) R 1304 1308 384 0 -1 4202560 2008 0 0 0 15948 0 0 0 25 0 4 0 521673132 245448704 6441 33554432000 4194304 4964704 140736946594240 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1308/tid=1315] ppid=1304 vsize=239696 CPUtime=158.76 cores=1,3,5,7
/proc/1308/task/1315/stat : 1315 (claspmt) R 1304 1308 384 0 -1 4202560 2418 0 0 0 15875 1 0 0 25 0 4 0 521673132 245448704 6441 33554432000 4194304 4964704 140736946594240 18446744073709551615 4668946 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1308/tid=1316] ppid=1304 vsize=239696 CPUtime=159.49 cores=1,3,5,7
/proc/1308/task/1316/stat : 1316 (claspmt) R 1304 1308 384 0 -1 4202560 693 0 0 0 15948 1 0 0 25 0 4 0 521673132 245448704 6441 33554432000 4194304 4964704 140736946594240 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 637.27
Current children cumulated vsize (KiB) 239696
[startup+159.701 s]
/proc/loadavg: 8.07 7.96 7.85 9/184 1410
/proc/meminfo: memFree=21971056/32950928 swapFree=67111524/67111528
[pid=1308] ppid=1304 vsize=239696 CPUtime=638.05 cores=1,3,5,7
/proc/1308/stat : 1308 (claspmt) R 1304 1308 384 0 -1 4202496 6524 0 0 0 63800 5 0 0 25 0 4 0 521673131 245448704 6441 33554432000 4194304 4964704 140736946594240 18446744073709551615 4670266 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/1308/statm: 59924 6441 458 189 0 54273 0
[pid=1308/tid=1314] ppid=1304 vsize=239696 CPUtime=159.68 cores=1,3,5,7
/proc/1308/task/1314/stat : 1314 (claspmt) R 1304 1308 384 0 -1 4202560 2008 0 0 0 15968 0 0 0 25 0 4 0 521673132 245448704 6441 33554432000 4194304 4964704 140736946594240 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1308/tid=1315] ppid=1304 vsize=239696 CPUtime=158.96 cores=1,3,5,7
/proc/1308/task/1315/stat : 1315 (claspmt) R 1304 1308 384 0 -1 4202560 2418 0 0 0 15895 1 0 0 25 0 4 0 521673132 245448704 6441 33554432000 4194304 4964704 140736946594240 18446744073709551615 4670260 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1308/tid=1316] ppid=1304 vsize=239696 CPUtime=159.69 cores=1,3,5,7
/proc/1308/task/1316/stat : 1316 (claspmt) R 1304 1308 384 0 -1 4202560 693 0 0 0 15968 1 0 0 25 0 4 0 521673132 245448704 6441 33554432000 4194304 4964704 140736946594240 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 638.05
Current children cumulated vsize (KiB) 239696
Child status: 20
Real time (s): 159.758
CPU time (s): 638.271
CPU user time (s): 638.214
CPU system time (s): 0.056991
CPU usage (%): 399.522
Max. virtual memory (cumulated for all children) (KiB): 239696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 638.214
system time used= 0.056991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6536
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= 3444
involuntary context switches= 2618
runsolver used 0.19697 second user time and 0.534918 second system time
The end