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-4241164-1500648172/watcher-4241164-1500648172 -o /tmp/evaluation-result-4241164-1500648172/solver-4241164-1500648172 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500648172-9863 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241164-1500648172.xml
pid=9887
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: 0.08 0.05 0.06 4/246 9895
/proc/meminfo: memFree=32082224/32770624 swapFree=6064/171984
[pid=9894] ppid=9887 vsize=5512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4194304 157 0 0 0 0 0 0 0 20 0 1 0 82135 5644288 1 33554432000 4194304 5970956 140723403332288 140723403329528 140577800816682 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 1378 1 0 434 0 39 0
[startup+0.100184 s]
/proc/loadavg: 0.08 0.05 0.06 4/246 9895
/proc/meminfo: memFree=32082224/32770624 swapFree=6064/171984
[pid=9894] ppid=9887 vsize=28572 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 1426 0 3 0 5 0 0 0 20 0 1 0 82135 29257728 1215 33554432000 4194304 5970956 140723403332288 140723403325880 140577784712165 0 0 4096 0 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 7143 1215 782 434 0 507 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 28572
[startup+0.200385 s]
/proc/loadavg: 0.08 0.05 0.06 4/246 9895
/proc/meminfo: memFree=32082224/32770624 swapFree=6064/171984
[pid=9894] ppid=9887 vsize=30160 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 1830 0 3 0 15 0 0 0 20 0 1 0 82135 30883840 1612 33554432000 4194304 5970956 140723403332288 140723403325880 4966541 0 0 4096 0 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 7540 1612 782 434 0 904 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 30160
[startup+0.300263 s]
/proc/loadavg: 0.08 0.05 0.06 4/246 9895
/proc/meminfo: memFree=32082224/32770624 swapFree=6064/171984
[pid=9894] ppid=9887 vsize=72268 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 9939 0 3 0 24 1 0 0 20 0 1 0 82135 74002432 11264 33554432000 4194304 5970956 140723403332288 140723403329112 140577784781355 0 0 4096 8404994 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 18067 11264 825 434 0 11431 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 72268
[startup+0.700294 s]
/proc/loadavg: 0.08 0.05 0.06 4/246 9895
/proc/meminfo: memFree=32082224/32770624 swapFree=6064/171984
[pid=9894] ppid=9887 vsize=330296 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 44501 0 3 0 58 6 0 0 20 0 1 0 82135 338223104 70891 33554432000 4194304 5970956 140723403332288 140723403329112 140577784781355 0 0 4096 8404994 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 82574 70891 825 434 0 75938 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 330296
[startup+1.50031 s]
/proc/loadavg: 0.08 0.05 0.06 4/249 9898
/proc/meminfo: memFree=31081588/32770624 swapFree=6064/172900
[pid=9894] ppid=9887 vsize=847548 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 106262 0 3 0 127 18 0 0 20 0 1 0 82135 867889152 187304 33554432000 4194304 5970956 140723403332288 140723403329112 140577784781355 0 0 4096 8404994 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 211887 187304 825 434 0 205251 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 847548
[startup+3.10027 s]
/proc/loadavg: 0.08 0.05 0.06 4/249 9898
/proc/meminfo: memFree=29802884/32770624 swapFree=6064/172900
[pid=9894] ppid=9887 vsize=1341556 CPUtime=3.05 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 167732 0 3 0 275 30 0 0 20 0 1 0 82135 1373753344 301195 33554432000 4194304 5970956 140723403332288 140723403329112 5272832 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 335389 301195 840 434 0 328753 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 1341556
[startup+6.30027 s]
/proc/loadavg: 0.24 0.08 0.07 4/249 9898
/proc/meminfo: memFree=27872352/32770624 swapFree=6064/172888
[pid=9894] ppid=9887 vsize=1341776 CPUtime=6.24 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 170708 0 3 0 594 30 0 0 20 0 1 0 82135 1373978624 301219 33554432000 4194304 5970956 140723403332288 140723403329112 4967797 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 335444 301219 840 434 0 328808 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 1341776
[startup+12.7003 s]
/proc/loadavg: 0.46 0.13 0.08 3/249 9898
/proc/meminfo: memFree=24198596/32770624 swapFree=6064/172888
[pid=9894] ppid=9887 vsize=1341776 CPUtime=12.64 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 175754 0 3 0 1234 30 0 0 20 0 1 0 82135 1373978624 301236 33554432000 4194304 5970956 140723403332288 140723403329624 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 335444 301236 844 434 0 328808 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 1341776
[startup+25.5003 s]
/proc/loadavg: 0.80 0.22 0.11 4/249 9898
/proc/meminfo: memFree=21128380/32770624 swapFree=6064/172772
[pid=9894] ppid=9887 vsize=1341920 CPUtime=25.44 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 182257 0 3 0 2513 31 0 0 20 0 1 0 82135 1374126080 301271 33554432000 4194304 5970956 140723403332288 140723403328936 4967778 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 335480 301271 844 434 0 328844 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 1341920
[startup+51.1003 s]
/proc/loadavg: 1.21 0.36 0.16 4/249 9898
/proc/meminfo: memFree=21126376/32770624 swapFree=6064/172772
[pid=9894] ppid=9887 vsize=1342052 CPUtime=51.04 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 195902 0 3 0 5072 32 0 0 20 0 1 0 82135 1374261248 301311 33554432000 4194304 5970956 140723403332288 140723403329624 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 335513 301311 845 434 0 328877 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 1342052
[startup+102.3 s]
/proc/loadavg: 1.66 0.62 0.26 4/248 9899
/proc/meminfo: memFree=21121752/32770624 swapFree=6064/173036
[pid=9894] ppid=9887 vsize=1343004 CPUtime=102.24 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 217317 0 3 0 10191 33 0 0 20 0 1 0 82135 1375236096 301536 33554432000 4194304 5970956 140723403332288 140723403329256 5070437 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 335751 301536 845 434 0 329115 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 1343004
[startup+162.3 s]
/proc/loadavg: 1.87 0.87 0.37 4/248 9903
/proc/meminfo: memFree=21116856/32770624 swapFree=6064/173868
[pid=9894] ppid=9887 vsize=1343664 CPUtime=162.23 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 239762 0 3 0 16189 34 0 0 20 0 1 0 82135 1375911936 302214 33554432000 4194304 5970956 140723403332288 140723403329256 4908985 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 335916 302214 845 434 0 329280 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 1343664
[startup+222.308 s]
/proc/loadavg: 1.95 1.07 0.47 4/248 9904
/proc/meminfo: memFree=21117084/32770624 swapFree=6064/173900
[pid=9894] ppid=9887 vsize=1344192 CPUtime=222.22 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 269808 0 3 0 22187 35 0 0 20 0 1 0 82135 1376452608 302364 33554432000 4194304 5970956 140723403332288 140723403329256 4964552 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336048 302364 845 434 0 329412 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1344192
[startup+282.3 s]
/proc/loadavg: 1.98 1.24 0.57 4/248 9905
/proc/meminfo: memFree=21114344/32770624 swapFree=6064/173900
[pid=9894] ppid=9887 vsize=1344348 CPUtime=282.21 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 285984 0 3 0 28185 36 0 0 20 0 1 0 82135 1376612352 302408 33554432000 4194304 5970956 140723403332288 140723403328968 5070112 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336087 302408 845 434 0 329451 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1344348
[startup+342.3 s]
/proc/loadavg: 1.99 1.38 0.66 4/245 9906
/proc/meminfo: memFree=21113524/32770624 swapFree=6064/173900
[pid=9894] ppid=9887 vsize=1344912 CPUtime=342.21 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 308577 0 3 0 34184 37 0 0 20 0 1 0 82135 1377189888 302504 33554432000 4194304 5970956 140723403332288 140723403329848 4908922 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336228 302504 845 434 0 329592 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1344912
[startup+402.3 s]
/proc/loadavg: 2.00 1.49 0.74 4/244 9907
/proc/meminfo: memFree=21114184/32770624 swapFree=6064/173988
[pid=9894] ppid=9887 vsize=1344912 CPUtime=402.21 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 313014 0 3 0 40183 38 0 0 20 0 1 0 82135 1377189888 302504 33554432000 4194304 5970956 140723403332288 140723403329848 4961411 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336228 302504 845 434 0 329592 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1344912
[startup+462.3 s]
/proc/loadavg: 2.00 1.59 0.82 4/243 9915
/proc/meminfo: memFree=21113520/32770624 swapFree=6064/174024
[pid=9894] ppid=9887 vsize=1344912 CPUtime=462.2 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 318246 0 3 0 46182 38 0 0 20 0 1 0 82135 1377189888 302504 33554432000 4194304 5970956 140723403332288 140723403329848 4967744 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336228 302504 845 434 0 329592 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 1344912
[startup+522.3 s]
/proc/loadavg: 2.10 1.69 0.90 4/243 9916
/proc/meminfo: memFree=21113812/32770624 swapFree=6064/174024
[pid=9894] ppid=9887 vsize=1344912 CPUtime=522.19 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 337417 0 3 0 52180 39 0 0 20 0 1 0 82135 1377189888 302520 33554432000 4194304 5970956 140723403332288 140723403329624 4967831 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336228 302520 845 434 0 329592 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 1344912
[startup+582.3 s]
/proc/loadavg: 2.04 1.75 0.97 4/243 9917
/proc/meminfo: memFree=21111752/32770624 swapFree=6064/174096
[pid=9894] ppid=9887 vsize=1345064 CPUtime=582.18 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 349122 0 3 0 58179 39 0 0 20 0 1 0 82135 1377345536 303064 33554432000 4194304 5970956 140723403332288 140723403328968 5052121 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336266 303064 845 434 0 329630 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 1345064
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.62 4/243 9964
/proc/meminfo: memFree=21108100/32770624 swapFree=6064/174488
[pid=9894] ppid=9887 vsize=1345260 CPUtime=1482.09 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 487838 0 3 0 148161 48 0 0 20 0 1 0 82135 1377546240 303149 33554432000 4194304 5970956 140723403332288 140723403319592 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336315 303149 845 434 0 329679 0
Current children cumulated CPU time (s) 1482.09
Current children cumulated vsize (KiB) 1345260
[startup+1542.31 s]
/proc/loadavg: 2.00 1.99 1.64 4/243 9965
/proc/meminfo: memFree=21108352/32770624 swapFree=6064/174488
[pid=9894] ppid=9887 vsize=1345260 CPUtime=1542.09 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 491789 0 3 0 154161 48 0 0 20 0 1 0 82135 1377546240 303149 33554432000 4194304 5970956 140723403332288 140723403319592 4968249 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336315 303149 845 434 0 329679 0
Current children cumulated CPU time (s) 1542.09
Current children cumulated vsize (KiB) 1345260
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.66 4/243 9966
/proc/meminfo: memFree=21108768/32770624 swapFree=6064/174632
[pid=9894] ppid=9887 vsize=1345260 CPUtime=1602.07 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 495911 0 3 0 160159 48 0 0 20 0 1 0 82135 1377546240 303149 33554432000 4194304 5970956 140723403332288 140723403319592 5319896 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336315 303149 845 434 0 329679 0
Current children cumulated CPU time (s) 1602.07
Current children cumulated vsize (KiB) 1345260
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.68 4/243 9974
/proc/meminfo: memFree=21108552/32770624 swapFree=6064/174660
[pid=9894] ppid=9887 vsize=1345260 CPUtime=1662.07 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 499070 0 3 0 166159 48 0 0 20 0 1 0 82135 1377546240 303149 33554432000 4194304 5970956 140723403332288 140723403319592 5052048 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336315 303149 845 434 0 329679 0
Current children cumulated CPU time (s) 1662.07
Current children cumulated vsize (KiB) 1345260
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.70 4/243 9975
/proc/meminfo: memFree=21108456/32770624 swapFree=6064/174660
[pid=9894] ppid=9887 vsize=1345260 CPUtime=1722.07 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 502844 0 3 0 172158 49 0 0 20 0 1 0 82135 1377546240 303149 33554432000 4194304 5970956 140723403332288 140723403319592 5052121 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336315 303149 845 434 0 329679 0
Current children cumulated CPU time (s) 1722.07
Current children cumulated vsize (KiB) 1345260
[startup+1782.3 s]
/proc/loadavg: 2.05 2.00 1.73 4/243 9976
/proc/meminfo: memFree=21107744/32770624 swapFree=6064/174728
[pid=9894] ppid=9887 vsize=1345260 CPUtime=1782.05 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 506614 0 3 0 178156 49 0 0 20 0 1 0 82135 1377546240 303149 33554432000 4194304 5970956 140723403332288 140723403319592 4908912 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336315 303149 845 434 0 329679 0
Current children cumulated CPU time (s) 1782.05
Current children cumulated vsize (KiB) 1345260
[startup+1842.3 s]
/proc/loadavg: 2.02 2.00 1.74 4/243 9977
/proc/meminfo: memFree=21108796/32770624 swapFree=6064/174756
[pid=9894] ppid=9887 vsize=1345260 CPUtime=1842.05 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 510322 0 3 0 184155 50 0 0 20 0 1 0 82135 1377546240 303150 33554432000 4194304 5970956 140723403332288 140723403319592 4961400 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336315 303150 845 434 0 329679 0
Current children cumulated CPU time (s) 1842.05
Current children cumulated vsize (KiB) 1345260
[startup+1902.3 s]
/proc/loadavg: 2.01 2.00 1.76 4/243 9978
/proc/meminfo: memFree=21109304/32770624 swapFree=6064/174788
[pid=9894] ppid=9887 vsize=1345260 CPUtime=1902.04 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 513982 0 3 0 190154 50 0 0 20 0 1 0 82135 1377546240 303150 33554432000 4194304 5970956 140723403332288 140723403319592 5052118 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336315 303150 845 434 0 329679 0
Current children cumulated CPU time (s) 1902.04
Current children cumulated vsize (KiB) 1345260
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.78 4/243 9979
/proc/meminfo: memFree=21108928/32770624 swapFree=6064/174788
[pid=9894] ppid=9887 vsize=1345260 CPUtime=1962.04 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 517218 0 3 0 196154 50 0 0 20 0 1 0 82135 1377546240 303150 33554432000 4194304 5970956 140723403332288 140723403319592 4967825 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336315 303150 845 434 0 329679 0
Current children cumulated CPU time (s) 1962.04
Current children cumulated vsize (KiB) 1345260
[startup+2022.3 s]
/proc/loadavg: 2.13 2.03 1.80 4/243 9980
/proc/meminfo: memFree=21109020/32770624 swapFree=6064/174828
[pid=9894] ppid=9887 vsize=1345260 CPUtime=2022.03 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 521008 0 3 0 202153 50 0 0 20 0 1 0 82135 1377546240 303150 33554432000 4194304 5970956 140723403332288 140723403319592 5070424 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336315 303150 845 434 0 329679 0
Current children cumulated CPU time (s) 2022.03
Current children cumulated vsize (KiB) 1345260
[startup+2082.3 s]
/proc/loadavg: 2.05 2.03 1.81 3/243 9981
/proc/meminfo: memFree=21109232/32770624 swapFree=6064/174828
[pid=9894] ppid=9887 vsize=1345260 CPUtime=2082.03 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 524718 0 3 0 208152 51 0 0 20 0 1 0 82135 1377546240 303151 33554432000 4194304 5970956 140723403332288 140723403319592 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336315 303151 845 434 0 329679 0
Current children cumulated CPU time (s) 2082.03
Current children cumulated vsize (KiB) 1345260
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 1.82 4/243 9982
/proc/meminfo: memFree=21109276/32770624 swapFree=6064/174880
[pid=9894] ppid=9887 vsize=1345260 CPUtime=2142.02 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 528413 0 3 0 214151 51 0 0 20 0 1 0 82135 1377546240 303151 33554432000 4194304 5970956 140723403332288 140723403319592 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336315 303151 845 434 0 329679 0
Current children cumulated CPU time (s) 2142.02
Current children cumulated vsize (KiB) 1345260
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 1.83 4/243 9983
/proc/meminfo: memFree=21109004/32770624 swapFree=6064/174912
[pid=9894] ppid=9887 vsize=1345260 CPUtime=2202.02 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 531581 0 3 0 220151 51 0 0 20 0 1 0 82135 1377546240 303151 33554432000 4194304 5970956 140723403332288 140723403319592 5070768 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336315 303151 845 434 0 329679 0
Current children cumulated CPU time (s) 2202.02
Current children cumulated vsize (KiB) 1345260
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.85 4/243 9991
/proc/meminfo: memFree=21107816/32770624 swapFree=6064/174944
[pid=9894] ppid=9887 vsize=1345260 CPUtime=2262 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 535578 0 3 0 226149 51 0 0 20 0 1 0 82135 1377546240 303151 33554432000 4194304 5970956 140723403332288 140723403319592 4964552 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336315 303151 845 434 0 329679 0
Current children cumulated CPU time (s) 2262
Current children cumulated vsize (KiB) 1345260
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.86 4/243 9992
/proc/meminfo: memFree=21108408/32770624 swapFree=6064/174944
[pid=9894] ppid=9887 vsize=1345260 CPUtime=2322 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 539271 0 3 0 232149 51 0 0 20 0 1 0 82135 1377546240 303151 33554432000 4194304 5970956 140723403332288 140723403319592 4964586 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336315 303151 845 434 0 329679 0
Current children cumulated CPU time (s) 2322
Current children cumulated vsize (KiB) 1345260
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.87 4/243 9993
/proc/meminfo: memFree=21107624/32770624 swapFree=6064/174944
[pid=9894] ppid=9887 vsize=1345260 CPUtime=2381.99 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 542363 0 3 0 238148 51 0 0 20 0 1 0 82135 1377546240 303152 33554432000 4194304 5970956 140723403332288 140723403319592 4961400 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336315 303152 845 434 0 329679 0
Current children cumulated CPU time (s) 2381.99
Current children cumulated vsize (KiB) 1345260
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 1.87 4/243 9993
/proc/meminfo: memFree=21107604/32770624 swapFree=6064/174944
[pid=9894] ppid=9887 vsize=1345260 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/9894/stat : 9894 (cosoco) R 9887 9894 9830 0 -1 4202496 544437 0 3 0 239958 51 0 0 20 0 1 0 82135 1377546240 303152 33554432000 4194304 5970956 140723403332288 140723403319592 4961271 0 0 4096 8405026 0 0 0 17 13 0 0 1 0 0 8070896 8075904 35123200 140723403338940 140723403339075 140723403339075 140723403341774 0
/proc/9894/statm: 336315 303152 845 434 0 329679 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 1345260
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 9894 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.46
CPU time (s): 2400.16
CPU user time (s): 2399.58
CPU system time (s): 0.575937
CPU usage (%): 99.9876
Max. virtual memory (cumulated for all children) (KiB): 1345260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.58
system time used= 0.575937
maximum resident set size= 1212656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 544572
page faults= 3
swaps= 0
block input operations= 2736
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 120679
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.96031 second user time and 11.4364 second system time
The end