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-3698191-1338071152/watcher-3698191-1338071152 -o /tmp/evaluation-result-3698191-1338071152/solver-3698191-1338071152 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698191-1338071152.opb 194008569 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.03 2.01 2.00 3/180 6303
/proc/meminfo: memFree=28056800/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
[startup+0.0697391 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 6303
/proc/meminfo: memFree=28056800/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100353 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 6303
/proc/meminfo: memFree=28056800/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300304 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 6303
/proc/meminfo: memFree=28056800/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700313 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 6303
/proc/meminfo: memFree=28056800/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 6305
/proc/meminfo: memFree=27989720/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
[pid=6304] ppid=6303 vsize=164372 CPUtime=1.49 cores=1,3,5,7
/proc/6304/stat : 6304 (npSolver-pbo) R 6303 6303 4265 0 -1 4202496 17535 0 0 0 142 7 0 0 20 0 1 0 273240570 168316928 35867 33554432000 4194304 5992684 140737297634800 140737297626552 5182699 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6304/statm: 41093 35867 157 440 0 40649 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 173520
[startup+3.10042 s]
/proc/loadavg: 2.03 2.01 2.00 3/184 6307
/proc/meminfo: memFree=27843136/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
[pid=6304] ppid=6303 vsize=119416 CPUtime=1.54 cores=1,3,5,7
/proc/6304/stat : 6304 (npSolver-pbo) S 6303 6303 4265 0 -1 4202496 17542 0 0 0 142 12 0 0 20 0 1 0 273240570 122281984 24634 33554432000 4194304 5992684 140737297634800 140737297629248 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6304/statm: 29854 24634 163 440 0 29410 0
[pid=6306] ppid=6304 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6306/stat : 6306 (cp2_pre.sh) S 6304 6303 4265 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 273240725 9367552 276 33554432000 4194304 5064252 140733949254768 140733949253472 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6306/statm: 2287 276 234 213 0 72 0
[pid=6307] ppid=6306 vsize=333980 CPUtime=1.54 cores=1,3,5,7
/proc/6307/stat : 6307 (coprocessor) R 6306 6303 4265 0 -1 4202496 31503 0 0 0 144 10 0 0 20 0 1 0 273240725 341995520 72470 33554432000 4194304 6586260 140736560536000 140736560532264 4547512 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/6307/statm: 83495 72471 164 584 0 82907 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 471692
[startup+6.30036 s]
/proc/loadavg: 2.03 2.01 2.00 3/184 6307
/proc/meminfo: memFree=27496116/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
[pid=6304] ppid=6303 vsize=119416 CPUtime=1.54 cores=1,3,5,7
/proc/6304/stat : 6304 (npSolver-pbo) S 6303 6303 4265 0 -1 4202496 17542 0 0 0 142 12 0 0 20 0 1 0 273240570 122281984 24634 33554432000 4194304 5992684 140737297634800 140737297629248 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6304/statm: 29854 24634 163 440 0 29410 0
[pid=6306] ppid=6304 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6306/stat : 6306 (cp2_pre.sh) S 6304 6303 4265 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 273240725 9367552 276 33554432000 4194304 5064252 140733949254768 140733949253472 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6306/statm: 2287 276 234 213 0 72 0
[pid=6307] ppid=6306 vsize=442624 CPUtime=4.72 cores=1,3,5,7
/proc/6307/stat : 6307 (coprocessor) R 6306 6303 4265 0 -1 4202496 49257 0 0 0 457 15 0 0 20 0 1 0 273240725 453246976 107079 33554432000 4194304 6586260 140736560536000 140736560531752 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/6307/statm: 110656 107079 196 584 0 110068 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 580336
[startup+12.7004 s]
/proc/loadavg: 2.10 2.03 2.00 3/183 6309
/proc/meminfo: memFree=27711152/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
[pid=6304] ppid=6303 vsize=119416 CPUtime=8.03 cores=1,3,5,7
/proc/6304/stat : 6304 (npSolver-pbo) S 6303 6303 4265 0 -1 4202496 17559 50160 0 0 142 12 625 24 20 0 1 0 273240570 122281984 24636 33554432000 4194304 5992684 140737297634800 140737297621064 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6304/statm: 29854 24636 165 440 0 29410 0
[pid=6309] ppid=6304 vsize=224156 CPUtime=4.61 cores=1,3,5,7
/proc/6309/stat : 6309 (glucosInc) R 6304 6303 4265 0 -1 4202496 39342 0 0 0 454 7 0 0 20 0 1 0 273241377 229535744 50647 33554432000 4194304 5654031 140733465851680 140733465849288 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6309/statm: 56039 50647 131 357 0 55679 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 352720
[startup+25.5004 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 6309
/proc/meminfo: memFree=27711160/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
[pid=6304] ppid=6303 vsize=119416 CPUtime=8.03 cores=1,3,5,7
/proc/6304/stat : 6304 (npSolver-pbo) S 6303 6303 4265 0 -1 4202496 17559 50160 0 0 142 12 625 24 20 0 1 0 273240570 122281984 24636 33554432000 4194304 5992684 140737297634800 140737297621064 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6304/statm: 29854 24636 165 440 0 29410 0
[pid=6309] ppid=6304 vsize=224592 CPUtime=17.41 cores=1,3,5,7
/proc/6309/stat : 6309 (glucosInc) R 6304 6303 4265 0 -1 4202496 39474 0 0 0 1734 7 0 0 20 0 1 0 273241377 229982208 50779 33554432000 4194304 5654031 140733465851680 140733465849288 4215307 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6309/statm: 56148 50779 131 357 0 55788 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 353156
[startup+51.1004 s]
/proc/loadavg: 2.13 2.04 2.01 3/183 6313
/proc/meminfo: memFree=27578620/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
[pid=6304] ppid=6303 vsize=138804 CPUtime=42.99 cores=1,3,5,7
/proc/6304/stat : 6304 (npSolver-pbo) S 6303 6303 4265 0 -1 4202496 24724 92260 0 0 222 273 3754 50 20 0 1 0 273240570 142135296 29726 33554432000 4194304 5992684 140737297634800 140737297620632 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6304/statm: 34701 29726 177 440 0 34257 0
[pid=6313] ppid=6304 vsize=280340 CPUtime=8.06 cores=1,3,5,7
/proc/6313/stat : 6313 (glucosInc) R 6304 6303 4265 0 -1 4202496 49710 0 0 0 795 11 0 0 20 0 1 0 273244865 287068160 66904 33554432000 4194304 5654031 140736334179344 140736334177496 4232772 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6313/statm: 70085 66904 150 357 0 69725 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 428292
[startup+102.307 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 6313
/proc/meminfo: memFree=27565596/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
[pid=6304] ppid=6303 vsize=144532 CPUtime=43.26 cores=1,3,5,7
/proc/6304/stat : 6304 (npSolver-pbo) S 6303 6303 4265 0 -1 4202496 25362 92260 0 0 247 275 3754 50 20 0 1 0 273240570 148000768 30861 33554432000 4194304 5992684 140737297634800 140737297620632 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6304/statm: 36133 30861 177 440 0 35689 0
[pid=6313] ppid=6304 vsize=314228 CPUtime=59.06 cores=1,3,5,7
/proc/6313/stat : 6313 (glucosInc) R 6304 6303 4265 0 -1 4202496 50430 0 0 0 5894 12 0 0 20 0 1 0 273244865 321769472 68129 33554432000 4194304 5654031 140736334179344 140736334177432 4216337 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6313/statm: 78557 68129 151 357 0 78197 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 467908
[startup+162.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 6313
/proc/meminfo: memFree=27560868/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
[pid=6304] ppid=6303 vsize=144532 CPUtime=43.26 cores=1,3,5,7
/proc/6304/stat : 6304 (npSolver-pbo) S 6303 6303 4265 0 -1 4202496 25362 92260 0 0 247 275 3754 50 20 0 1 0 273240570 148000768 30861 33554432000 4194304 5992684 140737297634800 140737297620632 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6304/statm: 36133 30861 177 440 0 35689 0
[pid=6313] ppid=6304 vsize=314228 CPUtime=119.05 cores=1,3,5,7
/proc/6313/stat : 6313 (glucosInc) R 6304 6303 4265 0 -1 4202496 50597 0 0 0 11893 12 0 0 20 0 1 0 273244865 321769472 69318 33554432000 4194304 5654031 140736334179344 140736334167160 4232729 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6313/statm: 78557 69318 151 357 0 78197 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 467908
[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 6313
/proc/meminfo: memFree=27552416/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
[pid=6304] ppid=6303 vsize=144532 CPUtime=43.26 cores=1,3,5,7
/proc/6304/stat : 6304 (npSolver-pbo) S 6303 6303 4265 0 -1 4202496 25362 92260 0 0 247 275 3754 50 20 0 1 0 273240570 148000768 30861 33554432000 4194304 5992684 140737297634800 140737297620632 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6304/statm: 36133 30861 177 440 0 35689 0
[pid=6313] ppid=6304 vsize=314524 CPUtime=179.02 cores=1,3,5,7
/proc/6313/stat : 6313 (glucosInc) R 6304 6303 4265 0 -1 4202496 50724 0 0 0 17889 13 0 0 20 0 1 0 273244865 322072576 71351 33554432000 4194304 5654031 140736334179344 140736334167160 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6313/statm: 78631 71351 151 357 0 78271 0
Current children cumulated CPU time (s) 222.28
################
# More data... #
################
/proc/meminfo: memFree=18790284/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
[pid=6304] ppid=6303 vsize=144532 CPUtime=44.54 cores=1,3,5,7
/proc/6304/stat : 6304 (npSolver-pbo) S 6303 6303 4265 0 -1 4202496 25412 92260 0 0 363 287 3754 50 20 0 1 0 273240570 148000768 30862 33554432000 4194304 5992684 140737297634800 140737297620632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6304/statm: 36133 30862 177 440 0 35689 0
[pid=6313] ppid=6304 vsize=323496 CPUtime=1197.83 cores=1,3,5,7
/proc/6313/stat : 6313 (glucosInc) R 6304 6303 4265 0 -1 4202496 55886 0 0 0 119758 25 0 0 20 0 1 0 273244865 331259904 72976 33554432000 4194304 5654031 140736334179344 140736334167160 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6313/statm: 80874 72976 152 357 0 80514 0
Current children cumulated CPU time (s) 1242.37
Current children cumulated vsize (KiB) 477176
[startup+1302.3 s]
/proc/loadavg: 2.11 2.37 2.19 3/182 6451
/proc/meminfo: memFree=16224504/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
[pid=6304] ppid=6303 vsize=144532 CPUtime=44.63 cores=1,3,5,7
/proc/6304/stat : 6304 (npSolver-pbo) S 6303 6303 4265 0 -1 4202496 25414 92260 0 0 372 287 3754 50 20 0 1 0 273240570 148000768 30862 33554432000 4194304 5992684 140737297634800 140737297620632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6304/statm: 36133 30862 177 440 0 35689 0
[pid=6313] ppid=6304 vsize=294700 CPUtime=1257.76 cores=1,3,5,7
/proc/6313/stat : 6313 (glucosInc) R 6304 6303 4265 0 -1 4202496 56993 0 0 0 125750 26 0 0 20 0 1 0 273244865 301772800 70897 33554432000 4194304 5654031 140736334179344 140736334167160 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6313/statm: 73675 70897 152 357 0 73315 0
Current children cumulated CPU time (s) 1302.39
Current children cumulated vsize (KiB) 448380
[startup+1362.3 s]
/proc/loadavg: 2.04 2.30 2.17 3/182 6451
/proc/meminfo: memFree=13788708/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
[pid=6304] ppid=6303 vsize=144532 CPUtime=44.63 cores=1,3,5,7
/proc/6304/stat : 6304 (npSolver-pbo) S 6303 6303 4265 0 -1 4202496 25414 92260 0 0 372 287 3754 50 20 0 1 0 273240570 148000768 30862 33554432000 4194304 5992684 140737297634800 140737297620632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6304/statm: 36133 30862 177 440 0 35689 0
[pid=6313] ppid=6304 vsize=325520 CPUtime=1317.75 cores=1,3,5,7
/proc/6313/stat : 6313 (glucosInc) R 6304 6303 4265 0 -1 4202496 57571 0 0 0 131748 27 0 0 20 0 1 0 273244865 333332480 71986 33554432000 4194304 5654031 140736334179344 140736334167160 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6313/statm: 81380 71986 152 357 0 81020 0
Current children cumulated CPU time (s) 1362.38
Current children cumulated vsize (KiB) 479200
[startup+1422.31 s]
/proc/loadavg: 2.06 2.26 2.17 3/184 6493
/proc/meminfo: memFree=27382428/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
[pid=6304] ppid=6303 vsize=144532 CPUtime=44.63 cores=1,3,5,7
/proc/6304/stat : 6304 (npSolver-pbo) S 6303 6303 4265 0 -1 4202496 25414 92260 0 0 372 287 3754 50 20 0 1 0 273240570 148000768 30862 33554432000 4194304 5992684 140737297634800 140737297620632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6304/statm: 36133 30862 177 440 0 35689 0
[pid=6313] ppid=6304 vsize=325520 CPUtime=1377.74 cores=1,3,5,7
/proc/6313/stat : 6313 (glucosInc) R 6304 6303 4265 0 -1 4202496 57573 0 0 0 137747 27 0 0 20 0 1 0 273244865 333332480 73010 33554432000 4194304 5654031 140736334179344 140736334167160 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6313/statm: 81380 73010 152 357 0 81020 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 479200
[startup+1482.3 s]
/proc/loadavg: 2.01 2.22 2.16 3/184 7242
/proc/meminfo: memFree=27546764/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
[pid=6304] ppid=6303 vsize=144532 CPUtime=44.63 cores=1,3,5,7
/proc/6304/stat : 6304 (npSolver-pbo) S 6303 6303 4265 0 -1 4202496 25414 92260 0 0 372 287 3754 50 20 0 1 0 273240570 148000768 30862 33554432000 4194304 5992684 140737297634800 140737297620632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6304/statm: 36133 30862 177 440 0 35689 0
[pid=6313] ppid=6304 vsize=325520 CPUtime=1437.73 cores=1,3,5,7
/proc/6313/stat : 6313 (glucosInc) R 6304 6303 4265 0 -1 4202496 57575 0 0 0 143746 27 0 0 20 0 1 0 273244865 333332480 74034 33554432000 4194304 5654031 140736334179344 140736334167160 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6313/statm: 81380 74034 152 357 0 81020 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 479200
[startup+1542.3 s]
/proc/loadavg: 2.00 2.18 2.15 3/183 7242
/proc/meminfo: memFree=27502548/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
[pid=6304] ppid=6303 vsize=144532 CPUtime=44.63 cores=1,3,5,7
/proc/6304/stat : 6304 (npSolver-pbo) S 6303 6303 4265 0 -1 4202496 25414 92260 0 0 372 287 3754 50 20 0 1 0 273240570 148000768 30862 33554432000 4194304 5992684 140737297634800 140737297620632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6304/statm: 36133 30862 177 440 0 35689 0
[pid=6313] ppid=6304 vsize=325520 CPUtime=1497.71 cores=1,3,5,7
/proc/6313/stat : 6313 (glucosInc) R 6304 6303 4265 0 -1 4202496 57577 0 0 0 149744 27 0 0 20 0 1 0 273244865 333332480 75058 33554432000 4194304 5654031 140736334179344 140736334167160 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6313/statm: 81380 75058 152 357 0 81020 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 479200
[startup+1602.3 s]
/proc/loadavg: 2.00 2.14 2.14 3/183 7243
/proc/meminfo: memFree=27478056/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
[pid=6304] ppid=6303 vsize=144532 CPUtime=44.63 cores=1,3,5,7
/proc/6304/stat : 6304 (npSolver-pbo) S 6303 6303 4265 0 -1 4202496 25414 92260 0 0 372 287 3754 50 20 0 1 0 273240570 148000768 30862 33554432000 4194304 5992684 140737297634800 140737297620632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6304/statm: 36133 30862 177 440 0 35689 0
[pid=6313] ppid=6304 vsize=325520 CPUtime=1557.7 cores=1,3,5,7
/proc/6313/stat : 6313 (glucosInc) R 6304 6303 4265 0 -1 4202496 57592 0 0 0 155743 27 0 0 20 0 1 0 273244865 333332480 75570 33554432000 4194304 5654031 140736334179344 140736334167160 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6313/statm: 81380 75570 152 357 0 81020 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 479200
[startup+1662.3 s]
/proc/loadavg: 2.07 2.13 2.13 3/183 7243
/proc/meminfo: memFree=27473800/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
[pid=6304] ppid=6303 vsize=144532 CPUtime=44.63 cores=1,3,5,7
/proc/6304/stat : 6304 (npSolver-pbo) S 6303 6303 4265 0 -1 4202496 25414 92260 0 0 372 287 3754 50 20 0 1 0 273240570 148000768 30862 33554432000 4194304 5992684 140737297634800 140737297620632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6304/statm: 36133 30862 177 440 0 35689 0
[pid=6313] ppid=6304 vsize=325520 CPUtime=1617.69 cores=1,3,5,7
/proc/6313/stat : 6313 (glucosInc) R 6304 6303 4265 0 -1 4202496 57595 0 0 0 161742 27 0 0 20 0 1 0 273244865 333332480 76594 33554432000 4194304 5654031 140736334179344 140736334167160 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6313/statm: 81380 76594 152 357 0 81020 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 479200
[startup+1722.3 s]
/proc/loadavg: 2.02 2.10 2.12 3/183 7243
/proc/meminfo: memFree=27469580/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
[pid=6304] ppid=6303 vsize=144532 CPUtime=44.63 cores=1,3,5,7
/proc/6304/stat : 6304 (npSolver-pbo) S 6303 6303 4265 0 -1 4202496 25414 92260 0 0 372 287 3754 50 20 0 1 0 273240570 148000768 30862 33554432000 4194304 5992684 140737297634800 140737297620632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6304/statm: 36133 30862 177 440 0 35689 0
[pid=6313] ppid=6304 vsize=325520 CPUtime=1677.67 cores=1,3,5,7
/proc/6313/stat : 6313 (glucosInc) R 6304 6303 4265 0 -1 4202496 57597 0 0 0 167740 27 0 0 20 0 1 0 273244865 333332480 77618 33554432000 4194304 5654031 140736334179344 140736334167160 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6313/statm: 81380 77618 152 357 0 81020 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 479200
[startup+1782.3 s]
/proc/loadavg: 2.01 2.08 2.11 3/183 7243
/proc/meminfo: memFree=27418732/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
[pid=6304] ppid=6303 vsize=144532 CPUtime=44.63 cores=1,3,5,7
/proc/6304/stat : 6304 (npSolver-pbo) S 6303 6303 4265 0 -1 4202496 25414 92260 0 0 372 287 3754 50 20 0 1 0 273240570 148000768 30862 33554432000 4194304 5992684 140737297634800 140737297620632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6304/statm: 36133 30862 177 440 0 35689 0
[pid=6313] ppid=6304 vsize=325520 CPUtime=1737.67 cores=1,3,5,7
/proc/6313/stat : 6313 (glucosInc) R 6304 6303 4265 0 -1 4202496 57599 0 0 0 173739 28 0 0 20 0 1 0 273244865 333332480 78642 33554432000 4194304 5654031 140736334179344 140736334167160 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6313/statm: 81380 78642 152 357 0 81020 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 479200
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.08 2.10 3/183 7243
/proc/meminfo: memFree=27408492/32873844 swapFree=7124/7124
[pid=6303] ppid=6301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6303/stat : 6303 (npSolver-pbo-It) S 6301 6303 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273240570 9367552 274 33554432000 4194304 5064252 140734500425904 140734500424816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6303/statm: 2287 274 233 213 0 72 0
[pid=6304] ppid=6303 vsize=144532 CPUtime=44.63 cores=1,3,5,7
/proc/6304/stat : 6304 (npSolver-pbo) S 6303 6303 4265 0 -1 4202496 25414 92260 0 0 372 287 3754 50 20 0 1 0 273240570 148000768 30862 33554432000 4194304 5992684 140737297634800 140737297620632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6304/statm: 36133 30862 177 440 0 35689 0
[pid=6313] ppid=6304 vsize=325520 CPUtime=1755.38 cores=1,3,5,7
/proc/6313/stat : 6313 (glucosInc) R 6304 6303 4265 0 -1 4202496 57599 0 0 0 175510 28 0 0 20 0 1 0 273244865 333332480 78642 33554432000 4194304 5654031 140736334179344 140736334167160 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6313/statm: 81380 78642 152 357 0 81020 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 479200
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.02
CPU time (s): 1800.04
CPU user time (s): 1796.37
CPU system time (s): 3.67044
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 580336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.37
system time used= 3.67044
maximum resident set size= 444688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175647
page faults= 0
swaps= 0
block input operations= 8
block output operations= 449592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35836
involuntary context switches= 1904
runsolver used 3.05953 second user time and 9.1916 second system time
The end