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-3702515-1338137193/watcher-3702515-1338137193 -o /tmp/evaluation-result-3702515-1338137193/solver-3702515-1338137193 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702515-1338137193.opb 1359813663 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 10719
/proc/meminfo: memFree=31251896/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 233 213 0 72 0
[startup+0.0982239 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 10719
/proc/meminfo: memFree=31251896/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100232 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 10719
/proc/meminfo: memFree=31251896/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300232 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 10719
/proc/meminfo: memFree=31251896/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700244 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 10719
/proc/meminfo: memFree=31251896/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 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.00 2.03 2.00 3/182 10723
/proc/meminfo: memFree=31136052/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 233 213 0 72 0
[pid=10720] ppid=10719 vsize=65016 CPUtime=0.83 cores=0,2,4,6
/proc/10720/stat : 10720 (npSolver-pbo) S 10719 10719 9266 0 -1 4202496 10967 0 0 0 75 8 0 0 20 0 1 0 279846046 66576384 15336 33554432000 4194304 5992684 140734848010080 140734848004528 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10720/statm: 16254 15336 172 440 0 15810 0
[pid=10722] ppid=10720 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10722/stat : 10722 (cp2_pre.sh) S 10720 10719 9266 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 279846131 9367552 276 33554432000 4194304 5064252 140737457381952 140737457380656 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10722/statm: 2287 276 234 213 0 72 0
[pid=10723] ppid=10722 vsize=279984 CPUtime=0.64 cores=0,2,4,6
/proc/10723/stat : 10723 (coprocessor) R 10722 10719 9266 0 -1 4202496 27381 0 0 0 58 6 0 0 20 0 1 0 279846131 286703616 61151 33554432000 4194304 6586260 140735274958112 140735274954872 5511711 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/10723/statm: 69996 61151 166 584 0 69408 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 363296
[startup+3.10037 s]
/proc/loadavg: 2.00 2.03 2.00 3/182 10723
/proc/meminfo: memFree=30862428/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 233 213 0 72 0
[pid=10720] ppid=10719 vsize=65016 CPUtime=0.83 cores=0,2,4,6
/proc/10720/stat : 10720 (npSolver-pbo) S 10719 10719 9266 0 -1 4202496 10967 0 0 0 75 8 0 0 20 0 1 0 279846046 66576384 15336 33554432000 4194304 5992684 140734848010080 140734848004528 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10720/statm: 16254 15336 172 440 0 15810 0
[pid=10722] ppid=10720 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10722/stat : 10722 (cp2_pre.sh) S 10720 10719 9266 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 279846131 9367552 276 33554432000 4194304 5064252 140737457381952 140737457380656 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10722/statm: 2287 276 234 213 0 72 0
[pid=10723] ppid=10722 vsize=366764 CPUtime=2.24 cores=0,2,4,6
/proc/10723/stat : 10723 (coprocessor) R 10722 10719 9266 0 -1 4202496 47321 0 0 0 213 11 0 0 20 0 1 0 279846131 375566336 88753 33554432000 4194304 6586260 140735274958112 140735274954040 4754811 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/10723/statm: 91691 88753 182 584 0 91103 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 450076
[startup+6.30029 s]
/proc/loadavg: 2.00 2.03 2.00 3/182 10723
/proc/meminfo: memFree=30700252/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 233 213 0 72 0
[pid=10720] ppid=10719 vsize=65016 CPUtime=5.95 cores=0,2,4,6
/proc/10720/stat : 10720 (npSolver-pbo) S 10719 10719 9266 0 -1 4202496 10984 56702 0 0 75 8 440 72 20 0 1 0 279846046 66576384 15338 33554432000 4194304 5992684 140734848010080 140734847996344 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10720/statm: 16254 15338 174 440 0 15810 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 74164
[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 10728
/proc/meminfo: memFree=30819272/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 233 213 0 72 0
[pid=10720] ppid=10719 vsize=124916 CPUtime=12.44 cores=0,2,4,6
/proc/10720/stat : 10720 (npSolver-pbo) R 10719 10719 9266 0 -1 4202496 19630 135810 0 0 147 190 807 100 20 0 1 0 279846046 127913984 29193 33554432000 4194304 5992684 140734848010080 140734848006144 4524592 0 0 4096 0 0 0 0 17 4 0 0 12 0 0
/proc/10720/statm: 31229 29193 204 440 0 30785 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 134064
[startup+25.5004 s]
/proc/loadavg: 2.08 2.04 2.01 3/181 10735
/proc/meminfo: memFree=30220300/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 233 213 0 72 0
[pid=10720] ppid=10719 vsize=124916 CPUtime=15.6 cores=0,2,4,6
/proc/10720/stat : 10720 (npSolver-pbo) S 10719 10719 9266 0 -1 4202496 22311 136325 0 0 420 229 807 104 20 0 1 0 279846046 127913984 30342 33554432000 4194304 5992684 140734848010080 140734847995912 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 13 0 0
/proc/10720/statm: 31229 30342 205 440 0 30785 0
[pid=10735] ppid=10720 vsize=709948 CPUtime=9.22 cores=0,2,4,6
/proc/10735/stat : 10735 (glucosInc) R 10720 10719 9266 0 -1 4202496 103104 0 0 0 892 30 0 0 20 0 1 0 279847673 726986752 155264 33554432000 4194304 5654031 140736696161296 140736696149112 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10735/statm: 177487 155264 141 357 0 177127 0
Current children cumulated CPU time (s) 24.82
Current children cumulated vsize (KiB) 844012
[startup+51.1004 s]
/proc/loadavg: 2.05 2.04 2.00 3/181 10735
/proc/meminfo: memFree=30191636/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 233 213 0 72 0
[pid=10720] ppid=10719 vsize=124916 CPUtime=15.6 cores=0,2,4,6
/proc/10720/stat : 10720 (npSolver-pbo) S 10719 10719 9266 0 -1 4202496 22311 136325 0 0 420 229 807 104 20 0 1 0 279846046 127913984 30342 33554432000 4194304 5992684 140734848010080 140734847995912 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 13 0 0
/proc/10720/statm: 31229 30342 205 440 0 30785 0
[pid=10735] ppid=10720 vsize=793800 CPUtime=34.82 cores=0,2,4,6
/proc/10735/stat : 10735 (glucosInc) R 10720 10719 9266 0 -1 4202496 104420 0 0 0 3450 32 0 0 20 0 1 0 279847673 812851200 158619 33554432000 4194304 5654031 140736696161296 140736696149112 4232800 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10735/statm: 198450 158619 142 357 0 198090 0
Current children cumulated CPU time (s) 50.42
Current children cumulated vsize (KiB) 927864
[startup+102.307 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 10735
/proc/meminfo: memFree=30189764/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 233 213 0 72 0
[pid=10720] ppid=10719 vsize=124916 CPUtime=15.6 cores=0,2,4,6
/proc/10720/stat : 10720 (npSolver-pbo) S 10719 10719 9266 0 -1 4202496 22311 136325 0 0 420 229 807 104 20 0 1 0 279846046 127913984 30342 33554432000 4194304 5992684 140734848010080 140734847995912 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 13 0 0
/proc/10720/statm: 31229 30342 205 440 0 30785 0
[pid=10735] ppid=10720 vsize=808780 CPUtime=86.02 cores=0,2,4,6
/proc/10735/stat : 10735 (glucosInc) R 10720 10719 9266 0 -1 4202496 105752 0 0 0 8570 32 0 0 20 0 1 0 279847673 828190720 164039 33554432000 4194304 5654031 140736696161296 140736696149112 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10735/statm: 202195 164039 142 357 0 201835 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 942844
[startup+162.3 s]
/proc/loadavg: 2.28 2.08 2.02 3/180 10791
/proc/meminfo: memFree=29754888/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 233 213 0 72 0
[pid=10720] ppid=10719 vsize=141012 CPUtime=129.57 cores=0,2,4,6
/proc/10720/stat : 10720 (npSolver-pbo) S 10719 10719 9266 0 -1 4202496 31811 242982 0 0 733 270 11803 151 20 0 1 0 279846046 144396288 34367 33554432000 4194304 5992684 140734848010080 140734847995912 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 13 0 0
/proc/10720/statm: 35253 34367 206 440 0 34809 0
[pid=10737] ppid=10720 vsize=792136 CPUtime=32.05 cores=0,2,4,6
/proc/10737/stat : 10737 (glucosInc) R 10720 10719 9266 0 -1 4202496 104461 0 0 0 3174 31 0 0 20 0 1 0 279859070 811147264 159785 33554432000 4194304 5654031 140736732617904 140736732615592 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10737/statm: 198034 159785 141 357 0 197674 0
Current children cumulated CPU time (s) 161.62
Current children cumulated vsize (KiB) 942296
[startup+222.3 s]
/proc/loadavg: 2.14 2.08 2.02 3/182 10797
/proc/meminfo: memFree=29669500/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 233 213 0 72 0
[pid=10720] ppid=10719 vsize=141012 CPUtime=129.57 cores=0,2,4,6
/proc/10720/stat : 10720 (npSolver-pbo) S 10719 10719 9266 0 -1 4202496 31811 242982 0 0 733 270 11803 151 20 0 1 0 279846046 144396288 34367 33554432000 4194304 5992684 140734848010080 140734847995912 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 13 0 0
/proc/10720/statm: 35253 34367 206 440 0 34809 0
[pid=10737] ppid=10720 vsize=792956 CPUtime=92.02 cores=0,2,4,6
/proc/10737/stat : 10737 (glucosInc) R 10720 10719 9266 0 -1 4202496 105003 0 0 0 9167 35 0 0 20 0 1 0 279859070 811986944 173501 33554432000 4194304 5654031 140736732617904 140736732615688 4215200 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10737/statm: 198239 173501 141 357 0 197879 0
Current children cumulated CPU time (s) 221.59
Current children cumulated vsize (KiB) 943116
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29251436/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 233 213 0 72 0
[pid=10720] ppid=10719 vsize=141012 CPUtime=129.57 cores=0,2,4,6
/proc/10720/stat : 10720 (npSolver-pbo) S 10719 10719 9266 0 -1 4202496 31811 242982 0 0 733 270 11803 151 20 0 1 0 279846046 144396288 34367 33554432000 4194304 5992684 140734848010080 140734847995912 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 13 0 0
/proc/10720/statm: 35253 34367 206 440 0 34809 0
[pid=10737] ppid=10720 vsize=1500120 CPUtime=1231.79 cores=0,2,4,6
/proc/10737/stat : 10737 (glucosInc) R 10720 10719 9266 0 -1 4202496 154607 0 0 0 122779 400 0 0 20 0 1 0 279859070 1536122880 288330 33554432000 4194304 5654031 140736732617904 140736732615688 4217205 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10737/statm: 375030 288330 141 357 0 374670 0
Current children cumulated CPU time (s) 1361.36
Current children cumulated vsize (KiB) 1650280
[startup+1422.31 s]
/proc/loadavg: 2.09 2.03 2.01 3/182 10834
/proc/meminfo: memFree=29409492/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 233 213 0 72 0
[pid=10720] ppid=10719 vsize=141012 CPUtime=129.57 cores=0,2,4,6
/proc/10720/stat : 10720 (npSolver-pbo) S 10719 10719 9266 0 -1 4202496 31811 242982 0 0 733 270 11803 151 20 0 1 0 279846046 144396288 34367 33554432000 4194304 5992684 140734848010080 140734847995912 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 13 0 0
/proc/10720/statm: 35253 34367 206 440 0 34809 0
[pid=10737] ppid=10720 vsize=1150872 CPUtime=1291.78 cores=0,2,4,6
/proc/10737/stat : 10737 (glucosInc) R 10720 10719 9266 0 -1 4202496 156446 0 0 0 128761 417 0 0 20 0 1 0 279859070 1178492928 249248 33554432000 4194304 5654031 140736732617904 140736732615992 4232960 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10737/statm: 287718 249248 141 357 0 287358 0
Current children cumulated CPU time (s) 1421.35
Current children cumulated vsize (KiB) 1301032
[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/181 10836
/proc/meminfo: memFree=29124164/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 233 213 0 72 0
[pid=10720] ppid=10719 vsize=141012 CPUtime=129.57 cores=0,2,4,6
/proc/10720/stat : 10720 (npSolver-pbo) S 10719 10719 9266 0 -1 4202496 31811 242982 0 0 733 270 11803 151 20 0 1 0 279846046 144396288 34367 33554432000 4194304 5992684 140734848010080 140734847995912 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 13 0 0
/proc/10720/statm: 35253 34367 206 440 0 34809 0
[pid=10737] ppid=10720 vsize=1500628 CPUtime=1351.77 cores=0,2,4,6
/proc/10737/stat : 10737 (glucosInc) R 10720 10719 9266 0 -1 4202496 156941 0 0 0 134752 425 0 0 20 0 1 0 279859070 1536643072 338657 33554432000 4194304 5654031 140736732617904 140736732615688 4233455 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10737/statm: 375157 338657 141 357 0 374797 0
Current children cumulated CPU time (s) 1481.34
Current children cumulated vsize (KiB) 1650788
[startup+1542.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/181 10836
/proc/meminfo: memFree=29356780/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 233 213 0 72 0
[pid=10720] ppid=10719 vsize=141012 CPUtime=129.57 cores=0,2,4,6
/proc/10720/stat : 10720 (npSolver-pbo) S 10719 10719 9266 0 -1 4202496 31811 242982 0 0 733 270 11803 151 20 0 1 0 279846046 144396288 34367 33554432000 4194304 5992684 140734848010080 140734847995912 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 13 0 0
/proc/10720/statm: 35253 34367 206 440 0 34809 0
[pid=10737] ppid=10720 vsize=1501364 CPUtime=1411.76 cores=0,2,4,6
/proc/10737/stat : 10737 (glucosInc) R 10720 10719 9266 0 -1 4202496 159045 0 0 0 140732 444 0 0 20 0 1 0 279859070 1537396736 284003 33554432000 4194304 5654031 140736732617904 140736732615992 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10737/statm: 375341 284003 141 357 0 374981 0
Current children cumulated CPU time (s) 1541.33
Current children cumulated vsize (KiB) 1651524
[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/181 10836
/proc/meminfo: memFree=29602304/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 233 213 0 72 0
[pid=10720] ppid=10719 vsize=141012 CPUtime=129.57 cores=0,2,4,6
/proc/10720/stat : 10720 (npSolver-pbo) S 10719 10719 9266 0 -1 4202496 31811 242982 0 0 733 270 11803 151 20 0 1 0 279846046 144396288 34367 33554432000 4194304 5992684 140734848010080 140734847995912 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 13 0 0
/proc/10720/statm: 35253 34367 206 440 0 34809 0
[pid=10737] ppid=10720 vsize=1152400 CPUtime=1471.75 cores=0,2,4,6
/proc/10737/stat : 10737 (glucosInc) R 10720 10719 9266 0 -1 4202496 160903 0 0 0 146713 462 0 0 20 0 1 0 279859070 1180057600 221929 33554432000 4194304 5654031 140736732617904 140736732615992 4233440 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10737/statm: 288100 221929 141 357 0 287740 0
Current children cumulated CPU time (s) 1601.32
Current children cumulated vsize (KiB) 1302560
[startup+1662.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/181 10836
/proc/meminfo: memFree=29186980/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 233 213 0 72 0
[pid=10720] ppid=10719 vsize=141012 CPUtime=129.57 cores=0,2,4,6
/proc/10720/stat : 10720 (npSolver-pbo) S 10719 10719 9266 0 -1 4202496 31811 242982 0 0 733 270 11803 151 20 0 1 0 279846046 144396288 34367 33554432000 4194304 5992684 140734848010080 140734847995912 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 13 0 0
/proc/10720/statm: 35253 34367 206 440 0 34809 0
[pid=10737] ppid=10720 vsize=1501648 CPUtime=1531.74 cores=0,2,4,6
/proc/10737/stat : 10737 (glucosInc) R 10720 10719 9266 0 -1 4202496 161287 0 0 0 152704 470 0 0 20 0 1 0 279859070 1537687552 318381 33554432000 4194304 5654031 140736732617904 140736732615992 4232784 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10737/statm: 375412 318381 141 357 0 375052 0
Current children cumulated CPU time (s) 1661.31
Current children cumulated vsize (KiB) 1651808
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/181 10837
/proc/meminfo: memFree=29448876/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 233 213 0 72 0
[pid=10720] ppid=10719 vsize=141012 CPUtime=129.57 cores=0,2,4,6
/proc/10720/stat : 10720 (npSolver-pbo) S 10719 10719 9266 0 -1 4202496 31811 242982 0 0 733 270 11803 151 20 0 1 0 279846046 144396288 34367 33554432000 4194304 5992684 140734848010080 140734847995912 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 13 0 0
/proc/10720/statm: 35253 34367 206 440 0 34809 0
[pid=10737] ppid=10720 vsize=1153108 CPUtime=1591.73 cores=0,2,4,6
/proc/10737/stat : 10737 (glucosInc) R 10720 10719 9266 0 -1 4202496 162841 0 0 0 158689 484 0 0 20 0 1 0 279859070 1180782592 256013 33554432000 4194304 5654031 140736732617904 140736732615992 4233424 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10737/statm: 288277 256013 141 357 0 287917 0
Current children cumulated CPU time (s) 1721.3
Current children cumulated vsize (KiB) 1303268
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 10837
/proc/meminfo: memFree=29050320/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 233 213 0 72 0
[pid=10720] ppid=10719 vsize=141012 CPUtime=129.57 cores=0,2,4,6
/proc/10720/stat : 10720 (npSolver-pbo) S 10719 10719 9266 0 -1 4202496 31811 242982 0 0 733 270 11803 151 20 0 1 0 279846046 144396288 34367 33554432000 4194304 5992684 140734848010080 140734847995912 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 13 0 0
/proc/10720/statm: 35253 34367 206 440 0 34809 0
[pid=10737] ppid=10720 vsize=1502644 CPUtime=1651.72 cores=0,2,4,6
/proc/10737/stat : 10737 (glucosInc) R 10720 10719 9266 0 -1 4202496 163608 0 0 0 164683 489 0 0 20 0 1 0 279859070 1538707456 349782 33554432000 4194304 5654031 140736732617904 140736732615688 4215017 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10737/statm: 375661 349782 141 357 0 375301 0
Current children cumulated CPU time (s) 1781.29
Current children cumulated vsize (KiB) 1652804
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 10837
/proc/meminfo: memFree=29600596/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 233 213 0 72 0
[pid=10720] ppid=10719 vsize=141012 CPUtime=129.57 cores=0,2,4,6
/proc/10720/stat : 10720 (npSolver-pbo) S 10719 10719 9266 0 -1 4202496 31811 242982 0 0 733 270 11803 151 20 0 1 0 279846046 144396288 34367 33554432000 4194304 5992684 140734848010080 140734847995912 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 13 0 0
/proc/10720/statm: 35253 34367 206 440 0 34809 0
[pid=10737] ppid=10720 vsize=1153820 CPUtime=1670.53 cores=0,2,4,6
/proc/10737/stat : 10737 (glucosInc) R 10720 10719 9266 0 -1 4202496 165804 0 0 0 166554 499 0 0 20 0 1 0 279859070 1181511680 216527 33554432000 4194304 5654031 140736732617904 140736732615992 4215091 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10737/statm: 288455 216527 141 357 0 288095 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1303980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 10837
/proc/meminfo: memFree=29600596/32873648 swapFree=6852/6852
[pid=10719] ppid=10717 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10719/stat : 10719 (npSolver-pbo-It) S 10717 10719 9266 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279846046 9367552 275 33554432000 4194304 5064252 140733645456896 140733645455808 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10719/statm: 2287 275 233 213 0 72 0
[pid=10720] ppid=10719 vsize=141012 CPUtime=129.57 cores=0,2,4,6
/proc/10720/stat : 10720 (npSolver-pbo) S 10719 10719 9266 0 -1 4202496 31811 242982 0 0 733 270 11803 151 20 0 1 0 279846046 144396288 34367 33554432000 4194304 5992684 140734848010080 140734847995912 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 13 0 0
/proc/10720/statm: 35253 34367 206 440 0 34809 0
[pid=10737] ppid=10720 vsize=1153820 CPUtime=1670.53 cores=0,2,4,6
/proc/10737/stat : 10737 (glucosInc) R 10720 10719 9266 0 -1 4202496 165804 0 0 0 166554 499 0 0 20 0 1 0 279859070 1181511680 216527 33554432000 4194304 5654031 140736732617904 140736732615992 4215091 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10737/statm: 288455 216527 141 357 0 288095 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1303980
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10719 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.12
CPU time (s): 1800.1
CPU user time (s): 1790.9
CPU system time (s): 9.2
CPU usage (%): 99.9436
Max. virtual memory (cumulated for all children) (KiB): 2564632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001999
system time used= 0
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 3.75043 second user time and 10.2654 second system time
The end