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-4241167-1500648173/watcher-4241167-1500648173 -o /tmp/evaluation-result-4241167-1500648173/solver-4241167-1500648173 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500648172-9858 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241167-1500648173.xml
pid=9882
running on 8 cores: 0,2,4,6,8,10,12,14
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.00 0.07 0.13 4/244 9889
/proc/meminfo: memFree=32080444/32770624 swapFree=6620/169928
[pid=9889] ppid=9882 vsize=2036 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) D 9882 9889 9825 0 -1 1077936128 157 0 0 0 0 0 0 0 20 0 1 0 82276 2084864 1 33554432000 4194304 5970956 140724900526288 140724900523528 140063657469639 0 0 4096 0 18446744072101600804 0 0 17 12 0 0 0 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 509 1 0 434 0 39 0
[startup+0.100159 s]
/proc/loadavg: 0.00 0.07 0.13 4/244 9889
/proc/meminfo: memFree=32080444/32770624 swapFree=6620/169928
[pid=9889] ppid=9882 vsize=28964 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 1518 0 3 0 5 0 0 0 20 0 1 0 82276 29659136 1348 33554432000 4194304 5970956 140724900526288 140724900520072 140063641365477 0 0 4096 0 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 7241 1348 782 434 0 605 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 28964
[startup+0.200326 s]
/proc/loadavg: 0.00 0.07 0.13 4/244 9889
/proc/meminfo: memFree=32080444/32770624 swapFree=6620/169928
[pid=9889] ppid=9882 vsize=30708 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 1971 0 3 0 14 0 0 0 20 0 1 0 82276 31444992 1776 33554432000 4194304 5970956 140724900526288 140724900519880 4966541 0 0 4096 0 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 7677 1776 782 434 0 1041 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 30708
[startup+0.300245 s]
/proc/loadavg: 0.00 0.07 0.13 4/244 9889
/proc/meminfo: memFree=32080444/32770624 swapFree=6620/169928
[pid=9889] ppid=9882 vsize=58876 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 7118 0 3 0 24 1 0 0 20 0 1 0 82276 60289024 8467 33554432000 4194304 5970956 140724900526288 140724900523112 140063641365477 0 0 4096 8404994 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 14719 8467 825 434 0 8083 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 58876
[startup+0.700226 s]
/proc/loadavg: 0.00 0.07 0.13 4/244 9889
/proc/meminfo: memFree=32080444/32770624 swapFree=6620/169928
[pid=9889] ppid=9882 vsize=324108 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 42892 0 3 0 57 8 0 0 20 0 1 0 82276 331886592 68284 33554432000 4194304 5970956 140724900526288 140724900523112 140063641434667 0 0 4096 8404994 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 81027 68284 825 434 0 74391 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 324108
[startup+1.50025 s]
/proc/loadavg: 0.00 0.07 0.13 4/247 9892
/proc/meminfo: memFree=31546892/32770624 swapFree=6620/171276
[pid=9889] ppid=9882 vsize=843928 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 105493 0 3 0 126 19 0 0 20 0 1 0 82276 864182272 184996 33554432000 4194304 5970956 140724900526288 140724900523112 140063641434667 0 0 4096 8404994 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 210982 184996 825 434 0 204346 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 843928
[startup+3.1002 s]
/proc/loadavg: 0.00 0.07 0.13 4/247 9892
/proc/meminfo: memFree=30842220/32770624 swapFree=6620/171452
[pid=9889] ppid=9882 vsize=1934060 CPUtime=3.05 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 211400 0 3 0 267 38 0 0 20 0 1 0 82276 1980477440 383535 33554432000 4194304 5970956 140724900526288 140724900523112 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 483515 383535 840 434 0 476879 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 1934060
[startup+6.30021 s]
/proc/loadavg: 0.16 0.10 0.14 4/247 9892
/proc/meminfo: memFree=30264028/32770624 swapFree=6620/171452
[pid=9889] ppid=9882 vsize=1934428 CPUtime=6.25 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 215947 0 3 0 587 38 0 0 20 0 1 0 82276 1980854272 383612 33554432000 4194304 5970956 140724900526288 140724900523112 5070830 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 483607 383612 840 434 0 476971 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 1934428
[startup+12.7002 s]
/proc/loadavg: 0.31 0.13 0.15 4/247 9892
/proc/meminfo: memFree=29883844/32770624 swapFree=6620/171452
[pid=9889] ppid=9882 vsize=1934428 CPUtime=12.65 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 221864 0 3 0 1226 39 0 0 20 0 1 0 82276 1980854272 383623 33554432000 4194304 5970956 140724900526288 140724900523624 5272605 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 483607 383623 844 434 0 476971 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 1934428
[startup+25.5003 s]
/proc/loadavg: 0.68 0.22 0.18 3/247 9892
/proc/meminfo: memFree=29126204/32770624 swapFree=6620/171452
[pid=9889] ppid=9882 vsize=1934428 CPUtime=25.44 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 229506 0 3 0 2505 39 0 0 20 0 1 0 82276 1980854272 383625 33554432000 4194304 5970956 140724900526288 140724900523624 5070452 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 483607 383625 844 434 0 476971 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 1934428
[startup+51.1003 s]
/proc/loadavg: 1.27 0.40 0.24 3/247 9892
/proc/meminfo: memFree=26963888/32770624 swapFree=6620/171560
[pid=9889] ppid=9882 vsize=1934572 CPUtime=51.04 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 237103 0 3 0 5064 40 0 0 20 0 1 0 82276 1981001728 383652 33554432000 4194304 5970956 140724900526288 140724900523048 5052118 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 483643 383652 844 434 0 477007 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 1934572
[startup+102.3 s]
/proc/loadavg: 1.68 0.64 0.33 3/247 9893
/proc/meminfo: memFree=26061704/32770624 swapFree=6620/171588
[pid=9889] ppid=9882 vsize=1936200 CPUtime=102.23 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 270231 0 3 0 10182 41 0 0 20 0 1 0 82276 1982668800 384583 33554432000 4194304 5970956 140724900526288 140724900523048 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484050 384583 844 434 0 477414 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 1936200
[startup+162.3 s]
/proc/loadavg: 1.88 0.89 0.44 3/247 9897
/proc/meminfo: memFree=25750188/32770624 swapFree=6620/171904
[pid=9889] ppid=9882 vsize=1937824 CPUtime=162.22 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 287477 0 3 0 16180 42 0 0 20 0 1 0 82276 1984331776 384971 33554432000 4194304 5970956 140724900526288 140724900513592 5052062 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484456 384971 844 434 0 477820 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 1937824
[startup+222.308 s]
/proc/loadavg: 1.96 1.09 0.53 3/247 9898
/proc/meminfo: memFree=25650636/32770624 swapFree=6620/171912
[pid=9889] ppid=9882 vsize=1937956 CPUtime=222.22 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 302584 0 3 0 22180 42 0 0 20 0 1 0 82276 1984466944 385046 33554432000 4194304 5970956 140724900526288 140724900523048 4961264 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484489 385046 844 434 0 477853 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1937956
[startup+282.3 s]
/proc/loadavg: 1.98 1.26 0.63 3/247 9899
/proc/meminfo: memFree=25627840/32770624 swapFree=6620/171972
[pid=9889] ppid=9882 vsize=1938088 CPUtime=282.23 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 306291 0 3 0 28180 43 0 0 20 0 1 0 82276 1984602112 385585 33554432000 4194304 5970956 140724900526288 140724900523256 5070435 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484522 385585 844 434 0 477886 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1938088
[startup+342.3 s]
/proc/loadavg: 1.99 1.39 0.71 3/244 9900
/proc/meminfo: memFree=25490924/32770624 swapFree=6620/171980
[pid=9889] ppid=9882 vsize=1938368 CPUtime=342.22 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 318271 0 3 0 34179 43 0 0 20 0 1 0 82276 1984888832 385647 33554432000 4194304 5970956 140724900526288 140724900523048 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484592 385647 844 434 0 477956 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1938368
[startup+402.3 s]
/proc/loadavg: 2.00 1.50 0.79 3/244 9901
/proc/meminfo: memFree=25418144/32770624 swapFree=6620/172028
[pid=9889] ppid=9882 vsize=1938500 CPUtime=402.23 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 332530 0 3 0 40179 44 0 0 20 0 1 0 82276 1985024000 385675 33554432000 4194304 5970956 140724900526288 140724900523256 4908971 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484625 385675 844 434 0 477989 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1938500
[startup+462.3 s]
/proc/loadavg: 2.00 1.59 0.87 3/243 9909
/proc/meminfo: memFree=25407328/32770624 swapFree=6620/172080
[pid=9889] ppid=9882 vsize=1938780 CPUtime=462.24 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 347597 0 3 0 46179 45 0 0 20 0 1 0 82276 1985310720 385732 33554432000 4194304 5970956 140724900526288 140724900523048 4964586 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484695 385732 844 434 0 478059 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 1938780
[startup+522.3 s]
/proc/loadavg: 2.00 1.67 0.94 3/243 9910
/proc/meminfo: memFree=25381832/32770624 swapFree=6620/172080
[pid=9889] ppid=9882 vsize=1938780 CPUtime=522.23 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 360643 0 3 0 52178 45 0 0 20 0 1 0 82276 1985310720 386276 33554432000 4194304 5970956 140724900526288 140724900523048 5070400 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484695 386276 844 434 0 478059 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 1938780
[startup+582.3 s]
/proc/loadavg: 2.06 1.76 1.02 3/243 9911
/proc/meminfo: memFree=25376492/32770624 swapFree=6620/172136
[pid=9889] ppid=9882 vsize=1939192 CPUtime=582.24 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 372866 0 3 0 58178 46 0 0 20 0 1 0 82276 1985732608 386355 33554432000 4194304 5970956 140724900526288 140724900523048 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484798 386355 844 434 0 478162 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 1939192
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.62 3/243 9959
/proc/meminfo: memFree=25032644/32770624 swapFree=6620/172596
[pid=9889] ppid=9882 vsize=1939572 CPUtime=1482.22 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 398291 0 3 0 148175 47 0 0 20 0 1 0 82276 1986121728 387380 33554432000 4194304 5970956 140724900526288 140724900523048 4967828 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484893 387380 844 434 0 478257 0
Current children cumulated CPU time (s) 1482.22
Current children cumulated vsize (KiB) 1939572
[startup+1542.31 s]
/proc/loadavg: 2.00 1.99 1.65 3/243 9960
/proc/meminfo: memFree=25030012/32770624 swapFree=6620/172600
[pid=9889] ppid=9882 vsize=1939572 CPUtime=1542.23 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 399718 0 3 0 154176 47 0 0 20 0 1 0 82276 1986121728 387389 33554432000 4194304 5970956 140724900526288 140724900523048 4977332 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484893 387389 844 434 0 478257 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 1939572
[startup+1602.3 s]
/proc/loadavg: 2.07 2.01 1.68 3/243 9961
/proc/meminfo: memFree=25030184/32770624 swapFree=6620/172656
[pid=9889] ppid=9882 vsize=1939788 CPUtime=1602.22 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 401004 0 3 0 160175 47 0 0 20 0 1 0 82276 1986342912 387391 33554432000 4194304 5970956 140724900526288 140724900523624 4909022 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484947 387391 844 434 0 478311 0
Current children cumulated CPU time (s) 1602.22
Current children cumulated vsize (KiB) 1939788
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.70 3/244 9970
/proc/meminfo: memFree=25022456/32770624 swapFree=6620/172688
[pid=9889] ppid=9882 vsize=1939788 CPUtime=1662.21 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 401718 0 3 0 166174 47 0 0 20 0 1 0 82276 1986342912 387399 33554432000 4194304 5970956 140724900526288 140724900523624 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484947 387399 844 434 0 478311 0
Current children cumulated CPU time (s) 1662.21
Current children cumulated vsize (KiB) 1939788
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.72 3/244 9971
/proc/meminfo: memFree=25019908/32770624 swapFree=6620/172688
[pid=9889] ppid=9882 vsize=1939788 CPUtime=1722.2 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 403309 0 3 0 172173 47 0 0 20 0 1 0 82276 1986342912 387401 33554432000 4194304 5970956 140724900526288 140724900523624 4964864 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484947 387401 844 434 0 478311 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 1939788
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.74 3/244 9972
/proc/meminfo: memFree=24996416/32770624 swapFree=6620/172752
[pid=9889] ppid=9882 vsize=1939788 CPUtime=1782.21 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 404328 0 3 0 178173 48 0 0 20 0 1 0 82276 1986342912 387401 33554432000 4194304 5970956 140724900526288 140724900523624 4961271 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484947 387401 844 434 0 478311 0
Current children cumulated CPU time (s) 1782.21
Current children cumulated vsize (KiB) 1939788
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.75 3/244 9973
/proc/meminfo: memFree=24995372/32770624 swapFree=6620/172752
[pid=9889] ppid=9882 vsize=1939788 CPUtime=1842.2 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 404879 0 3 0 184172 48 0 0 20 0 1 0 82276 1986342912 387401 33554432000 4194304 5970956 140724900526288 140724900523624 4908985 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484947 387401 844 434 0 478311 0
Current children cumulated CPU time (s) 1842.2
Current children cumulated vsize (KiB) 1939788
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.77 3/244 9974
/proc/meminfo: memFree=24995828/32770624 swapFree=6620/172804
[pid=9889] ppid=9882 vsize=1939788 CPUtime=1902.2 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 405500 0 3 0 190172 48 0 0 20 0 1 0 82276 1986342912 387401 33554432000 4194304 5970956 140724900526288 140724900523624 4908912 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484947 387401 844 434 0 478311 0
Current children cumulated CPU time (s) 1902.2
Current children cumulated vsize (KiB) 1939788
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.78 3/243 9975
/proc/meminfo: memFree=24995368/32770624 swapFree=6620/172804
[pid=9889] ppid=9882 vsize=1939920 CPUtime=1962.19 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 407083 0 3 0 196171 48 0 0 20 0 1 0 82276 1986478080 387421 33554432000 4194304 5970956 140724900526288 140724900523048 4970939 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484980 387421 844 434 0 478344 0
Current children cumulated CPU time (s) 1962.19
Current children cumulated vsize (KiB) 1939920
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.79 3/243 9976
/proc/meminfo: memFree=24994960/32770624 swapFree=6620/172856
[pid=9889] ppid=9882 vsize=1939920 CPUtime=2022.19 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 407888 0 3 0 202171 48 0 0 20 0 1 0 82276 1986478080 387421 33554432000 4194304 5970956 140724900526288 140724900523048 5070864 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484980 387421 844 434 0 478344 0
Current children cumulated CPU time (s) 2022.19
Current children cumulated vsize (KiB) 1939920
[startup+2082.3 s]
/proc/loadavg: 2.08 2.04 1.82 3/243 9977
/proc/meminfo: memFree=24990600/32770624 swapFree=6620/172856
[pid=9889] ppid=9882 vsize=1939920 CPUtime=2082.19 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 409175 0 3 0 208171 48 0 0 20 0 1 0 82276 1986478080 387421 33554432000 4194304 5970956 140724900526288 140724900513592 5093120 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484980 387421 844 434 0 478344 0
Current children cumulated CPU time (s) 2082.19
Current children cumulated vsize (KiB) 1939920
[startup+2142.3 s]
/proc/loadavg: 2.03 2.04 1.83 3/243 9978
/proc/meminfo: memFree=24984764/32770624 swapFree=6620/172920
[pid=9889] ppid=9882 vsize=1939920 CPUtime=2142.18 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 410180 0 3 0 214170 48 0 0 20 0 1 0 82276 1986478080 387426 33554432000 4194304 5970956 140724900526288 140724900513592 5070435 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484980 387426 844 434 0 478344 0
Current children cumulated CPU time (s) 2142.18
Current children cumulated vsize (KiB) 1939920
[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 1.84 3/243 9979
/proc/meminfo: memFree=24969376/32770624 swapFree=6620/172952
[pid=9889] ppid=9882 vsize=1939920 CPUtime=2202.18 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 410914 0 3 0 220170 48 0 0 20 0 1 0 82276 1986478080 387426 33554432000 4194304 5970956 140724900526288 140724900513592 5319631 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484980 387426 844 434 0 478344 0
Current children cumulated CPU time (s) 2202.18
Current children cumulated vsize (KiB) 1939920
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 1.85 3/243 9987
/proc/meminfo: memFree=24967328/32770624 swapFree=6620/172956
[pid=9889] ppid=9882 vsize=1939920 CPUtime=2262.16 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 411594 0 3 0 226168 48 0 0 20 0 1 0 82276 1986478080 387431 33554432000 4194304 5970956 140724900526288 140724900513592 4909007 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484980 387431 844 434 0 478344 0
Current children cumulated CPU time (s) 2262.16
Current children cumulated vsize (KiB) 1939920
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 1.86 3/243 9988
/proc/meminfo: memFree=24966456/32770624 swapFree=6620/172956
[pid=9889] ppid=9882 vsize=1939992 CPUtime=2322.16 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 412290 0 3 0 232168 48 0 0 20 0 1 0 82276 1986551808 387436 33554432000 4194304 5970956 140724900526288 140724900523560 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484998 387436 844 434 0 478362 0
Current children cumulated CPU time (s) 2322.16
Current children cumulated vsize (KiB) 1939992
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/243 9989
/proc/meminfo: memFree=24959476/32770624 swapFree=6620/173016
[pid=9889] ppid=9882 vsize=1939992 CPUtime=2382.16 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 413104 0 3 0 238168 48 0 0 20 0 1 0 82276 1986551808 387437 33554432000 4194304 5970956 140724900526288 140724900523560 4967825 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484998 387437 844 434 0 478362 0
Current children cumulated CPU time (s) 2382.16
Current children cumulated vsize (KiB) 1939992
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 1.87 3/243 9989
/proc/meminfo: memFree=24949772/32770624 swapFree=6620/173016
[pid=9889] ppid=9882 vsize=1939992 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/9889/stat : 9889 (cosoco) R 9882 9889 9825 0 -1 4202496 413660 0 3 0 239958 48 0 0 20 0 1 0 82276 1986551808 387437 33554432000 4194304 5970956 140724900526288 140724900523560 5052080 0 0 4096 8405026 0 0 0 17 12 0 0 2 0 0 8070896 8075904 16445440 140724900529340 140724900529475 140724900529475 140724900532174 0
/proc/9889/statm: 484998 387437 844 434 0 478362 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 1939992
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 9889 sig 9
??? kill -9889 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.21
CPU time (s): 2400.08
CPU user time (s): 2399.59
CPU system time (s): 0.49199
CPU usage (%): 99.9943
Max. virtual memory (cumulated for all children) (KiB): 1939992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.59
system time used= 0.49199
maximum resident set size= 1549796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 413693
page faults= 3
swaps= 0
block input operations= 1312
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 101
involuntary context switches= 120710
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.5495 second user time and 10.9814 second system time
The end