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-3702846-1338061960/watcher-3702846-1338061960 -o /tmp/evaluation-result-3702846-1338061960/solver-3702846-1338061960 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702846-1338061960.opb 338594088 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.02 2.01 2.00 3/178 4962
/proc/meminfo: memFree=29767344/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
[startup+0.072011 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 4962
/proc/meminfo: memFree=29767344/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100141 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 4962
/proc/meminfo: memFree=29767344/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300141 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 4962
/proc/meminfo: memFree=29767344/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700157 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 4962
/proc/meminfo: memFree=29767344/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50019 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 4973
/proc/meminfo: memFree=29759228/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
[pid=4963] ppid=4962 vsize=8028 CPUtime=1.43 cores=1,3,5,7
/proc/4963/stat : 4963 (npSolver-pbo) S 4962 4962 4103 0 -1 4202496 6081 16937 0 0 46 9 84 4 20 0 1 0 272322056 8220672 1395 33554432000 4194304 5992684 140734674662800 140734674648632 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4963/statm: 2007 1395 193 440 0 1563 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 17176
[startup+3.10033 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 5026
/proc/meminfo: memFree=29923912/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
[pid=4963] ppid=4962 vsize=8028 CPUtime=1.43 cores=1,3,5,7
/proc/4963/stat : 4963 (npSolver-pbo) S 4962 4962 4103 0 -1 4202496 6081 16937 0 0 46 9 84 4 20 0 1 0 272322056 8220672 1395 33554432000 4194304 5992684 140734674662800 140734674648632 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4963/statm: 2007 1395 193 440 0 1563 0
[pid=5017] ppid=4963 vsize=20116 CPUtime=1.64 cores=1,3,5,7
/proc/5017/stat : 5017 (glucosInc) R 4963 4962 4103 0 -1 4202496 3506 0 0 0 164 0 0 0 20 0 1 0 272322200 20598784 4400 33554432000 4194304 5654031 140737247860976 140737247858744 4233204 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5017/statm: 5029 4400 140 357 0 4669 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 37292
[startup+6.30026 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 5034
/proc/meminfo: memFree=29921368/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
[pid=4963] ppid=4962 vsize=8028 CPUtime=4.23 cores=1,3,5,7
/proc/4963/stat : 4963 (npSolver-pbo) S 4962 4962 4103 0 -1 4202496 7412 21031 0 0 54 9 355 5 20 0 1 0 272322056 8220672 1395 33554432000 4194304 5992684 140734674662800 140734674648632 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4963/statm: 2007 1395 193 440 0 1563 0
[pid=5032] ppid=4963 vsize=20104 CPUtime=2.03 cores=1,3,5,7
/proc/5032/stat : 5032 (glucosInc) R 4963 4962 4103 0 -1 4202496 4268 0 0 0 203 0 0 0 20 0 1 0 272322482 20586496 4372 33554432000 4194304 5654031 140733596007920 140733595995736 4232495 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5032/statm: 5026 4372 140 357 0 4666 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 37280
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 5042
/proc/meminfo: memFree=29923940/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
[pid=4963] ppid=4962 vsize=8028 CPUtime=11.87 cores=1,3,5,7
/proc/4963/stat : 4963 (npSolver-pbo) S 4962 4962 4103 0 -1 4202496 10074 32022 0 0 71 10 1099 7 20 0 1 0 272322056 8220672 1395 33554432000 4194304 5992684 140734674662800 140734674648632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4963/statm: 2007 1395 193 440 0 1563 0
[pid=5042] ppid=4963 vsize=19948 CPUtime=0.79 cores=1,3,5,7
/proc/5042/stat : 5042 (glucosInc) R 4963 4962 4103 0 -1 4202496 3882 0 0 0 78 1 0 0 20 0 1 0 272323246 20426752 4069 33554432000 4194304 5654031 140735086754880 140735086752648 4801472 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5042/statm: 4987 4069 131 357 0 4627 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 37124
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 5052
/proc/meminfo: memFree=29920208/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
[pid=4963] ppid=4962 vsize=8028 CPUtime=22.45 cores=1,3,5,7
/proc/4963/stat : 4963 (npSolver-pbo) S 4962 4962 4103 0 -1 4202496 12736 45506 0 0 87 10 2137 11 20 0 1 0 272322056 8220672 1395 33554432000 4194304 5992684 140734674662800 140734674648632 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4963/statm: 2007 1395 193 440 0 1563 0
[pid=5052] ppid=4963 vsize=18856 CPUtime=2.99 cores=1,3,5,7
/proc/5052/stat : 5052 (glucosInc) R 4963 4962 4103 0 -1 4202496 4210 0 0 0 299 0 0 0 20 0 1 0 272324305 19308544 4031 33554432000 4194304 5654031 140736857898416 140736857886232 4222920 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5052/statm: 4714 4031 142 357 0 4354 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 36032
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 5064
/proc/meminfo: memFree=29918544/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
[pid=4963] ppid=4962 vsize=8028 CPUtime=47.93 cores=1,3,5,7
/proc/4963/stat : 4963 (npSolver-pbo) S 4962 4962 4103 0 -1 4202496 16729 67020 0 0 113 11 4653 16 20 0 1 0 272322056 8220672 1395 33554432000 4194304 5992684 140734674662800 140734674648632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4963/statm: 2007 1395 193 440 0 1563 0
[pid=5064] ppid=4963 vsize=18848 CPUtime=3.1 cores=1,3,5,7
/proc/5064/stat : 5064 (glucosInc) R 4963 4962 4103 0 -1 4202496 4503 0 0 0 309 1 0 0 20 0 1 0 272326854 19300352 4122 33554432000 4194304 5654031 140734765730400 140734765728424 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5064/statm: 4712 4122 142 357 0 4352 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 36024
[startup+102.307 s]
/proc/loadavg: 2.05 2.02 2.00 3/181 5068
/proc/meminfo: memFree=29872808/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
[pid=4963] ppid=4962 vsize=8028 CPUtime=65.49 cores=1,3,5,7
/proc/4963/stat : 4963 (npSolver-pbo) S 4962 4962 4103 0 -1 4202496 18060 74571 0 0 121 12 6397 19 20 0 1 0 272322056 8220672 1395 33554432000 4194304 5992684 140734674662800 140734674648632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4963/statm: 2007 1395 193 440 0 1563 0
[pid=5066] ppid=4963 vsize=61108 CPUtime=36.73 cores=1,3,5,7
/proc/5066/stat : 5066 (glucosInc) R 4963 4962 4103 0 -1 4202496 9744 0 0 0 3671 2 0 0 20 0 1 0 272328611 62574592 11129 33554432000 4194304 5654031 140735771917872 140735771905688 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5066/statm: 15277 11129 142 357 0 14917 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 78284
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 5068
/proc/meminfo: memFree=29826104/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
[pid=4963] ppid=4962 vsize=8028 CPUtime=65.49 cores=1,3,5,7
/proc/4963/stat : 4963 (npSolver-pbo) S 4962 4962 4103 0 -1 4202496 18060 74571 0 0 121 12 6397 19 20 0 1 0 272322056 8220672 1395 33554432000 4194304 5992684 140734674662800 140734674648632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4963/statm: 2007 1395 193 440 0 1563 0
[pid=5066] ppid=4963 vsize=79964 CPUtime=96.71 cores=1,3,5,7
/proc/5066/stat : 5066 (glucosInc) R 4963 4962 4103 0 -1 4202496 10384 0 0 0 9669 2 0 0 20 0 1 0 272328611 81883136 17741 33554432000 4194304 5654031 140735771917872 140735771905688 4232595 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5066/statm: 19991 17741 142 357 0 19631 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 97140
[startup+222.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 5071
/proc/meminfo: memFree=29836652/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
[pid=4963] ppid=4962 vsize=8028 CPUtime=187.81 cores=1,3,5,7
/proc/4963/stat : 4963 (npSolver-pbo) S 4962 4962 4103 0 -1 4202496 19391 85606 0 0 129 12 18618 22 20 0 1 0 272322056 8220672 1395 33554432000 4194304 5992684 140734674662800 140734674648632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4963/statm: 2007 1395 193 440 0 1563 0
[pid=5070] ppid=4963 vsize=61004 CPUtime=34.35 cores=1,3,5,7
/proc/5070/stat : 5070 (glucosInc) R 4963 4962 4103 0 -1 4202496 8751 0 0 0 3434 1 0 0 20 0 1 0 272340848 62468096 10661 33554432000 4194304 5654031 140736323383920 140736323371736 4209211 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5070/statm: 15251 10661 142 357 0 14891 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 78180
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 5071
/proc/meminfo: memFree=29822656/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=29733568/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
[pid=4963] ppid=4962 vsize=8028 CPUtime=187.81 cores=1,3,5,7
/proc/4963/stat : 4963 (npSolver-pbo) S 4962 4962 4103 0 -1 4202496 19391 85606 0 0 129 12 18618 22 20 0 1 0 272322056 8220672 1395 33554432000 4194304 5992684 140734674662800 140734674648632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4963/statm: 2007 1395 193 440 0 1563 0
[pid=5070] ppid=4963 vsize=141808 CPUtime=1054.2 cores=1,3,5,7
/proc/5070/stat : 5070 (glucosInc) R 4963 4962 4103 0 -1 4202496 23358 0 0 0 105390 30 0 0 20 0 1 0 272340848 145211392 32043 33554432000 4194304 5654031 140736323383920 140736323371736 4232767 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5070/statm: 35452 32043 142 357 0 35092 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 158984
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5106
/proc/meminfo: memFree=29770836/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
[pid=4963] ppid=4962 vsize=8028 CPUtime=187.81 cores=1,3,5,7
/proc/4963/stat : 4963 (npSolver-pbo) S 4962 4962 4103 0 -1 4202496 19391 85606 0 0 129 12 18618 22 20 0 1 0 272322056 8220672 1395 33554432000 4194304 5992684 140734674662800 140734674648632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4963/statm: 2007 1395 193 440 0 1563 0
[pid=5070] ppid=4963 vsize=92488 CPUtime=1114.2 cores=1,3,5,7
/proc/5070/stat : 5070 (glucosInc) R 4963 4962 4103 0 -1 4202496 24846 0 0 0 111387 33 0 0 20 0 1 0 272340848 94707712 22564 33554432000 4194304 5654031 140736323383920 140736323381944 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5070/statm: 23122 22564 142 357 0 22762 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 109664
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5108
/proc/meminfo: memFree=29771548/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
[pid=4963] ppid=4962 vsize=8028 CPUtime=187.81 cores=1,3,5,7
/proc/4963/stat : 4963 (npSolver-pbo) S 4962 4962 4103 0 -1 4202496 19391 85606 0 0 129 12 18618 22 20 0 1 0 272322056 8220672 1395 33554432000 4194304 5992684 140734674662800 140734674648632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4963/statm: 2007 1395 193 440 0 1563 0
[pid=5070] ppid=4963 vsize=160768 CPUtime=1174.18 cores=1,3,5,7
/proc/5070/stat : 5070 (glucosInc) R 4963 4962 4103 0 -1 4202496 26081 0 0 0 117382 36 0 0 20 0 1 0 272340848 164626432 33651 33554432000 4194304 5654031 140736323383920 140736323371736 4216577 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5070/statm: 40192 33651 142 357 0 39832 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 177944
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5108
/proc/meminfo: memFree=29790200/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
[pid=4963] ppid=4962 vsize=8028 CPUtime=187.81 cores=1,3,5,7
/proc/4963/stat : 4963 (npSolver-pbo) S 4962 4962 4103 0 -1 4202496 19391 85606 0 0 129 12 18618 22 20 0 1 0 272322056 8220672 1395 33554432000 4194304 5992684 140734674662800 140734674648632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4963/statm: 2007 1395 193 440 0 1563 0
[pid=5070] ppid=4963 vsize=111448 CPUtime=1234.17 cores=1,3,5,7
/proc/5070/stat : 5070 (glucosInc) R 4963 4962 4103 0 -1 4202496 27675 0 0 0 123379 38 0 0 20 0 1 0 272340848 114122752 23255 33554432000 4194304 5654031 140736323383920 140736323381944 4233204 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5070/statm: 27862 23255 142 357 0 27502 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 128624
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5109
/proc/meminfo: memFree=29744476/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
[pid=4963] ppid=4962 vsize=8028 CPUtime=187.81 cores=1,3,5,7
/proc/4963/stat : 4963 (npSolver-pbo) S 4962 4962 4103 0 -1 4202496 19391 85606 0 0 129 12 18618 22 20 0 1 0 272322056 8220672 1395 33554432000 4194304 5992684 140734674662800 140734674648632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4963/statm: 2007 1395 193 440 0 1563 0
[pid=5070] ppid=4963 vsize=160768 CPUtime=1294.16 cores=1,3,5,7
/proc/5070/stat : 5070 (glucosInc) R 4963 4962 4103 0 -1 4202496 28837 0 0 0 129375 41 0 0 20 0 1 0 272340848 164626432 33758 33554432000 4194304 5654031 140736323383920 140736323371736 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5070/statm: 40192 33758 142 357 0 39832 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 177944
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5109
/proc/meminfo: memFree=29723584/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
[pid=4963] ppid=4962 vsize=8028 CPUtime=187.81 cores=1,3,5,7
/proc/4963/stat : 4963 (npSolver-pbo) S 4962 4962 4103 0 -1 4202496 19391 85606 0 0 129 12 18618 22 20 0 1 0 272322056 8220672 1395 33554432000 4194304 5992684 140734674662800 140734674648632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4963/statm: 2007 1395 193 440 0 1563 0
[pid=5070] ppid=4963 vsize=191588 CPUtime=1354.16 cores=1,3,5,7
/proc/5070/stat : 5070 (glucosInc) R 4963 4962 4103 0 -1 4202496 30321 0 0 0 135372 44 0 0 20 0 1 0 272340848 196186112 38433 33554432000 4194304 5654031 140736323383920 140736323382008 4232767 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5070/statm: 47897 38433 142 357 0 47537 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 208764
[startup+1602.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/181 5109
/proc/meminfo: memFree=29740560/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
[pid=4963] ppid=4962 vsize=8028 CPUtime=187.81 cores=1,3,5,7
/proc/4963/stat : 4963 (npSolver-pbo) S 4962 4962 4103 0 -1 4202496 19391 85606 0 0 129 12 18618 22 20 0 1 0 272322056 8220672 1395 33554432000 4194304 5992684 140734674662800 140734674648632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4963/statm: 2007 1395 193 440 0 1563 0
[pid=5070] ppid=4963 vsize=125152 CPUtime=1414.14 cores=1,3,5,7
/proc/5070/stat : 5070 (glucosInc) R 4963 4962 4103 0 -1 4202496 32066 0 0 0 141368 46 0 0 20 0 1 0 272340848 128155648 30730 33554432000 4194304 5654031 140736323383920 140736323381944 4233151 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5070/statm: 31288 30730 142 357 0 30928 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 142328
[startup+1662.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/182 5112
/proc/meminfo: memFree=29697932/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
[pid=4963] ppid=4962 vsize=8028 CPUtime=187.81 cores=1,3,5,7
/proc/4963/stat : 4963 (npSolver-pbo) S 4962 4962 4103 0 -1 4202496 19391 85606 0 0 129 12 18618 22 20 0 1 0 272322056 8220672 1395 33554432000 4194304 5992684 140734674662800 140734674648632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4963/statm: 2007 1395 193 440 0 1563 0
[pid=5070] ppid=4963 vsize=174472 CPUtime=1474.13 cores=1,3,5,7
/proc/5070/stat : 5070 (glucosInc) R 4963 4962 4103 0 -1 4202496 33230 0 0 0 147365 48 0 0 20 0 1 0 272340848 178659328 41233 33554432000 4194304 5654031 140736323383920 140736323371736 4233232 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5070/statm: 43618 41233 142 357 0 43258 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 191648
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 5112
/proc/meminfo: memFree=29687160/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
[pid=4963] ppid=4962 vsize=8028 CPUtime=187.81 cores=1,3,5,7
/proc/4963/stat : 4963 (npSolver-pbo) S 4962 4962 4103 0 -1 4202496 19391 85606 0 0 129 12 18618 22 20 0 1 0 272322056 8220672 1395 33554432000 4194304 5992684 140734674662800 140734674648632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4963/statm: 2007 1395 193 440 0 1563 0
[pid=5070] ppid=4963 vsize=205292 CPUtime=1534.12 cores=1,3,5,7
/proc/5070/stat : 5070 (glucosInc) R 4963 4962 4103 0 -1 4202496 34712 0 0 0 153361 51 0 0 20 0 1 0 272340848 210219008 43860 33554432000 4194304 5654031 140736323383920 140736323382008 4232973 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5070/statm: 51323 43860 142 357 0 50963 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 222468
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 5113
/proc/meminfo: memFree=29634492/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
[pid=4963] ppid=4962 vsize=8028 CPUtime=187.81 cores=1,3,5,7
/proc/4963/stat : 4963 (npSolver-pbo) S 4962 4962 4103 0 -1 4202496 19391 85606 0 0 129 12 18618 22 20 0 1 0 272322056 8220672 1395 33554432000 4194304 5992684 140734674662800 140734674648632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4963/statm: 2007 1395 193 440 0 1563 0
[pid=5070] ppid=4963 vsize=205292 CPUtime=1594.11 cores=1,3,5,7
/proc/5070/stat : 5070 (glucosInc) R 4963 4962 4103 0 -1 4202496 35600 0 0 0 159358 53 0 0 20 0 1 0 272340848 210219008 46932 33554432000 4194304 5654031 140736323383920 140736323371736 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5070/statm: 51323 46932 142 357 0 50963 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 222468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 5113
/proc/meminfo: memFree=29665412/32873648 swapFree=6860/6860
[pid=4962] ppid=4960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4962/stat : 4962 (npSolver-pbo-It) S 4960 4962 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272322056 9367552 275 33554432000 4194304 5064252 140733465814704 140733465813616 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4962/statm: 2287 275 233 213 0 72 0
[pid=4963] ppid=4962 vsize=8028 CPUtime=187.81 cores=1,3,5,7
/proc/4963/stat : 4963 (npSolver-pbo) S 4962 4962 4103 0 -1 4202496 19391 85606 0 0 129 12 18618 22 20 0 1 0 272322056 8220672 1395 33554432000 4194304 5992684 140734674662800 140734674648632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4963/statm: 2007 1395 193 440 0 1563 0
[pid=5070] ppid=4963 vsize=174472 CPUtime=1612.22 cores=1,3,5,7
/proc/5070/stat : 5070 (glucosInc) R 4963 4962 4103 0 -1 4202496 35882 0 0 0 161168 54 0 0 20 0 1 0 272340848 178659328 40209 33554432000 4194304 5654031 140736323383920 140736323371736 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5070/statm: 43618 40209 142 357 0 43258 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 191648
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.07
CPU user time (s): 1799.17
CPU system time (s): 0.898863
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 222468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 0.898863
maximum resident set size= 189776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141262
page faults= 0
swaps= 0
block input operations= 0
block output operations= 57904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1060
involuntary context switches= 2600
runsolver used 2.66759 second user time and 7.17991 second system time
The end