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-3699259-1338112935/watcher-3699259-1338112935 -o /tmp/evaluation-result-3699259-1338112935/solver-3699259-1338112935 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699259-1338112935.opb 45448498 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.73 2.18 2.06 3/180 14812
/proc/meminfo: memFree=28384660/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
[startup+0.050749 s]
/proc/loadavg: 2.73 2.18 2.06 3/180 14812
/proc/meminfo: memFree=28384660/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100275 s]
/proc/loadavg: 2.73 2.18 2.06 3/180 14812
/proc/meminfo: memFree=28384660/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300266 s]
/proc/loadavg: 2.73 2.18 2.06 3/180 14812
/proc/meminfo: memFree=28384660/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700233 s]
/proc/loadavg: 2.73 2.18 2.06 3/180 14812
/proc/meminfo: memFree=28384660/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 2.67 2.17 2.06 3/184 14816
/proc/meminfo: memFree=28258392/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
[pid=14813] ppid=14812 vsize=14152 CPUtime=0.3 cores=0,2,4,6
/proc/14813/stat : 14813 (npSolver-pbo) S 14812 14812 11438 0 -1 4202496 3239 0 0 0 24 6 0 0 20 0 1 0 277422438 14491648 3088 33554432000 4194304 5992684 140734598172224 140734598166672 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14813/statm: 3538 3088 161 440 0 3094 0
[pid=14815] ppid=14813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14815/stat : 14815 (cp2_pre.sh) S 14813 14812 11438 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 277422470 9367552 277 33554432000 4194304 5064252 140736371677280 140736371675984 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14815/statm: 2287 277 234 213 0 72 0
[pid=14816] ppid=14815 vsize=88932 CPUtime=1.17 cores=0,2,4,6
/proc/14816/stat : 14816 (coprocessor) R 14815 14812 11438 0 -1 4202496 17530 0 0 0 115 2 0 0 20 0 1 0 277422470 91066368 21508 33554432000 4194304 6586260 140736849264176 140736849260040 4677057 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/14816/statm: 22233 21508 190 584 0 21645 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 121380
[startup+3.10028 s]
/proc/loadavg: 2.67 2.17 2.06 4/184 14816
/proc/meminfo: memFree=28231596/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
[pid=14813] ppid=14812 vsize=14152 CPUtime=2.88 cores=0,2,4,6
/proc/14813/stat : 14813 (npSolver-pbo) S 14812 14812 11438 0 -1 4202496 3255 19160 0 0 24 6 252 6 20 0 1 0 277422438 14491648 3091 33554432000 4194304 5992684 140734598172224 140734598158488 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14813/statm: 3538 3091 163 440 0 3094 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 23300
[startup+6.30032 s]
/proc/loadavg: 2.70 2.19 2.06 3/181 14821
/proc/meminfo: memFree=29854740/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
[pid=14813] ppid=14812 vsize=316840 CPUtime=6.28 cores=0,2,4,6
/proc/14813/stat : 14813 (npSolver-pbo) R 14812 14812 11438 0 -1 4202496 16697 27881 0 0 239 66 314 9 20 0 1 0 277422438 324444160 47752 33554432000 4194304 5992684 140734598172224 140734598164024 4523474 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14813/statm: 79210 47752 182 440 0 78766 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 325988
[startup+12.7004 s]
/proc/loadavg: 2.64 2.18 2.06 3/182 14823
/proc/meminfo: memFree=27556876/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
[pid=14813] ppid=14812 vsize=18448 CPUtime=8.28 cores=0,2,4,6
/proc/14813/stat : 14813 (npSolver-pbo) S 14812 14812 11438 0 -1 4202496 17314 28397 0 0 397 106 314 11 20 0 1 0 277422438 18890752 4013 33554432000 4194304 5992684 140734598172224 140734598157128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14813/statm: 4612 4013 182 440 0 4168 0
[pid=14823] ppid=14813 vsize=730392 CPUtime=4.14 cores=0,2,4,6
/proc/14823/stat : 14823 (glucosInc) R 14813 14812 11438 0 -1 4202496 98984 0 0 0 387 27 0 0 20 0 1 0 277423294 747921408 151850 33554432000 4194304 5654031 140734335925584 140734335923368 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14823/statm: 182598 151850 131 357 0 182238 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 757988
[startup+25.5004 s]
/proc/loadavg: 2.62 2.19 2.06 3/182 14823
/proc/meminfo: memFree=27633172/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
[pid=14813] ppid=14812 vsize=18448 CPUtime=8.28 cores=0,2,4,6
/proc/14813/stat : 14813 (npSolver-pbo) S 14812 14812 11438 0 -1 4202496 17314 28397 0 0 397 106 314 11 20 0 1 0 277422438 18890752 4013 33554432000 4194304 5992684 140734598172224 140734598157128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14813/statm: 4612 4013 182 440 0 4168 0
[pid=14823] ppid=14813 vsize=737728 CPUtime=16.93 cores=0,2,4,6
/proc/14823/stat : 14823 (glucosInc) R 14813 14812 11438 0 -1 4202496 101141 0 0 0 1665 28 0 0 20 0 1 0 277423294 755433472 155028 33554432000 4194304 5654031 140734335925584 140734335913400 4232939 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14823/statm: 184432 155028 141 357 0 184072 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 765324
[startup+51.1004 s]
/proc/loadavg: 2.37 2.17 2.06 3/182 14823
/proc/meminfo: memFree=27615864/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
[pid=14813] ppid=14812 vsize=18448 CPUtime=8.28 cores=0,2,4,6
/proc/14813/stat : 14813 (npSolver-pbo) S 14812 14812 11438 0 -1 4202496 17314 28397 0 0 397 106 314 11 20 0 1 0 277422438 18890752 4013 33554432000 4194304 5992684 140734598172224 140734598157128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14813/statm: 4612 4013 182 440 0 4168 0
[pid=14823] ppid=14813 vsize=741012 CPUtime=42.53 cores=0,2,4,6
/proc/14823/stat : 14823 (glucosInc) R 14813 14812 11438 0 -1 4202496 102000 0 0 0 4224 29 0 0 20 0 1 0 277423294 758796288 158429 33554432000 4194304 5654031 140734335925584 140734335913400 4208717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14823/statm: 185253 158429 141 357 0 184893 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 768608
[startup+102.307 s]
/proc/loadavg: 2.16 2.14 2.06 3/181 14823
/proc/meminfo: memFree=27491300/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
[pid=14813] ppid=14812 vsize=18448 CPUtime=8.28 cores=0,2,4,6
/proc/14813/stat : 14813 (npSolver-pbo) S 14812 14812 11438 0 -1 4202496 17314 28397 0 0 397 106 314 11 20 0 1 0 277422438 18890752 4013 33554432000 4194304 5992684 140734598172224 140734598157128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14813/statm: 4612 4013 182 440 0 4168 0
[pid=14823] ppid=14813 vsize=742732 CPUtime=93.73 cores=0,2,4,6
/proc/14823/stat : 14823 (glucosInc) R 14813 14812 11438 0 -1 4202496 102542 0 0 0 9344 29 0 0 20 0 1 0 277423294 760557568 161015 33554432000 4194304 5654031 140734335925584 140734335913400 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14823/statm: 185683 161015 141 357 0 185323 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 770328
[startup+162.3 s]
/proc/loadavg: 2.06 2.12 2.05 3/181 14823
/proc/meminfo: memFree=27452968/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
[pid=14813] ppid=14812 vsize=18448 CPUtime=8.28 cores=0,2,4,6
/proc/14813/stat : 14813 (npSolver-pbo) S 14812 14812 11438 0 -1 4202496 17314 28397 0 0 397 106 314 11 20 0 1 0 277422438 18890752 4013 33554432000 4194304 5992684 140734598172224 140734598157128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14813/statm: 4612 4013 182 440 0 4168 0
[pid=14823] ppid=14813 vsize=745828 CPUtime=153.71 cores=0,2,4,6
/proc/14823/stat : 14823 (glucosInc) R 14813 14812 11438 0 -1 4202496 103312 0 0 0 15341 30 0 0 20 0 1 0 277423294 763727872 165362 33554432000 4194304 5654031 140734335925584 140734335913400 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14823/statm: 186457 165362 141 357 0 186097 0
Current children cumulated CPU time (s) 161.99
Current children cumulated vsize (KiB) 773424
[startup+222.3 s]
/proc/loadavg: 2.02 2.09 2.04 3/181 14824
/proc/meminfo: memFree=27478728/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
[pid=14813] ppid=14812 vsize=18448 CPUtime=8.28 cores=0,2,4,6
/proc/14813/stat : 14813 (npSolver-pbo) S 14812 14812 11438 0 -1 4202496 17314 28397 0 0 397 106 314 11 20 0 1 0 277422438 18890752 4013 33554432000 4194304 5992684 140734598172224 140734598157128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14813/statm: 4612 4013 182 440 0 4168 0
[pid=14823] ppid=14813 vsize=748024 CPUtime=213.7 cores=0,2,4,6
/proc/14823/stat : 14823 (glucosInc) R 14813 14812 11438 0 -1 4202496 104434 0 0 0 21337 33 0 0 20 0 1 0 277423294 765976576 157867 33554432000 4194304 5654031 140734335925584 140734335923368 4232994 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14823/statm: 187006 157867 141 357 0 186646 0
Current children cumulated CPU time (s) 221.98
Current children cumulated vsize (KiB) 775620
[startup+282.3 s]
/proc/loadavg: 2.04 2.09 2.04 3/181 14824
/proc/meminfo: memFree=27460364/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/181 14833
/proc/meminfo: memFree=27235360/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
[pid=14813] ppid=14812 vsize=18448 CPUtime=8.28 cores=0,2,4,6
/proc/14813/stat : 14813 (npSolver-pbo) S 14812 14812 11438 0 -1 4202496 17314 28397 0 0 397 106 314 11 20 0 1 0 277422438 18890752 4013 33554432000 4194304 5992684 140734598172224 140734598157128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14813/statm: 4612 4013 182 440 0 4168 0
[pid=14823] ppid=14813 vsize=770848 CPUtime=1293.55 cores=0,2,4,6
/proc/14823/stat : 14823 (glucosInc) R 14813 14812 11438 0 -1 4202496 111146 0 0 0 129312 43 0 0 20 0 1 0 277423294 789348352 175260 33554432000 4194304 5654031 140734335925584 140734335913400 4215327 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14823/statm: 192712 175260 141 357 0 192352 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 798444
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14833
/proc/meminfo: memFree=27208740/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
[pid=14813] ppid=14812 vsize=18448 CPUtime=8.28 cores=0,2,4,6
/proc/14813/stat : 14813 (npSolver-pbo) S 14812 14812 11438 0 -1 4202496 17314 28397 0 0 397 106 314 11 20 0 1 0 277422438 18890752 4013 33554432000 4194304 5992684 140734598172224 140734598157128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14813/statm: 4612 4013 182 440 0 4168 0
[pid=14823] ppid=14813 vsize=772072 CPUtime=1353.53 cores=0,2,4,6
/proc/14823/stat : 14823 (glucosInc) R 14813 14812 11438 0 -1 4202496 111404 0 0 0 135310 43 0 0 20 0 1 0 277423294 790601728 178073 33554432000 4194304 5654031 140734335925584 140734335913400 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14823/statm: 193018 178073 141 357 0 192658 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 799668
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14834
/proc/meminfo: memFree=27183612/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
[pid=14813] ppid=14812 vsize=18448 CPUtime=8.28 cores=0,2,4,6
/proc/14813/stat : 14813 (npSolver-pbo) S 14812 14812 11438 0 -1 4202496 17314 28397 0 0 397 106 314 11 20 0 1 0 277422438 18890752 4013 33554432000 4194304 5992684 140734598172224 140734598157128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14813/statm: 4612 4013 182 440 0 4168 0
[pid=14823] ppid=14813 vsize=905924 CPUtime=1413.53 cores=0,2,4,6
/proc/14823/stat : 14823 (glucosInc) R 14813 14812 11438 0 -1 4202496 112289 0 0 0 141309 44 0 0 20 0 1 0 277423294 927666176 181510 33554432000 4194304 5654031 140734335925584 140734335913400 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14823/statm: 226481 181510 141 357 0 226121 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 933520
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14834
/proc/meminfo: memFree=27235684/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
[pid=14813] ppid=14812 vsize=18448 CPUtime=8.28 cores=0,2,4,6
/proc/14813/stat : 14813 (npSolver-pbo) S 14812 14812 11438 0 -1 4202496 17314 28397 0 0 397 106 314 11 20 0 1 0 277422438 18890752 4013 33554432000 4194304 5992684 140734598172224 140734598157128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14813/statm: 4612 4013 182 440 0 4168 0
[pid=14823] ppid=14813 vsize=774584 CPUtime=1473.51 cores=0,2,4,6
/proc/14823/stat : 14823 (glucosInc) R 14813 14812 11438 0 -1 4202496 112720 0 0 0 147305 46 0 0 20 0 1 0 277423294 793174016 166554 33554432000 4194304 5654031 140734335925584 140734335913400 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14823/statm: 193646 166554 141 357 0 193286 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 802180
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14834
/proc/meminfo: memFree=27217712/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
[pid=14813] ppid=14812 vsize=18448 CPUtime=8.28 cores=0,2,4,6
/proc/14813/stat : 14813 (npSolver-pbo) S 14812 14812 11438 0 -1 4202496 17314 28397 0 0 397 106 314 11 20 0 1 0 277422438 18890752 4013 33554432000 4194304 5992684 140734598172224 140734598157128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14813/statm: 4612 4013 182 440 0 4168 0
[pid=14823] ppid=14813 vsize=775432 CPUtime=1533.5 cores=0,2,4,6
/proc/14823/stat : 14823 (glucosInc) R 14813 14812 11438 0 -1 4202496 112922 0 0 0 153303 47 0 0 20 0 1 0 277423294 794042368 169311 33554432000 4194304 5654031 140734335925584 140734335913400 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14823/statm: 193858 169311 141 357 0 193498 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 803028
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14834
/proc/meminfo: memFree=27200328/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
[pid=14813] ppid=14812 vsize=18448 CPUtime=8.28 cores=0,2,4,6
/proc/14813/stat : 14813 (npSolver-pbo) S 14812 14812 11438 0 -1 4202496 17314 28397 0 0 397 106 314 11 20 0 1 0 277422438 18890752 4013 33554432000 4194304 5992684 140734598172224 140734598157128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14813/statm: 4612 4013 182 440 0 4168 0
[pid=14823] ppid=14813 vsize=776632 CPUtime=1593.49 cores=0,2,4,6
/proc/14823/stat : 14823 (glucosInc) R 14813 14812 11438 0 -1 4202496 113258 0 0 0 159302 47 0 0 20 0 1 0 277423294 795271168 171691 33554432000 4194304 5654031 140734335925584 140734335913400 4208659 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14823/statm: 194158 171691 141 357 0 193798 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 804228
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14834
/proc/meminfo: memFree=27180468/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
[pid=14813] ppid=14812 vsize=18448 CPUtime=8.28 cores=0,2,4,6
/proc/14813/stat : 14813 (npSolver-pbo) S 14812 14812 11438 0 -1 4202496 17314 28397 0 0 397 106 314 11 20 0 1 0 277422438 18890752 4013 33554432000 4194304 5992684 140734598172224 140734598157128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14813/statm: 4612 4013 182 440 0 4168 0
[pid=14823] ppid=14813 vsize=778056 CPUtime=1653.48 cores=0,2,4,6
/proc/14823/stat : 14823 (glucosInc) R 14813 14812 11438 0 -1 4202496 113608 0 0 0 165301 47 0 0 20 0 1 0 277423294 796729344 174085 33554432000 4194304 5654031 140734335925584 140734335913400 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14823/statm: 194514 174085 141 357 0 194154 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 805652
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14838
/proc/meminfo: memFree=27157356/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
[pid=14813] ppid=14812 vsize=18448 CPUtime=8.28 cores=0,2,4,6
/proc/14813/stat : 14813 (npSolver-pbo) S 14812 14812 11438 0 -1 4202496 17314 28397 0 0 397 106 314 11 20 0 1 0 277422438 18890752 4013 33554432000 4194304 5992684 140734598172224 140734598157128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14813/statm: 4612 4013 182 440 0 4168 0
[pid=14823] ppid=14813 vsize=779092 CPUtime=1713.47 cores=0,2,4,6
/proc/14823/stat : 14823 (glucosInc) R 14813 14812 11438 0 -1 4202496 113829 0 0 0 171300 47 0 0 20 0 1 0 277423294 797790208 177372 33554432000 4194304 5654031 140734335925584 140734335913400 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14823/statm: 194773 177372 141 357 0 194413 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 806688
[startup+1782.3 s]
/proc/loadavg: 1.59 1.90 1.97 2/173 14863
/proc/meminfo: memFree=31025232/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
[pid=14813] ppid=14812 vsize=18448 CPUtime=8.28 cores=0,2,4,6
/proc/14813/stat : 14813 (npSolver-pbo) S 14812 14812 11438 0 -1 4202496 17314 28397 0 0 397 106 314 11 20 0 1 0 277422438 18890752 4013 33554432000 4194304 5992684 140734598172224 140734598157128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14813/statm: 4612 4013 182 440 0 4168 0
[pid=14823] ppid=14813 vsize=779224 CPUtime=1773.46 cores=0,2,4,6
/proc/14823/stat : 14823 (glucosInc) R 14813 14812 11438 0 -1 4202496 113917 0 0 0 177298 48 0 0 20 0 1 0 277423294 797925376 179498 33554432000 4194304 5654031 140734335925584 140734335923272 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14823/statm: 194806 179498 141 357 0 194446 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 806820
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.46 1.86 1.95 2/173 14863
/proc/meminfo: memFree=31018808/32873844 swapFree=7372/7372
[pid=14812] ppid=14810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14812/stat : 14812 (npSolver-pbo-I.) S 14810 14812 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 277422438 9367552 274 33554432000 4194304 5064252 140735714562336 140735714561248 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14812/statm: 2287 274 233 213 0 72 0
[pid=14813] ppid=14812 vsize=18448 CPUtime=8.28 cores=0,2,4,6
/proc/14813/stat : 14813 (npSolver-pbo) S 14812 14812 11438 0 -1 4202496 17314 28397 0 0 397 106 314 11 20 0 1 0 277422438 18890752 4013 33554432000 4194304 5992684 140734598172224 140734598157128 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14813/statm: 4612 4013 182 440 0 4168 0
[pid=14823] ppid=14813 vsize=779372 CPUtime=1791.75 cores=0,2,4,6
/proc/14823/stat : 14823 (glucosInc) R 14813 14812 11438 0 -1 4202496 114000 0 0 0 179127 48 0 0 20 0 1 0 277423294 798076928 181098 33554432000 4194304 5654031 140734335925584 140734335913400 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14823/statm: 194843 181098 141 357 0 194483 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 806968
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 14812 and gives
# childrusage.ru_utime.tv_sec=7
# childrusage.ru_utime.tv_usec=115918
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=178820
# CPU time returned by wait4() is 8.29474
# 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): 1798.38
CPU system time (s): 1.65
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 1145584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.11592
system time used= 1.17882
maximum resident set size= 529280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46085
page faults= 0
swaps= 0
block input operations= 0
block output operations= 578792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 213
involuntary context switches= 53
runsolver used 3.01854 second user time and 9.8575 second system time
The end