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-4241130-1500641596/watcher-4241130-1500641596 -o /tmp/evaluation-result-4241130-1500641596/solver-4241130-1500641596 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500623779-17771 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241130-1500641596.xml
pid=22512
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.02 2.05 3/242 22515
/proc/meminfo: memFree=31736584/32770624 swapFree=6172/296260
[pid=22515] ppid=22512 vsize=31348 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 2030 0 0 0 1 0 0 0 20 0 1 0 17438508 32100352 1822 33554432000 4194304 5970956 140732880345456 140732880342104 139728614046693 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 7837 1822 702 434 0 1201 0
[startup+0.100118 s]
/proc/loadavg: 2.07 2.02 2.05 3/242 22515
/proc/meminfo: memFree=31736584/32770624 swapFree=6172/296260
[pid=22515] ppid=22512 vsize=35232 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 3077 0 0 0 9 0 0 0 20 0 1 0 17438508 36077568 2876 33554432000 4194304 5970956 140732880345456 140732880339288 4966541 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 8808 2876 783 434 0 2172 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35232
[startup+0.200306 s]
/proc/loadavg: 2.07 2.02 2.05 3/242 22515
/proc/meminfo: memFree=31736584/32770624 swapFree=6172/296260
[pid=22515] ppid=22512 vsize=39408 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 4120 0 0 0 19 0 0 0 20 0 1 0 17438508 40353792 3957 33554432000 4194304 5970956 140732880345456 140732880339048 139728623688201 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 9852 3957 783 434 0 3216 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 39408
[startup+0.300222 s]
/proc/loadavg: 2.07 2.02 2.05 3/242 22515
/proc/meminfo: memFree=31736584/32770624 swapFree=6172/296260
[pid=22515] ppid=22512 vsize=44404 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 5374 0 0 0 29 0 0 0 20 0 1 0 17438508 45469696 5173 33554432000 4194304 5970956 140732880345456 140732880339048 4966541 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 11101 5173 783 434 0 4465 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44404
[startup+0.700195 s]
/proc/loadavg: 2.07 2.02 2.05 3/242 22515
/proc/meminfo: memFree=31736584/32770624 swapFree=6172/296260
[pid=22515] ppid=22512 vsize=50892 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 7053 0 0 0 68 1 0 0 20 0 1 0 17438508 52113408 6854 33554432000 4194304 5970956 140732880345456 140732880342056 5052093 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 12723 6854 836 434 0 6087 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50892
[startup+1.5002 s]
/proc/loadavg: 2.07 2.02 2.05 3/243 22516
/proc/meminfo: memFree=31712300/32770624 swapFree=6172/296252
[pid=22515] ppid=22512 vsize=50892 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 7073 0 0 0 148 1 0 0 20 0 1 0 17438508 52113408 6854 33554432000 4194304 5970956 140732880345456 140732880342056 4974808 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 12723 6854 836 434 0 6087 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50892
[startup+3.10017 s]
/proc/loadavg: 2.07 2.02 2.05 3/243 22516
/proc/meminfo: memFree=31711804/32770624 swapFree=6172/296252
[pid=22515] ppid=22512 vsize=51024 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 8508 0 0 0 308 1 0 0 20 0 1 0 17438508 52248576 6937 33554432000 4194304 5970956 140732880345456 140732880342424 4908930 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 12756 6937 836 434 0 6120 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51024
[startup+6.30018 s]
/proc/loadavg: 2.07 2.02 2.05 3/243 22516
/proc/meminfo: memFree=31711340/32770624 swapFree=6172/296292
[pid=22515] ppid=22512 vsize=51156 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 10714 0 0 0 628 1 0 0 20 0 1 0 17438508 52383744 6952 33554432000 4194304 5970956 140732880345456 140732880342424 4974228 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 12789 6952 836 434 0 6153 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51156
[startup+12.7002 s]
/proc/loadavg: 2.06 2.02 2.05 3/243 22516
/proc/meminfo: memFree=31710572/32770624 swapFree=6172/296304
[pid=22515] ppid=22512 vsize=51288 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 13164 0 0 0 1268 1 0 0 20 0 1 0 17438508 52518912 6999 33554432000 4194304 5970956 140732880345456 140732880342424 5098928 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 12822 6999 836 434 0 6186 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51288
[startup+25.5002 s]
/proc/loadavg: 2.05 2.02 2.05 3/243 22516
/proc/meminfo: memFree=31709456/32770624 swapFree=6172/296328
[pid=22515] ppid=22512 vsize=52476 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 18326 0 0 0 2547 1 0 0 20 0 1 0 17438508 53735424 7308 33554432000 4194304 5970956 140732880345456 140732880342424 5069728 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 13119 7308 836 434 0 6483 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52476
[startup+51.1003 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 22516
/proc/meminfo: memFree=31707464/32770624 swapFree=6172/296336
[pid=22515] ppid=22512 vsize=54720 CPUtime=51.07 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 21936 0 0 0 5106 1 0 0 20 0 1 0 17438508 56033280 7861 33554432000 4194304 5970956 140732880345456 140732880342424 4908985 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 13680 7861 836 434 0 7044 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 54720
[startup+102.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/243 22517
/proc/meminfo: memFree=31706304/32770624 swapFree=6172/296376
[pid=22515] ppid=22512 vsize=54984 CPUtime=102.26 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 23422 0 0 0 10225 1 0 0 20 0 1 0 17438508 56303616 7919 33554432000 4194304 5970956 140732880345456 140732880342424 5319896 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 13746 7919 836 434 0 7110 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 54984
[startup+162.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/243 22519
/proc/meminfo: memFree=31705560/32770624 swapFree=6172/296420
[pid=22515] ppid=22512 vsize=55512 CPUtime=162.24 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 23938 0 0 0 16223 1 0 0 20 0 1 0 17438508 56844288 8015 33554432000 4194304 5970956 140732880345456 140732880342424 5069728 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 13878 8015 836 434 0 7242 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 55512
[startup+222.308 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 22520
/proc/meminfo: memFree=31705212/32770624 swapFree=6172/296452
[pid=22515] ppid=22512 vsize=55644 CPUtime=222.24 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 24338 0 0 0 22223 1 0 0 20 0 1 0 17438508 56979456 8058 33554432000 4194304 5970956 140732880345456 140732880342424 4964524 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 13911 8058 836 434 0 7275 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 55644
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 22521
/proc/meminfo: memFree=31705236/32770624 swapFree=6172/296500
[pid=22515] ppid=22512 vsize=56040 CPUtime=282.22 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 24958 0 0 0 28221 1 0 0 20 0 1 0 17438508 57384960 8161 33554432000 4194304 5970956 140732880345456 140732880342424 4908985 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 14010 8161 836 434 0 7374 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 56040
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 22523
/proc/meminfo: memFree=31704344/32770624 swapFree=6172/296536
[pid=22515] ppid=22512 vsize=56304 CPUtime=342.21 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 25646 0 0 0 34219 2 0 0 20 0 1 0 17438508 57655296 8230 33554432000 4194304 5970956 140732880345456 140732880342424 5052095 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 14076 8230 836 434 0 7440 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 56304
[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 22524
/proc/meminfo: memFree=31703848/32770624 swapFree=6172/296556
[pid=22515] ppid=22512 vsize=56700 CPUtime=402.2 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 26338 0 0 0 40218 2 0 0 20 0 1 0 17438508 58060800 8343 33554432000 4194304 5970956 140732880345456 140732880342424 5098928 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 14175 8343 836 434 0 7539 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 56700
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 22532
/proc/meminfo: memFree=31703248/32770624 swapFree=6172/296600
[pid=22515] ppid=22512 vsize=57096 CPUtime=462.18 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 27048 0 0 0 46216 2 0 0 20 0 1 0 17438508 58466304 8405 33554432000 4194304 5970956 140732880345456 140732880342424 4961411 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 14274 8405 836 434 0 7638 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 57096
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 22556
/proc/meminfo: memFree=31702608/32770624 swapFree=6172/296640
[pid=22515] ppid=22512 vsize=57096 CPUtime=522.17 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 27390 0 0 0 52215 2 0 0 20 0 1 0 17438508 58466304 8447 33554432000 4194304 5970956 140732880345456 140732880342424 5098933 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 14274 8447 836 434 0 7638 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 57096
[startup+582.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/244 22557
/proc/meminfo: memFree=31701916/32770624 swapFree=6172/296684
[pid=22515] ppid=22512 vsize=57096 CPUtime=582.16 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 27747 0 0 0 58214 2 0 0 20 0 1 0 17438508 58466304 8458 33554432000 4194304 5970956 140732880345456 140732880342424 5098928 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 14274 8458 836 434 0 7638 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 57096
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 22579
/proc/meminfo: memFree=31698760/32770624 swapFree=6172/297236
[pid=22515] ppid=22512 vsize=59868 CPUtime=1481.97 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 34304 0 0 0 148194 3 0 0 20 0 1 0 17438508 61304832 9106 33554432000 4194304 5970956 140732880345456 140732880342424 5319620 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 14967 9106 836 434 0 8331 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 59868
[startup+1542.31 s]
/proc/loadavg: 2.00 2.03 2.05 3/243 22580
/proc/meminfo: memFree=31698436/32770624 swapFree=6172/297272
[pid=22515] ppid=22512 vsize=59868 CPUtime=1541.97 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 34525 0 0 0 154194 3 0 0 20 0 1 0 17438508 61304832 9132 33554432000 4194304 5970956 140732880345456 140732880342424 4908985 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 14967 9132 836 434 0 8331 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 59868
[startup+1602.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/243 22581
/proc/meminfo: memFree=31699428/32770624 swapFree=6172/297304
[pid=22515] ppid=22512 vsize=59868 CPUtime=1601.95 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 34723 0 0 0 160192 3 0 0 20 0 1 0 17438508 61304832 9135 33554432000 4194304 5970956 140732880345456 140732880342424 4964366 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 14967 9135 836 434 0 8331 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 59868
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 22589
/proc/meminfo: memFree=31698532/32770624 swapFree=6172/297352
[pid=22515] ppid=22512 vsize=59868 CPUtime=1661.94 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 34922 0 0 0 166191 3 0 0 20 0 1 0 17438508 61304832 9135 33554432000 4194304 5970956 140732880345456 140732880342424 5319929 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 14967 9135 836 434 0 8331 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 59868
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.05 4/243 22590
/proc/meminfo: memFree=31699292/32770624 swapFree=6172/297384
[pid=22515] ppid=22512 vsize=59868 CPUtime=1721.92 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 35121 0 0 0 172189 3 0 0 20 0 1 0 17438508 61304832 9135 33554432000 4194304 5970956 140732880345456 140732880342424 5093213 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 14967 9135 836 434 0 8331 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 59868
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 22591
/proc/meminfo: memFree=31698256/32770624 swapFree=6172/297424
[pid=22515] ppid=22512 vsize=59868 CPUtime=1781.91 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 35333 0 0 0 178188 3 0 0 20 0 1 0 17438508 61304832 9135 33554432000 4194304 5970956 140732880345456 140732880342424 4964974 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 14967 9135 836 434 0 8331 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 59868
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 22592
/proc/meminfo: memFree=31698456/32770624 swapFree=6172/297460
[pid=22515] ppid=22512 vsize=59868 CPUtime=1841.9 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 35565 0 0 0 184187 3 0 0 20 0 1 0 17438508 61304832 9136 33554432000 4194304 5970956 140732880345456 140732880342424 4908967 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 14967 9136 836 434 0 8331 0
Current children cumulated CPU time (s) 1841.9
Current children cumulated vsize (KiB) 59868
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 22593
/proc/meminfo: memFree=31698312/32770624 swapFree=6172/297492
[pid=22515] ppid=22512 vsize=59868 CPUtime=1901.88 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 35870 0 0 0 190185 3 0 0 20 0 1 0 17438508 61304832 9152 33554432000 4194304 5970956 140732880345456 140732880342424 4908985 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 14967 9152 836 434 0 8331 0
Current children cumulated CPU time (s) 1901.88
Current children cumulated vsize (KiB) 59868
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 22595
/proc/meminfo: memFree=31697200/32770624 swapFree=6172/297536
[pid=22515] ppid=22512 vsize=59868 CPUtime=1961.87 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 36152 0 0 0 196184 3 0 0 20 0 1 0 17438508 61304832 9154 33554432000 4194304 5970956 140732880345456 140732880342424 4968264 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 14967 9154 836 434 0 8331 0
Current children cumulated CPU time (s) 1961.87
Current children cumulated vsize (KiB) 59868
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 22596
/proc/meminfo: memFree=31698068/32770624 swapFree=6172/297568
[pid=22515] ppid=22512 vsize=59868 CPUtime=2021.86 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 36402 0 0 0 202183 3 0 0 20 0 1 0 17438508 61304832 9155 33554432000 4194304 5970956 140732880345456 140732880342424 4978138 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 14967 9155 836 434 0 8331 0
Current children cumulated CPU time (s) 2021.86
Current children cumulated vsize (KiB) 59868
[startup+2082.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 22597
/proc/meminfo: memFree=31697296/32770624 swapFree=6172/297608
[pid=22515] ppid=22512 vsize=59868 CPUtime=2081.85 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 36651 0 0 0 208182 3 0 0 20 0 1 0 17438508 61304832 9155 33554432000 4194304 5970956 140732880345456 140732880342424 4974415 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 14967 9155 836 434 0 8331 0
Current children cumulated CPU time (s) 2081.85
Current children cumulated vsize (KiB) 59868
[startup+2142.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 22599
/proc/meminfo: memFree=31697008/32770624 swapFree=6172/297656
[pid=22515] ppid=22512 vsize=60660 CPUtime=2141.83 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 37118 0 0 0 214180 3 0 0 20 0 1 0 17438508 62115840 9343 33554432000 4194304 5970956 140732880345456 140732880342424 5052095 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 15165 9343 836 434 0 8529 0
Current children cumulated CPU time (s) 2141.83
Current children cumulated vsize (KiB) 60660
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 22600
/proc/meminfo: memFree=31697164/32770624 swapFree=6172/297688
[pid=22515] ppid=22512 vsize=61056 CPUtime=2201.83 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 37564 0 0 0 220180 3 0 0 20 0 1 0 17438508 62521344 9376 33554432000 4194304 5970956 140732880345456 140732880342424 5069728 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 15264 9376 836 434 0 8628 0
Current children cumulated CPU time (s) 2201.83
Current children cumulated vsize (KiB) 61056
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 22674
/proc/meminfo: memFree=31698000/32770624 swapFree=6172/297776
[pid=22515] ppid=22512 vsize=61584 CPUtime=2261.81 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 38024 0 0 0 226178 3 0 0 20 0 1 0 17438508 63062016 9500 33554432000 4194304 5970956 140732880345456 140732880342424 4964584 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 15396 9500 836 434 0 8760 0
Current children cumulated CPU time (s) 2261.81
Current children cumulated vsize (KiB) 61584
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 22675
/proc/meminfo: memFree=31698216/32770624 swapFree=6172/297820
[pid=22515] ppid=22512 vsize=61584 CPUtime=2321.79 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 38371 0 0 0 232176 3 0 0 20 0 1 0 17438508 63062016 9558 33554432000 4194304 5970956 140732880345456 140732880342424 5070768 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 15396 9558 836 434 0 8760 0
Current children cumulated CPU time (s) 2321.79
Current children cumulated vsize (KiB) 61584
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 22676
/proc/meminfo: memFree=31697980/32770624 swapFree=6172/297864
[pid=22515] ppid=22512 vsize=61716 CPUtime=2381.78 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 38754 0 0 0 238175 3 0 0 20 0 1 0 17438508 63197184 9573 33554432000 4194304 5970956 140732880345456 140732880342424 5070793 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 15429 9573 836 434 0 8793 0
Current children cumulated CPU time (s) 2381.78
Current children cumulated vsize (KiB) 61716
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 22676
/proc/meminfo: memFree=31697856/32770624 swapFree=6172/297872
[pid=22515] ppid=22512 vsize=61848 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/22515/stat : 22515 (cosoco) R 22512 22515 17739 0 -1 4202496 39185 0 0 0 240005 3 0 0 20 0 1 0 17438508 63332352 9637 33554432000 4194304 5970956 140732880345456 140732880342424 4967825 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 16031744 140732880348353 140732880348483 140732880348483 140732880351182 0
/proc/22515/statm: 15462 9637 836 434 0 8826 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 61848
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 22515 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.6
CPU time (s): 2400.09
CPU user time (s): 2400.05
CPU system time (s): 0.036992
CPU usage (%): 99.9787
Max. virtual memory (cumulated for all children) (KiB): 61848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.036992
maximum resident set size= 38640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39208
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= 27
involuntary context switches= 121408
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.88793 second user time and 11.2001 second system time
The end