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-3748589-1339175582/watcher-3748589-1339175582 -o /tmp/evaluation-result-3748589-1339175582/solver-3748589-1339175582 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748589-1339175582.opb 1132001267 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: 1.92 1.98 1.99 3/178 32470
/proc/meminfo: memFree=27343720/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
[startup+0.0950371 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 32470
/proc/meminfo: memFree=27343720/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100328 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 32470
/proc/meminfo: memFree=27343720/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30032 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 32470
/proc/meminfo: memFree=27343720/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700286 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 32470
/proc/meminfo: memFree=27343720/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50024 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 32477
/proc/meminfo: memFree=27315400/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
[pid=32471] ppid=32470 vsize=28988 CPUtime=1.47 cores=1,3,5,7
/proc/32471/stat : 32471 (npSolver-pbo) S 32470 32470 32059 0 -1 4202496 10163 11445 0 0 67 21 55 4 20 0 1 0 383683932 29683712 6739 33554432000 4194304 6004724 140735341100688 140735341085608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32471/statm: 7247 6739 183 442 0 6801 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 38136
[startup+3.10041 s]
/proc/loadavg: 1.92 1.98 1.99 3/181 32479
/proc/meminfo: memFree=27182948/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
[pid=32471] ppid=32470 vsize=28988 CPUtime=1.47 cores=1,3,5,7
/proc/32471/stat : 32471 (npSolver-pbo) S 32470 32470 32059 0 -1 4202496 10163 11445 0 0 67 21 55 4 20 0 1 0 383683932 29683712 6739 33554432000 4194304 6004724 140735341100688 140735341085608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32471/statm: 7247 6739 183 442 0 6801 0
[pid=32479] ppid=32471 vsize=117060 CPUtime=1.59 cores=1,3,5,7
/proc/32479/stat : 32479 (glucosInc) R 32471 32470 32059 0 -1 4202496 22189 0 0 0 153 6 0 0 20 0 1 0 383684081 119869440 24059 33554432000 4194304 5654031 140733897321184 140733897319080 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32479/statm: 29265 24059 132 357 0 28905 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 155196
[startup+6.30042 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 32479
/proc/meminfo: memFree=27179660/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
[pid=32471] ppid=32470 vsize=28988 CPUtime=1.47 cores=1,3,5,7
/proc/32471/stat : 32471 (npSolver-pbo) S 32470 32470 32059 0 -1 4202496 10163 11445 0 0 67 21 55 4 20 0 1 0 383683932 29683712 6739 33554432000 4194304 6004724 140735341100688 140735341085608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32471/statm: 7247 6739 183 442 0 6801 0
[pid=32479] ppid=32471 vsize=118996 CPUtime=4.79 cores=1,3,5,7
/proc/32479/stat : 32479 (glucosInc) R 32471 32470 32059 0 -1 4202496 22506 0 0 0 473 6 0 0 20 0 1 0 383684081 121851904 24887 33554432000 4194304 5654031 140733897321184 140733897309000 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32479/statm: 29749 24887 141 357 0 29389 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 157132
[startup+12.7004 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 32479
/proc/meminfo: memFree=27177808/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
[pid=32471] ppid=32470 vsize=28988 CPUtime=1.47 cores=1,3,5,7
/proc/32471/stat : 32471 (npSolver-pbo) S 32470 32470 32059 0 -1 4202496 10163 11445 0 0 67 21 55 4 20 0 1 0 383683932 29683712 6739 33554432000 4194304 6004724 140735341100688 140735341085608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32471/statm: 7247 6739 183 442 0 6801 0
[pid=32479] ppid=32471 vsize=120196 CPUtime=11.19 cores=1,3,5,7
/proc/32479/stat : 32479 (glucosInc) R 32471 32470 32059 0 -1 4202496 22864 0 0 0 1113 6 0 0 20 0 1 0 383684081 123080704 25245 33554432000 4194304 5654031 140733897321184 140733897309000 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32479/statm: 30049 25245 141 357 0 29689 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 158332
[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/180 32524
/proc/meminfo: memFree=30673412/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
[pid=32471] ppid=32470 vsize=28988 CPUtime=1.47 cores=1,3,5,7
/proc/32471/stat : 32471 (npSolver-pbo) S 32470 32470 32059 0 -1 4202496 10163 11445 0 0 67 21 55 4 20 0 1 0 383683932 29683712 6739 33554432000 4194304 6004724 140735341100688 140735341085608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32471/statm: 7247 6739 183 442 0 6801 0
[pid=32479] ppid=32471 vsize=121296 CPUtime=23.99 cores=1,3,5,7
/proc/32479/stat : 32479 (glucosInc) R 32471 32470 32059 0 -1 4202496 23140 0 0 0 2393 6 0 0 20 0 1 0 383684081 124207104 26032 33554432000 4194304 5654031 140733897321184 140733897309000 4208641 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32479/statm: 30324 26032 142 357 0 29964 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 159432
[startup+51.1004 s]
/proc/loadavg: 2.03 2.00 2.00 3/180 32526
/proc/meminfo: memFree=30093552/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
[pid=32471] ppid=32470 vsize=28988 CPUtime=1.47 cores=1,3,5,7
/proc/32471/stat : 32471 (npSolver-pbo) S 32470 32470 32059 0 -1 4202496 10163 11445 0 0 67 21 55 4 20 0 1 0 383683932 29683712 6739 33554432000 4194304 6004724 140735341100688 140735341085608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32471/statm: 7247 6739 183 442 0 6801 0
[pid=32479] ppid=32471 vsize=120764 CPUtime=49.57 cores=1,3,5,7
/proc/32479/stat : 32479 (glucosInc) R 32471 32470 32059 0 -1 4202496 24145 0 0 0 4950 7 0 0 20 0 1 0 383684081 123662336 25608 33554432000 4194304 5654031 140733897321184 140733897309000 4208584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32479/statm: 30191 25608 142 357 0 29831 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 158900
[startup+102.307 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 32527
/proc/meminfo: memFree=30054232/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
[pid=32471] ppid=32470 vsize=28988 CPUtime=1.47 cores=1,3,5,7
/proc/32471/stat : 32471 (npSolver-pbo) S 32470 32470 32059 0 -1 4202496 10163 11445 0 0 67 21 55 4 20 0 1 0 383683932 29683712 6739 33554432000 4194304 6004724 140735341100688 140735341085608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32471/statm: 7247 6739 183 442 0 6801 0
[pid=32479] ppid=32471 vsize=153692 CPUtime=100.77 cores=1,3,5,7
/proc/32479/stat : 32479 (glucosInc) R 32471 32470 32059 0 -1 4202496 26030 0 0 0 10068 9 0 0 20 0 1 0 383684081 157380608 34574 33554432000 4194304 5654031 140733897321184 140733897309000 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32479/statm: 38423 34574 142 357 0 38063 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 191828
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 32527
/proc/meminfo: memFree=30038384/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
[pid=32471] ppid=32470 vsize=28988 CPUtime=1.47 cores=1,3,5,7
/proc/32471/stat : 32471 (npSolver-pbo) S 32470 32470 32059 0 -1 4202496 10163 11445 0 0 67 21 55 4 20 0 1 0 383683932 29683712 6739 33554432000 4194304 6004724 140735341100688 140735341085608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32471/statm: 7247 6739 183 442 0 6801 0
[pid=32479] ppid=32471 vsize=153692 CPUtime=160.74 cores=1,3,5,7
/proc/32479/stat : 32479 (glucosInc) R 32471 32470 32059 0 -1 4202496 26670 0 0 0 16065 9 0 0 20 0 1 0 383684081 157380608 35815 33554432000 4194304 5654031 140733897321184 140733897309000 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32479/statm: 38423 35815 142 357 0 38063 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 191828
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 32528
/proc/meminfo: memFree=30031896/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
[pid=32471] ppid=32470 vsize=28988 CPUtime=1.47 cores=1,3,5,7
/proc/32471/stat : 32471 (npSolver-pbo) S 32470 32470 32059 0 -1 4202496 10163 11445 0 0 67 21 55 4 20 0 1 0 383683932 29683712 6739 33554432000 4194304 6004724 140735341100688 140735341085608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32471/statm: 7247 6739 183 442 0 6801 0
[pid=32479] ppid=32471 vsize=153692 CPUtime=220.74 cores=1,3,5,7
/proc/32479/stat : 32479 (glucosInc) R 32471 32470 32059 0 -1 4202496 27503 0 0 0 22063 11 0 0 20 0 1 0 383684081 157380608 35815 33554432000 4194304 5654031 140733897321184 140733897309000 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32479/statm: 38423 35815 142 357 0 38063 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 191828
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 32528
/proc/meminfo: memFree=30026940/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=29964964/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
[pid=32471] ppid=32470 vsize=47764 CPUtime=593.14 cores=1,3,5,7
/proc/32471/stat : 32471 (npSolver-pbo) S 32470 32470 32059 0 -1 4202496 15241 42848 0 0 121 29 59141 23 20 0 1 0 383683932 48910336 11434 33554432000 4194304 6004724 140735341100688 140735341085608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32471/statm: 11941 11434 184 442 0 11495 0
[pid=32534] ppid=32471 vsize=149532 CPUtime=648.87 cores=1,3,5,7
/proc/32534/stat : 32534 (glucosInc) R 32471 32470 32059 0 -1 4202496 26258 0 0 0 64870 17 0 0 20 0 1 0 383743261 153120768 35648 33554432000 4194304 5654031 140736930938464 140736930926280 4215168 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32534/statm: 37383 35648 142 357 0 37023 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 206444
[startup+1302.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/181 32543
/proc/meminfo: memFree=29998264/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
[pid=32471] ppid=32470 vsize=47764 CPUtime=1252.92 cores=1,3,5,7
/proc/32471/stat : 32471 (npSolver-pbo) S 32470 32470 32059 0 -1 4202496 25731 90829 0 0 222 42 124978 50 20 0 1 0 383683932 48910336 11435 33554432000 4194304 6004724 140735341100688 140735341085608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32471/statm: 11941 11435 185 442 0 11495 0
[pid=32543] ppid=32471 vsize=117204 CPUtime=49.09 cores=1,3,5,7
/proc/32543/stat : 32543 (glucosInc) R 32471 32470 32059 0 -1 4202496 22119 0 0 0 4903 6 0 0 20 0 1 0 383809252 120016896 25358 33554432000 4194304 5654031 140733818955824 140733818943640 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32543/statm: 29301 25358 142 357 0 28941 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 174116
[startup+1362.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/181 32543
/proc/meminfo: memFree=30001432/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
[pid=32471] ppid=32470 vsize=47764 CPUtime=1252.92 cores=1,3,5,7
/proc/32471/stat : 32471 (npSolver-pbo) S 32470 32470 32059 0 -1 4202496 25731 90829 0 0 222 42 124978 50 20 0 1 0 383683932 48910336 11435 33554432000 4194304 6004724 140735341100688 140735341085608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32471/statm: 11941 11435 185 442 0 11495 0
[pid=32543] ppid=32471 vsize=148304 CPUtime=109.07 cores=1,3,5,7
/proc/32543/stat : 32543 (glucosInc) R 32471 32470 32059 0 -1 4202496 23371 0 0 0 10900 7 0 0 20 0 1 0 383809252 151863296 31846 33554432000 4194304 5654031 140733818955824 140733818943640 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32543/statm: 37076 31846 142 357 0 36716 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 205216
[startup+1422.31 s]
/proc/loadavg: 2.01 2.04 2.00 3/181 32544
/proc/meminfo: memFree=29976548/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
[pid=32471] ppid=32470 vsize=47764 CPUtime=1252.92 cores=1,3,5,7
/proc/32471/stat : 32471 (npSolver-pbo) S 32470 32470 32059 0 -1 4202496 25731 90829 0 0 222 42 124978 50 20 0 1 0 383683932 48910336 11435 33554432000 4194304 6004724 140735341100688 140735341085608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32471/statm: 11941 11435 185 442 0 11495 0
[pid=32543] ppid=32471 vsize=148304 CPUtime=169.07 cores=1,3,5,7
/proc/32543/stat : 32543 (glucosInc) R 32471 32470 32059 0 -1 4202496 23371 0 0 0 16900 7 0 0 20 0 1 0 383809252 151863296 31846 33554432000 4194304 5654031 140733818955824 140733818943640 4232495 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32543/statm: 37076 31846 142 357 0 36716 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 205216
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 32544
/proc/meminfo: memFree=29969784/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
[pid=32471] ppid=32470 vsize=47764 CPUtime=1252.92 cores=1,3,5,7
/proc/32471/stat : 32471 (npSolver-pbo) S 32470 32470 32059 0 -1 4202496 25731 90829 0 0 222 42 124978 50 20 0 1 0 383683932 48910336 11435 33554432000 4194304 6004724 140735341100688 140735341085608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32471/statm: 11941 11435 185 442 0 11495 0
[pid=32543] ppid=32471 vsize=148304 CPUtime=229.05 cores=1,3,5,7
/proc/32543/stat : 32543 (glucosInc) R 32471 32470 32059 0 -1 4202496 23371 0 0 0 22898 7 0 0 20 0 1 0 383809252 151863296 31846 33554432000 4194304 5654031 140733818955824 140733818943640 4214996 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32543/statm: 37076 31846 142 357 0 36716 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 205216
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 32544
/proc/meminfo: memFree=29998232/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
[pid=32471] ppid=32470 vsize=47764 CPUtime=1252.92 cores=1,3,5,7
/proc/32471/stat : 32471 (npSolver-pbo) S 32470 32470 32059 0 -1 4202496 25731 90829 0 0 222 42 124978 50 20 0 1 0 383683932 48910336 11435 33554432000 4194304 6004724 140735341100688 140735341085608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32471/statm: 11941 11435 185 442 0 11495 0
[pid=32543] ppid=32471 vsize=148304 CPUtime=289.03 cores=1,3,5,7
/proc/32543/stat : 32543 (glucosInc) R 32471 32470 32059 0 -1 4202496 23386 0 0 0 28896 7 0 0 20 0 1 0 383809252 151863296 32358 33554432000 4194304 5654031 140733818955824 140733818943640 4215115 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32543/statm: 37076 32358 142 357 0 36716 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 205216
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 32544
/proc/meminfo: memFree=29989400/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
[pid=32471] ppid=32470 vsize=47764 CPUtime=1252.92 cores=1,3,5,7
/proc/32471/stat : 32471 (npSolver-pbo) S 32470 32470 32059 0 -1 4202496 25731 90829 0 0 222 42 124978 50 20 0 1 0 383683932 48910336 11435 33554432000 4194304 6004724 140735341100688 140735341085608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32471/statm: 11941 11435 185 442 0 11495 0
[pid=32543] ppid=32471 vsize=148304 CPUtime=349.02 cores=1,3,5,7
/proc/32543/stat : 32543 (glucosInc) R 32471 32470 32059 0 -1 4202496 23387 0 0 0 34895 7 0 0 20 0 1 0 383809252 151863296 33101 33554432000 4194304 5654031 140733818955824 140733818943640 4215097 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32543/statm: 37076 33101 142 357 0 36716 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 205216
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 32547
/proc/meminfo: memFree=29963452/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
[pid=32471] ppid=32470 vsize=47764 CPUtime=1252.92 cores=1,3,5,7
/proc/32471/stat : 32471 (npSolver-pbo) S 32470 32470 32059 0 -1 4202496 25731 90829 0 0 222 42 124978 50 20 0 1 0 383683932 48910336 11435 33554432000 4194304 6004724 140735341100688 140735341085608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32471/statm: 11941 11435 185 442 0 11495 0
[pid=32543] ppid=32471 vsize=166980 CPUtime=409.02 cores=1,3,5,7
/proc/32543/stat : 32543 (glucosInc) R 32471 32470 32059 0 -1 4202496 23859 0 0 0 40894 8 0 0 20 0 1 0 383809252 170987520 37585 33554432000 4194304 5654031 140733818955824 140733818943640 4215290 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32543/statm: 41745 37585 142 357 0 41385 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 223892
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 32548
/proc/meminfo: memFree=29982700/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
[pid=32471] ppid=32470 vsize=47764 CPUtime=1252.92 cores=1,3,5,7
/proc/32471/stat : 32471 (npSolver-pbo) S 32470 32470 32059 0 -1 4202496 25731 90829 0 0 222 42 124978 50 20 0 1 0 383683932 48910336 11435 33554432000 4194304 6004724 140735341100688 140735341085608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32471/statm: 11941 11435 185 442 0 11495 0
[pid=32543] ppid=32471 vsize=166980 CPUtime=469 cores=1,3,5,7
/proc/32543/stat : 32543 (glucosInc) R 32471 32470 32059 0 -1 4202496 24045 0 0 0 46892 8 0 0 20 0 1 0 383809252 170987520 37770 33554432000 4194304 5654031 140733818955824 140733818943640 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32543/statm: 41745 37770 142 357 0 41385 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 223892
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 32548
/proc/meminfo: memFree=29972212/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
[pid=32471] ppid=32470 vsize=47764 CPUtime=1252.92 cores=1,3,5,7
/proc/32471/stat : 32471 (npSolver-pbo) S 32470 32470 32059 0 -1 4202496 25731 90829 0 0 222 42 124978 50 20 0 1 0 383683932 48910336 11435 33554432000 4194304 6004724 140735341100688 140735341085608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32471/statm: 11941 11435 185 442 0 11495 0
[pid=32543] ppid=32471 vsize=166980 CPUtime=528.99 cores=1,3,5,7
/proc/32543/stat : 32543 (glucosInc) R 32471 32470 32059 0 -1 4202496 24045 0 0 0 52891 8 0 0 20 0 1 0 383809252 170987520 37770 33554432000 4194304 5654031 140733818955824 140733818943640 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32543/statm: 41745 37770 142 357 0 41385 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 223892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 32548
/proc/meminfo: memFree=29970288/32873844 swapFree=7632/7632
[pid=32470] ppid=32468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32470/stat : 32470 (npSolver-pbo-I.) S 32468 32470 32059 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383683932 9367552 275 33554432000 4194304 5064252 140733487651456 140733487650368 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32470/statm: 2287 275 233 213 0 72 0
[pid=32471] ppid=32470 vsize=47764 CPUtime=1252.92 cores=1,3,5,7
/proc/32471/stat : 32471 (npSolver-pbo) S 32470 32470 32059 0 -1 4202496 25731 90829 0 0 222 42 124978 50 20 0 1 0 383683932 48910336 11435 33554432000 4194304 6004724 140735341100688 140735341085608 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32471/statm: 11941 11435 185 442 0 11495 0
[pid=32543] ppid=32471 vsize=166980 CPUtime=547.1 cores=1,3,5,7
/proc/32543/stat : 32543 (glucosInc) R 32471 32470 32059 0 -1 4202496 24045 0 0 0 54702 8 0 0 20 0 1 0 383809252 170987520 37770 33554432000 4194304 5654031 140733818955824 140733818943640 4208641 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32543/statm: 41745 37770 142 357 0 41385 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 223892
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.06
CPU user time (s): 1799.03
CPU system time (s): 1.02884
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 271968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.02884
maximum resident set size= 201944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140981
page faults= 0
swaps= 0
block input operations= 0
block output operations= 284952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 996
involuntary context switches= 2709
runsolver used 3.43348 second user time and 9.00363 second system time
The end