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-3172535-1304060080/watcher-3172535-1304060080 -o /tmp/evaluation-result-3172535-1304060080/solver-3172535-1304060080 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172535-1304060080.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: 6.53 7.75 7.95 2/173 22521
/proc/meminfo: memFree=13856300/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=26228 CPUtime=0 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 1531 0 0 0 0 0 0 0 25 0 1 0 517608954 26857472 1404 33554432000 4194304 4797429 140734116149712 18446744073709551615 4365507 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/22520/statm: 6557 1410 341 148 0 1486 0
[startup+0.0719531 s]
/proc/loadavg: 6.53 7.75 7.95 2/173 22521
/proc/meminfo: memFree=13856300/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=622216 CPUtime=0.12 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 5565 0 0 0 12 0 0 0 25 0 4 0 517608954 637149184 4521 33554432000 4194304 4797429 140734116149712 18446744073709551615 4241148 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 155554 4521 379 148 0 150483 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 622216
[startup+0.108598 s]
/proc/loadavg: 6.53 7.75 7.95 2/173 22521
/proc/meminfo: memFree=13856300/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=753864 CPUtime=0.25 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) D 22518 22520 22486 0 -1 4202496 6584 0 0 0 22 3 0 0 18 0 4 0 517608954 771956736 5539 33554432000 4194304 4797429 140734116149712 18446744073709551615 4527834 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 188466 5539 395 148 0 183395 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 753864
[startup+0.300913 s]
/proc/loadavg: 6.53 7.75 7.95 2/173 22521
/proc/meminfo: memFree=13856300/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=754936 CPUtime=1.02 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 7940 0 0 0 99 3 0 0 18 0 4 0 517608954 773054464 6674 33554432000 4194304 4797429 140734116149712 18446744073709551615 270612807358 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 188734 6674 409 148 0 183663 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 754936
[startup+0.700843 s]
/proc/loadavg: 6.53 7.75 7.95 2/173 22521
/proc/meminfo: memFree=13856300/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=755908 CPUtime=2.62 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 9553 0 0 0 259 3 0 0 18 0 4 0 517608954 774049792 8281 33554432000 4194304 4797429 140734116149712 18446744073709551615 4351792 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 188977 8281 411 148 0 183906 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 755908
[startup+1.5007 s]
/proc/loadavg: 6.53 7.75 7.95 11/184 22531
/proc/meminfo: memFree=13791492/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=759108 CPUtime=5.82 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 13278 0 0 0 578 4 0 0 19 0 4 0 517608954 777326592 9198 33554432000 4194304 4797429 140734116149712 18446744073709551615 4422933 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 189777 9198 411 148 0 184706 0
[pid=22520/tid=22526] ppid=22518 vsize=759108 CPUtime=1.43 cores=1,3,5,7
/proc/22520/task/22526/stat : 22526 (techdemo) R 22518 22520 22486 0 -1 4202560 2410 0 0 0 143 0 0 0 20 0 4 0 517608959 777326592 9198 33554432000 4194304 4797429 140734116149712 18446744073709551615 4424963 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22520/tid=22527] ppid=22518 vsize=759108 CPUtime=1.42 cores=1,3,5,7
/proc/22520/task/22527/stat : 22527 (techdemo) R 22518 22520 22486 0 -1 4202560 2246 0 0 0 142 0 0 0 19 0 4 0 517608959 777326592 9198 33554432000 4194304 4797429 140734116149712 18446744073709551615 4424333 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22520/tid=22528] ppid=22518 vsize=759108 CPUtime=1.44 cores=1,3,5,7
/proc/22520/task/22528/stat : 22528 (techdemo) R 22518 22520 22486 0 -1 4202560 2081 0 0 0 143 1 0 0 20 0 4 0 517608959 777326592 9198 33554432000 4194304 4797429 140734116149712 18446744073709551615 4423077 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 759108
[startup+3.10042 s]
/proc/loadavg: 6.53 7.75 7.95 9/184 22531
/proc/meminfo: memFree=13763468/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=765160 CPUtime=12.21 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 18562 0 0 0 1216 5 0 0 25 0 4 0 517608954 783523840 13431 33554432000 4194304 4797429 140734116149712 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 191290 13431 415 148 0 186219 0
[pid=22520/tid=22526] ppid=22518 vsize=765160 CPUtime=3.04 cores=1,3,5,7
/proc/22520/task/22526/stat : 22526 (techdemo) R 22518 22520 22486 0 -1 4202560 3533 0 0 0 303 1 0 0 25 0 4 0 517608959 783523840 13431 33554432000 4194304 4797429 140734116149712 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22520/tid=22527] ppid=22518 vsize=765160 CPUtime=3.02 cores=1,3,5,7
/proc/22520/task/22527/stat : 22527 (techdemo) R 22518 22520 22486 0 -1 4202560 3556 0 0 0 301 1 0 0 25 0 4 0 517608959 783523840 13431 33554432000 4194304 4797429 140734116149712 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22520/tid=22528] ppid=22518 vsize=765160 CPUtime=3.03 cores=1,3,5,7
/proc/22520/task/22528/stat : 22528 (techdemo) R 22518 22520 22486 0 -1 4202560 3366 0 0 0 302 1 0 0 25 0 4 0 517608959 783523840 13431 33554432000 4194304 4797429 140734116149712 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.21
Current children cumulated vsize (KiB) 765160
[startup+6.30085 s]
/proc/loadavg: 6.65 7.75 7.95 9/184 22531
/proc/meminfo: memFree=13750412/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=768316 CPUtime=25 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 23516 0 0 0 2493 7 0 0 25 0 4 0 517608954 786755584 12651 33554432000 4194304 4797429 140734116149712 18446744073709551615 4351621 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 192079 12651 418 148 0 187008 0
[pid=22520/tid=22526] ppid=22518 vsize=768316 CPUtime=6.24 cores=1,3,5,7
/proc/22520/task/22526/stat : 22526 (techdemo) R 22518 22520 22486 0 -1 4202560 4295 0 0 0 623 1 0 0 25 0 4 0 517608959 786755584 12651 33554432000 4194304 4797429 140734116149712 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22520/tid=22527] ppid=22518 vsize=768316 CPUtime=6.2 cores=1,3,5,7
/proc/22520/task/22527/stat : 22527 (techdemo) R 22518 22520 22486 0 -1 4202560 4287 0 0 0 619 1 0 0 25 0 4 0 517608959 786755584 12651 33554432000 4194304 4797429 140734116149712 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22520/tid=22528] ppid=22518 vsize=768316 CPUtime=6.23 cores=1,3,5,7
/proc/22520/task/22528/stat : 22528 (techdemo) R 22518 22520 22486 0 -1 4202560 4047 0 0 0 622 1 0 0 25 0 4 0 517608959 786755584 12651 33554432000 4194304 4797429 140734116149712 18446744073709551615 4424349 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25
Current children cumulated vsize (KiB) 768316
[startup+12.7007 s]
/proc/loadavg: 6.76 7.76 7.95 9/184 22531
/proc/meminfo: memFree=13729024/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=774224 CPUtime=50.55 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 29256 0 0 0 5047 8 0 0 25 0 4 0 517608954 792805376 16843 33554432000 4194304 4797429 140734116149712 18446744073709551615 4423652 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 193556 16843 421 148 0 188485 0
[pid=22520/tid=22526] ppid=22518 vsize=774224 CPUtime=12.63 cores=1,3,5,7
/proc/22520/task/22526/stat : 22526 (techdemo) R 22518 22520 22486 0 -1 4202560 4806 0 0 0 1262 1 0 0 25 0 4 0 517608959 792805376 16843 33554432000 4194304 4797429 140734116149712 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22520/tid=22527] ppid=22518 vsize=774224 CPUtime=12.57 cores=1,3,5,7
/proc/22520/task/22527/stat : 22527 (techdemo) R 22518 22520 22486 0 -1 4202560 4960 0 0 0 1255 2 0 0 25 0 4 0 517608959 792805376 16843 33554432000 4194304 4797429 140734116149712 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22520/tid=22528] ppid=22518 vsize=774224 CPUtime=12.63 cores=1,3,5,7
/proc/22520/task/22528/stat : 22528 (techdemo) R 22518 22520 22486 0 -1 4202560 4678 0 0 0 1262 1 0 0 25 0 4 0 517608959 792805376 16843 33554432000 4194304 4797429 140734116149712 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 774224
[startup+25.5005 s]
/proc/loadavg: 7.03 7.77 7.95 9/184 22532
/proc/meminfo: memFree=13715624/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=781028 CPUtime=101.69 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 42672 0 0 0 10157 12 0 0 25 0 4 0 517608954 799772672 17430 33554432000 4194304 4797429 140734116149712 18446744073709551615 270612807316 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 195257 17430 419 148 0 190186 0
[pid=22520/tid=22526] ppid=22518 vsize=781028 CPUtime=25.43 cores=1,3,5,7
/proc/22520/task/22526/stat : 22526 (techdemo) R 22518 22520 22486 0 -1 4202560 6457 0 0 0 2542 1 0 0 25 0 4 0 517608959 799772672 17430 33554432000 4194304 4797429 140734116149712 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22520/tid=22527] ppid=22518 vsize=781028 CPUtime=25.3 cores=1,3,5,7
/proc/22520/task/22527/stat : 22527 (techdemo) R 22518 22520 22486 0 -1 4202560 6511 0 0 0 2528 2 0 0 25 0 4 0 517608959 799772672 17430 33554432000 4194304 4797429 140734116149712 18446744073709551615 4642096 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22520/tid=22528] ppid=22518 vsize=781028 CPUtime=25.44 cores=1,3,5,7
/proc/22520/task/22528/stat : 22528 (techdemo) R 22518 22520 22486 0 -1 4202560 6289 0 0 0 2542 2 0 0 25 0 4 0 517608959 799772672 17430 33554432000 4194304 4797429 140734116149712 18446744073709551615 4423656 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 781028
[startup+51.1009 s]
/proc/loadavg: 7.43 7.80 7.96 9/184 22532
/proc/meminfo: memFree=13669176/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=793580 CPUtime=203.95 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 64735 0 0 0 20377 18 0 0 25 0 4 0 517608954 812625920 26424 33554432000 4194304 4797429 140734116149712 18446744073709551615 4526520 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 198395 26424 419 148 0 193324 0
[pid=22520/tid=22526] ppid=22518 vsize=793580 CPUtime=51.03 cores=1,3,5,7
/proc/22520/task/22526/stat : 22526 (techdemo) R 22518 22520 22486 0 -1 4202560 8296 0 0 0 5101 2 0 0 25 0 4 0 517608959 812625920 26424 33554432000 4194304 4797429 140734116149712 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22520/tid=22527] ppid=22518 vsize=793580 CPUtime=50.76 cores=1,3,5,7
/proc/22520/task/22527/stat : 22527 (techdemo) R 22518 22520 22486 0 -1 4202560 8300 0 0 0 5074 2 0 0 25 0 4 0 517608959 812625920 26424 33554432000 4194304 4797429 140734116149712 18446744073709551615 4567910 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22520/tid=22528] ppid=22518 vsize=793580 CPUtime=51.04 cores=1,3,5,7
/proc/22520/task/22528/stat : 22528 (techdemo) R 22518 22520 22486 0 -1 4202560 8144 0 0 0 5102 2 0 0 25 0 4 0 517608959 812625920 26424 33554432000 4194304 4797429 140734116149712 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 793580
[startup+102.307 s]
/proc/loadavg: 7.89 7.86 7.97 9/184 22534
/proc/meminfo: memFree=13628124/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=808692 CPUtime=408.5 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 99606 0 0 0 40820 30 0 0 25 0 4 0 517608954 828100608 32517 33554432000 4194304 4797429 140734116149712 18446744073709551615 4358614 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 202173 32517 419 148 0 197102 0
[pid=22520/tid=22526] ppid=22518 vsize=808692 CPUtime=102.25 cores=1,3,5,7
/proc/22520/task/22526/stat : 22526 (techdemo) R 22518 22520 22486 0 -1 4202560 11503 0 0 0 10221 4 0 0 25 0 4 0 517608959 828100608 32517 33554432000 4194304 4797429 140734116149712 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22520/tid=22527] ppid=22518 vsize=808692 CPUtime=101.69 cores=1,3,5,7
/proc/22520/task/22527/stat : 22527 (techdemo) R 22518 22520 22486 0 -1 4202560 11363 0 0 0 10166 3 0 0 25 0 4 0 517608959 828100608 32517 33554432000 4194304 4797429 140734116149712 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22520/tid=22528] ppid=22518 vsize=808692 CPUtime=102.23 cores=1,3,5,7
/proc/22520/task/22528/stat : 22528 (techdemo) R 22518 22520 22486 0 -1 4202560 11138 0 0 0 10221 2 0 0 25 0 4 0 517608959 828100608 32517 33554432000 4194304 4797429 140734116149712 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.5
Current children cumulated vsize (KiB) 808692
[startup+162.3 s]
/proc/loadavg: 8.09 7.92 7.98 9/184 22535
/proc/meminfo: memFree=13587808/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=819196 CPUtime=648.16 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 134137 0 0 0 64770 46 0 0 25 0 4 0 517608954 838856704 37190 33554432000 4194304 4797429 140734116149712 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 204799 37190 419 148 0 199728 0
[pid=22520/tid=22526] ppid=22518 vsize=819196 CPUtime=162.24 cores=1,3,5,7
/proc/22520/task/22526/stat : 22526 (techdemo) R 22518 22520 22486 0 -1 4202560 14671 0 0 0 16219 5 0 0 25 0 4 0 517608959 838856704 37190 33554432000 4194304 4797429 140734116149712 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22520/tid=22527] ppid=22518 vsize=819196 CPUtime=161.37 cores=1,3,5,7
/proc/22520/task/22527/stat : 22527 (techdemo) R 22518 22520 22486 0 -1 4202560 14969 0 0 0 16132 5 0 0 25 0 4 0 517608959 838856704 37190 33554432000 4194304 4797429 140734116149712 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22520/tid=22528] ppid=22518 vsize=819196 CPUtime=162.23 cores=1,3,5,7
/proc/22520/task/22528/stat : 22528 (techdemo) R 22518 22520 22486 0 -1 4202560 14371 0 0 0 16219 4 0 0 25 0 4 0 517608959 838856704 37190 33554432000 4194304 4797429 140734116149712 18446744073709551615 4568090 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 648.16
Current children cumulated vsize (KiB) 819196
[startup+222.301 s]
/proc/loadavg: 8.15 7.96 7.99 9/184 22537
/proc/meminfo: memFree=13572180/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=826332 CPUtime=887.83 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 166774 0 0 0 88724 59 0 0 25 0 4 0 517608954 846163968 39921 33554432000 4194304 4797429 140734116149712 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 206583 39921 419 148 0 201512 0
[pid=22520/tid=22526] ppid=22518 vsize=826332 CPUtime=222.24 cores=1,3,5,7
/proc/22520/task/22526/stat : 22526 (techdemo) R 22518 22520 22486 0 -1 4202560 18119 0 0 0 22218 6 0 0 25 0 4 0 517608959 846163968 39921 33554432000 4194304 4797429 140734116149712 18446744073709551615 4424418 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22520/tid=22527] ppid=22518 vsize=826332 CPUtime=221.04 cores=1,3,5,7
/proc/22520/task/22527/stat : 22527 (techdemo) R 22518 22520 22486 0 -1 4202560 18106 0 0 0 22099 5 0 0 25 0 4 0 517608959 846163968 39921 33554432000 4194304 4797429 140734116149712 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22520/tid=22528] ppid=22518 vsize=826332 CPUtime=222.23 cores=1,3,5,7
/proc/22520/task/22528/stat : 22528 (techdemo) R 22518 22520 22486 0 -1 4202560 17788 0 0 0 22218 5 0 0 25 0 4 0 517608959 846163968 39921 33554432000 4194304 4797429 140734116149712 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 887.83
Current children cumulated vsize (KiB) 826332
[startup+282.301 s]
################
# More data... #
################
[pid=22520] ppid=22518 vsize=896628 CPUtime=2804.43 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 353274 0 0 0 280292 151 0 0 25 0 4 0 517608954 918147072 70059 33554432000 4194304 4797429 140734116149712 18446744073709551615 4568164 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 224157 70059 419 148 0 219086 0
[pid=22520/tid=22526] ppid=22518 vsize=896628 CPUtime=701.6 cores=1,3,5,7
/proc/22520/task/22526/stat : 22526 (techdemo) R 22518 22520 22486 0 -1 4202560 37550 0 0 0 70147 13 0 0 25 0 4 0 517608959 918147072 70059 33554432000 4194304 4797429 140734116149712 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22520/tid=22527] ppid=22518 vsize=896628 CPUtime=698.28 cores=1,3,5,7
/proc/22520/task/22527/stat : 22527 (techdemo) R 22518 22520 22486 0 -1 4202560 38021 0 0 0 69813 15 0 0 25 0 4 0 517608959 918147072 70059 33554432000 4194304 4797429 140734116149712 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22520/tid=22528] ppid=22518 vsize=896628 CPUtime=702.22 cores=1,3,5,7
/proc/22520/task/22528/stat : 22528 (techdemo) R 22518 22520 22486 0 -1 4202560 37375 0 0 0 70208 14 0 0 25 0 4 0 517608959 918147072 70059 33554432000 4194304 4797429 140734116149712 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2804.43
Current children cumulated vsize (KiB) 896628
[startup+762.307 s]
/proc/loadavg: 8.19 8.15 8.06 9/184 22563
/proc/meminfo: memFree=13406776/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=925920 CPUtime=3044.14 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 376290 0 0 0 304252 162 0 0 25 0 4 0 517608954 948142080 72082 33554432000 4194304 4797429 140734116149712 18446744073709551615 4424393 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 231480 72082 419 148 0 226409 0
[pid=22520/tid=22526] ppid=22518 vsize=925920 CPUtime=761.62 cores=1,3,5,7
/proc/22520/task/22526/stat : 22526 (techdemo) R 22518 22520 22486 0 -1 4202560 41679 0 0 0 76147 15 0 0 25 0 4 0 517608959 948142080 72082 33554432000 4194304 4797429 140734116149712 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22520/tid=22527] ppid=22518 vsize=925920 CPUtime=757.95 cores=1,3,5,7
/proc/22520/task/22527/stat : 22527 (techdemo) R 22518 22520 22486 0 -1 4202560 42516 0 0 0 75779 16 0 0 25 0 4 0 517608959 948142080 72082 33554432000 4194304 4797429 140734116149712 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22520/tid=22528] ppid=22518 vsize=925920 CPUtime=762.23 cores=1,3,5,7
/proc/22520/task/22528/stat : 22528 (techdemo) R 22518 22520 22486 0 -1 4202560 41506 0 0 0 76208 15 0 0 25 0 4 0 517608959 948142080 72082 33554432000 4194304 4797429 140734116149712 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3044.14
Current children cumulated vsize (KiB) 925920
[startup+822.3 s]
/proc/loadavg: 8.10 8.14 8.06 9/184 22565
/proc/meminfo: memFree=13419044/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=930992 CPUtime=3283.79 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 398396 0 0 0 328205 174 0 0 25 0 4 0 517608954 953335808 70007 33554432000 4194304 4797429 140734116149712 18446744073709551615 4424779 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 232748 70007 419 148 0 227677 0
[pid=22520/tid=22526] ppid=22518 vsize=930992 CPUtime=821.61 cores=1,3,5,7
/proc/22520/task/22526/stat : 22526 (techdemo) R 22518 22520 22486 0 -1 4202560 43487 0 0 0 82145 16 0 0 25 0 4 0 517608959 953335808 70007 33554432000 4194304 4797429 140734116149712 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22520/tid=22527] ppid=22518 vsize=930992 CPUtime=817.63 cores=1,3,5,7
/proc/22520/task/22527/stat : 22527 (techdemo) R 22518 22520 22486 0 -1 4202560 44201 0 0 0 81746 17 0 0 25 0 4 0 517608959 953335808 70007 33554432000 4194304 4797429 140734116149712 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22520/tid=22528] ppid=22518 vsize=930992 CPUtime=822.21 cores=1,3,5,7
/proc/22520/task/22528/stat : 22528 (techdemo) R 22518 22520 22486 0 -1 4202560 43494 0 0 0 82205 16 0 0 25 0 4 0 517608959 953335808 70007 33554432000 4194304 4797429 140734116149712 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3283.79
Current children cumulated vsize (KiB) 930992
[startup+882.301 s]
/proc/loadavg: 8.07 8.12 8.06 9/184 22566
/proc/meminfo: memFree=13404404/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=933332 CPUtime=3523.47 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 418939 0 0 0 352161 186 0 0 25 0 4 0 517608954 955731968 72388 33554432000 4194304 4797429 140734116149712 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 233333 72388 419 148 0 228262 0
[pid=22520/tid=22526] ppid=22518 vsize=933332 CPUtime=881.61 cores=1,3,5,7
/proc/22520/task/22526/stat : 22526 (techdemo) R 22518 22520 22486 0 -1 4202560 44707 0 0 0 88144 17 0 0 25 0 4 0 517608959 955731968 72388 33554432000 4194304 4797429 140734116149712 18446744073709551615 4270284 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22520/tid=22527] ppid=22518 vsize=933332 CPUtime=877.3 cores=1,3,5,7
/proc/22520/task/22527/stat : 22527 (techdemo) R 22518 22520 22486 0 -1 4202560 45589 0 0 0 87712 18 0 0 25 0 4 0 517608959 955731968 72388 33554432000 4194304 4797429 140734116149712 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22520/tid=22528] ppid=22518 vsize=933332 CPUtime=882.22 cores=1,3,5,7
/proc/22520/task/22528/stat : 22528 (techdemo) R 22518 22520 22486 0 -1 4202560 44842 0 0 0 88205 17 0 0 25 0 4 0 517608959 955731968 72388 33554432000 4194304 4797429 140734116149712 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3523.47
Current children cumulated vsize (KiB) 933332
[startup+942.301 s]
/proc/loadavg: 8.06 8.11 8.06 9/184 22568
/proc/meminfo: memFree=13378724/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=936608 CPUtime=3763.14 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 438913 0 0 0 376118 196 0 0 25 0 4 0 517608954 959086592 76132 33554432000 4194304 4797429 140734116149712 18446744073709551615 4425918 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 234152 76132 419 148 0 229081 0
[pid=22520/tid=22526] ppid=22518 vsize=936608 CPUtime=941.62 cores=1,3,5,7
/proc/22520/task/22526/stat : 22526 (techdemo) R 22518 22520 22486 0 -1 4202560 46537 0 0 0 94144 18 0 0 25 0 4 0 517608959 959086592 76132 33554432000 4194304 4797429 140734116149712 18446744073709551615 4428751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22520/tid=22527] ppid=22518 vsize=936608 CPUtime=936.97 cores=1,3,5,7
/proc/22520/task/22527/stat : 22527 (techdemo) R 22518 22520 22486 0 -1 4202560 47425 0 0 0 93679 18 0 0 25 0 4 0 517608959 959086592 76132 33554432000 4194304 4797429 140734116149712 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22520/tid=22528] ppid=22518 vsize=936608 CPUtime=942.21 cores=1,3,5,7
/proc/22520/task/22528/stat : 22528 (techdemo) R 22518 22520 22486 0 -1 4202560 46814 0 0 0 94203 18 0 0 25 0 4 0 517608959 959086592 76132 33554432000 4194304 4797429 140734116149712 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3763.14
Current children cumulated vsize (KiB) 936608
[startup+1002.3 s]
/proc/loadavg: 8.08 8.10 8.06 9/184 22570
/proc/meminfo: memFree=13387888/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=937068 CPUtime=4002.82 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 457187 0 0 0 400075 207 0 0 25 0 4 0 517608954 959557632 74715 33554432000 4194304 4797429 140734116149712 18446744073709551615 4425918 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 234267 74715 419 148 0 229196 0
[pid=22520/tid=22526] ppid=22518 vsize=937068 CPUtime=1001.61 cores=1,3,5,7
/proc/22520/task/22526/stat : 22526 (techdemo) R 22518 22520 22486 0 -1 4202560 47702 0 0 0 100143 18 0 0 25 0 4 0 517608959 959557632 74715 33554432000 4194304 4797429 140734116149712 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22520/tid=22527] ppid=22518 vsize=937068 CPUtime=996.65 cores=1,3,5,7
/proc/22520/task/22527/stat : 22527 (techdemo) R 22518 22520 22486 0 -1 4202560 48653 0 0 0 99646 19 0 0 25 0 4 0 517608959 959557632 74715 33554432000 4194304 4797429 140734116149712 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22520/tid=22528] ppid=22518 vsize=937068 CPUtime=1002.22 cores=1,3,5,7
/proc/22520/task/22528/stat : 22528 (techdemo) R 22518 22520 22486 0 -1 4202560 48047 0 0 0 100203 19 0 0 25 0 4 0 517608959 959557632 74715 33554432000 4194304 4797429 140734116149712 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4002.82
Current children cumulated vsize (KiB) 937068
[startup+1062.3 s]
/proc/loadavg: 8.16 8.11 8.06 9/184 22571
/proc/meminfo: memFree=13374608/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=941044 CPUtime=4242.5 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 476535 0 0 0 424032 218 0 0 25 0 4 0 517608954 963629056 76969 33554432000 4194304 4797429 140734116149712 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 235261 76969 419 148 0 230190 0
[pid=22520/tid=22526] ppid=22518 vsize=941044 CPUtime=1061.62 cores=1,3,5,7
/proc/22520/task/22526/stat : 22526 (techdemo) R 22518 22520 22486 0 -1 4202560 49439 0 0 0 106143 19 0 0 25 0 4 0 517608959 963629056 76969 33554432000 4194304 4797429 140734116149712 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22520/tid=22527] ppid=22518 vsize=941044 CPUtime=1056.32 cores=1,3,5,7
/proc/22520/task/22527/stat : 22527 (techdemo) R 22518 22520 22486 0 -1 4202560 50387 0 0 0 105612 20 0 0 25 0 4 0 517608959 963629056 76969 33554432000 4194304 4797429 140734116149712 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22520/tid=22528] ppid=22518 vsize=941044 CPUtime=1062.22 cores=1,3,5,7
/proc/22520/task/22528/stat : 22528 (techdemo) R 22518 22520 22486 0 -1 4202560 49941 0 0 0 106202 20 0 0 25 0 4 0 517608959 963629056 76969 33554432000 4194304 4797429 140734116149712 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4242.5
Current children cumulated vsize (KiB) 941044
[startup+1122.3 s]
/proc/loadavg: 8.18 8.12 8.07 9/184 22573
/proc/meminfo: memFree=13308880/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=952980 CPUtime=4482.17 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 489553 0 0 0 447994 223 0 0 25 0 4 0 517608954 975851520 89908 33554432000 4194304 4797429 140734116149712 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 238245 89908 419 148 0 233174 0
[pid=22520/tid=22526] ppid=22518 vsize=952980 CPUtime=1121.61 cores=1,3,5,7
/proc/22520/task/22526/stat : 22526 (techdemo) R 22518 22520 22486 0 -1 4202560 50631 0 0 0 112141 20 0 0 25 0 4 0 517608959 975851520 89908 33554432000 4194304 4797429 140734116149712 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22520/tid=22527] ppid=22518 vsize=952980 CPUtime=1115.99 cores=1,3,5,7
/proc/22520/task/22527/stat : 22527 (techdemo) R 22518 22520 22486 0 -1 4202560 51572 0 0 0 111579 20 0 0 25 0 4 0 517608959 975851520 89908 33554432000 4194304 4797429 140734116149712 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22520/tid=22528] ppid=22518 vsize=952980 CPUtime=1122.22 cores=1,3,5,7
/proc/22520/task/22528/stat : 22528 (techdemo) R 22518 22520 22486 0 -1 4202560 51112 0 0 0 112201 21 0 0 25 0 4 0 517608959 975851520 89908 33554432000 4194304 4797429 140734116149712 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4482.17
Current children cumulated vsize (KiB) 952980
[startup+1182.3 s]
/proc/loadavg: 8.17 8.13 8.07 9/184 22574
/proc/meminfo: memFree=13320020/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=955928 CPUtime=4721.86 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 494842 0 0 0 471959 227 0 0 25 0 4 0 517608954 978870272 87948 33554432000 4194304 4797429 140734116149712 18446744073709551615 4567880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 238982 87948 419 148 0 233911 0
[pid=22520/tid=22526] ppid=22518 vsize=955928 CPUtime=1181.62 cores=1,3,5,7
/proc/22520/task/22526/stat : 22526 (techdemo) R 22518 22520 22486 0 -1 4202560 52259 0 0 0 118141 21 0 0 25 0 4 0 517608959 978870272 87949 33554432000 4194304 4797429 140734116149712 18446744073709551615 270612807161 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22520/tid=22527] ppid=22518 vsize=955928 CPUtime=1175.68 cores=1,3,5,7
/proc/22520/task/22527/stat : 22527 (techdemo) R 22518 22520 22486 0 -1 4202560 53359 0 0 0 117546 22 0 0 25 0 4 0 517608959 978870272 87949 33554432000 4194304 4797429 140734116149712 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22520/tid=22528] ppid=22518 vsize=955928 CPUtime=1182.22 cores=1,3,5,7
/proc/22520/task/22528/stat : 22528 (techdemo) R 22518 22520 22486 0 -1 4202560 52987 0 0 0 118200 22 0 0 25 0 4 0 517608959 978870272 87949 33554432000 4194304 4797429 140734116149712 18446744073709551615 4237365 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4721.86
Current children cumulated vsize (KiB) 955928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1201.9 s]
/proc/loadavg: 8.12 8.12 8.07 5/179 22576
/proc/meminfo: memFree=13501596/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=955928 CPUtime=4800.16 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 495896 0 0 0 479789 227 0 0 25 0 4 0 517608954 978870272 88996 33554432000 4194304 4797429 140734116149712 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 238982 88996 419 148 0 233911 0
[pid=22520/tid=22526] ppid=22518 vsize=955928 CPUtime=1201.22 cores=1,3,5,7
/proc/22520/task/22526/stat : 22526 (techdemo) R 22518 22520 22486 0 -1 4202560 52579 0 0 0 120101 21 0 0 25 0 4 0 517608959 978870272 88996 33554432000 4194304 4797429 140734116149712 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22520/tid=22527] ppid=22518 vsize=955928 CPUtime=1195.17 cores=1,3,5,7
/proc/22520/task/22527/stat : 22527 (techdemo) R 22518 22520 22486 0 -1 4202560 53718 0 0 0 119495 22 0 0 25 0 4 0 517608959 978870272 88996 33554432000 4194304 4797429 140734116149712 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22520/tid=22528] ppid=22518 vsize=955928 CPUtime=1201.82 cores=1,3,5,7
/proc/22520/task/22528/stat : 22528 (techdemo) R 22518 22520 22486 0 -1 4202560 53361 0 0 0 120160 22 0 0 25 0 4 0 517608959 978870272 88996 33554432000 4194304 4797429 140734116149712 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 955928
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1201.9 s]
/proc/loadavg: 8.12 8.12 8.07 5/179 22576
/proc/meminfo: memFree=13501596/32951124 swapFree=67111528/67111528
[pid=22520] ppid=22518 vsize=955928 CPUtime=4800.16 cores=1,3,5,7
/proc/22520/stat : 22520 (techdemo) R 22518 22520 22486 0 -1 4202496 495896 0 0 0 479789 227 0 0 25 0 4 0 517608954 978870272 88996 33554432000 4194304 4797429 140734116149712 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22520/statm: 238982 88996 419 148 0 233911 0
[pid=22520/tid=22526] ppid=22518 vsize=955928 CPUtime=1201.22 cores=1,3,5,7
/proc/22520/task/22526/stat : 22526 (techdemo) R 22518 22520 22486 0 -1 4202560 52579 0 0 0 120101 21 0 0 25 0 4 0 517608959 978870272 88996 33554432000 4194304 4797429 140734116149712 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22520/tid=22527] ppid=22518 vsize=955928 CPUtime=1195.17 cores=1,3,5,7
/proc/22520/task/22527/stat : 22527 (techdemo) R 22518 22520 22486 0 -1 4202560 53718 0 0 0 119495 22 0 0 25 0 4 0 517608959 978870272 88996 33554432000 4194304 4797429 140734116149712 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22520/tid=22528] ppid=22518 vsize=955928 CPUtime=1201.82 cores=1,3,5,7
/proc/22520/task/22528/stat : 22528 (techdemo) R 22518 22520 22486 0 -1 4202560 53361 0 0 0 120160 22 0 0 25 0 4 0 517608959 978870272 88996 33554432000 4194304 4797429 140734116149712 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 955928
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.21
CPU user time (s): 4797.92
CPU system time (s): 2.29165
CPU usage (%): 399.376
Max. virtual memory (cumulated for all children) (KiB): 1037392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.92
system time used= 2.29165
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 495896
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= 2248
involuntary context switches= 34755
runsolver used 1.81872 second user time and 4.72828 second system time
The end