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-3697919-1338058368/watcher-3697919-1338058368 -o /tmp/evaluation-result-3697919-1338058368/solver-3697919-1338058368 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697919-1338058368.opb 956185520 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/177 5800
/proc/meminfo: memFree=27775200/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
[startup+0.0921871 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5800
/proc/meminfo: memFree=27775200/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100271 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5800
/proc/meminfo: memFree=27775200/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300244 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5800
/proc/meminfo: memFree=27775200/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700303 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5800
/proc/meminfo: memFree=27775200/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5816
/proc/meminfo: memFree=27683904/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
[pid=5801] ppid=5800 vsize=7012 CPUtime=0.41 cores=1,3,5,7
/proc/5801/stat : 5801 (npSolver-pbo) S 5800 5800 5308 0 -1 4202496 4416 5346 0 0 22 5 13 1 20 0 1 0 271963609 7180288 1325 33554432000 4194304 5992684 140735789441504 140735789427336 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5801/statm: 1753 1325 182 440 0 1309 0
[pid=5811] ppid=5801 vsize=49284 CPUtime=1.07 cores=1,3,5,7
/proc/5811/stat : 5811 (glucosInc) R 5801 5800 5308 0 -1 4202496 9685 0 0 0 105 2 0 0 20 0 1 0 271963651 50466816 9564 33554432000 4194304 5654031 140736662803552 140736662801816 4236128 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5811/statm: 12321 9564 132 357 0 11961 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 65444
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5816
/proc/meminfo: memFree=27648496/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
[pid=5801] ppid=5800 vsize=7012 CPUtime=0.41 cores=1,3,5,7
/proc/5801/stat : 5801 (npSolver-pbo) S 5800 5800 5308 0 -1 4202496 4416 5346 0 0 22 5 13 1 20 0 1 0 271963609 7180288 1325 33554432000 4194304 5992684 140735789441504 140735789427336 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5801/statm: 1753 1325 182 440 0 1309 0
[pid=5811] ppid=5801 vsize=49284 CPUtime=2.67 cores=1,3,5,7
/proc/5811/stat : 5811 (glucosInc) R 5801 5800 5308 0 -1 4202496 9751 0 0 0 265 2 0 0 20 0 1 0 271963651 50466816 9626 33554432000 4194304 5654031 140736662803552 140736662791368 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5811/statm: 12321 9626 141 357 0 11961 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 65444
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5816
/proc/meminfo: memFree=27643656/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
[pid=5801] ppid=5800 vsize=7012 CPUtime=0.41 cores=1,3,5,7
/proc/5801/stat : 5801 (npSolver-pbo) S 5800 5800 5308 0 -1 4202496 4416 5346 0 0 22 5 13 1 20 0 1 0 271963609 7180288 1325 33554432000 4194304 5992684 140735789441504 140735789427336 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5801/statm: 1753 1325 182 440 0 1309 0
[pid=5811] ppid=5801 vsize=49284 CPUtime=5.87 cores=1,3,5,7
/proc/5811/stat : 5811 (glucosInc) R 5801 5800 5308 0 -1 4202496 9820 0 0 0 585 2 0 0 20 0 1 0 271963651 50466816 10204 33554432000 4194304 5654031 140736662803552 140736662791368 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5811/statm: 12321 10204 141 357 0 11961 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 65444
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5816
/proc/meminfo: memFree=27642676/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
[pid=5801] ppid=5800 vsize=7012 CPUtime=0.41 cores=1,3,5,7
/proc/5801/stat : 5801 (npSolver-pbo) S 5800 5800 5308 0 -1 4202496 4416 5346 0 0 22 5 13 1 20 0 1 0 271963609 7180288 1325 33554432000 4194304 5992684 140735789441504 140735789427336 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5801/statm: 1753 1325 182 440 0 1309 0
[pid=5811] ppid=5801 vsize=49284 CPUtime=12.27 cores=1,3,5,7
/proc/5811/stat : 5811 (glucosInc) R 5801 5800 5308 0 -1 4202496 9855 0 0 0 1225 2 0 0 20 0 1 0 271963651 50466816 10256 33554432000 4194304 5654031 140736662803552 140736662791368 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5811/statm: 12321 10256 141 357 0 11961 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 65444
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5816
/proc/meminfo: memFree=27636376/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
[pid=5801] ppid=5800 vsize=7012 CPUtime=0.41 cores=1,3,5,7
/proc/5801/stat : 5801 (npSolver-pbo) S 5800 5800 5308 0 -1 4202496 4416 5346 0 0 22 5 13 1 20 0 1 0 271963609 7180288 1325 33554432000 4194304 5992684 140735789441504 140735789427336 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5801/statm: 1753 1325 182 440 0 1309 0
[pid=5811] ppid=5801 vsize=50376 CPUtime=25.06 cores=1,3,5,7
/proc/5811/stat : 5811 (glucosInc) R 5801 5800 5308 0 -1 4202496 10140 0 0 0 2504 2 0 0 20 0 1 0 271963651 51585024 10634 33554432000 4194304 5654031 140736662803552 140736662791368 4232939 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5811/statm: 12594 10634 142 357 0 12234 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 66536
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5816
/proc/meminfo: memFree=27582736/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
[pid=5801] ppid=5800 vsize=7012 CPUtime=0.41 cores=1,3,5,7
/proc/5801/stat : 5801 (npSolver-pbo) S 5800 5800 5308 0 -1 4202496 4416 5346 0 0 22 5 13 1 20 0 1 0 271963609 7180288 1325 33554432000 4194304 5992684 140735789441504 140735789427336 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5801/statm: 1753 1325 182 440 0 1309 0
[pid=5811] ppid=5801 vsize=72456 CPUtime=50.65 cores=1,3,5,7
/proc/5811/stat : 5811 (glucosInc) R 5801 5800 5308 0 -1 4202496 12328 0 0 0 5062 3 0 0 20 0 1 0 271963651 74194944 15394 33554432000 4194304 5654031 140736662803552 140736662791368 4215307 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5811/statm: 18114 15394 142 357 0 17754 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 88616
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5816
/proc/meminfo: memFree=27543428/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
[pid=5801] ppid=5800 vsize=7012 CPUtime=0.41 cores=1,3,5,7
/proc/5801/stat : 5801 (npSolver-pbo) S 5800 5800 5308 0 -1 4202496 4416 5346 0 0 22 5 13 1 20 0 1 0 271963609 7180288 1325 33554432000 4194304 5992684 140735789441504 140735789427336 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5801/statm: 1753 1325 182 440 0 1309 0
[pid=5811] ppid=5801 vsize=91132 CPUtime=101.85 cores=1,3,5,7
/proc/5811/stat : 5811 (glucosInc) R 5801 5800 5308 0 -1 4202496 12966 0 0 0 10182 3 0 0 20 0 1 0 271963651 93319168 21092 33554432000 4194304 5654031 140736662803552 140736662791368 4215076 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5811/statm: 22783 21092 142 357 0 22423 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 107292
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5817
/proc/meminfo: memFree=27529140/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
[pid=5801] ppid=5800 vsize=7012 CPUtime=0.41 cores=1,3,5,7
/proc/5801/stat : 5801 (npSolver-pbo) S 5800 5800 5308 0 -1 4202496 4416 5346 0 0 22 5 13 1 20 0 1 0 271963609 7180288 1325 33554432000 4194304 5992684 140735789441504 140735789427336 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5801/statm: 1753 1325 182 440 0 1309 0
[pid=5811] ppid=5801 vsize=102804 CPUtime=161.83 cores=1,3,5,7
/proc/5811/stat : 5811 (glucosInc) R 5801 5800 5308 0 -1 4202496 14159 0 0 0 16179 4 0 0 20 0 1 0 271963651 105271296 19007 33554432000 4194304 5654031 140736662803552 140736662791368 4214638 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5811/statm: 25701 19007 142 357 0 25341 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 118964
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5817
/proc/meminfo: memFree=27501456/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
[pid=5801] ppid=5800 vsize=7012 CPUtime=0.41 cores=1,3,5,7
/proc/5801/stat : 5801 (npSolver-pbo) S 5800 5800 5308 0 -1 4202496 4416 5346 0 0 22 5 13 1 20 0 1 0 271963609 7180288 1325 33554432000 4194304 5992684 140735789441504 140735789427336 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5801/statm: 1753 1325 182 440 0 1309 0
[pid=5811] ppid=5801 vsize=102804 CPUtime=221.82 cores=1,3,5,7
/proc/5811/stat : 5811 (glucosInc) R 5801 5800 5308 0 -1 4202496 14261 0 0 0 22178 4 0 0 20 0 1 0 271963651 105271296 24216 33554432000 4194304 5654031 140736662803552 140736662791368 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5811/statm: 25701 24216 142 357 0 25341 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 118964
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27400776/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
[pid=5801] ppid=5800 vsize=7012 CPUtime=0.41 cores=1,3,5,7
/proc/5801/stat : 5801 (npSolver-pbo) S 5800 5800 5308 0 -1 4202496 4416 5346 0 0 22 5 13 1 20 0 1 0 271963609 7180288 1325 33554432000 4194304 5992684 140735789441504 140735789427336 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5801/statm: 1753 1325 182 440 0 1309 0
[pid=5811] ppid=5801 vsize=152124 CPUtime=1241.66 cores=1,3,5,7
/proc/5811/stat : 5811 (glucosInc) R 5801 5800 5308 0 -1 4202496 18624 0 0 0 124154 12 0 0 20 0 1 0 271963651 155774976 35329 33554432000 4194304 5654031 140736662803552 140736662791368 4215200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5811/statm: 38031 35329 142 357 0 37671 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 168284
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5850
/proc/meminfo: memFree=27417312/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
[pid=5801] ppid=5800 vsize=7012 CPUtime=0.41 cores=1,3,5,7
/proc/5801/stat : 5801 (npSolver-pbo) S 5800 5800 5308 0 -1 4202496 4416 5346 0 0 22 5 13 1 20 0 1 0 271963609 7180288 1325 33554432000 4194304 5992684 140735789441504 140735789427336 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5801/statm: 1753 1325 182 440 0 1309 0
[pid=5811] ppid=5801 vsize=182944 CPUtime=1301.66 cores=1,3,5,7
/proc/5811/stat : 5811 (glucosInc) R 5801 5800 5308 0 -1 4202496 19215 0 0 0 130153 13 0 0 20 0 1 0 271963651 187334656 37956 33554432000 4194304 5654031 140736662803552 140736662791368 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5811/statm: 45736 37956 142 357 0 45376 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 199104
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 5851
/proc/meminfo: memFree=27391844/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
[pid=5801] ppid=5800 vsize=7012 CPUtime=0.41 cores=1,3,5,7
/proc/5801/stat : 5801 (npSolver-pbo) S 5800 5800 5308 0 -1 4202496 4416 5346 0 0 22 5 13 1 20 0 1 0 271963609 7180288 1325 33554432000 4194304 5992684 140735789441504 140735789427336 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5801/statm: 1753 1325 182 440 0 1309 0
[pid=5811] ppid=5801 vsize=182944 CPUtime=1361.64 cores=1,3,5,7
/proc/5811/stat : 5811 (glucosInc) R 5801 5800 5308 0 -1 4202496 19224 0 0 0 136151 13 0 0 20 0 1 0 271963651 187334656 41028 33554432000 4194304 5654031 140736662803552 140736662791368 4215188 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5811/statm: 45736 41028 142 357 0 45376 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 199104
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 5851
/proc/meminfo: memFree=27364640/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
[pid=5801] ppid=5800 vsize=7012 CPUtime=0.41 cores=1,3,5,7
/proc/5801/stat : 5801 (npSolver-pbo) S 5800 5800 5308 0 -1 4202496 4416 5346 0 0 22 5 13 1 20 0 1 0 271963609 7180288 1325 33554432000 4194304 5992684 140735789441504 140735789427336 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5801/statm: 1753 1325 182 440 0 1309 0
[pid=5811] ppid=5801 vsize=233032 CPUtime=1421.64 cores=1,3,5,7
/proc/5811/stat : 5811 (glucosInc) R 5801 5800 5308 0 -1 4202496 19532 0 0 0 142150 14 0 0 20 0 1 0 271963651 238624768 44913 33554432000 4194304 5654031 140736662803552 140736662791368 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5811/statm: 58258 44913 142 357 0 57898 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 249192
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 5851
/proc/meminfo: memFree=27391660/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
[pid=5801] ppid=5800 vsize=7012 CPUtime=0.41 cores=1,3,5,7
/proc/5801/stat : 5801 (npSolver-pbo) S 5800 5800 5308 0 -1 4202496 4416 5346 0 0 22 5 13 1 20 0 1 0 271963609 7180288 1325 33554432000 4194304 5992684 140735789441504 140735789427336 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5801/statm: 1753 1325 182 440 0 1309 0
[pid=5811] ppid=5801 vsize=233032 CPUtime=1481.62 cores=1,3,5,7
/proc/5811/stat : 5811 (glucosInc) R 5801 5800 5308 0 -1 4202496 19541 0 0 0 148148 14 0 0 20 0 1 0 271963651 238624768 46961 33554432000 4194304 5654031 140736662803552 140736662791368 4215188 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5811/statm: 58258 46961 142 357 0 57898 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 249192
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5851
/proc/meminfo: memFree=27418972/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
[pid=5801] ppid=5800 vsize=7012 CPUtime=0.41 cores=1,3,5,7
/proc/5801/stat : 5801 (npSolver-pbo) S 5800 5800 5308 0 -1 4202496 4416 5346 0 0 22 5 13 1 20 0 1 0 271963609 7180288 1325 33554432000 4194304 5992684 140735789441504 140735789427336 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5801/statm: 1753 1325 182 440 0 1309 0
[pid=5811] ppid=5801 vsize=152124 CPUtime=1541.6 cores=1,3,5,7
/proc/5811/stat : 5811 (glucosInc) R 5801 5800 5308 0 -1 4202496 19938 0 0 0 154146 14 0 0 20 0 1 0 271963651 155774976 35841 33554432000 4194304 5654031 140736662803552 140736662791368 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5811/statm: 38031 35841 142 357 0 37671 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 168284
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5851
/proc/meminfo: memFree=27398460/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
[pid=5801] ppid=5800 vsize=7012 CPUtime=0.41 cores=1,3,5,7
/proc/5801/stat : 5801 (npSolver-pbo) S 5800 5800 5308 0 -1 4202496 4416 5346 0 0 22 5 13 1 20 0 1 0 271963609 7180288 1325 33554432000 4194304 5992684 140735789441504 140735789427336 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5801/statm: 1753 1325 182 440 0 1309 0
[pid=5811] ppid=5801 vsize=182944 CPUtime=1601.59 cores=1,3,5,7
/proc/5811/stat : 5811 (glucosInc) R 5801 5800 5308 0 -1 4202496 20522 0 0 0 160144 15 0 0 20 0 1 0 271963651 187334656 37956 33554432000 4194304 5654031 140736662803552 140736662791368 4215334 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5811/statm: 45736 37956 142 357 0 45376 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 199104
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 5855
/proc/meminfo: memFree=27374800/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
[pid=5801] ppid=5800 vsize=7012 CPUtime=0.41 cores=1,3,5,7
/proc/5801/stat : 5801 (npSolver-pbo) S 5800 5800 5308 0 -1 4202496 4416 5346 0 0 22 5 13 1 20 0 1 0 271963609 7180288 1325 33554432000 4194304 5992684 140735789441504 140735789427336 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5801/statm: 1753 1325 182 440 0 1309 0
[pid=5811] ppid=5801 vsize=182944 CPUtime=1661.58 cores=1,3,5,7
/proc/5811/stat : 5811 (glucosInc) R 5801 5800 5308 0 -1 4202496 20526 0 0 0 166143 15 0 0 20 0 1 0 271963651 187334656 40004 33554432000 4194304 5654031 140736662803552 140736662791368 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5811/statm: 45736 40004 142 357 0 45376 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 199104
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5855
/proc/meminfo: memFree=27408512/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
[pid=5801] ppid=5800 vsize=7012 CPUtime=0.41 cores=1,3,5,7
/proc/5801/stat : 5801 (npSolver-pbo) S 5800 5800 5308 0 -1 4202496 4416 5346 0 0 22 5 13 1 20 0 1 0 271963609 7180288 1325 33554432000 4194304 5992684 140735789441504 140735789427336 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5801/statm: 1753 1325 182 440 0 1309 0
[pid=5811] ppid=5801 vsize=182944 CPUtime=1721.57 cores=1,3,5,7
/proc/5811/stat : 5811 (glucosInc) R 5801 5800 5308 0 -1 4202496 20534 0 0 0 172142 15 0 0 20 0 1 0 271963651 187334656 42052 33554432000 4194304 5654031 140736662803552 140736662791368 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5811/statm: 45736 42052 142 357 0 45376 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 199104
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5855
/proc/meminfo: memFree=27391916/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
[pid=5801] ppid=5800 vsize=7012 CPUtime=0.41 cores=1,3,5,7
/proc/5801/stat : 5801 (npSolver-pbo) S 5800 5800 5308 0 -1 4202496 4416 5346 0 0 22 5 13 1 20 0 1 0 271963609 7180288 1325 33554432000 4194304 5992684 140735789441504 140735789427336 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5801/statm: 1753 1325 182 440 0 1309 0
[pid=5811] ppid=5801 vsize=182944 CPUtime=1781.56 cores=1,3,5,7
/proc/5811/stat : 5811 (glucosInc) R 5801 5800 5308 0 -1 4202496 20537 0 0 0 178141 15 0 0 20 0 1 0 271963651 187334656 43588 33554432000 4194304 5654031 140736662803552 140736662791368 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5811/statm: 45736 43588 142 357 0 45376 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 199104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5866
/proc/meminfo: memFree=27564804/32873648 swapFree=6848/6848
[pid=5800] ppid=5798 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (npSolver-pbo-It) S 5798 5800 5308 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271963609 9367552 275 33554432000 4194304 5064252 140735738500944 140735738499856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5800/statm: 2287 275 233 213 0 72 0
[pid=5801] ppid=5800 vsize=7012 CPUtime=0.41 cores=1,3,5,7
/proc/5801/stat : 5801 (npSolver-pbo) S 5800 5800 5308 0 -1 4202496 4416 5346 0 0 22 5 13 1 20 0 1 0 271963609 7180288 1325 33554432000 4194304 5992684 140735789441504 140735789427336 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5801/statm: 1753 1325 182 440 0 1309 0
[pid=5811] ppid=5801 vsize=182944 CPUtime=1799.66 cores=1,3,5,7
/proc/5811/stat : 5811 (glucosInc) R 5801 5800 5308 0 -1 4202496 20626 0 0 0 179951 15 0 0 20 0 1 0 271963651 187334656 44187 33554432000 4194304 5654031 140736662803552 140736662791368 4215091 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5811/statm: 45736 44187 142 357 0 45376 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 199104
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1799.87
CPU system time (s): 0.225965
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 298512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.225965
maximum resident set size= 230224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30768
page faults= 0
swaps= 0
block input operations= 0
block output operations= 29672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87
involuntary context switches= 1862
runsolver used 2.6136 second user time and 7.2149 second system time
The end