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-3748501-1339177383/watcher-3748501-1339177383 -o /tmp/evaluation-result-3748501-1339177383/solver-3748501-1339177383 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748501-1339177383.opb 111778996 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: 2.00 2.00 2.00 3/178 32586
/proc/meminfo: memFree=30201528/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
[startup+0.075913 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32586
/proc/meminfo: memFree=30201528/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100342 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32586
/proc/meminfo: memFree=30201528/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300287 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32586
/proc/meminfo: memFree=30201528/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70031 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32586
/proc/meminfo: memFree=30201528/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 32588
/proc/meminfo: memFree=30104080/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
[pid=32587] ppid=32586 vsize=85488 CPUtime=1.26 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-pbo) S 32586 32586 32059 0 -1 4202496 8487 0 0 0 111 15 0 0 20 0 1 0 383864000 87539712 20073 33554432000 4194304 6004724 140734809621616 140734809616080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32587/statm: 21372 20073 171 442 0 20926 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 94636
[startup+3.10043 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 32590
/proc/meminfo: memFree=29902844/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
[pid=32587] ppid=32586 vsize=85488 CPUtime=1.26 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-pbo) S 32586 32586 32059 0 -1 4202496 8487 0 0 0 111 15 0 0 20 0 1 0 383864000 87539712 20073 33554432000 4194304 6004724 140734809621616 140734809616080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32587/statm: 21372 20073 171 442 0 20926 0
[pid=32589] ppid=32587 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32589/stat : 32589 (cp2_pre.sh) S 32587 32586 32059 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383864128 9367552 277 33554432000 4194304 5064252 140736463356320 140736463355024 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32589/statm: 2287 277 234 213 0 72 0
[pid=32590] ppid=32589 vsize=355416 CPUtime=1.81 cores=1,3,5,7
/proc/32590/stat : 32590 (coprocessor) R 32589 32586 32059 0 -1 4202496 40988 0 0 0 167 14 0 0 20 0 1 0 383864128 363945984 79400 33554432000 4194304 6586260 140737319890928 140737319887192 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/32590/statm: 88854 79400 166 584 0 88266 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 459200
[startup+6.30039 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 32590
/proc/meminfo: memFree=29624364/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
[pid=32587] ppid=32586 vsize=85488 CPUtime=1.26 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-pbo) S 32586 32586 32059 0 -1 4202496 8487 0 0 0 111 15 0 0 20 0 1 0 383864000 87539712 20073 33554432000 4194304 6004724 140734809621616 140734809616080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32587/statm: 21372 20073 171 442 0 20926 0
[pid=32589] ppid=32587 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32589/stat : 32589 (cp2_pre.sh) S 32587 32586 32059 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383864128 9367552 277 33554432000 4194304 5064252 140736463356320 140736463355024 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32589/statm: 2287 277 234 213 0 72 0
[pid=32590] ppid=32589 vsize=451108 CPUtime=5.01 cores=1,3,5,7
/proc/32590/stat : 32590 (coprocessor) R 32589 32586 32059 0 -1 4202496 58337 0 0 0 467 34 0 0 20 0 1 0 383864128 461934592 109376 33554432000 4194304 6586260 140737319890928 140737319886600 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/32590/statm: 112777 109376 204 584 0 112189 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 554892
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 32592
/proc/meminfo: memFree=29923456/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
[pid=32587] ppid=32586 vsize=89548 CPUtime=8.66 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-pbo) R 32586 32586 32059 0 -1 4202496 10830 59241 0 0 143 115 565 43 20 0 1 0 383864000 91697152 21097 33554432000 4194304 6004724 140734809621616 140734809615816 5190832 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32587/statm: 22387 21097 180 442 0 21941 0
[pid=32592] ppid=32587 vsize=169968 CPUtime=4.02 cores=1,3,5,7
/proc/32592/stat : 32592 (glucosInc) S 32587 32586 32059 0 -1 4202496 32184 0 0 0 394 8 0 0 20 0 1 0 383864737 174047232 39116 33554432000 4194304 5654031 140737255298592 140737255296904 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32592/statm: 42492 39116 146 357 0 42132 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 268664
[startup+25.5004 s]
/proc/loadavg: 2.22 2.05 2.02 3/182 32637
/proc/meminfo: memFree=29704672/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
[pid=32587] ppid=32586 vsize=95912 CPUtime=16.24 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-pbo) S 32586 32586 32059 0 -1 4202496 18772 92462 0 0 374 226 960 64 20 0 1 0 383864000 98213888 22724 33554432000 4194304 6004724 140734809621616 140734809606536 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32587/statm: 23978 22724 184 442 0 23532 0
[pid=32595] ppid=32587 vsize=549020 CPUtime=9.24 cores=1,3,5,7
/proc/32595/stat : 32595 (glucosInc) R 32587 32586 32059 0 -1 4202496 84564 0 0 0 897 27 0 0 20 0 1 0 383865625 562196480 122280 33554432000 4194304 5654031 140736785635184 140736785632792 4222538 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32595/statm: 137255 122280 141 357 0 136895 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 654080
[startup+51.1004 s]
/proc/loadavg: 2.14 2.04 2.01 3/181 32642
/proc/meminfo: memFree=29412168/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
[pid=32587] ppid=32586 vsize=95912 CPUtime=16.24 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-pbo) S 32586 32586 32059 0 -1 4202496 18772 92462 0 0 374 226 960 64 20 0 1 0 383864000 98213888 22724 33554432000 4194304 6004724 140734809621616 140734809606536 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32587/statm: 23978 22724 184 442 0 23532 0
[pid=32595] ppid=32587 vsize=552876 CPUtime=34.83 cores=1,3,5,7
/proc/32595/stat : 32595 (glucosInc) R 32587 32586 32059 0 -1 4202496 84874 0 0 0 3456 27 0 0 20 0 1 0 383865625 566145024 124123 33554432000 4194304 5654031 140736785635184 140736785623000 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32595/statm: 138219 124123 142 357 0 137859 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 657936
[startup+102.307 s]
/proc/loadavg: 2.11 2.05 2.01 3/180 32646
/proc/meminfo: memFree=30056068/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
[pid=32587] ppid=32586 vsize=103764 CPUtime=100.2 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-pbo) S 32586 32586 32059 0 -1 4202496 38644 259348 0 0 731 278 8870 141 20 0 1 0 383864000 106254336 24688 33554432000 4194304 6004724 140734809621616 140734809606536 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32587/statm: 25941 24688 185 442 0 25495 0
[pid=32646] ppid=32587 vsize=378228 CPUtime=2.12 cores=1,3,5,7
/proc/32646/stat : 32646 (glucosInc) R 32587 32586 32059 0 -1 4202496 61968 0 0 0 193 19 0 0 20 0 1 0 383874017 387305472 87525 33554432000 4194304 5654031 140734601220336 140734601218600 4232939 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32646/statm: 94557 87525 131 357 0 94197 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 491140
[startup+162.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/181 32648
/proc/meminfo: memFree=29732504/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
[pid=32587] ppid=32586 vsize=103764 CPUtime=100.2 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-pbo) S 32586 32586 32059 0 -1 4202496 38644 259348 0 0 731 278 8870 141 20 0 1 0 383864000 106254336 24688 33554432000 4194304 6004724 140734809621616 140734809606536 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32587/statm: 25941 24688 185 442 0 25495 0
[pid=32646] ppid=32587 vsize=438296 CPUtime=62.1 cores=1,3,5,7
/proc/32646/stat : 32646 (glucosInc) R 32587 32586 32059 0 -1 4202496 66052 0 0 0 6186 24 0 0 20 0 1 0 383874017 448815104 97790 33554432000 4194304 5654031 140734601220336 140734601208152 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32646/statm: 109574 97790 141 357 0 109214 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 551208
[startup+222.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/181 32649
/proc/meminfo: memFree=29699056/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
[pid=32587] ppid=32586 vsize=103764 CPUtime=100.2 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-pbo) S 32586 32586 32059 0 -1 4202496 38644 259348 0 0 731 278 8870 141 20 0 1 0 383864000 106254336 24688 33554432000 4194304 6004724 140734809621616 140734809606536 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32587/statm: 25941 24688 185 442 0 25495 0
[pid=32646] ppid=32587 vsize=518436 CPUtime=122.06 cores=1,3,5,7
/proc/32646/stat : 32646 (glucosInc) R 32587 32586 32059 0 -1 4202496 68167 0 0 0 12174 32 0 0 20 0 1 0 383874017 530878464 111229 33554432000 4194304 5654031 140734601220336 140734601208152 4225897 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32646/statm: 129609 111229 141 357 0 129249 0
Current children cumulated CPU time (s) 222.26
################
# More data... #
################
/proc/loadavg: 2.03 2.03 2.00 3/181 32681
/proc/meminfo: memFree=29428760/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
[pid=32587] ppid=32586 vsize=103764 CPUtime=100.2 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-pbo) S 32586 32586 32059 0 -1 4202496 38644 259348 0 0 731 278 8870 141 20 0 1 0 383864000 106254336 24688 33554432000 4194304 6004724 140734809621616 140734809606536 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32587/statm: 25941 24688 185 442 0 25495 0
[pid=32646] ppid=32587 vsize=673828 CPUtime=1201.88 cores=1,3,5,7
/proc/32646/stat : 32646 (glucosInc) R 32587 32586 32059 0 -1 4202496 83315 0 0 0 120108 80 0 0 20 0 1 0 383874017 689999872 136302 33554432000 4194304 5654031 140734601220336 140734601218424 4215017 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32646/statm: 168457 136302 141 357 0 168097 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 786740
[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 32681
/proc/meminfo: memFree=29381516/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
[pid=32587] ppid=32586 vsize=103764 CPUtime=100.2 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-pbo) S 32586 32586 32059 0 -1 4202496 38644 259348 0 0 731 278 8870 141 20 0 1 0 383864000 106254336 24688 33554432000 4194304 6004724 140734809621616 140734809606536 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32587/statm: 25941 24688 185 442 0 25495 0
[pid=32646] ppid=32587 vsize=673828 CPUtime=1261.87 cores=1,3,5,7
/proc/32646/stat : 32646 (glucosInc) R 32587 32586 32059 0 -1 4202496 85403 0 0 0 126099 88 0 0 20 0 1 0 383874017 689999872 143886 33554432000 4194304 5654031 140734601220336 140734601218424 4215040 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32646/statm: 168457 143886 141 357 0 168097 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 786740
[startup+1422.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 32682
/proc/meminfo: memFree=29466900/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
[pid=32587] ppid=32586 vsize=103764 CPUtime=100.2 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-pbo) S 32586 32586 32059 0 -1 4202496 38644 259348 0 0 731 278 8870 141 20 0 1 0 383864000 106254336 24688 33554432000 4194304 6004724 140734809621616 140734809606536 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32587/statm: 25941 24688 185 442 0 25495 0
[pid=32646] ppid=32587 vsize=547264 CPUtime=1321.86 cores=1,3,5,7
/proc/32646/stat : 32646 (glucosInc) R 32587 32586 32059 0 -1 4202496 88105 0 0 0 132092 94 0 0 20 0 1 0 383874017 560398336 113414 33554432000 4194304 5654031 140734601220336 140734601218360 4215081 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32646/statm: 136816 113414 141 357 0 136456 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 660176
[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 32682
/proc/meminfo: memFree=29288896/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
[pid=32587] ppid=32586 vsize=103764 CPUtime=100.2 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-pbo) S 32586 32586 32059 0 -1 4202496 38644 259348 0 0 731 278 8870 141 20 0 1 0 383864000 106254336 24688 33554432000 4194304 6004724 140734809621616 140734809606536 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32587/statm: 25941 24688 185 442 0 25495 0
[pid=32646] ppid=32587 vsize=549220 CPUtime=1381.84 cores=1,3,5,7
/proc/32646/stat : 32646 (glucosInc) R 32587 32586 32059 0 -1 4202496 88855 0 0 0 138089 95 0 0 20 0 1 0 383874017 562401280 127961 33554432000 4194304 5654031 140734601220336 140734601208152 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32646/statm: 137305 127961 141 357 0 136945 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 662132
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 32682
/proc/meminfo: memFree=28974688/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
[pid=32587] ppid=32586 vsize=103764 CPUtime=100.2 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-pbo) S 32586 32586 32059 0 -1 4202496 38644 259348 0 0 731 278 8870 141 20 0 1 0 383864000 106254336 24688 33554432000 4194304 6004724 140734809621616 140734809606536 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32587/statm: 25941 24688 185 442 0 25495 0
[pid=32646] ppid=32587 vsize=684388 CPUtime=1441.84 cores=1,3,5,7
/proc/32646/stat : 32646 (glucosInc) R 32587 32586 32059 0 -1 4202496 89530 0 0 0 144087 97 0 0 20 0 1 0 383874017 700813312 136300 33554432000 4194304 5654031 140734601220336 140734601208152 4216690 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32646/statm: 171097 136300 141 357 0 170737 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 797300
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 32682
/proc/meminfo: memFree=28784260/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
[pid=32587] ppid=32586 vsize=103764 CPUtime=100.2 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-pbo) S 32586 32586 32059 0 -1 4202496 38644 259348 0 0 731 278 8870 141 20 0 1 0 383864000 106254336 24688 33554432000 4194304 6004724 140734809621616 140734809606536 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32587/statm: 25941 24688 185 442 0 25495 0
[pid=32646] ppid=32587 vsize=684388 CPUtime=1501.82 cores=1,3,5,7
/proc/32646/stat : 32646 (glucosInc) R 32587 32586 32059 0 -1 4202496 89650 0 0 0 150085 97 0 0 20 0 1 0 383874017 700813312 139046 33554432000 4194304 5654031 140734601220336 140734601208152 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32646/statm: 171097 139046 141 357 0 170737 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 797300
[startup+1662.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/182 32685
/proc/meminfo: memFree=29370800/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
[pid=32587] ppid=32586 vsize=103764 CPUtime=100.2 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-pbo) S 32586 32586 32059 0 -1 4202496 38644 259348 0 0 731 278 8870 141 20 0 1 0 383864000 106254336 24688 33554432000 4194304 6004724 140734809621616 140734809606536 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32587/statm: 25941 24688 185 442 0 25495 0
[pid=32646] ppid=32587 vsize=473500 CPUtime=1561.81 cores=1,3,5,7
/proc/32646/stat : 32646 (glucosInc) R 32587 32586 32059 0 -1 4202496 90052 0 0 0 156081 100 0 0 20 0 1 0 383874017 484864000 107182 33554432000 4194304 5654031 140734601220336 140734601218360 4214993 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32646/statm: 118375 107182 141 357 0 118015 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 586412
[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/180 32685
/proc/meminfo: memFree=29039292/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
[pid=32587] ppid=32586 vsize=103764 CPUtime=100.2 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-pbo) S 32586 32586 32059 0 -1 4202496 38644 259348 0 0 731 278 8870 141 20 0 1 0 383864000 106254336 24688 33554432000 4194304 6004724 140734809621616 140734809606536 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32587/statm: 25941 24688 185 442 0 25495 0
[pid=32646] ppid=32587 vsize=554888 CPUtime=1621.8 cores=1,3,5,7
/proc/32646/stat : 32646 (glucosInc) R 32587 32586 32059 0 -1 4202496 90646 0 0 0 162078 102 0 0 20 0 1 0 383874017 568205312 114928 33554432000 4194304 5654031 140734601220336 140734601218424 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32646/statm: 138722 114928 141 357 0 138362 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 667800
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 32686
/proc/meminfo: memFree=28771308/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
[pid=32587] ppid=32586 vsize=103764 CPUtime=100.2 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-pbo) S 32586 32586 32059 0 -1 4202496 38644 259348 0 0 731 278 8870 141 20 0 1 0 383864000 106254336 24688 33554432000 4194304 6004724 140734809621616 140734809606536 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32587/statm: 25941 24688 185 442 0 25495 0
[pid=32646] ppid=32587 vsize=554888 CPUtime=1681.78 cores=1,3,5,7
/proc/32646/stat : 32646 (glucosInc) R 32587 32586 32059 0 -1 4202496 90761 0 0 0 168076 102 0 0 20 0 1 0 383874017 568205312 121174 33554432000 4194304 5654031 140734601220336 140734601208152 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32646/statm: 138722 121174 141 357 0 138362 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 667800
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.08 2.04 2.00 3/181 32686
/proc/meminfo: memFree=29396628/32873844 swapFree=7632/7632
[pid=32586] ppid=32584 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32586/stat : 32586 (npSolver-pbo-I.) S 32584 32586 32059 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 383864000 9367552 275 33554432000 4194304 5064252 140736843051984 140736843050896 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32586/statm: 2287 275 233 213 0 72 0
[pid=32587] ppid=32586 vsize=103764 CPUtime=100.2 cores=1,3,5,7
/proc/32587/stat : 32587 (npSolver-pbo) S 32586 32586 32059 0 -1 4202496 38644 259348 0 0 731 278 8870 141 20 0 1 0 383864000 106254336 24688 33554432000 4194304 6004724 140734809621616 140734809606536 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32587/statm: 25941 24688 185 442 0 25495 0
[pid=32646] ppid=32587 vsize=554888 CPUtime=1699.9 cores=1,3,5,7
/proc/32646/stat : 32646 (glucosInc) R 32587 32586 32059 0 -1 4202496 90774 0 0 0 169887 103 0 0 20 0 1 0 383874017 568205312 127830 33554432000 4194304 5654031 140734601220336 140734601208152 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32646/statm: 138722 127830 141 357 0 138362 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 667800
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32586 and gives
# childrusage.ru_utime.tv_sec=96
# childrusage.ru_utime.tv_usec=21402
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=200361
# CPU time returned by wait4() is 100.222
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.1
CPU user time (s): 1794.88
CPU system time (s): 5.22
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 1137588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 96.0214
system time used= 4.20036
maximum resident set size= 604700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 298367
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1203600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5852
involuntary context switches= 1237
runsolver used 3.72143 second user time and 8.5347 second system time
The end