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-3749265-1339170208/watcher-3749265-1339170208 -o /tmp/evaluation-result-3749265-1339170208/solver-3749265-1339170208 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3749265-1339170208.opb 769086960 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.84 1.97 2.07 3/177 8639
/proc/meminfo: memFree=30797244/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
[startup+0.0516811 s]
/proc/loadavg: 1.84 1.97 2.07 3/177 8639
/proc/meminfo: memFree=30797244/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100301 s]
/proc/loadavg: 1.84 1.97 2.07 3/177 8639
/proc/meminfo: memFree=30797244/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300298 s]
/proc/loadavg: 1.84 1.97 2.07 3/177 8639
/proc/meminfo: memFree=30797244/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700307 s]
/proc/loadavg: 1.84 1.97 2.07 3/177 8639
/proc/meminfo: memFree=30797244/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 1.84 1.97 2.07 3/179 8641
/proc/meminfo: memFree=30608940/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
[pid=8640] ppid=8639 vsize=147560 CPUtime=1.49 cores=1,3,5,7
/proc/8640/stat : 8640 (npSolver-pbo) R 8639 8639 8594 0 -1 4202496 23481 0 0 0 142 7 0 0 20 0 1 0 383146371 151101440 33166 33554432000 4194304 6004724 140737192266768 140737192262792 4968639 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8640/statm: 36890 33166 130 442 0 36444 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 156708
[startup+3.10032 s]
/proc/loadavg: 1.84 1.97 2.07 3/179 8641
/proc/meminfo: memFree=30343564/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
[pid=8640] ppid=8639 vsize=362892 CPUtime=3.09 cores=1,3,5,7
/proc/8640/stat : 8640 (npSolver-pbo) R 8639 8639 8594 0 -1 4202496 49772 0 0 0 294 15 0 0 20 0 1 0 383146371 371601408 75015 33554432000 4194304 6004724 140737192266768 140737192261368 4534761 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8640/statm: 90723 75015 154 442 0 90277 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 372040
[startup+6.30034 s]
/proc/loadavg: 1.85 1.97 2.07 3/179 8641
/proc/meminfo: memFree=29841436/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
[pid=8640] ppid=8639 vsize=756108 CPUtime=6.29 cores=1,3,5,7
/proc/8640/stat : 8640 (npSolver-pbo) R 8639 8639 8594 0 -1 4202496 51099 0 0 0 601 28 0 0 20 0 1 0 383146371 774254592 132871 33554432000 4194304 6004724 140737192266768 140737192261368 4579311 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8640/statm: 189027 132871 154 442 0 188581 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 765256
[startup+12.7003 s]
/proc/loadavg: 1.86 1.97 2.07 3/179 8641
/proc/meminfo: memFree=28852680/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
[pid=8640] ppid=8639 vsize=1280396 CPUtime=12.68 cores=1,3,5,7
/proc/8640/stat : 8640 (npSolver-pbo) R 8639 8639 8594 0 -1 4202496 52101 0 0 0 1221 47 0 0 20 0 1 0 383146371 1311125504 253191 33554432000 4194304 6004724 140737192266768 140737192261368 4536263 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8640/statm: 320099 253191 154 442 0 319653 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1289544
[startup+25.5004 s]
/proc/loadavg: 1.89 1.97 2.07 3/183 8645
/proc/meminfo: memFree=24299728/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
[pid=8640] ppid=8639 vsize=2337964 CPUtime=23.94 cores=1,3,5,7
/proc/8640/stat : 8640 (npSolver-pbo) S 8639 8639 8594 0 -1 4202496 57112 0 0 0 2060 334 0 0 20 0 1 0 383146371 2394075136 410133 33554432000 4194304 6004724 140737192266768 140737192261232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 11 0 0
/proc/8640/statm: 584491 410133 163 442 0 584045 0
[pid=8642] ppid=8640 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8642/stat : 8642 (cp2_pre.sh) S 8640 8639 8594 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383148777 9367552 277 33554432000 4194304 5064252 140735313497792 140735313496496 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8642/statm: 2287 277 234 213 0 72 0
[pid=8643] ppid=8642 vsize=168016 CPUtime=1.41 cores=1,3,5,7
/proc/8643/stat : 8643 (coprocessor) R 8642 8639 8594 0 -1 4202496 11417 0 0 0 134 7 0 0 20 0 1 0 383148779 172048384 38513 33554432000 4194304 6586260 140736111255376 140736111252264 5550287 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/8643/statm: 42004 38513 138 584 0 41416 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 2524276
[startup+51.1004 s]
/proc/loadavg: 2.27 2.05 2.10 3/183 8645
/proc/meminfo: memFree=19411032/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
[pid=8640] ppid=8639 vsize=2337964 CPUtime=23.94 cores=1,3,5,7
/proc/8640/stat : 8640 (npSolver-pbo) S 8639 8639 8594 0 -1 4202496 57112 0 0 0 2060 334 0 0 20 0 1 0 383146371 2394075136 410133 33554432000 4194304 6004724 140737192266768 140737192261232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 11 0 0
/proc/8640/statm: 584491 410133 163 442 0 584045 0
[pid=8642] ppid=8640 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8642/stat : 8642 (cp2_pre.sh) S 8640 8639 8594 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383148777 9367552 277 33554432000 4194304 5064252 140735313497792 140735313496496 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8642/statm: 2287 277 234 213 0 72 0
[pid=8643] ppid=8642 vsize=2760864 CPUtime=26.18 cores=1,3,5,7
/proc/8643/stat : 8643 (coprocessor) R 8642 8639 8594 0 -1 4202496 23936 0 0 0 2485 133 0 0 20 0 1 0 383148779 2827124736 582761 33554432000 4194304 6586260 140736111255376 140736111251128 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 82 0 0
/proc/8643/statm: 690216 582761 158 584 0 689628 0
Current children cumulated CPU time (s) 50.12
Current children cumulated vsize (KiB) 5117124
[startup+102.3 s]
/proc/loadavg: 3.31 2.36 2.20 3/182 8647
/proc/meminfo: memFree=20323676/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
[pid=8640] ppid=8639 vsize=2337964 CPUtime=92.29 cores=1,3,5,7
/proc/8640/stat : 8640 (npSolver-pbo) S 8639 8639 8594 0 -1 4202496 57131 24838 0 0 2060 334 6403 432 20 0 1 0 383146371 2394075136 410137 33554432000 4194304 6004724 140737192266768 140737192253048 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/8640/statm: 584491 410137 167 442 0 584045 0
[pid=8647] ppid=8640 vsize=748404 CPUtime=2.79 cores=1,3,5,7
/proc/8647/stat : 8647 (glucosInc) R 8640 8639 8594 0 -1 4202496 96243 0 0 0 250 29 0 0 20 0 1 0 383156320 766365696 170226 33554432000 4194304 5654031 140737196817456 140737195766808 4225056 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8647/statm: 187101 170227 108 357 0 186741 0
Current children cumulated CPU time (s) 95.08
Current children cumulated vsize (KiB) 3095516
[startup+162.3 s]
/proc/loadavg: 2.61 2.35 2.20 3/180 8649
/proc/meminfo: memFree=18448656/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
[pid=8640] ppid=8639 vsize=2337964 CPUtime=92.29 cores=1,3,5,7
/proc/8640/stat : 8640 (npSolver-pbo) S 8639 8639 8594 0 -1 4202496 57131 24838 0 0 2060 334 6403 432 20 0 1 0 383146371 2394075136 410137 33554432000 4194304 6004724 140737192266768 140737192253048 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/8640/statm: 584491 410137 167 442 0 584045 0
[pid=8647] ppid=8640 vsize=3855368 CPUtime=62.79 cores=1,3,5,7
/proc/8647/stat : 8647 (glucosInc) R 8640 8639 8594 0 -1 4202496 360150 0 0 0 6155 124 0 0 20 0 1 0 383156320 3947896832 765586 33554432000 4194304 5654031 140737196817456 140737196815240 4214597 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8647/statm: 963842 765586 140 357 0 963482 0
Current children cumulated CPU time (s) 155.08
Current children cumulated vsize (KiB) 6202480
[startup+222.3 s]
/proc/loadavg: 2.22 2.28 2.18 3/181 8650
/proc/meminfo: memFree=18446728/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
[pid=8640] ppid=8639 vsize=2337964 CPUtime=92.29 cores=1,3,5,7
/proc/8640/stat : 8640 (npSolver-pbo) S 8639 8639 8594 0 -1 4202496 57131 24838 0 0 2060 334 6403 432 20 0 1 0 383146371 2394075136 410137 33554432000 4194304 6004724 140737192266768 140737192253048 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/8640/statm: 584491 410137 167 442 0 584045 0
[pid=8647] ppid=8640 vsize=3856580 CPUtime=122.77 cores=1,3,5,7
/proc/8647/stat : 8647 (glucosInc) R 8640 8639 8594 0 -1 4202496 363444 0 0 0 12152 125 0 0 20 0 1 0 383156320 3949137920 765885 33554432000 4194304 5654031 140737196817456 140737196815208 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8647/statm: 964145 765885 140 357 0 963785 0
Current children cumulated CPU time (s) 215.06
Current children cumulated vsize (KiB) 6203692
[startup+282.307 s]
/proc/loadavg: 2.08 2.23 2.17 3/181 8650
/proc/meminfo: memFree=18444664/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
[pid=8640] ppid=8639 vsize=2337964 CPUtime=92.29 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=18417600/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
[pid=8640] ppid=8639 vsize=2337964 CPUtime=92.29 cores=1,3,5,7
/proc/8640/stat : 8640 (npSolver-pbo) S 8639 8639 8594 0 -1 4202496 57131 24838 0 0 2060 334 6403 432 20 0 1 0 383146371 2394075136 410137 33554432000 4194304 6004724 140737192266768 140737192253048 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/8640/statm: 584491 410137 167 442 0 584045 0
[pid=8647] ppid=8640 vsize=3857680 CPUtime=1202.61 cores=1,3,5,7
/proc/8647/stat : 8647 (glucosInc) R 8640 8639 8594 0 -1 4202496 366706 0 0 0 120134 127 0 0 20 0 1 0 383156320 3950264320 766663 33554432000 4194304 5654031 140737196817456 140737196815240 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8647/statm: 964420 766663 140 357 0 964060 0
Current children cumulated CPU time (s) 1294.9
Current children cumulated vsize (KiB) 6204792
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 8682
/proc/meminfo: memFree=18414684/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
[pid=8640] ppid=8639 vsize=2337964 CPUtime=92.29 cores=1,3,5,7
/proc/8640/stat : 8640 (npSolver-pbo) S 8639 8639 8594 0 -1 4202496 57131 24838 0 0 2060 334 6403 432 20 0 1 0 383146371 2394075136 410137 33554432000 4194304 6004724 140737192266768 140737192253048 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/8640/statm: 584491 410137 167 442 0 584045 0
[pid=8647] ppid=8640 vsize=3857680 CPUtime=1262.6 cores=1,3,5,7
/proc/8647/stat : 8647 (glucosInc) R 8640 8639 8594 0 -1 4202496 366706 0 0 0 126133 127 0 0 20 0 1 0 383156320 3950264320 766663 33554432000 4194304 5654031 140737196817456 140737196815240 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8647/statm: 964420 766663 140 357 0 964060 0
Current children cumulated CPU time (s) 1354.89
Current children cumulated vsize (KiB) 6204792
[startup+1422.3 s]
/proc/loadavg: 2.05 2.01 2.04 3/181 8683
/proc/meminfo: memFree=18414436/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
[pid=8640] ppid=8639 vsize=2337964 CPUtime=92.29 cores=1,3,5,7
/proc/8640/stat : 8640 (npSolver-pbo) S 8639 8639 8594 0 -1 4202496 57131 24838 0 0 2060 334 6403 432 20 0 1 0 383146371 2394075136 410137 33554432000 4194304 6004724 140737192266768 140737192253048 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/8640/statm: 584491 410137 167 442 0 584045 0
[pid=8647] ppid=8640 vsize=3857680 CPUtime=1322.59 cores=1,3,5,7
/proc/8647/stat : 8647 (glucosInc) R 8640 8639 8594 0 -1 4202496 366706 0 0 0 132132 127 0 0 20 0 1 0 383156320 3950264320 766663 33554432000 4194304 5654031 140737196817456 140737196815240 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8647/statm: 964420 766663 140 357 0 964060 0
Current children cumulated CPU time (s) 1414.88
Current children cumulated vsize (KiB) 6204792
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.03 3/181 8683
/proc/meminfo: memFree=18412264/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
[pid=8640] ppid=8639 vsize=2337964 CPUtime=92.29 cores=1,3,5,7
/proc/8640/stat : 8640 (npSolver-pbo) S 8639 8639 8594 0 -1 4202496 57131 24838 0 0 2060 334 6403 432 20 0 1 0 383146371 2394075136 410137 33554432000 4194304 6004724 140737192266768 140737192253048 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/8640/statm: 584491 410137 167 442 0 584045 0
[pid=8647] ppid=8640 vsize=3857680 CPUtime=1382.59 cores=1,3,5,7
/proc/8647/stat : 8647 (glucosInc) R 8640 8639 8594 0 -1 4202496 366706 0 0 0 138132 127 0 0 20 0 1 0 383156320 3950264320 766663 33554432000 4194304 5654031 140737196817456 140737196815240 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8647/statm: 964420 766663 140 357 0 964060 0
Current children cumulated CPU time (s) 1474.88
Current children cumulated vsize (KiB) 6204792
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/181 8683
/proc/meminfo: memFree=18412264/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
[pid=8640] ppid=8639 vsize=2337964 CPUtime=92.29 cores=1,3,5,7
/proc/8640/stat : 8640 (npSolver-pbo) S 8639 8639 8594 0 -1 4202496 57131 24838 0 0 2060 334 6403 432 20 0 1 0 383146371 2394075136 410137 33554432000 4194304 6004724 140737192266768 140737192253048 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/8640/statm: 584491 410137 167 442 0 584045 0
[pid=8647] ppid=8640 vsize=3857680 CPUtime=1442.57 cores=1,3,5,7
/proc/8647/stat : 8647 (glucosInc) R 8640 8639 8594 0 -1 4202496 366706 0 0 0 144130 127 0 0 20 0 1 0 383156320 3950264320 766663 33554432000 4194304 5654031 140737196817456 140737196815240 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8647/statm: 964420 766663 140 357 0 964060 0
Current children cumulated CPU time (s) 1534.86
Current children cumulated vsize (KiB) 6204792
[startup+1602.31 s]
/proc/loadavg: 2.00 2.00 2.02 3/182 8686
/proc/meminfo: memFree=18411876/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
[pid=8640] ppid=8639 vsize=2337964 CPUtime=92.29 cores=1,3,5,7
/proc/8640/stat : 8640 (npSolver-pbo) S 8639 8639 8594 0 -1 4202496 57131 24838 0 0 2060 334 6403 432 20 0 1 0 383146371 2394075136 410137 33554432000 4194304 6004724 140737192266768 140737192253048 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/8640/statm: 584491 410137 167 442 0 584045 0
[pid=8647] ppid=8640 vsize=3857680 CPUtime=1502.57 cores=1,3,5,7
/proc/8647/stat : 8647 (glucosInc) R 8640 8639 8594 0 -1 4202496 366706 0 0 0 150130 127 0 0 20 0 1 0 383156320 3950264320 766663 33554432000 4194304 5654031 140737196817456 140737196815240 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8647/statm: 964420 766663 140 357 0 964060 0
Current children cumulated CPU time (s) 1594.86
Current children cumulated vsize (KiB) 6204792
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 8686
/proc/meminfo: memFree=18412016/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
[pid=8640] ppid=8639 vsize=2337964 CPUtime=92.29 cores=1,3,5,7
/proc/8640/stat : 8640 (npSolver-pbo) S 8639 8639 8594 0 -1 4202496 57131 24838 0 0 2060 334 6403 432 20 0 1 0 383146371 2394075136 410137 33554432000 4194304 6004724 140737192266768 140737192253048 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/8640/statm: 584491 410137 167 442 0 584045 0
[pid=8647] ppid=8640 vsize=3857680 CPUtime=1562.55 cores=1,3,5,7
/proc/8647/stat : 8647 (glucosInc) R 8640 8639 8594 0 -1 4202496 366706 0 0 0 156128 127 0 0 20 0 1 0 383156320 3950264320 766663 33554432000 4194304 5654031 140737196817456 140737196815240 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8647/statm: 964420 766663 140 357 0 964060 0
Current children cumulated CPU time (s) 1654.84
Current children cumulated vsize (KiB) 6204792
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 8687
/proc/meminfo: memFree=18411892/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
[pid=8640] ppid=8639 vsize=2337964 CPUtime=92.29 cores=1,3,5,7
/proc/8640/stat : 8640 (npSolver-pbo) S 8639 8639 8594 0 -1 4202496 57131 24838 0 0 2060 334 6403 432 20 0 1 0 383146371 2394075136 410137 33554432000 4194304 6004724 140737192266768 140737192253048 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/8640/statm: 584491 410137 167 442 0 584045 0
[pid=8647] ppid=8640 vsize=3857680 CPUtime=1622.54 cores=1,3,5,7
/proc/8647/stat : 8647 (glucosInc) R 8640 8639 8594 0 -1 4202496 366706 0 0 0 162127 127 0 0 20 0 1 0 383156320 3950264320 766663 33554432000 4194304 5654031 140737196817456 140737196815240 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8647/statm: 964420 766663 140 357 0 964060 0
Current children cumulated CPU time (s) 1714.83
Current children cumulated vsize (KiB) 6204792
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8687
/proc/meminfo: memFree=18408340/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
[pid=8640] ppid=8639 vsize=2337964 CPUtime=92.29 cores=1,3,5,7
/proc/8640/stat : 8640 (npSolver-pbo) S 8639 8639 8594 0 -1 4202496 57131 24838 0 0 2060 334 6403 432 20 0 1 0 383146371 2394075136 410137 33554432000 4194304 6004724 140737192266768 140737192253048 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/8640/statm: 584491 410137 167 442 0 584045 0
[pid=8647] ppid=8640 vsize=3857680 CPUtime=1682.54 cores=1,3,5,7
/proc/8647/stat : 8647 (glucosInc) R 8640 8639 8594 0 -1 4202496 366706 0 0 0 168127 127 0 0 20 0 1 0 383156320 3950264320 766663 33554432000 4194304 5654031 140737196817456 140737196815240 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8647/statm: 964420 766663 140 357 0 964060 0
Current children cumulated CPU time (s) 1774.83
Current children cumulated vsize (KiB) 6204792
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8687
/proc/meminfo: memFree=18400896/32873844 swapFree=7896/7896
[pid=8639] ppid=8637 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8639/stat : 8639 (npSolver-pbo-I.) S 8637 8639 8594 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383146371 9367552 275 33554432000 4194304 5064252 140735413282368 140735413281280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8639/statm: 2287 275 233 213 0 72 0
[pid=8640] ppid=8639 vsize=2337964 CPUtime=92.29 cores=1,3,5,7
/proc/8640/stat : 8640 (npSolver-pbo) S 8639 8639 8594 0 -1 4202496 57131 24838 0 0 2060 334 6403 432 20 0 1 0 383146371 2394075136 410137 33554432000 4194304 6004724 140737192266768 140737192253048 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/8640/statm: 584491 410137 167 442 0 584045 0
[pid=8647] ppid=8640 vsize=3857680 CPUtime=1707.74 cores=1,3,5,7
/proc/8647/stat : 8647 (glucosInc) R 8640 8639 8594 0 -1 4202496 366706 0 0 0 170647 127 0 0 20 0 1 0 383156320 3950264320 766663 33554432000 4194304 5654031 140737196817456 140737196815240 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8647/statm: 964420 766663 140 357 0 964060 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 6204792
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8639 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1807.52
CPU time (s): 1800.03
CPU user time (s): 1791.1
CPU system time (s): 8.93
CPU usage (%): 99.5857
Max. virtual memory (cumulated for all children) (KiB): 6245352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
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 4.26135 second user time and 11.5842 second system time
The end