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-3749254-1339171972/watcher-3749254-1339171972 -o /tmp/evaluation-result-3749254-1339171972/solver-3749254-1339171972 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3749254-1339171972.opb 1224709079 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.00 2.00 3/178 8843
/proc/meminfo: memFree=24497840/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
[startup+0.056753 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8843
/proc/meminfo: memFree=24497840/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100248 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8843
/proc/meminfo: memFree=24497840/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300255 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8843
/proc/meminfo: memFree=24497840/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/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.00 2.00 3/178 8843
/proc/meminfo: memFree=24497840/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8845
/proc/meminfo: memFree=24405104/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
[pid=8844] ppid=8843 vsize=147804 CPUtime=1.49 cores=0,2,4,6
/proc/8844/stat : 8844 (npSolver-pbo) R 8843 8843 8666 0 -1 4202496 23600 0 0 0 144 5 0 0 20 0 1 0 383324566 151351296 32742 33554432000 4194304 6004724 140736324221376 140736324217272 4968639 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8844/statm: 36951 32742 130 442 0 36505 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 156952
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8845
/proc/meminfo: memFree=24267516/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
[pid=8844] ppid=8843 vsize=362892 CPUtime=3.08 cores=0,2,4,6
/proc/8844/stat : 8844 (npSolver-pbo) R 8843 8843 8666 0 -1 4202496 49870 0 0 0 296 12 0 0 20 0 1 0 383324566 371601408 76054 33554432000 4194304 6004724 140736324221376 140736324215976 4534738 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8844/statm: 90723 76054 154 442 0 90277 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 372040
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8845
/proc/meminfo: memFree=24014420/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
[pid=8844] ppid=8843 vsize=756108 CPUtime=6.28 cores=0,2,4,6
/proc/8844/stat : 8844 (npSolver-pbo) R 8843 8843 8666 0 -1 4202496 51201 0 0 0 607 21 0 0 20 0 1 0 383324566 774254592 135958 33554432000 4194304 6004724 140736324221376 140736324215976 4582623 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8844/statm: 189027 135958 154 442 0 188581 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 765256
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8885
/proc/meminfo: memFree=29693108/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
[pid=8844] ppid=8843 vsize=1280396 CPUtime=12.68 cores=0,2,4,6
/proc/8844/stat : 8844 (npSolver-pbo) R 8843 8843 8666 0 -1 4202496 52210 0 0 0 1232 36 0 0 20 0 1 0 383324566 1311125504 259862 33554432000 4194304 6004724 140736324221376 140736324215976 4534761 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8844/statm: 320099 259862 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: 2.00 2.00 2.00 3/181 8887
/proc/meminfo: memFree=26227272/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
[pid=8844] ppid=8843 vsize=2337964 CPUtime=23.93 cores=0,2,4,6
/proc/8844/stat : 8844 (npSolver-pbo) S 8843 8843 8666 0 -1 4202496 57080 0 0 0 2108 285 0 0 20 0 1 0 383324566 2394075136 429093 33554432000 4194304 6004724 140736324221376 140736324215840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8844/statm: 584491 429093 163 442 0 584045 0
[pid=8886] ppid=8844 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8886/stat : 8886 (cp2_pre.sh) S 8844 8843 8666 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383326959 9367552 277 33554432000 4194304 5064252 140736894998848 140736894997552 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8886/statm: 2287 277 234 213 0 72 0
[pid=8887] ppid=8886 vsize=168016 CPUtime=1.55 cores=0,2,4,6
/proc/8887/stat : 8887 (coprocessor) R 8886 8843 8666 0 -1 4202496 12834 0 0 0 146 9 0 0 20 0 1 0 383326960 172048384 40952 33554432000 4194304 6586260 140735002247792 140735002244680 5732400 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/8887/statm: 42004 40952 138 584 0 41416 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2524276
[startup+51.1003 s]
/proc/loadavg: 2.34 2.08 2.02 3/183 8889
/proc/meminfo: memFree=20537552/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
[pid=8844] ppid=8843 vsize=2337964 CPUtime=23.93 cores=0,2,4,6
/proc/8844/stat : 8844 (npSolver-pbo) S 8843 8843 8666 0 -1 4202496 57080 0 0 0 2108 285 0 0 20 0 1 0 383324566 2394075136 429093 33554432000 4194304 6004724 140736324221376 140736324215840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8844/statm: 584491 429093 163 442 0 584045 0
[pid=8886] ppid=8844 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8886/stat : 8886 (cp2_pre.sh) S 8844 8843 8666 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383326959 9367552 277 33554432000 4194304 5064252 140736894998848 140736894997552 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8886/statm: 2287 277 234 213 0 72 0
[pid=8887] ppid=8886 vsize=2800976 CPUtime=26.96 cores=0,2,4,6
/proc/8887/stat : 8887 (coprocessor) R 8886 8843 8666 0 -1 4202496 24809 0 0 0 2560 136 0 0 20 0 1 0 383326960 2868199424 591810 33554432000 4194304 6586260 140735002247792 140735002243544 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 18 0 0
/proc/8887/statm: 700244 591810 158 584 0 699656 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 5157236
[startup+102.307 s]
/proc/loadavg: 3.34 2.40 2.14 3/182 8891
/proc/meminfo: memFree=19572384/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
[pid=8844] ppid=8843 vsize=2337964 CPUtime=95.78 cores=0,2,4,6
/proc/8844/stat : 8844 (npSolver-pbo) S 8843 8843 8666 0 -1 4202496 57099 25711 0 0 2108 285 6752 433 20 0 1 0 383324566 2394075136 429097 33554432000 4194304 6004724 140736324221376 140736324207656 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8844/statm: 584491 429097 167 442 0 584045 0
[pid=8891] ppid=8844 vsize=1722388 CPUtime=5.85 cores=0,2,4,6
/proc/8891/stat : 8891 (glucosInc) R 8844 8843 8666 0 -1 4202496 174914 0 0 0 535 50 0 0 20 0 1 0 383334209 1763725312 348889 33554432000 4194304 5654031 140733759653472 140733758603064 4976656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8891/statm: 430597 348889 108 357 0 430237 0
Current children cumulated CPU time (s) 101.63
Current children cumulated vsize (KiB) 4069500
[startup+162.3 s]
/proc/loadavg: 2.70 2.41 2.16 3/181 8894
/proc/meminfo: memFree=17960204/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
[pid=8844] ppid=8843 vsize=2337964 CPUtime=95.78 cores=0,2,4,6
/proc/8844/stat : 8844 (npSolver-pbo) S 8843 8843 8666 0 -1 4202496 57099 25711 0 0 2108 285 6752 433 20 0 1 0 383324566 2394075136 429097 33554432000 4194304 6004724 140736324221376 140736324207656 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8844/statm: 584491 429097 167 442 0 584045 0
[pid=8891] ppid=8844 vsize=3970740 CPUtime=65.84 cores=0,2,4,6
/proc/8891/stat : 8891 (glucosInc) R 8844 8843 8666 0 -1 4202496 390060 0 0 0 6466 118 0 0 20 0 1 0 383334209 4066037760 819343 33554432000 4194304 5654031 140733759653472 140733759651256 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8891/statm: 992685 819343 140 357 0 992325 0
Current children cumulated CPU time (s) 161.62
Current children cumulated vsize (KiB) 6317852
[startup+222.3 s]
/proc/loadavg: 2.26 2.33 2.14 3/181 8894
/proc/meminfo: memFree=17938348/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
[pid=8844] ppid=8843 vsize=2337964 CPUtime=95.78 cores=0,2,4,6
/proc/8844/stat : 8844 (npSolver-pbo) S 8843 8843 8666 0 -1 4202496 57099 25711 0 0 2108 285 6752 433 20 0 1 0 383324566 2394075136 429097 33554432000 4194304 6004724 140736324221376 140736324207656 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8844/statm: 584491 429097 167 442 0 584045 0
[pid=8891] ppid=8844 vsize=3975624 CPUtime=125.83 cores=0,2,4,6
/proc/8891/stat : 8891 (glucosInc) R 8844 8843 8666 0 -1 4202496 394817 0 0 0 12464 119 0 0 20 0 1 0 383334209 4071038976 821095 33554432000 4194304 5654031 140733759653472 140733759651256 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8891/statm: 993906 821095 140 357 0 993546 0
Current children cumulated CPU time (s) 221.61
Current children cumulated vsize (KiB) 6322736
[startup+282.3 s]
/proc/loadavg: 2.09 2.27 2.13 3/181 8894
/proc/meminfo: memFree=17918252/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
[pid=8844] ppid=8843 vsize=2337964 CPUtime=95.78 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=17860864/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
[pid=8844] ppid=8843 vsize=2337964 CPUtime=95.78 cores=0,2,4,6
/proc/8844/stat : 8844 (npSolver-pbo) S 8843 8843 8666 0 -1 4202496 57099 25711 0 0 2108 285 6752 433 20 0 1 0 383324566 2394075136 429097 33554432000 4194304 6004724 140736324221376 140736324207656 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8844/statm: 584491 429097 167 442 0 584045 0
[pid=8891] ppid=8844 vsize=3990128 CPUtime=1205.67 cores=0,2,4,6
/proc/8891/stat : 8891 (glucosInc) R 8844 8843 8666 0 -1 4202496 488947 0 0 0 120418 149 0 0 20 0 1 0 383334209 4085891072 827818 33554432000 4194304 5654031 140733759653472 140733759641288 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8891/statm: 997532 827818 141 357 0 997172 0
Current children cumulated CPU time (s) 1301.45
Current children cumulated vsize (KiB) 6337240
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.02 3/180 8904
/proc/meminfo: memFree=17855956/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
[pid=8844] ppid=8843 vsize=2337964 CPUtime=95.78 cores=0,2,4,6
/proc/8844/stat : 8844 (npSolver-pbo) S 8843 8843 8666 0 -1 4202496 57099 25711 0 0 2108 285 6752 433 20 0 1 0 383324566 2394075136 429097 33554432000 4194304 6004724 140736324221376 140736324207656 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8844/statm: 584491 429097 167 442 0 584045 0
[pid=8891] ppid=8844 vsize=3992624 CPUtime=1265.66 cores=0,2,4,6
/proc/8891/stat : 8891 (glucosInc) R 8844 8843 8666 0 -1 4202496 497259 0 0 0 126415 151 0 0 20 0 1 0 383334209 4088446976 829045 33554432000 4194304 5654031 140733759653472 140733759641288 4208683 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8891/statm: 998156 829045 141 357 0 997796 0
Current children cumulated CPU time (s) 1361.44
Current children cumulated vsize (KiB) 6339736
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.01 3/181 8905
/proc/meminfo: memFree=17844880/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
[pid=8844] ppid=8843 vsize=2337964 CPUtime=95.78 cores=0,2,4,6
/proc/8844/stat : 8844 (npSolver-pbo) S 8843 8843 8666 0 -1 4202496 57099 25711 0 0 2108 285 6752 433 20 0 1 0 383324566 2394075136 429097 33554432000 4194304 6004724 140736324221376 140736324207656 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8844/statm: 584491 429097 167 442 0 584045 0
[pid=8891] ppid=8844 vsize=3998960 CPUtime=1325.65 cores=0,2,4,6
/proc/8891/stat : 8891 (glucosInc) R 8844 8843 8666 0 -1 4202496 506385 0 0 0 132412 153 0 0 20 0 1 0 383334209 4094935040 831629 33554432000 4194304 5654031 140733759653472 140733759651256 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8891/statm: 999740 831629 141 357 0 999380 0
Current children cumulated CPU time (s) 1421.43
Current children cumulated vsize (KiB) 6346072
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 8905
/proc/meminfo: memFree=17837732/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
[pid=8844] ppid=8843 vsize=2337964 CPUtime=95.78 cores=0,2,4,6
/proc/8844/stat : 8844 (npSolver-pbo) S 8843 8843 8666 0 -1 4202496 57099 25711 0 0 2108 285 6752 433 20 0 1 0 383324566 2394075136 429097 33554432000 4194304 6004724 140736324221376 140736324207656 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8844/statm: 584491 429097 167 442 0 584045 0
[pid=8891] ppid=8844 vsize=4002488 CPUtime=1385.64 cores=0,2,4,6
/proc/8891/stat : 8891 (glucosInc) R 8844 8843 8666 0 -1 4202496 511197 0 0 0 138409 155 0 0 20 0 1 0 383334209 4098547712 833572 33554432000 4194304 5654031 140733759653472 140733759641288 4232786 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8891/statm: 1000622 833572 141 357 0 1000262 0
Current children cumulated CPU time (s) 1481.42
Current children cumulated vsize (KiB) 6349600
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8905
/proc/meminfo: memFree=17837488/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
[pid=8844] ppid=8843 vsize=2337964 CPUtime=95.78 cores=0,2,4,6
/proc/8844/stat : 8844 (npSolver-pbo) S 8843 8843 8666 0 -1 4202496 57099 25711 0 0 2108 285 6752 433 20 0 1 0 383324566 2394075136 429097 33554432000 4194304 6004724 140736324221376 140736324207656 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8844/statm: 584491 429097 167 442 0 584045 0
[pid=8891] ppid=8844 vsize=4002488 CPUtime=1445.63 cores=0,2,4,6
/proc/8891/stat : 8891 (glucosInc) R 8844 8843 8666 0 -1 4202496 511205 0 0 0 144408 155 0 0 20 0 1 0 383334209 4098547712 833580 33554432000 4194304 5654031 140733759653472 140733759641288 4209217 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8891/statm: 1000622 833580 141 357 0 1000262 0
Current children cumulated CPU time (s) 1541.41
Current children cumulated vsize (KiB) 6349600
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8905
/proc/meminfo: memFree=17837488/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
[pid=8844] ppid=8843 vsize=2337964 CPUtime=95.78 cores=0,2,4,6
/proc/8844/stat : 8844 (npSolver-pbo) S 8843 8843 8666 0 -1 4202496 57099 25711 0 0 2108 285 6752 433 20 0 1 0 383324566 2394075136 429097 33554432000 4194304 6004724 140736324221376 140736324207656 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8844/statm: 584491 429097 167 442 0 584045 0
[pid=8891] ppid=8844 vsize=4002488 CPUtime=1505.62 cores=0,2,4,6
/proc/8891/stat : 8891 (glucosInc) R 8844 8843 8666 0 -1 4202496 511211 0 0 0 150407 155 0 0 20 0 1 0 383334209 4098547712 833586 33554432000 4194304 5654031 140733759653472 140733759641288 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8891/statm: 1000622 833586 141 357 0 1000262 0
Current children cumulated CPU time (s) 1601.4
Current children cumulated vsize (KiB) 6349600
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 8908
/proc/meminfo: memFree=17833764/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
[pid=8844] ppid=8843 vsize=2337964 CPUtime=95.78 cores=0,2,4,6
/proc/8844/stat : 8844 (npSolver-pbo) S 8843 8843 8666 0 -1 4202496 57099 25711 0 0 2108 285 6752 433 20 0 1 0 383324566 2394075136 429097 33554432000 4194304 6004724 140736324221376 140736324207656 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8844/statm: 584491 429097 167 442 0 584045 0
[pid=8891] ppid=8844 vsize=4004240 CPUtime=1565.61 cores=0,2,4,6
/proc/8891/stat : 8891 (glucosInc) R 8844 8843 8666 0 -1 4202496 515303 0 0 0 156405 156 0 0 20 0 1 0 383334209 4100341760 834496 33554432000 4194304 5654031 140733759653472 140733759651256 4214612 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8891/statm: 1001060 834496 141 357 0 1000700 0
Current children cumulated CPU time (s) 1661.39
Current children cumulated vsize (KiB) 6351352
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8909
/proc/meminfo: memFree=17829732/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
[pid=8844] ppid=8843 vsize=2337964 CPUtime=95.78 cores=0,2,4,6
/proc/8844/stat : 8844 (npSolver-pbo) S 8843 8843 8666 0 -1 4202496 57099 25711 0 0 2108 285 6752 433 20 0 1 0 383324566 2394075136 429097 33554432000 4194304 6004724 140736324221376 140736324207656 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8844/statm: 584491 429097 167 442 0 584045 0
[pid=8891] ppid=8844 vsize=4007728 CPUtime=1625.6 cores=0,2,4,6
/proc/8891/stat : 8891 (glucosInc) R 8844 8843 8666 0 -1 4202496 519977 0 0 0 162402 158 0 0 20 0 1 0 383334209 4103913472 835388 33554432000 4194304 5654031 140733759653472 140733759651256 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8891/statm: 1001932 835388 141 357 0 1001572 0
Current children cumulated CPU time (s) 1721.38
Current children cumulated vsize (KiB) 6354840
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8909
/proc/meminfo: memFree=17824368/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
[pid=8844] ppid=8843 vsize=2337964 CPUtime=95.78 cores=0,2,4,6
/proc/8844/stat : 8844 (npSolver-pbo) S 8843 8843 8666 0 -1 4202496 57099 25711 0 0 2108 285 6752 433 20 0 1 0 383324566 2394075136 429097 33554432000 4194304 6004724 140736324221376 140736324207656 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8844/statm: 584491 429097 167 442 0 584045 0
[pid=8891] ppid=8844 vsize=4008836 CPUtime=1685.59 cores=0,2,4,6
/proc/8891/stat : 8891 (glucosInc) R 8844 8843 8666 0 -1 4202496 527940 0 0 0 168399 160 0 0 20 0 1 0 383334209 4105048064 836809 33554432000 4194304 5654031 140733759653472 140733759641288 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8891/statm: 1002209 836809 141 357 0 1001849 0
Current children cumulated CPU time (s) 1781.37
Current children cumulated vsize (KiB) 6355948
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 8909
/proc/meminfo: memFree=17824616/32873648 swapFree=7376/7376
[pid=8843] ppid=8841 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8843/stat : 8843 (npSolver-pbo-I.) S 8841 8843 8666 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383324566 9367552 275 33554432000 4194304 5064252 140735577221600 140735577220512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8843/statm: 2287 275 233 213 0 72 0
[pid=8844] ppid=8843 vsize=2337964 CPUtime=95.78 cores=0,2,4,6
/proc/8844/stat : 8844 (npSolver-pbo) S 8843 8843 8666 0 -1 4202496 57099 25711 0 0 2108 285 6752 433 20 0 1 0 383324566 2394075136 429097 33554432000 4194304 6004724 140736324221376 140736324207656 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8844/statm: 584491 429097 167 442 0 584045 0
[pid=8891] ppid=8844 vsize=4009236 CPUtime=1704.3 cores=0,2,4,6
/proc/8891/stat : 8891 (glucosInc) R 8844 8843 8666 0 -1 4202496 528033 0 0 0 170270 160 0 0 20 0 1 0 383334209 4105457664 836902 33554432000 4194304 5654031 140733759653472 140733759641288 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8891/statm: 1002309 836902 141 357 0 1001949 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 6356348
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 8843 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=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.03
CPU time (s): 1800.08
CPU user time (s): 1791.3
CPU system time (s): 8.78
CPU usage (%): 99.9474
Max. virtual memory (cumulated for all children) (KiB): 6397208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
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= 3
involuntary context switches= 1
runsolver used 3.85941 second user time and 10.1745 second system time
The end