runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4105550-1466253642/watcher-4105550-1466253642 -o /tmp/evaluation-result-4105550-1466253642/solver-4105550-1466253642 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466240628-16937 --watchdog 1960 open-wbo HOME/instance-4105550-1466253642.opb
pid=21072
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.07 2.11 2.06 3/175 21075
/proc/meminfo: memFree=31214936/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=3672 CPUtime=0 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 668 0 0 0 0 0 0 0 20 0 1 0 27414290 3760128 544 33554432000 4194304 6059633 140734204782352 140734922146536 5040641 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 918 544 435 456 0 153 0
[startup+0.100159 s]
/proc/loadavg: 2.07 2.11 2.06 3/175 21075
/proc/meminfo: memFree=31214936/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=4192 CPUtime=0.09 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 799 0 0 0 9 0 0 0 20 0 1 0 27414290 4292608 675 33554432000 4194304 6059633 140734204782352 140734922146536 5043379 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 1048 675 435 456 0 283 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4192
[startup+0.200275 s]
/proc/loadavg: 2.07 2.11 2.06 3/175 21075
/proc/meminfo: memFree=31214936/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=10816 CPUtime=0.19 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 1791 0 0 0 19 0 0 0 20 0 1 0 27414290 11075584 1869 33554432000 4194304 6059633 140734204782352 140734922146536 4255116 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 2704 1869 181 456 0 2240 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10816
[startup+0.300298 s]
/proc/loadavg: 2.07 2.11 2.06 3/175 21075
/proc/meminfo: memFree=31214936/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=8612 CPUtime=0.29 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 2182 0 0 0 29 0 0 0 20 0 1 0 27414290 8818688 1612 33554432000 4194304 6059633 140734204782352 140734922146536 4261780 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 2153 1612 183 456 0 1689 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8612
[startup+0.700233 s]
/proc/loadavg: 2.07 2.11 2.06 3/175 21075
/proc/meminfo: memFree=31214936/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=9916 CPUtime=0.69 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 2544 0 0 0 69 0 0 0 20 0 1 0 27414290 10153984 1969 33554432000 4194304 6059633 140734204782352 140734922146536 4280227 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 2479 1969 184 456 0 2015 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9916
[startup+1.50019 s]
/proc/loadavg: 2.07 2.11 2.06 3/176 21076
/proc/meminfo: memFree=31206520/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=15936 CPUtime=1.49 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 3723 0 0 0 149 0 0 0 20 0 1 0 27414290 16318464 3575 33554432000 4194304 6059633 140734204782352 140734204781176 4277781 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 3984 3575 185 456 0 3520 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15936
[startup+3.10023 s]
/proc/loadavg: 2.06 2.11 2.06 3/176 21076
/proc/meminfo: memFree=31199136/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=18656 CPUtime=3.09 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 4433 0 0 0 308 1 0 0 20 0 1 0 27414290 19103744 4264 33554432000 4194304 6059633 140734204782352 140734204780872 4246322 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 4664 4264 185 456 0 4200 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18656
[startup+6.30025 s]
/proc/loadavg: 2.06 2.11 2.06 3/176 21076
/proc/meminfo: memFree=31192776/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=20332 CPUtime=6.29 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 4862 0 0 0 628 1 0 0 20 0 1 0 27414290 20819968 4683 33554432000 4194304 6059633 140734204782352 140734204780872 4278382 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 5083 4683 185 456 0 4619 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20332
[startup+12.7003 s]
/proc/loadavg: 2.05 2.10 2.06 3/176 21076
/proc/meminfo: memFree=31180360/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=27696 CPUtime=12.69 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 5624 0 0 0 1268 1 0 0 20 0 1 0 27414290 28360704 6135 33554432000 4194304 6059633 140734204782352 140734204780840 4278479 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 6924 6135 185 456 0 6460 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27696
[startup+25.5004 s]
/proc/loadavg: 2.04 2.10 2.06 3/175 21076
/proc/meminfo: memFree=31152208/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=41952 CPUtime=25.49 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 7027 0 0 0 2548 1 0 0 20 0 1 0 27414290 42958848 10076 33554432000 4194304 6059633 140734204782352 140734204780872 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 10488 10076 185 456 0 10024 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41952
[startup+51.1004 s]
/proc/loadavg: 2.08 2.11 2.06 3/175 21076
/proc/meminfo: memFree=31131296/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=46348 CPUtime=51.08 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 7628 0 0 0 5107 1 0 0 20 0 1 0 27414290 47460352 11181 33554432000 4194304 6059633 140734204782352 140734204780872 4278354 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 11587 11181 185 456 0 11123 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 46348
[startup+102.3 s]
/proc/loadavg: 2.07 2.10 2.06 3/175 21077
/proc/meminfo: memFree=31125212/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=95552 CPUtime=102.28 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 9574 0 0 0 10226 2 0 0 20 0 1 0 27414290 97845248 16394 33554432000 4194304 6059633 140734204782352 140734204780840 4278457 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 23888 16394 185 456 0 23424 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 95552
[startup+162.3 s]
/proc/loadavg: 2.03 2.08 2.05 3/175 21079
/proc/meminfo: memFree=31121196/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=85196 CPUtime=162.26 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 11389 0 0 0 16223 3 0 0 20 0 1 0 27414290 87240704 20834 33554432000 4194304 6059633 140734204782352 140734204780872 5131806 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 21299 20834 185 456 0 20835 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 85196
[startup+222.307 s]
/proc/loadavg: 2.01 2.06 2.05 3/175 21080
/proc/meminfo: memFree=31133716/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=85196 CPUtime=222.26 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 11716 0 0 0 22221 5 0 0 20 0 1 0 27414290 87240704 20936 33554432000 4194304 6059633 140734204782352 140734204781176 4255169 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 21299 20936 185 456 0 20835 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 85196
[startup+282.3 s]
/proc/loadavg: 2.00 2.05 2.04 3/175 21081
/proc/meminfo: memFree=31048724/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=134516 CPUtime=282.24 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 11945 0 0 0 28217 7 0 0 20 0 1 0 27414290 137744384 31233 33554432000 4194304 6059633 140734204782352 140734204780888 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 33629 31233 185 456 0 33165 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 134516
[startup+342.3 s]
/proc/loadavg: 2.07 2.05 2.04 3/175 21082
/proc/meminfo: memFree=31093980/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=85196 CPUtime=342.23 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 12102 0 0 0 34215 8 0 0 20 0 1 0 27414290 87240704 20936 33554432000 4194304 6059633 140734204782352 140734204781176 4262359 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 21299 20936 185 456 0 20835 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 85196
[startup+402.3 s]
/proc/loadavg: 2.03 2.04 2.04 3/175 21128
/proc/meminfo: memFree=28154444/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=85196 CPUtime=402.22 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 12261 0 0 0 40213 9 0 0 20 0 1 0 27414290 87240704 20936 33554432000 4194304 6059633 140734204782352 140734204781176 4278421 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 21299 20936 185 456 0 20835 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 85196
[startup+462.3 s]
/proc/loadavg: 2.04 2.05 2.03 3/175 21130
/proc/meminfo: memFree=28101940/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=134516 CPUtime=462.22 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 12421 0 0 0 46211 11 0 0 20 0 1 0 27414290 137744384 32769 33554432000 4194304 6059633 140734204782352 140734204780888 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 33629 32769 185 456 0 33165 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 134516
[startup+522.3 s]
/proc/loadavg: 2.05 2.05 2.03 3/175 21131
/proc/meminfo: memFree=28104164/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=134516 CPUtime=522.21 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 13532 0 0 0 52208 13 0 0 20 0 1 0 27414290 137744384 31233 33554432000 4194304 6059633 140734204782352 140734204780888 4278482 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 33629 31233 185 456 0 33165 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 134516
[startup+582.3 s]
/proc/loadavg: 2.08 2.06 2.03 4/176 21135
/proc/meminfo: memFree=28139536/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=85196 CPUtime=582.19 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 14790 0 0 0 58204 15 0 0 20 0 1 0 27414290 87240704 20936 33554432000 4194304 6059633 140734204782352 140734204781176 4277882 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 21299 20936 185 456 0 20835 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 85196
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/175 21142
/proc/meminfo: memFree=28074468/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=134516 CPUtime=942.14 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 19567 0 0 0 94186 28 0 0 20 0 1 0 27414290 137744384 31745 33554432000 4194304 6059633 140734204782352 140734204780888 4278447 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 33629 31745 185 456 0 33165 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 134516
[startup+1002.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/175 21143
/proc/meminfo: memFree=28069172/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=134516 CPUtime=1002.13 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 20487 0 0 0 100183 30 0 0 20 0 1 0 27414290 137744384 33009 33554432000 4194304 6059633 140734204782352 140734204781448 4261770 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 33629 33009 185 456 0 33165 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 134516
[startup+1062.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/175 21145
/proc/meminfo: memFree=28070080/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=134516 CPUtime=1062.12 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 20929 0 0 0 106180 32 0 0 20 0 1 0 27414290 137744384 32775 33554432000 4194304 6059633 140734204782352 140734204780888 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 33629 32775 185 456 0 33165 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 134516
[startup+1122.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/175 21146
/proc/meminfo: memFree=28021148/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=215424 CPUtime=1122.11 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 22354 0 0 0 112177 34 0 0 20 0 1 0 27414290 220594176 44919 33554432000 4194304 6059633 140734204782352 140734204781144 4255277 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 53856 44919 185 456 0 53392 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 215424
[startup+1182.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/176 21150
/proc/meminfo: memFree=28022884/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=215424 CPUtime=1182.11 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 23850 0 0 0 118174 37 0 0 20 0 1 0 27414290 220594176 43895 33554432000 4194304 6059633 140734204782352 140734204781144 4278457 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 53856 43895 185 456 0 53392 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 215424
[startup+1242.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/176 21174
/proc/meminfo: memFree=28061392/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=165336 CPUtime=1242.1 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 25047 0 0 0 124170 40 0 0 20 0 1 0 27414290 169304064 33866 33554432000 4194304 6059633 140734204782352 140734204781144 4278447 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 41334 33866 185 456 0 40870 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 165336
[startup+1302.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/175 21175
/proc/meminfo: memFree=27983324/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=215424 CPUtime=1302.09 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 25898 0 0 0 130167 42 0 0 20 0 1 0 27414290 220594176 53111 33554432000 4194304 6059633 140734204782352 140734204781144 4278354 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 53856 53111 185 456 0 53392 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 215424
[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/175 21177
/proc/meminfo: memFree=28026464/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=215424 CPUtime=1362.07 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 27620 0 0 0 136163 44 0 0 20 0 1 0 27414290 220594176 41847 33554432000 4194304 6059633 140734204782352 140734204781144 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 53856 41847 185 456 0 53392 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 215424
[startup+1422.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/175 21178
/proc/meminfo: memFree=28049556/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=165336 CPUtime=1422.07 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 28305 0 0 0 142160 47 0 0 20 0 1 0 27414290 169304064 34378 33554432000 4194304 6059633 140734204782352 140734204781144 4278421 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 41334 34378 185 456 0 40870 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 165336
[startup+1482.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/175 21179
/proc/meminfo: memFree=28068124/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=134516 CPUtime=1482.06 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 29215 0 0 0 148157 49 0 0 20 0 1 0 27414290 137744384 29703 33554432000 4194304 6059633 140734204782352 140734204780888 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 33629 29703 185 456 0 33165 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 134516
[startup+1542.31 s]
/proc/loadavg: 2.05 2.05 2.00 3/175 21180
/proc/meminfo: memFree=28012304/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=215424 CPUtime=1542.05 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 30637 0 0 0 154154 51 0 0 20 0 1 0 27414290 220594176 42871 33554432000 4194304 6059633 140734204782352 140734204781144 4278479 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 53856 42871 185 456 0 53392 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 215424
[startup+1602.3 s]
/proc/loadavg: 2.09 2.06 2.00 3/175 21181
/proc/meminfo: memFree=28044456/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=165336 CPUtime=1602.04 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 31317 0 0 0 160150 54 0 0 20 0 1 0 27414290 169304064 34378 33554432000 4194304 6059633 140734204782352 140734204781144 4277910 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 41334 34378 185 456 0 40870 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 165336
[startup+1662.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/175 21183
/proc/meminfo: memFree=27987168/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=215424 CPUtime=1662.03 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 32160 0 0 0 166148 55 0 0 20 0 1 0 27414290 220594176 49015 33554432000 4194304 6059633 140734204782352 140734204781144 4278414 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 53856 49015 185 456 0 53392 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 215424
[startup+1722.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/175 21184
/proc/meminfo: memFree=28010400/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=215424 CPUtime=1722.02 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 33656 0 0 0 172143 59 0 0 20 0 1 0 27414290 220594176 42871 33554432000 4194304 6059633 140734204782352 140734204781144 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 53856 42871 185 456 0 53392 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 215424
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/176 21188
/proc/meminfo: memFree=28060724/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=134516 CPUtime=1782.01 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 34272 0 0 0 178140 61 0 0 20 0 1 0 27414290 137744384 29191 33554432000 4194304 6059633 140734204782352 140734204780888 4277855 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 33629 29191 185 456 0 33165 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 134516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/176 21189
/proc/meminfo: memFree=28044724/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=165336 CPUtime=1800.01 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 34860 0 0 0 179939 62 0 0 20 0 1 0 27414290 169304064 33866 33554432000 4194304 6059633 140734204782352 140734204781144 4277882 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 41334 33866 185 456 0 40870 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 165336
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21075 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/176 21189
/proc/meminfo: memFree=28044724/32872528 swapFree=447868/480572
[pid=21075] ppid=21072 vsize=165336 CPUtime=1800.01 cores=0,2,4,6
/proc/21075/stat : 21075 (open-wbo) R 21072 21075 16921 0 -1 4202496 34860 0 0 0 179939 62 0 0 20 0 1 0 27414290 169304064 33866 33554432000 4194304 6059633 140734204782352 140734204781144 4277882 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/21075/statm: 41334 33866 185 456 0 40870 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 165336
Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1799.4
CPU system time (s): 0.627904
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 296812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.627904
maximum resident set size= 232924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34863
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= 12
involuntary context switches= 1855
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.17836 second user time and 7.29089 second system time
The end