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-3748217-1339180995/watcher-3748217-1339180995 -o /tmp/evaluation-result-3748217-1339180995/solver-3748217-1339180995 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748217-1339180995.opb 68170672 HOME HOME
running on 4 cores: 0,2,4,6
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.08 2.02 2.00 3/179 9504
/proc/meminfo: memFree=30562040/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (runsolver) D 9502 9504 8666 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 384227088 12095488 51 33554432000 4194304 5436572 140734287828000 140734287824296 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/9504/statm: 2953 51 31 304 0 2645 0
[startup+0.0811279 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 9504
/proc/meminfo: memFree=30562040/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100203 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 9504
/proc/meminfo: memFree=30562040/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300148 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 9504
/proc/meminfo: memFree=30562040/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700153 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 9504
/proc/meminfo: memFree=30562040/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.08 2.02 2.00 3/181 9506
/proc/meminfo: memFree=30450104/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
[pid=9506] ppid=9504 vsize=215212 CPUtime=1.48 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) R 9504 9504 8666 0 -1 4202496 24605 0 0 0 140 8 0 0 20 0 1 0 384227089 220377088 41868 33554432000 4194304 6004724 140737484200400 140737484196040 4968639 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9506/statm: 53803 41869 130 442 0 53357 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 224360
[startup+3.1003 s]
/proc/loadavg: 2.08 2.02 2.00 3/181 9506
/proc/meminfo: memFree=30329764/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
[pid=9506] ppid=9504 vsize=431028 CPUtime=3.08 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) R 9504 9504 8666 0 -1 4202496 46441 0 0 0 293 15 0 0 20 0 1 0 384227089 441372672 85612 33554432000 4194304 6004724 140737484200400 140737484196424 4968639 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9506/statm: 107790 85613 130 442 0 107344 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 440176
[startup+6.30032 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 9506
/proc/meminfo: memFree=29965084/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
[pid=9506] ppid=9504 vsize=1450280 CPUtime=6.27 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) R 9504 9504 8666 0 -1 4202496 157792 0 0 0 585 42 0 0 20 0 1 0 384227089 1485086720 310749 33554432000 4194304 6004724 140737484200400 140737484196840 4962731 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9506/statm: 362570 310749 131 442 0 362124 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 1459428
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 9506
/proc/meminfo: memFree=29269112/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
[pid=9506] ppid=9504 vsize=1450276 CPUtime=12.68 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) R 9504 9504 8666 0 -1 4202496 158750 0 0 0 1215 53 0 0 20 0 1 0 384227089 1485082624 336687 33554432000 4194304 6004724 140737484200400 140737484195016 4536120 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9506/statm: 362569 336687 147 442 0 362123 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1459424
[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 9546
/proc/meminfo: memFree=27270820/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
[pid=9506] ppid=9504 vsize=3023156 CPUtime=25.48 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) R 9504 9504 8666 0 -1 4202496 161034 0 0 0 2457 91 0 0 20 0 1 0 384227089 3095711744 574796 33554432000 4194304 6004724 140737484200400 140737484195000 4536054 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9506/statm: 755789 574796 154 442 0 755343 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3032304
[startup+51.1003 s]
/proc/loadavg: 2.32 2.08 2.02 3/184 9550
/proc/meminfo: memFree=20372084/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
[pid=9506] ppid=9504 vsize=3023160 CPUtime=28.33 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9504 9504 8666 0 -1 4202496 162475 0 0 0 2536 297 0 0 20 0 1 0 384227089 3095715840 585558 33554432000 4194304 6004724 140737484200400 140737484194864 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9506/statm: 755790 585558 163 442 0 755344 0
[pid=9547] ppid=9506 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9547/stat : 9547 (cp2_pre.sh) S 9506 9504 8666 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 384229923 9367552 277 33554432000 4194304 5064252 140733603668912 140733603667616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9547/statm: 2287 277 234 213 0 72 0
[pid=9548] ppid=9547 vsize=2684268 CPUtime=22.53 cores=0,2,4,6
/proc/9548/stat : 9548 (coprocessor) R 9547 9504 8666 0 -1 4202496 25676 0 0 0 2146 107 0 0 20 0 1 0 384229925 2748690432 531017 33554432000 4194304 6586260 140737040213936 140737040209688 4948987 0 0 4096 8404994 0 0 0 17 0 0 0 18 0 0
/proc/9548/statm: 671067 531017 158 584 0 670479 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 5725724
[startup+102.345 s]
/proc/loadavg: 3.16 2.33 2.11 3/181 9554
/proc/meminfo: memFree=21680408/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
[pid=9506] ppid=9504 vsize=3023160 CPUtime=88.72 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9504 9504 8666 0 -1 4202496 162493 26577 0 0 2536 298 5703 335 20 0 1 0 384227089 3095715840 585562 33554432000 4194304 6004724 140737484200400 140737484186680 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9506/statm: 755790 585562 167 442 0 755344 0
[pid=9554] ppid=9506 vsize=3418320 CPUtime=13.37 cores=0,2,4,6
/proc/9554/stat : 9554 (glucosInc) R 9506 9504 8666 0 -1 4202496 330084 0 0 0 1237 100 0 0 20 0 1 0 384235983 3500359680 728184 33554432000 4194304 5654031 140736639187184 140736639185064 4232563 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9554/statm: 854580 728184 131 357 0 854220 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 6450628
[startup+162.345 s]
/proc/loadavg: 2.46 2.28 2.10 3/181 9554
/proc/meminfo: memFree=19916048/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
[pid=9506] ppid=9504 vsize=3023160 CPUtime=88.72 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9504 9504 8666 0 -1 4202496 162493 26577 0 0 2536 298 5703 335 20 0 1 0 384227089 3095715840 585562 33554432000 4194304 6004724 140737484200400 140737484186680 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9506/statm: 755790 585562 167 442 0 755344 0
[pid=9554] ppid=9506 vsize=3440012 CPUtime=73.35 cores=0,2,4,6
/proc/9554/stat : 9554 (glucosInc) R 9506 9504 8666 0 -1 4202496 347907 0 0 0 7230 105 0 0 20 0 1 0 384235983 3522572288 734078 33554432000 4194304 5654031 140736639187184 140736639175000 4214505 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9554/statm: 860003 734078 140 357 0 859643 0
Current children cumulated CPU time (s) 162.07
Current children cumulated vsize (KiB) 6472320
[startup+222.345 s]
/proc/loadavg: 2.20 2.23 2.09 3/181 9554
/proc/meminfo: memFree=19907924/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
[pid=9506] ppid=9504 vsize=3023160 CPUtime=88.72 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9504 9504 8666 0 -1 4202496 162493 26577 0 0 2536 298 5703 335 20 0 1 0 384227089 3095715840 585562 33554432000 4194304 6004724 140737484200400 140737484186680 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9506/statm: 755790 585562 167 442 0 755344 0
[pid=9554] ppid=9506 vsize=3444556 CPUtime=133.32 cores=0,2,4,6
/proc/9554/stat : 9554 (glucosInc) R 9506 9504 8666 0 -1 4202496 365014 0 0 0 13223 109 0 0 20 0 1 0 384235983 3527225344 735272 33554432000 4194304 5654031 140736639187184 140736639184968 4208595 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9554/statm: 861139 735272 140 357 0 860779 0
Current children cumulated CPU time (s) 222.04
Current children cumulated vsize (KiB) 6476864
[startup+282.345 s]
/proc/loadavg: 2.07 2.19 2.08 3/181 9554
/proc/meminfo: memFree=19900960/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
[pid=9506] ppid=9504 vsize=3023160 CPUtime=88.72 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9504 9504 8666 0 -1 4202496 162493 26577 0 0 2536 298 5703 335 20 0 1 0 384227089 3095715840 585562 33554432000 4194304 6004724 140737484200400 140737484186680 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9506/statm: 755790 585562 167 442 0 755344 0
[pid=9554] ppid=9506 vsize=3447364 CPUtime=193.3 cores=0,2,4,6
/proc/9554/stat : 9554 (glucosInc) R 9506 9504 8666 0 -1 4202496 377694 0 0 0 19218 112 0 0 20 0 1 0 384235983 3530100736 736051 33554432000 4194304 5654031 140736639187184 140736639184968 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9554/statm: 861841 736051 140 357 0 861481 0
Current children cumulated CPU time (s) 282.02
################
# More data... #
################
/proc/meminfo: memFree=19853092/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
[pid=9506] ppid=9504 vsize=3023160 CPUtime=88.72 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9504 9504 8666 0 -1 4202496 162493 26577 0 0 2536 298 5703 335 20 0 1 0 384227089 3095715840 585562 33554432000 4194304 6004724 140737484200400 140737484186680 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9506/statm: 755790 585562 167 442 0 755344 0
[pid=9554] ppid=9506 vsize=3472100 CPUtime=1273.08 cores=0,2,4,6
/proc/9554/stat : 9554 (glucosInc) R 9506 9504 8666 0 -1 4202496 606713 0 0 0 127135 173 0 0 20 0 1 0 384235983 3555430400 743118 33554432000 4194304 5654031 140736639187184 140736639185256 4208595 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9554/statm: 868025 743118 140 357 0 867665 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 6504408
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9587
/proc/meminfo: memFree=19848544/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
[pid=9506] ppid=9504 vsize=3023160 CPUtime=88.72 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9504 9504 8666 0 -1 4202496 162493 26577 0 0 2536 298 5703 335 20 0 1 0 384227089 3095715840 585562 33554432000 4194304 6004724 140737484200400 140737484186680 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9506/statm: 755790 585562 167 442 0 755344 0
[pid=9554] ppid=9506 vsize=3472268 CPUtime=1333.06 cores=0,2,4,6
/proc/9554/stat : 9554 (glucosInc) R 9506 9504 8666 0 -1 4202496 618733 0 0 0 133130 176 0 0 20 0 1 0 384235983 3555602432 743191 33554432000 4194304 5654031 140736639187184 140736639185256 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9554/statm: 868067 743191 140 357 0 867707 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 6504576
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9587
/proc/meminfo: memFree=19847968/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
[pid=9506] ppid=9504 vsize=3023160 CPUtime=88.72 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9504 9504 8666 0 -1 4202496 162493 26577 0 0 2536 298 5703 335 20 0 1 0 384227089 3095715840 585562 33554432000 4194304 6004724 140737484200400 140737484186680 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9506/statm: 755790 585562 167 442 0 755344 0
[pid=9554] ppid=9506 vsize=3473584 CPUtime=1393.05 cores=0,2,4,6
/proc/9554/stat : 9554 (glucosInc) R 9506 9504 8666 0 -1 4202496 630994 0 0 0 139126 179 0 0 20 0 1 0 384235983 3556950016 743525 33554432000 4194304 5654031 140736639187184 140736639175000 4232752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9554/statm: 868396 743525 140 357 0 868036 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 6505892
[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 9588
/proc/meminfo: memFree=19846152/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
[pid=9506] ppid=9504 vsize=3023160 CPUtime=88.72 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9504 9504 8666 0 -1 4202496 162493 26577 0 0 2536 298 5703 335 20 0 1 0 384227089 3095715840 585562 33554432000 4194304 6004724 140737484200400 140737484186680 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9506/statm: 755790 585562 167 442 0 755344 0
[pid=9554] ppid=9506 vsize=3474388 CPUtime=1453.04 cores=0,2,4,6
/proc/9554/stat : 9554 (glucosInc) R 9506 9504 8666 0 -1 4202496 643156 0 0 0 145122 182 0 0 20 0 1 0 384235983 3557773312 743762 33554432000 4194304 5654031 140736639187184 140736639185256 4208648 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9554/statm: 868597 743762 140 357 0 868237 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 6506696
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 9588
/proc/meminfo: memFree=19845824/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
[pid=9506] ppid=9504 vsize=3023160 CPUtime=88.72 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9504 9504 8666 0 -1 4202496 162493 26577 0 0 2536 298 5703 335 20 0 1 0 384227089 3095715840 585562 33554432000 4194304 6004724 140737484200400 140737484186680 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9506/statm: 755790 585562 167 442 0 755344 0
[pid=9554] ppid=9506 vsize=3474548 CPUtime=1513.04 cores=0,2,4,6
/proc/9554/stat : 9554 (glucosInc) R 9506 9504 8666 0 -1 4202496 655122 0 0 0 151118 186 0 0 20 0 1 0 384235983 3557937152 743803 33554432000 4194304 5654031 140736639187184 140736639185256 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9554/statm: 868637 743803 140 357 0 868277 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 6506856
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9591
/proc/meminfo: memFree=19843828/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
[pid=9506] ppid=9504 vsize=3023160 CPUtime=88.72 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9504 9504 8666 0 -1 4202496 162493 26577 0 0 2536 298 5703 335 20 0 1 0 384227089 3095715840 585562 33554432000 4194304 6004724 140737484200400 140737484186680 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9506/statm: 755790 585562 167 442 0 755344 0
[pid=9554] ppid=9506 vsize=3474924 CPUtime=1573.02 cores=0,2,4,6
/proc/9554/stat : 9554 (glucosInc) R 9506 9504 8666 0 -1 4202496 667128 0 0 0 157113 189 0 0 20 0 1 0 384235983 3558322176 743882 33554432000 4194304 5654031 140736639187184 140736639184968 4219862 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9554/statm: 868731 743882 140 357 0 868371 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 6507232
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9591
/proc/meminfo: memFree=19843260/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
[pid=9506] ppid=9504 vsize=3023160 CPUtime=88.72 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9504 9504 8666 0 -1 4202496 162493 26577 0 0 2536 298 5703 335 20 0 1 0 384227089 3095715840 585562 33554432000 4194304 6004724 140737484200400 140737484186680 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9506/statm: 755790 585562 167 442 0 755344 0
[pid=9554] ppid=9506 vsize=3475456 CPUtime=1633.02 cores=0,2,4,6
/proc/9554/stat : 9554 (glucosInc) R 9506 9504 8666 0 -1 4202496 683229 0 0 0 163109 193 0 0 20 0 1 0 384235983 3558866944 744087 33554432000 4194304 5654031 140736639187184 140736639185064 4214280 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9554/statm: 868864 744087 140 357 0 868504 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 6507764
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9591
/proc/meminfo: memFree=19841816/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
[pid=9506] ppid=9504 vsize=3023160 CPUtime=88.72 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9504 9504 8666 0 -1 4202496 162493 26577 0 0 2536 298 5703 335 20 0 1 0 384227089 3095715840 585562 33554432000 4194304 6004724 140737484200400 140737484186680 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9506/statm: 755790 585562 167 442 0 755344 0
[pid=9554] ppid=9506 vsize=3476172 CPUtime=1693.01 cores=0,2,4,6
/proc/9554/stat : 9554 (glucosInc) R 9506 9504 8666 0 -1 4202496 695380 0 0 0 169105 196 0 0 20 0 1 0 384235983 3559600128 744315 33554432000 4194304 5654031 140736639187184 140736639185160 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9554/statm: 869043 744315 140 357 0 868683 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 6508480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9592
/proc/meminfo: memFree=19838832/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
[pid=9506] ppid=9504 vsize=3023160 CPUtime=88.72 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9504 9504 8666 0 -1 4202496 162493 26577 0 0 2536 298 5703 335 20 0 1 0 384227089 3095715840 585562 33554432000 4194304 6004724 140737484200400 140737484186680 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9506/statm: 755790 585562 167 442 0 755344 0
[pid=9554] ppid=9506 vsize=3476436 CPUtime=1711.31 cores=0,2,4,6
/proc/9554/stat : 9554 (glucosInc) R 9506 9504 8666 0 -1 4202496 695434 0 0 0 170935 196 0 0 20 0 1 0 384235983 3559870464 744369 33554432000 4194304 5654031 140736639187184 140736639184968 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9554/statm: 869109 744369 140 357 0 868749 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 6508744
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9592
/proc/meminfo: memFree=19838832/32873648 swapFree=7376/7376
[pid=9504] ppid=9502 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9504/stat : 9504 (npSolver-pbo-I.) S 9502 9504 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384227088 9367552 275 33554432000 4194304 5064252 140735553660048 140735553658960 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9504/statm: 2287 275 233 213 0 72 0
[pid=9506] ppid=9504 vsize=3023160 CPUtime=88.72 cores=0,2,4,6
/proc/9506/stat : 9506 (npSolver-pbo) S 9504 9504 8666 0 -1 4202496 162493 26577 0 0 2536 298 5703 335 20 0 1 0 384227089 3095715840 585562 33554432000 4194304 6004724 140737484200400 140737484186680 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9506/statm: 755790 585562 167 442 0 755344 0
[pid=9554] ppid=9506 vsize=3476436 CPUtime=1711.31 cores=0,2,4,6
/proc/9554/stat : 9554 (glucosInc) R 9506 9504 8666 0 -1 4202496 695434 0 0 0 170935 196 0 0 20 0 1 0 384235983 3559870464 744369 33554432000 4194304 5654031 140736639187184 140736639184968 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9554/statm: 869109 744369 140 357 0 868749 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 6508744
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9504 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.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.62
CPU time (s): 1800.03
CPU user time (s): 1791.74
CPU system time (s): 8.29
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 6550004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
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= 2
runsolver used 3.42148 second user time and 8.79466 second system time
The end