runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3702345-1338091236/watcher-3702345-1338091236 -o /tmp/evaluation-result-3702345-1338091236/solver-3702345-1338091236 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702345-1338091236.opb 652471763 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 1.99 2.00 1.91 3/181 24942
/proc/meminfo: memFree=28103240/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
[startup+0.0408829 s]
/proc/loadavg: 1.99 2.00 1.91 3/181 24942
/proc/meminfo: memFree=28103240/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100228 s]
/proc/loadavg: 1.99 2.00 1.91 3/181 24942
/proc/meminfo: memFree=28103240/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300234 s]
/proc/loadavg: 1.99 2.00 1.91 3/181 24942
/proc/meminfo: memFree=28103240/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700216 s]
/proc/loadavg: 1.99 2.00 1.91 3/181 24942
/proc/meminfo: memFree=28103240/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.07 2.02 1.91 3/183 24944
/proc/meminfo: memFree=28047396/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
[pid=24943] ppid=24942 vsize=122368 CPUtime=1.49 cores=1,3,5,7
/proc/24943/stat : 24943 (npSolver-pbo) R 24942 24942 15712 0 -1 4202496 17818 0 0 0 144 5 0 0 20 0 1 0 275248010 125304832 27607 33554432000 4194304 5992684 140736345946784 140736345942904 4523471 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24943/statm: 30592 27607 160 440 0 30148 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 131516
[startup+3.10027 s]
/proc/loadavg: 2.07 2.02 1.91 3/183 24944
/proc/meminfo: memFree=27929836/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
[pid=24943] ppid=24942 vsize=223476 CPUtime=3.03 cores=1,3,5,7
/proc/24943/stat : 24943 (npSolver-pbo) D 24942 24942 15712 0 -1 4202496 27898 0 0 0 260 43 0 0 20 0 1 0 275248010 228839424 53907 33554432000 4194304 5992684 140736345946784 140736345941384 5179696 0 0 4096 0 18446744071580543392 0 0 17 3 0 0 0 0 0
/proc/24943/statm: 55869 53907 165 440 0 55425 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 232624
[startup+6.30687 s]
/proc/loadavg: 2.15 2.03 1.92 3/185 24953
/proc/meminfo: memFree=27033000/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
[pid=24943] ppid=24942 vsize=223476 CPUtime=3.37 cores=1,3,5,7
/proc/24943/stat : 24943 (npSolver-pbo) S 24942 24942 15712 0 -1 4202496 27901 0 0 0 265 72 0 0 20 0 1 0 275248010 228839424 53909 33554432000 4194304 5992684 140736345946784 140736345941232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 17 0 0
/proc/24943/statm: 55869 53909 167 440 0 55425 0
[pid=24952] ppid=24943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24952/stat : 24952 (cp2_pre.sh) S 24943 24942 15712 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 275248366 9367552 276 33554432000 4194304 5064252 140733733174064 140733733172768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24952/statm: 2287 276 234 213 0 72 0
[pid=24953] ppid=24952 vsize=840268 CPUtime=2.74 cores=1,3,5,7
/proc/24953/stat : 24953 (coprocessor) R 24952 24942 15712 0 -1 4202496 52386 0 0 0 253 21 0 0 20 0 1 0 275248366 860434432 184324 33554432000 4194304 6586260 140736706297968 140736706294296 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/24953/statm: 210067 184324 164 584 0 209479 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 1082040
[startup+12.7003 s]
/proc/loadavg: 2.14 2.03 1.92 3/185 24967
/proc/meminfo: memFree=26621468/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
[pid=24943] ppid=24942 vsize=223476 CPUtime=3.37 cores=1,3,5,7
/proc/24943/stat : 24943 (npSolver-pbo) S 24942 24942 15712 0 -1 4202496 27901 0 0 0 265 72 0 0 20 0 1 0 275248010 228839424 53909 33554432000 4194304 5992684 140736345946784 140736345941232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 17 0 0
/proc/24943/statm: 55869 53909 167 440 0 55425 0
[pid=24952] ppid=24943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24952/stat : 24952 (cp2_pre.sh) S 24943 24942 15712 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 275248366 9367552 276 33554432000 4194304 5064252 140733733174064 140733733172768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24952/statm: 2287 276 234 213 0 72 0
[pid=24953] ppid=24952 vsize=1155552 CPUtime=9.13 cores=1,3,5,7
/proc/24953/stat : 24953 (coprocessor) R 24952 24942 15712 0 -1 4202496 108471 0 0 0 875 38 0 0 20 0 1 0 275248366 1183285248 284789 33554432000 4194304 6586260 140736706297968 140736706293720 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/24953/statm: 288888 284789 199 584 0 288300 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 1397324
[startup+25.5003 s]
/proc/loadavg: 2.11 2.03 1.92 3/184 25013
/proc/meminfo: memFree=27115136/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
[pid=24943] ppid=24942 vsize=271912 CPUtime=22.67 cores=1,3,5,7
/proc/24943/stat : 24943 (npSolver-pbo) R 24942 24942 15712 0 -1 4202496 31662 109374 0 0 392 424 1381 70 20 0 1 0 275248010 278437888 66027 33554432000 4194304 5992684 140736345946784 140736345940968 5179696 0 0 4096 0 0 0 0 17 5 0 0 17 0 0
/proc/24943/statm: 67978 66027 176 440 0 67534 0
[pid=24976] ppid=24943 vsize=624860 CPUtime=2.55 cores=1,3,5,7
/proc/24976/stat : 24976 (glucosInc) S 24943 24942 15712 0 -1 4202496 90642 0 0 0 231 24 0 0 20 0 1 0 275249831 639856640 137968 33554432000 4194304 5654031 140735515031840 140735515030152 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24976/statm: 156215 137968 146 357 0 155855 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 905920
[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 1.92 3/183 25120
/proc/meminfo: memFree=26011696/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
[pid=24943] ppid=24942 vsize=2624972 CPUtime=50.58 cores=1,3,5,7
/proc/24943/stat : 24943 (npSolver-pbo) R 24942 24942 15712 0 -1 4202496 101283 200538 0 0 2380 946 1612 120 20 0 1 0 275248010 2687971328 481705 33554432000 4194304 5992684 140736345946784 140736345939496 4525568 0 0 4096 0 0 0 0 17 5 0 0 40 0 0
/proc/24943/statm: 656243 481705 200 440 0 655799 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 2634120
[startup+102.3 s]
/proc/loadavg: 2.50 2.13 1.96 3/182 25294
/proc/meminfo: memFree=18782096/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
[pid=24943] ppid=24942 vsize=275796 CPUtime=71.73 cores=1,3,5,7
/proc/24943/stat : 24943 (npSolver-pbo) S 24942 24942 15712 0 -1 4202496 104872 201053 0 0 4011 1408 1612 142 20 0 1 0 275248010 282415104 67055 33554432000 4194304 5992684 140736345946784 140736345932616 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 73 0 0
/proc/24943/statm: 68949 67055 201 440 0 68505 0
[pid=25196] ppid=24943 vsize=7147752 CPUtime=29.7 cores=1,3,5,7
/proc/25196/stat : 25196 (glucosInc) R 24943 24942 15712 0 -1 4202496 605675 0 0 0 2715 255 0 0 20 0 1 0 275255268 7319298048 1507605 33554432000 4194304 5654031 140737294817088 140737293766392 4797458 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25196/statm: 1786938 1507606 109 357 0 1786578 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 7432696
[startup+162.3 s]
/proc/loadavg: 2.36 2.18 1.98 3/183 25491
/proc/meminfo: memFree=19105740/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
[pid=24943] ppid=24942 vsize=275796 CPUtime=71.73 cores=1,3,5,7
/proc/24943/stat : 24943 (npSolver-pbo) S 24942 24942 15712 0 -1 4202496 104872 201053 0 0 4011 1408 1612 142 20 0 1 0 275248010 282415104 67055 33554432000 4194304 5992684 140736345946784 140736345932616 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 73 0 0
/proc/24943/statm: 68949 67055 201 440 0 68505 0
[pid=25196] ppid=24943 vsize=6419720 CPUtime=89.69 cores=1,3,5,7
/proc/25196/stat : 25196 (glucosInc) R 24943 24942 15712 0 -1 4202496 650683 0 0 0 8676 293 0 0 20 0 1 0 275255268 6573793280 1430740 33554432000 4194304 5654031 140737294817088 140737294804904 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25196/statm: 1604930 1430740 141 357 0 1604570 0
Current children cumulated CPU time (s) 161.42
Current children cumulated vsize (KiB) 6704664
[startup+222.3 s]
/proc/loadavg: 2.09 2.13 1.98 3/183 25694
/proc/meminfo: memFree=19105044/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
[pid=24943] ppid=24942 vsize=275796 CPUtime=71.73 cores=1,3,5,7
/proc/24943/stat : 24943 (npSolver-pbo) S 24942 24942 15712 0 -1 4202496 104872 201053 0 0 4011 1408 1612 142 20 0 1 0 275248010 282415104 67055 33554432000 4194304 5992684 140736345946784 140736345932616 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 73 0 0
/proc/24943/statm: 68949 67055 201 440 0 68505 0
[pid=25196] ppid=24943 vsize=6419720 CPUtime=149.68 cores=1,3,5,7
/proc/25196/stat : 25196 (glucosInc) R 24943 24942 15712 0 -1 4202496 650688 0 0 0 14675 293 0 0 20 0 1 0 275255268 6573793280 1430745 33554432000 4194304 5654031 140737294817088 140737294804904 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25196/statm: 1604930 1430745 141 357 0 1604570 0
Current children cumulated CPU time (s) 221.41
Current children cumulated vsize (KiB) 6704664
[startup+282.3 s]
/proc/loadavg: 2.03 2.10 1.98 3/183 25897
/proc/meminfo: memFree=19096856/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=19038904/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
[pid=24943] ppid=24942 vsize=275796 CPUtime=71.73 cores=1,3,5,7
/proc/24943/stat : 24943 (npSolver-pbo) S 24942 24942 15712 0 -1 4202496 104872 201053 0 0 4011 1408 1612 142 20 0 1 0 275248010 282415104 67055 33554432000 4194304 5992684 140736345946784 140736345932616 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 73 0 0
/proc/24943/statm: 68949 67055 201 440 0 68505 0
[pid=25196] ppid=24943 vsize=6473896 CPUtime=1229.51 cores=1,3,5,7
/proc/25196/stat : 25196 (glucosInc) R 24943 24942 15712 0 -1 4202496 668308 0 0 0 122650 301 0 0 20 0 1 0 275255268 6629269504 1446816 33554432000 4194304 5654031 140737294817088 140737294814872 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25196/statm: 1618474 1446816 142 357 0 1618114 0
Current children cumulated CPU time (s) 1301.24
Current children cumulated vsize (KiB) 6758840
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 29527
/proc/meminfo: memFree=19032364/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
[pid=24943] ppid=24942 vsize=275796 CPUtime=71.73 cores=1,3,5,7
/proc/24943/stat : 24943 (npSolver-pbo) S 24942 24942 15712 0 -1 4202496 104872 201053 0 0 4011 1408 1612 142 20 0 1 0 275248010 282415104 67055 33554432000 4194304 5992684 140736345946784 140736345932616 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 73 0 0
/proc/24943/statm: 68949 67055 201 440 0 68505 0
[pid=25196] ppid=24943 vsize=6476776 CPUtime=1289.5 cores=1,3,5,7
/proc/25196/stat : 25196 (glucosInc) R 24943 24942 15712 0 -1 4202496 668992 0 0 0 128648 302 0 0 20 0 1 0 275255268 6632218624 1448010 33554432000 4194304 5654031 140737294817088 140737294814872 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25196/statm: 1619194 1448010 142 357 0 1618834 0
Current children cumulated CPU time (s) 1361.23
Current children cumulated vsize (KiB) 6761720
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 29723
/proc/meminfo: memFree=19030436/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
[pid=24943] ppid=24942 vsize=275796 CPUtime=71.73 cores=1,3,5,7
/proc/24943/stat : 24943 (npSolver-pbo) S 24942 24942 15712 0 -1 4202496 104872 201053 0 0 4011 1408 1612 142 20 0 1 0 275248010 282415104 67055 33554432000 4194304 5992684 140736345946784 140736345932616 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 73 0 0
/proc/24943/statm: 68949 67055 201 440 0 68505 0
[pid=25196] ppid=24943 vsize=6478132 CPUtime=1349.49 cores=1,3,5,7
/proc/25196/stat : 25196 (glucosInc) R 24943 24942 15712 0 -1 4202496 673408 0 0 0 134645 304 0 0 20 0 1 0 275255268 6633607168 1448372 33554432000 4194304 5654031 140737294817088 140737294804904 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25196/statm: 1619533 1448372 142 357 0 1619173 0
Current children cumulated CPU time (s) 1421.22
Current children cumulated vsize (KiB) 6763076
[startup+1482.3 s]
/proc/loadavg: 1.96 1.98 1.98 3/183 29922
/proc/meminfo: memFree=19066812/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
[pid=24943] ppid=24942 vsize=275796 CPUtime=71.73 cores=1,3,5,7
/proc/24943/stat : 24943 (npSolver-pbo) S 24942 24942 15712 0 -1 4202496 104872 201053 0 0 4011 1408 1612 142 20 0 1 0 275248010 282415104 67055 33554432000 4194304 5992684 140736345946784 140736345932616 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 73 0 0
/proc/24943/statm: 68949 67055 201 440 0 68505 0
[pid=25196] ppid=24943 vsize=6486960 CPUtime=1409.48 cores=1,3,5,7
/proc/25196/stat : 25196 (glucosInc) R 24943 24942 15712 0 -1 4202496 675583 0 0 0 140642 306 0 0 20 0 1 0 275255268 6642647040 1453095 33554432000 4194304 5654031 140737294817088 140737294804904 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25196/statm: 1621740 1453095 142 357 0 1621380 0
Current children cumulated CPU time (s) 1481.21
Current children cumulated vsize (KiB) 6771904
[startup+1542.3 s]
/proc/loadavg: 1.98 1.98 1.98 3/183 30122
/proc/meminfo: memFree=18993604/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
[pid=24943] ppid=24942 vsize=275796 CPUtime=71.73 cores=1,3,5,7
/proc/24943/stat : 24943 (npSolver-pbo) S 24942 24942 15712 0 -1 4202496 104872 201053 0 0 4011 1408 1612 142 20 0 1 0 275248010 282415104 67055 33554432000 4194304 5992684 140736345946784 140736345932616 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 73 0 0
/proc/24943/statm: 68949 67055 201 440 0 68505 0
[pid=25196] ppid=24943 vsize=6491012 CPUtime=1469.47 cores=1,3,5,7
/proc/25196/stat : 25196 (glucosInc) R 24943 24942 15712 0 -1 4202496 676636 0 0 0 146640 307 0 0 20 0 1 0 275255268 6646796288 1457209 33554432000 4194304 5654031 140737294817088 140737294804904 4214616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25196/statm: 1622753 1457209 142 357 0 1622393 0
Current children cumulated CPU time (s) 1541.2
Current children cumulated vsize (KiB) 6775956
[startup+1602.3 s]
/proc/loadavg: 2.07 2.00 1.98 3/183 30325
/proc/meminfo: memFree=18980096/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
[pid=24943] ppid=24942 vsize=275796 CPUtime=71.73 cores=1,3,5,7
/proc/24943/stat : 24943 (npSolver-pbo) S 24942 24942 15712 0 -1 4202496 104872 201053 0 0 4011 1408 1612 142 20 0 1 0 275248010 282415104 67055 33554432000 4194304 5992684 140736345946784 140736345932616 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 73 0 0
/proc/24943/statm: 68949 67055 201 440 0 68505 0
[pid=25196] ppid=24943 vsize=6495660 CPUtime=1529.46 cores=1,3,5,7
/proc/25196/stat : 25196 (glucosInc) R 24943 24942 15712 0 -1 4202496 681933 0 0 0 152637 309 0 0 20 0 1 0 275255268 6651555840 1460955 33554432000 4194304 5654031 140737294817088 140737294804904 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25196/statm: 1623915 1460955 142 357 0 1623555 0
Current children cumulated CPU time (s) 1601.19
Current children cumulated vsize (KiB) 6780604
[startup+1662.3 s]
/proc/loadavg: 2.07 2.01 1.99 3/183 30522
/proc/meminfo: memFree=18977876/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
[pid=24943] ppid=24942 vsize=275796 CPUtime=71.73 cores=1,3,5,7
/proc/24943/stat : 24943 (npSolver-pbo) S 24942 24942 15712 0 -1 4202496 104872 201053 0 0 4011 1408 1612 142 20 0 1 0 275248010 282415104 67055 33554432000 4194304 5992684 140736345946784 140736345932616 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 73 0 0
/proc/24943/statm: 68949 67055 201 440 0 68505 0
[pid=25196] ppid=24943 vsize=6496336 CPUtime=1589.44 cores=1,3,5,7
/proc/25196/stat : 25196 (glucosInc) R 24943 24942 15712 0 -1 4202496 686163 0 0 0 158633 311 0 0 20 0 1 0 275255268 6652248064 1461643 33554432000 4194304 5654031 140737294817088 140737294804904 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25196/statm: 1624084 1461643 142 357 0 1623724 0
Current children cumulated CPU time (s) 1661.17
Current children cumulated vsize (KiB) 6781280
[startup+1722.31 s]
/proc/loadavg: 2.19 2.05 2.01 3/181 30723
/proc/meminfo: memFree=19039984/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
[pid=24943] ppid=24942 vsize=275796 CPUtime=71.73 cores=1,3,5,7
/proc/24943/stat : 24943 (npSolver-pbo) S 24942 24942 15712 0 -1 4202496 104872 201053 0 0 4011 1408 1612 142 20 0 1 0 275248010 282415104 67055 33554432000 4194304 5992684 140736345946784 140736345932616 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 73 0 0
/proc/24943/statm: 68949 67055 201 440 0 68505 0
[pid=25196] ppid=24943 vsize=6500492 CPUtime=1649.44 cores=1,3,5,7
/proc/25196/stat : 25196 (glucosInc) R 24943 24942 15712 0 -1 4202496 691307 0 0 0 164630 314 0 0 20 0 1 0 275255268 6656503808 1463197 33554432000 4194304 5654031 140737294817088 140737294814904 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25196/statm: 1625123 1463197 142 357 0 1624763 0
Current children cumulated CPU time (s) 1721.17
Current children cumulated vsize (KiB) 6785436
[startup+1782.3 s]
/proc/loadavg: 2.13 2.06 2.00 3/184 30924
/proc/meminfo: memFree=18978044/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
[pid=24943] ppid=24942 vsize=275796 CPUtime=71.73 cores=1,3,5,7
/proc/24943/stat : 24943 (npSolver-pbo) S 24942 24942 15712 0 -1 4202496 104872 201053 0 0 4011 1408 1612 142 20 0 1 0 275248010 282415104 67055 33554432000 4194304 5992684 140736345946784 140736345932616 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 73 0 0
/proc/24943/statm: 68949 67055 201 440 0 68505 0
[pid=25196] ppid=24943 vsize=6501588 CPUtime=1709.42 cores=1,3,5,7
/proc/25196/stat : 25196 (glucosInc) R 24943 24942 15712 0 -1 4202496 691437 0 0 0 170628 314 0 0 20 0 1 0 275255268 6657626112 1463838 33554432000 4194304 5654031 140737294817088 140737294814872 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25196/statm: 1625397 1463838 142 357 0 1625037 0
Current children cumulated CPU time (s) 1781.15
Current children cumulated vsize (KiB) 6786532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.2 s]
/proc/loadavg: 2.16 2.07 2.01 3/184 30987
/proc/meminfo: memFree=18965240/32873844 swapFree=7616/7616
[pid=24942] ppid=24940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24942/stat : 24942 (npSolver-pbo-It) S 24940 24942 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275248010 9367552 274 33554432000 4194304 5064252 140734386073200 140734386072112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24942/statm: 2287 274 233 213 0 72 0
[pid=24943] ppid=24942 vsize=275796 CPUtime=71.73 cores=1,3,5,7
/proc/24943/stat : 24943 (npSolver-pbo) S 24942 24942 15712 0 -1 4202496 104872 201053 0 0 4011 1408 1612 142 20 0 1 0 275248010 282415104 67055 33554432000 4194304 5992684 140736345946784 140736345932616 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 73 0 0
/proc/24943/statm: 68949 67055 201 440 0 68505 0
[pid=25196] ppid=24943 vsize=6501852 CPUtime=1728.33 cores=1,3,5,7
/proc/25196/stat : 25196 (glucosInc) R 24943 24942 15712 0 -1 4202496 691522 0 0 0 172518 315 0 0 20 0 1 0 275255268 6657896448 1464434 33554432000 4194304 5654031 140737294817088 140737294804904 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25196/statm: 1625463 1464434 142 357 0 1625103 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 6786796
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24942 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.22
CPU time (s): 1800.06
CPU user time (s): 1781.41
CPU system time (s): 18.65
CPU usage (%): 99.9358
Max. virtual memory (cumulated for all children) (KiB): 9009720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
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= 4
involuntary context switches= 1
runsolver used 4.30035 second user time and 10.8434 second system time
The end