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-3698512-1338108344/watcher-3698512-1338108344 -o /tmp/evaluation-result-3698512-1338108344/solver-3698512-1338108344 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698512-1338108344.opb 821438765 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.60 2.20 2.07 3/181 13699
/proc/meminfo: memFree=27761868/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
[startup+0.0708781 s]
/proc/loadavg: 2.60 2.20 2.07 3/181 13699
/proc/meminfo: memFree=27761868/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100227 s]
/proc/loadavg: 2.60 2.20 2.07 3/181 13699
/proc/meminfo: memFree=27761868/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300201 s]
/proc/loadavg: 2.60 2.20 2.07 3/181 13699
/proc/meminfo: memFree=27761868/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700195 s]
/proc/loadavg: 2.60 2.20 2.07 3/181 13699
/proc/meminfo: memFree=27761868/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50023 s]
/proc/loadavg: 2.60 2.20 2.07 3/183 13701
/proc/meminfo: memFree=27755340/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
[pid=13700] ppid=13699 vsize=13548 CPUtime=1.49 cores=1,3,5,7
/proc/13700/stat : 13700 (npSolver-pbo) R 13699 13699 10899 0 -1 4202496 2570 0 0 0 148 1 0 0 20 0 1 0 276959911 13873152 2585 33554432000 4194304 5992684 140734234467216 140734234463720 5179600 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13700/statm: 3387 2585 146 440 0 2943 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22696
[startup+3.10028 s]
/proc/loadavg: 2.60 2.20 2.07 3/183 13701
/proc/meminfo: memFree=27748808/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
[pid=13700] ppid=13699 vsize=49776 CPUtime=3.08 cores=1,3,5,7
/proc/13700/stat : 13700 (npSolver-pbo) R 13699 13699 10899 0 -1 4202496 10010 0 0 0 306 2 0 0 20 0 1 0 276959911 50970624 11554 33554432000 4194304 5992684 140734234467216 140734234463336 4377673 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13700/statm: 12444 11554 159 440 0 12000 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 58924
[startup+6.30031 s]
/proc/loadavg: 2.55 2.19 2.07 3/183 13701
/proc/meminfo: memFree=27507672/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
[pid=13700] ppid=13699 vsize=565568 CPUtime=6.28 cores=1,3,5,7
/proc/13700/stat : 13700 (npSolver-pbo) R 13699 13699 10899 0 -1 4202496 29900 0 0 0 598 30 0 0 20 0 1 0 276959911 579141632 126370 33554432000 4194304 5992684 140734234467216 140734234462184 5182699 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13700/statm: 141392 126370 168 440 0 140948 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 574716
[startup+12.7004 s]
/proc/loadavg: 2.59 2.21 2.07 3/185 13705
/proc/meminfo: memFree=26321532/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
[pid=13700] ppid=13699 vsize=362856 CPUtime=6.46 cores=1,3,5,7
/proc/13700/stat : 13700 (npSolver-pbo) S 13699 13699 10899 0 -1 4202496 29907 0 0 0 598 48 0 0 20 0 1 0 276959911 371564544 75698 33554432000 4194304 5992684 140734234467216 140734234461664 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13700/statm: 90714 75698 174 440 0 90270 0
[pid=13704] ppid=13700 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13704/stat : 13704 (cp2_pre.sh) S 13700 13699 10899 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 276960558 9367552 277 33554432000 4194304 5064252 140735225533984 140735225532688 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13704/statm: 2287 277 234 213 0 72 0
[pid=13705] ppid=13704 vsize=1054160 CPUtime=6.21 cores=1,3,5,7
/proc/13705/stat : 13705 (coprocessor) R 13704 13699 10899 0 -1 4202496 87374 0 0 0 587 34 0 0 20 0 1 0 276960558 1079459840 238218 33554432000 4194304 6586260 140733335619360 140733335615512 4497911 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/13705/statm: 263540 238218 168 584 0 262952 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1435312
[startup+25.5072 s]
/proc/loadavg: 2.54 2.21 2.07 3/184 13707
/proc/meminfo: memFree=26896676/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
[pid=13700] ppid=13699 vsize=362856 CPUtime=21.97 cores=1,3,5,7
/proc/13700/stat : 13700 (npSolver-pbo) S 13699 13699 10899 0 -1 4202496 29924 108461 0 0 598 48 1480 71 20 0 1 0 276959911 371564544 75700 33554432000 4194304 5992684 140734234467216 140734234453480 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13700/statm: 90714 75700 176 440 0 90270 0
[pid=13707] ppid=13700 vsize=522640 CPUtime=3.45 cores=1,3,5,7
/proc/13707/stat : 13707 (glucosInc) R 13700 13699 10899 0 -1 4202496 79334 0 0 0 323 22 0 0 20 0 1 0 276962115 535183360 116685 33554432000 4194304 5654031 140734582628672 140734582626280 4215009 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13707/statm: 130660 116685 130 357 0 130300 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 894644
[startup+51.1004 s]
/proc/loadavg: 2.35 2.19 2.07 3/184 13707
/proc/meminfo: memFree=26890784/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
[pid=13700] ppid=13699 vsize=362856 CPUtime=21.97 cores=1,3,5,7
/proc/13700/stat : 13700 (npSolver-pbo) S 13699 13699 10899 0 -1 4202496 29924 108461 0 0 598 48 1480 71 20 0 1 0 276959911 371564544 75700 33554432000 4194304 5992684 140734234467216 140734234453480 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13700/statm: 90714 75700 176 440 0 90270 0
[pid=13707] ppid=13700 vsize=523688 CPUtime=29.04 cores=1,3,5,7
/proc/13707/stat : 13707 (glucosInc) R 13700 13699 10899 0 -1 4202496 79601 0 0 0 2882 22 0 0 20 0 1 0 276962115 536256512 117463 33554432000 4194304 5654031 140734582628672 140734582626360 4233280 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13707/statm: 130922 117463 140 357 0 130562 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 895692
[startup+102.3 s]
/proc/loadavg: 2.22 2.18 2.07 3/183 13710
/proc/meminfo: memFree=26693556/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
[pid=13700] ppid=13699 vsize=378516 CPUtime=87.71 cores=1,3,5,7
/proc/13700/stat : 13700 (npSolver-pbo) S 13699 13699 10899 0 -1 4202496 39085 189891 0 0 815 645 7179 132 20 0 1 0 276959911 387600384 79639 33554432000 4194304 5992684 140734234467216 140734234453048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 16 0 0
/proc/13700/statm: 94629 79639 185 440 0 94185 0
[pid=13710] ppid=13700 vsize=581552 CPUtime=14.37 cores=1,3,5,7
/proc/13710/stat : 13710 (glucosInc) R 13700 13699 10899 0 -1 4202496 79007 0 0 0 1419 18 0 0 20 0 1 0 276968701 595509248 123869 33554432000 4194304 5654031 140737430000192 140737429988008 4233283 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13710/statm: 145388 123869 141 357 0 145028 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 969216
[startup+162.3 s]
/proc/loadavg: 2.08 2.14 2.07 3/183 13710
/proc/meminfo: memFree=26656640/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
[pid=13700] ppid=13699 vsize=378516 CPUtime=87.71 cores=1,3,5,7
/proc/13700/stat : 13700 (npSolver-pbo) S 13699 13699 10899 0 -1 4202496 39085 189891 0 0 815 645 7179 132 20 0 1 0 276959911 387600384 79639 33554432000 4194304 5992684 140734234467216 140734234453048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 16 0 0
/proc/13700/statm: 94629 79639 185 440 0 94185 0
[pid=13710] ppid=13700 vsize=600248 CPUtime=74.36 cores=1,3,5,7
/proc/13710/stat : 13710 (glucosInc) R 13700 13699 10899 0 -1 4202496 81666 0 0 0 7416 20 0 0 20 0 1 0 276968701 614653952 132149 33554432000 4194304 5654031 140737430000192 140737429988008 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13710/statm: 150062 132149 141 357 0 149702 0
Current children cumulated CPU time (s) 162.07
Current children cumulated vsize (KiB) 987912
[startup+222.3 s]
/proc/loadavg: 2.07 2.13 2.07 3/183 13713
/proc/meminfo: memFree=26680148/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
[pid=13700] ppid=13699 vsize=378516 CPUtime=87.71 cores=1,3,5,7
/proc/13700/stat : 13700 (npSolver-pbo) S 13699 13699 10899 0 -1 4202496 39085 189891 0 0 815 645 7179 132 20 0 1 0 276959911 387600384 79639 33554432000 4194304 5992684 140734234467216 140734234453048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 16 0 0
/proc/13700/statm: 94629 79639 185 440 0 94185 0
[pid=13710] ppid=13700 vsize=607812 CPUtime=134.36 cores=1,3,5,7
/proc/13710/stat : 13710 (glucosInc) R 13700 13699 10899 0 -1 4202496 82833 0 0 0 13414 22 0 0 20 0 1 0 276968701 622399488 135193 33554432000 4194304 5654031 140737430000192 140737429988008 4208621 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13710/statm: 151953 135193 142 357 0 151593 0
Current children cumulated CPU time (s) 222.07
Current children cumulated vsize (KiB) 995476
[startup+282.3 s]
/proc/loadavg: 2.02 2.10 2.06 3/184 13716
/proc/meminfo: memFree=26646236/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
[pid=13700] ppid=13699 vsize=378516 CPUtime=87.71 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=25762092/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
[pid=13700] ppid=13699 vsize=407252 CPUtime=547.69 cores=1,3,5,7
/proc/13700/stat : 13700 (npSolver-pbo) S 13699 13699 10899 0 -1 4202496 48352 275721 0 0 943 651 52993 182 20 0 1 0 276959911 417026048 86327 33554432000 4194304 5992684 140734234467216 140734234453048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 16 0 0
/proc/13700/statm: 101813 86327 185 440 0 101369 0
[pid=13719] ppid=13700 vsize=623872 CPUtime=814.22 cores=1,3,5,7
/proc/13719/stat : 13719 (glucosInc) R 13700 13699 10899 0 -1 4202496 86685 0 0 0 81387 35 0 0 20 0 1 0 277014703 638844928 141372 33554432000 4194304 5654031 140733886345248 140733886333064 4214603 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13719/statm: 155968 141372 142 357 0 155608 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1040272
[startup+1422.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/183 13839
/proc/meminfo: memFree=25762216/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
[pid=13700] ppid=13699 vsize=407252 CPUtime=547.69 cores=1,3,5,7
/proc/13700/stat : 13700 (npSolver-pbo) S 13699 13699 10899 0 -1 4202496 48352 275721 0 0 943 651 52993 182 20 0 1 0 276959911 417026048 86327 33554432000 4194304 5992684 140734234467216 140734234453048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 16 0 0
/proc/13700/statm: 101813 86327 185 440 0 101369 0
[pid=13719] ppid=13700 vsize=623872 CPUtime=874.21 cores=1,3,5,7
/proc/13719/stat : 13719 (glucosInc) R 13700 13699 10899 0 -1 4202496 86685 0 0 0 87386 35 0 0 20 0 1 0 277014703 638844928 141372 33554432000 4194304 5654031 140733886345248 140733886333064 4232925 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13719/statm: 155968 141372 142 357 0 155608 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1040272
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/184 13842
/proc/meminfo: memFree=25761896/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
[pid=13700] ppid=13699 vsize=407252 CPUtime=547.69 cores=1,3,5,7
/proc/13700/stat : 13700 (npSolver-pbo) S 13699 13699 10899 0 -1 4202496 48352 275721 0 0 943 651 52993 182 20 0 1 0 276959911 417026048 86327 33554432000 4194304 5992684 140734234467216 140734234453048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 16 0 0
/proc/13700/statm: 101813 86327 185 440 0 101369 0
[pid=13719] ppid=13700 vsize=623872 CPUtime=934.2 cores=1,3,5,7
/proc/13719/stat : 13719 (glucosInc) R 13700 13699 10899 0 -1 4202496 86685 0 0 0 93385 35 0 0 20 0 1 0 277014703 638844928 141372 33554432000 4194304 5654031 140733886345248 140733886333064 4232495 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13719/statm: 155968 141372 142 357 0 155608 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1040272
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 13842
/proc/meminfo: memFree=25762028/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
[pid=13700] ppid=13699 vsize=407252 CPUtime=547.69 cores=1,3,5,7
/proc/13700/stat : 13700 (npSolver-pbo) S 13699 13699 10899 0 -1 4202496 48352 275721 0 0 943 651 52993 182 20 0 1 0 276959911 417026048 86327 33554432000 4194304 5992684 140734234467216 140734234453048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 16 0 0
/proc/13700/statm: 101813 86327 185 440 0 101369 0
[pid=13719] ppid=13700 vsize=623872 CPUtime=994.19 cores=1,3,5,7
/proc/13719/stat : 13719 (glucosInc) R 13700 13699 10899 0 -1 4202496 86685 0 0 0 99384 35 0 0 20 0 1 0 277014703 638844928 141372 33554432000 4194304 5654031 140733886345248 140733886333064 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13719/statm: 155968 141372 142 357 0 155608 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1040272
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 13842
/proc/meminfo: memFree=25762028/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
[pid=13700] ppid=13699 vsize=407252 CPUtime=547.69 cores=1,3,5,7
/proc/13700/stat : 13700 (npSolver-pbo) S 13699 13699 10899 0 -1 4202496 48352 275721 0 0 943 651 52993 182 20 0 1 0 276959911 417026048 86327 33554432000 4194304 5992684 140734234467216 140734234453048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 16 0 0
/proc/13700/statm: 101813 86327 185 440 0 101369 0
[pid=13719] ppid=13700 vsize=623872 CPUtime=1054.18 cores=1,3,5,7
/proc/13719/stat : 13719 (glucosInc) R 13700 13699 10899 0 -1 4202496 86685 0 0 0 105383 35 0 0 20 0 1 0 277014703 638844928 141372 33554432000 4194304 5654031 140733886345248 140733886333064 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13719/statm: 155968 141372 142 357 0 155608 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1040272
[startup+1662.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 13842
/proc/meminfo: memFree=25762028/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
[pid=13700] ppid=13699 vsize=407252 CPUtime=547.69 cores=1,3,5,7
/proc/13700/stat : 13700 (npSolver-pbo) S 13699 13699 10899 0 -1 4202496 48352 275721 0 0 943 651 52993 182 20 0 1 0 276959911 417026048 86327 33554432000 4194304 5992684 140734234467216 140734234453048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 16 0 0
/proc/13700/statm: 101813 86327 185 440 0 101369 0
[pid=13719] ppid=13700 vsize=623872 CPUtime=1114.18 cores=1,3,5,7
/proc/13719/stat : 13719 (glucosInc) R 13700 13699 10899 0 -1 4202496 86685 0 0 0 111383 35 0 0 20 0 1 0 277014703 638844928 141372 33554432000 4194304 5654031 140733886345248 140733886333064 4209128 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13719/statm: 155968 141372 142 357 0 155608 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1040272
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 13843
/proc/meminfo: memFree=25761904/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
[pid=13700] ppid=13699 vsize=407252 CPUtime=547.69 cores=1,3,5,7
/proc/13700/stat : 13700 (npSolver-pbo) S 13699 13699 10899 0 -1 4202496 48352 275721 0 0 943 651 52993 182 20 0 1 0 276959911 417026048 86327 33554432000 4194304 5992684 140734234467216 140734234453048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 16 0 0
/proc/13700/statm: 101813 86327 185 440 0 101369 0
[pid=13719] ppid=13700 vsize=623872 CPUtime=1174.16 cores=1,3,5,7
/proc/13719/stat : 13719 (glucosInc) R 13700 13699 10899 0 -1 4202496 86685 0 0 0 117381 35 0 0 20 0 1 0 277014703 638844928 141372 33554432000 4194304 5654031 140733886345248 140733886333064 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13719/statm: 155968 141372 142 357 0 155608 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1040272
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13843
/proc/meminfo: memFree=25761408/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
[pid=13700] ppid=13699 vsize=407252 CPUtime=547.69 cores=1,3,5,7
/proc/13700/stat : 13700 (npSolver-pbo) S 13699 13699 10899 0 -1 4202496 48352 275721 0 0 943 651 52993 182 20 0 1 0 276959911 417026048 86327 33554432000 4194304 5992684 140734234467216 140734234453048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 16 0 0
/proc/13700/statm: 101813 86327 185 440 0 101369 0
[pid=13719] ppid=13700 vsize=623872 CPUtime=1234.15 cores=1,3,5,7
/proc/13719/stat : 13719 (glucosInc) R 13700 13699 10899 0 -1 4202496 86685 0 0 0 123380 35 0 0 20 0 1 0 277014703 638844928 141372 33554432000 4194304 5654031 140733886345248 140733886333064 4232581 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13719/statm: 155968 141372 142 357 0 155608 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1040272
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13843
/proc/meminfo: memFree=25761532/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
[pid=13700] ppid=13699 vsize=407252 CPUtime=547.69 cores=1,3,5,7
/proc/13700/stat : 13700 (npSolver-pbo) S 13699 13699 10899 0 -1 4202496 48352 275721 0 0 943 651 52993 182 20 0 1 0 276959911 417026048 86327 33554432000 4194304 5992684 140734234467216 140734234453048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 16 0 0
/proc/13700/statm: 101813 86327 185 440 0 101369 0
[pid=13719] ppid=13700 vsize=623872 CPUtime=1252.35 cores=1,3,5,7
/proc/13719/stat : 13719 (glucosInc) R 13700 13699 10899 0 -1 4202496 86685 0 0 0 125200 35 0 0 20 0 1 0 277014703 638844928 141372 33554432000 4194304 5654031 140733886345248 140733886333064 4232581 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13719/statm: 155968 141372 142 357 0 155608 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1040272
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13843
/proc/meminfo: memFree=25761532/32873844 swapFree=7124/7124
[pid=13699] ppid=13697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13699/stat : 13699 (npSolver-pbo-It) S 13697 13699 10899 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276959910 9367552 275 33554432000 4194304 5064252 140733340716240 140733340715152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13699/statm: 2287 275 233 213 0 72 0
[pid=13700] ppid=13699 vsize=407252 CPUtime=547.69 cores=1,3,5,7
/proc/13700/stat : 13700 (npSolver-pbo) S 13699 13699 10899 0 -1 4202496 48352 275721 0 0 943 651 52993 182 20 0 1 0 276959911 417026048 86327 33554432000 4194304 5992684 140734234467216 140734234453048 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 16 0 0
/proc/13700/statm: 101813 86327 185 440 0 101369 0
[pid=13719] ppid=13700 vsize=623872 CPUtime=1252.35 cores=1,3,5,7
/proc/13719/stat : 13719 (glucosInc) R 13700 13699 10899 0 -1 4202496 86685 0 0 0 125200 35 0 0 20 0 1 0 277014703 638844928 141372 33554432000 4194304 5654031 140733886345248 140733886333064 4232581 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13719/statm: 155968 141372 142 357 0 155608 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1040272
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13699 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=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.52
CPU time (s): 1800.04
CPU user time (s): 1791.36
CPU system time (s): 8.68
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 1603180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
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 4.28135 second user time and 11.6032 second system time
The end