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-3747741-1339103596/watcher-3747741-1339103596 -o /tmp/evaluation-result-3747741-1339103596/solver-3747741-1339103596 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747741-1339103596.opb 971857635 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.04 2.03 1.97 3/178 31365
/proc/meminfo: memFree=28820296/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
[startup+0.045599 s]
/proc/loadavg: 2.04 2.03 1.97 3/178 31365
/proc/meminfo: memFree=28820296/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100229 s]
/proc/loadavg: 2.04 2.03 1.97 3/178 31365
/proc/meminfo: memFree=28820296/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300254 s]
/proc/loadavg: 2.04 2.03 1.97 3/178 31365
/proc/meminfo: memFree=28820296/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700151 s]
/proc/loadavg: 2.04 2.03 1.97 3/178 31365
/proc/meminfo: memFree=28820296/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.04 2.03 1.97 3/181 31376
/proc/meminfo: memFree=28786700/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
[pid=31366] ppid=31365 vsize=13156 CPUtime=0.6 cores=1,3,5,7
/proc/31366/stat : 31366 (npSolver-pbo) S 31365 31365 30644 0 -1 4202496 6685 14162 0 0 15 9 28 8 20 0 1 0 376485094 13471744 2633 33554432000 4194304 6004724 140736778561584 140736778547432 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31366/statm: 3289 2633 175 442 0 2843 0
[pid=31376] ppid=31366 vsize=24972 CPUtime=0.86 cores=1,3,5,7
/proc/31376/stat : 31376 (glucosInc) R 31366 31365 30644 0 -1 4202496 4315 0 0 0 86 0 0 0 20 0 1 0 376485156 25571328 5166 33554432000 4194304 5654031 140734557487744 140734557485704 4234964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31376/statm: 6243 5166 140 357 0 5883 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 47276
[startup+3.10023 s]
/proc/loadavg: 2.04 2.03 1.97 3/181 31376
/proc/meminfo: memFree=28786888/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
[pid=31366] ppid=31365 vsize=13156 CPUtime=2.41 cores=1,3,5,7
/proc/31366/stat : 31366 (npSolver-pbo) S 31365 31365 30644 0 -1 4202496 8283 19856 0 0 19 10 203 9 20 0 1 0 376485094 13471744 2633 33554432000 4194304 6004724 140736778561584 140736778547432 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31366/statm: 3289 2633 175 442 0 2843 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 22304
heavy processes:
[startup+6.30032 s]
/proc/loadavg: 2.04 2.03 1.97 3/181 31380
/proc/meminfo: memFree=28780216/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
[pid=31366] ppid=31365 vsize=13156 CPUtime=3.24 cores=1,3,5,7
/proc/31366/stat : 31366 (npSolver-pbo) S 31365 31365 30644 0 -1 4202496 9881 25238 0 0 23 10 281 10 20 0 1 0 376485094 13471744 2633 33554432000 4194304 6004724 140736778561584 140736778547432 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31366/statm: 3289 2633 175 442 0 2843 0
[pid=31380] ppid=31366 vsize=37040 CPUtime=3.02 cores=1,3,5,7
/proc/31380/stat : 31380 (glucosInc) R 31366 31365 30644 0 -1 4202496 7020 0 0 0 301 1 0 0 20 0 1 0 376485421 37928960 6997 33554432000 4194304 5654031 140737066396272 140737066394056 4234964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31380/statm: 9260 6997 141 357 0 8900 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 59344
[startup+12.7004 s]
/proc/loadavg: 2.11 2.04 1.97 3/181 31380
/proc/meminfo: memFree=28759344/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
[pid=31366] ppid=31365 vsize=13156 CPUtime=3.24 cores=1,3,5,7
/proc/31366/stat : 31366 (npSolver-pbo) S 31365 31365 30644 0 -1 4202496 9881 25238 0 0 23 10 281 10 20 0 1 0 376485094 13471744 2633 33554432000 4194304 6004724 140736778561584 140736778547432 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31366/statm: 3289 2633 175 442 0 2843 0
[pid=31380] ppid=31366 vsize=41320 CPUtime=9.42 cores=1,3,5,7
/proc/31380/stat : 31380 (glucosInc) R 31366 31365 30644 0 -1 4202496 9349 0 0 0 940 2 0 0 20 0 1 0 376485421 42311680 9861 33554432000 4194304 5654031 140737066396272 140737066394296 4215374 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31380/statm: 10330 9861 141 357 0 9970 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 63624
[startup+25.5003 s]
/proc/loadavg: 2.09 2.04 1.97 3/181 31429
/proc/meminfo: memFree=28885976/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
[pid=31366] ppid=31365 vsize=13156 CPUtime=3.24 cores=1,3,5,7
/proc/31366/stat : 31366 (npSolver-pbo) S 31365 31365 30644 0 -1 4202496 9881 25238 0 0 23 10 281 10 20 0 1 0 376485094 13471744 2633 33554432000 4194304 6004724 140736778561584 140736778547432 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31366/statm: 3289 2633 175 442 0 2843 0
[pid=31380] ppid=31366 vsize=71780 CPUtime=22.21 cores=1,3,5,7
/proc/31380/stat : 31380 (glucosInc) R 31366 31365 30644 0 -1 4202496 9787 0 0 0 2219 2 0 0 20 0 1 0 376485421 73502720 17449 33554432000 4194304 5654031 140737066396272 140737066384088 4215200 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31380/statm: 17945 17449 142 357 0 17585 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 94084
[startup+51.1003 s]
/proc/loadavg: 2.06 2.04 1.97 3/181 31445
/proc/meminfo: memFree=28910928/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
[pid=31366] ppid=31365 vsize=13156 CPUtime=41.98 cores=1,3,5,7
/proc/31366/stat : 31366 (npSolver-pbo) S 31365 31365 30644 0 -1 4202496 13077 44525 0 0 31 11 4139 17 20 0 1 0 376485094 13471744 2633 33554432000 4194304 6004724 140736778561584 140736778547432 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31366/statm: 3289 2633 175 442 0 2843 0
[pid=31445] ppid=31366 vsize=41412 CPUtime=9.06 cores=1,3,5,7
/proc/31445/stat : 31445 (glucosInc) R 31366 31365 30644 0 -1 4202496 8441 0 0 0 905 1 0 0 20 0 1 0 376489296 42405888 9858 33554432000 4194304 5654031 140734790035360 140734790023176 4215040 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31445/statm: 10353 9858 142 357 0 9993 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 63716
[startup+102.307 s]
/proc/loadavg: 2.06 2.04 1.98 3/181 31453
/proc/meminfo: memFree=28852276/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
[pid=31366] ppid=31365 vsize=13156 CPUtime=56.77 cores=1,3,5,7
/proc/31366/stat : 31366 (npSolver-pbo) S 31365 31365 30644 0 -1 4202496 14675 54127 0 0 35 12 5611 19 20 0 1 0 376485094 13471744 2633 33554432000 4194304 6004724 140736778561584 140736778547432 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31366/statm: 3289 2633 175 442 0 2843 0
[pid=31449] ppid=31366 vsize=102460 CPUtime=45.46 cores=1,3,5,7
/proc/31449/stat : 31449 (glucosInc) R 31366 31365 30644 0 -1 4202496 12384 0 0 0 4542 4 0 0 20 0 1 0 376490776 104919040 20625 33554432000 4194304 5654031 140734566184880 140734566172696 4232803 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31449/statm: 25615 20625 142 357 0 25255 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 124764
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/181 31455
/proc/meminfo: memFree=28806120/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
[pid=31366] ppid=31365 vsize=13156 CPUtime=56.77 cores=1,3,5,7
/proc/31366/stat : 31366 (npSolver-pbo) S 31365 31365 30644 0 -1 4202496 14675 54127 0 0 35 12 5611 19 20 0 1 0 376485094 13471744 2633 33554432000 4194304 6004724 140736778561584 140736778547432 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31366/statm: 3289 2633 175 442 0 2843 0
[pid=31449] ppid=31366 vsize=151780 CPUtime=105.44 cores=1,3,5,7
/proc/31449/stat : 31449 (glucosInc) R 31366 31365 30644 0 -1 4202496 15372 0 0 0 10533 11 0 0 20 0 1 0 376490776 155422720 29902 33554432000 4194304 5654031 140734566184880 140734566172696 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31449/statm: 37945 29902 142 357 0 37585 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 174084
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/181 31462
/proc/meminfo: memFree=28919920/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
[pid=31366] ppid=31365 vsize=13156 CPUtime=204.66 cores=1,3,5,7
/proc/31366/stat : 31366 (npSolver-pbo) S 31365 31365 30644 0 -1 4202496 16273 72050 0 0 40 12 20378 36 20 0 1 0 376485094 13471744 2633 33554432000 4194304 6004724 140736778561584 140736778547432 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31366/statm: 3289 2633 175 442 0 2843 0
[pid=31460] ppid=31366 vsize=41528 CPUtime=17.54 cores=1,3,5,7
/proc/31460/stat : 31460 (glucosInc) R 31366 31365 30644 0 -1 4202496 10571 0 0 0 1752 2 0 0 20 0 1 0 376505568 42524672 8597 33554432000 4194304 5654031 140737389591712 140737389579528 4233232 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31460/statm: 10382 8597 142 357 0 10022 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 63832
[startup+282.3 s]
/proc/loadavg: 2.08 2.04 1.98 3/181 31464
/proc/meminfo: memFree=28878604/32873648 swapFree=7628/7628
################
# More data... #
################
/proc/loadavg: 2.00 2.00 1.99 3/181 31484
/proc/meminfo: memFree=28616224/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
[pid=31366] ppid=31365 vsize=13156 CPUtime=542.38 cores=1,3,5,7
/proc/31366/stat : 31366 (npSolver-pbo) S 31365 31365 30644 0 -1 4202496 17871 99764 0 0 44 12 54114 68 20 0 1 0 376485094 13471744 2633 33554432000 4194304 6004724 140736778561584 140736778547432 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31366/statm: 3289 2633 175 442 0 2843 0
[pid=31476] ppid=31366 vsize=307024 CPUtime=819.59 cores=1,3,5,7
/proc/31476/stat : 31476 (glucosInc) R 31366 31365 30644 0 -1 4202496 42392 0 0 0 81885 74 0 0 20 0 1 0 376539347 314392576 65063 33554432000 4194304 5654031 140735351632704 140735351630792 4232968 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 76756 65063 142 357 0 76396 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 329328
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/181 31485
/proc/meminfo: memFree=28605152/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
[pid=31366] ppid=31365 vsize=13156 CPUtime=542.38 cores=1,3,5,7
/proc/31366/stat : 31366 (npSolver-pbo) S 31365 31365 30644 0 -1 4202496 17871 99764 0 0 44 12 54114 68 20 0 1 0 376485094 13471744 2633 33554432000 4194304 6004724 140736778561584 140736778547432 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31366/statm: 3289 2633 175 442 0 2843 0
[pid=31476] ppid=31366 vsize=307024 CPUtime=879.58 cores=1,3,5,7
/proc/31476/stat : 31476 (glucosInc) R 31366 31365 30644 0 -1 4202496 44198 0 0 0 87880 78 0 0 20 0 1 0 376539347 314392576 58919 33554432000 4194304 5654031 140735351632704 140735351630792 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 76756 58919 142 357 0 76396 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 329328
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/181 31485
/proc/meminfo: memFree=28629772/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
[pid=31366] ppid=31365 vsize=13156 CPUtime=542.38 cores=1,3,5,7
/proc/31366/stat : 31366 (npSolver-pbo) S 31365 31365 30644 0 -1 4202496 17871 99764 0 0 44 12 54114 68 20 0 1 0 376485094 13471744 2633 33554432000 4194304 6004724 140736778561584 140736778547432 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31366/statm: 3289 2633 175 442 0 2843 0
[pid=31476] ppid=31366 vsize=225636 CPUtime=939.57 cores=1,3,5,7
/proc/31476/stat : 31476 (glucosInc) R 31366 31365 30644 0 -1 4202496 45546 0 0 0 93875 82 0 0 20 0 1 0 376539347 231051264 53329 33554432000 4194304 5654031 140735351632704 140735351620520 4232960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 56409 53329 142 357 0 56049 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 247940
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/181 31485
/proc/meminfo: memFree=28628072/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
[pid=31366] ppid=31365 vsize=13156 CPUtime=542.38 cores=1,3,5,7
/proc/31366/stat : 31366 (npSolver-pbo) S 31365 31365 30644 0 -1 4202496 17871 99764 0 0 44 12 54114 68 20 0 1 0 376485094 13471744 2633 33554432000 4194304 6004724 140736778561584 140736778547432 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31366/statm: 3289 2633 175 442 0 2843 0
[pid=31476] ppid=31366 vsize=237396 CPUtime=999.55 cores=1,3,5,7
/proc/31476/stat : 31476 (glucosInc) R 31366 31365 30644 0 -1 4202496 48198 0 0 0 99870 85 0 0 20 0 1 0 376539347 243093504 53619 33554432000 4194304 5654031 140735351632704 140735351630792 4232784 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 59349 53619 142 357 0 58989 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 259700
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 31485
/proc/meminfo: memFree=28606592/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
[pid=31366] ppid=31365 vsize=13156 CPUtime=542.38 cores=1,3,5,7
/proc/31366/stat : 31366 (npSolver-pbo) S 31365 31365 30644 0 -1 4202496 17871 99764 0 0 44 12 54114 68 20 0 1 0 376485094 13471744 2633 33554432000 4194304 6004724 140736778561584 140736778547432 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31366/statm: 3289 2633 175 442 0 2843 0
[pid=31476] ppid=31366 vsize=318784 CPUtime=1059.53 cores=1,3,5,7
/proc/31476/stat : 31476 (glucosInc) R 31366 31365 30644 0 -1 4202496 48760 0 0 0 105866 87 0 0 20 0 1 0 376539347 326434816 67443 33554432000 4194304 5654031 140735351632704 140735351630792 4232968 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 79696 67443 142 357 0 79336 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 341088
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 31488
/proc/meminfo: memFree=28586100/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
[pid=31366] ppid=31365 vsize=13156 CPUtime=542.38 cores=1,3,5,7
/proc/31366/stat : 31366 (npSolver-pbo) S 31365 31365 30644 0 -1 4202496 17871 99764 0 0 44 12 54114 68 20 0 1 0 376485094 13471744 2633 33554432000 4194304 6004724 140736778561584 140736778547432 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31366/statm: 3289 2633 175 442 0 2843 0
[pid=31476] ppid=31366 vsize=318784 CPUtime=1119.52 cores=1,3,5,7
/proc/31476/stat : 31476 (glucosInc) R 31366 31365 30644 0 -1 4202496 50618 0 0 0 111862 90 0 0 20 0 1 0 376539347 326434816 63901 33554432000 4194304 5654031 140735351632704 140735351620520 4215344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 79696 63901 142 357 0 79336 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 341088
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 31489
/proc/meminfo: memFree=28679312/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
[pid=31366] ppid=31365 vsize=13156 CPUtime=542.38 cores=1,3,5,7
/proc/31366/stat : 31366 (npSolver-pbo) S 31365 31365 30644 0 -1 4202496 17871 99764 0 0 44 12 54114 68 20 0 1 0 376485094 13471744 2633 33554432000 4194304 6004724 140736778561584 140736778547432 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31366/statm: 3289 2633 175 442 0 2843 0
[pid=31476] ppid=31366 vsize=161168 CPUtime=1179.51 cores=1,3,5,7
/proc/31476/stat : 31476 (glucosInc) R 31366 31365 30644 0 -1 4202496 53429 0 0 0 117857 94 0 0 20 0 1 0 376539347 165036032 38037 33554432000 4194304 5654031 140735351632704 140735351620520 4215353 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 40292 38037 142 357 0 39932 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 183472
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31489
/proc/meminfo: memFree=28668208/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
[pid=31366] ppid=31365 vsize=13156 CPUtime=542.38 cores=1,3,5,7
/proc/31366/stat : 31366 (npSolver-pbo) S 31365 31365 30644 0 -1 4202496 17871 99764 0 0 44 12 54114 68 20 0 1 0 376485094 13471744 2633 33554432000 4194304 6004724 140736778561584 140736778547432 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31366/statm: 3289 2633 175 442 0 2843 0
[pid=31476] ppid=31366 vsize=191988 CPUtime=1239.49 cores=1,3,5,7
/proc/31476/stat : 31476 (glucosInc) R 31366 31365 30644 0 -1 4202496 55824 0 0 0 123851 98 0 0 20 0 1 0 376539347 196595712 44248 33554432000 4194304 5654031 140735351632704 140735351620520 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 47997 44248 142 357 0 47637 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 214292
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31489
/proc/meminfo: memFree=28609624/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
[pid=31366] ppid=31365 vsize=13156 CPUtime=542.38 cores=1,3,5,7
/proc/31366/stat : 31366 (npSolver-pbo) S 31365 31365 30644 0 -1 4202496 17871 99764 0 0 44 12 54114 68 20 0 1 0 376485094 13471744 2633 33554432000 4194304 6004724 140736778561584 140736778547432 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31366/statm: 3289 2633 175 442 0 2843 0
[pid=31476] ppid=31366 vsize=242076 CPUtime=1257.71 cores=1,3,5,7
/proc/31476/stat : 31476 (glucosInc) R 31366 31365 30644 0 -1 4202496 56147 0 0 0 125671 100 0 0 20 0 1 0 376539347 247885824 55301 33554432000 4194304 5654031 140735351632704 140735351620520 4215017 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 60519 55301 142 357 0 60159 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 264380
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31489
/proc/meminfo: memFree=28609624/32873648 swapFree=7628/7628
[pid=31365] ppid=31363 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31365/stat : 31365 (npSolver-pbo-It) S 31363 31365 30644 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376485094 9367552 274 33554432000 4194304 5064252 140734398942000 140734398940912 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31365/statm: 2287 274 233 213 0 72 0
[pid=31366] ppid=31365 vsize=13156 CPUtime=542.38 cores=1,3,5,7
/proc/31366/stat : 31366 (npSolver-pbo) S 31365 31365 30644 0 -1 4202496 17871 99764 0 0 44 12 54114 68 20 0 1 0 376485094 13471744 2633 33554432000 4194304 6004724 140736778561584 140736778547432 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/31366/statm: 3289 2633 175 442 0 2843 0
[pid=31476] ppid=31366 vsize=242076 CPUtime=1257.71 cores=1,3,5,7
/proc/31476/stat : 31476 (glucosInc) R 31366 31365 30644 0 -1 4202496 56147 0 0 0 125671 100 0 0 20 0 1 0 376539347 247885824 55301 33554432000 4194304 5654031 140735351632704 140735351620520 4215017 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31476/statm: 60519 55301 142 357 0 60159 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 264380
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31365 and gives
# childrusage.ru_utime.tv_sec=541
# childrusage.ru_utime.tv_usec=586666
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=816875
# CPU time returned by wait4() is 542.404
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1798.29
CPU system time (s): 1.8
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 345768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 541.587
system time used= 0.816875
maximum resident set size= 308536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118008
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1141
involuntary context switches= 1149
runsolver used 3.52946 second user time and 9.15761 second system time
The end