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-4240763-1500626305/watcher-4240763-1500626305 -o /tmp/evaluation-result-4240763-1500626305/solver-4240763-1500626305 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500623778-4007 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240763-1500626305.xml
pid=4505
running on 4 cores: 1,3,5,7
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: 4.86 2.85 2.17 4/191 4508
/proc/meminfo: memFree=13611036/32770624 swapFree=6264/3500996
[pid=4508] ppid=4505 vsize=26992 CPUtime=0 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 886 0 1 0 0 0 0 0 20 0 1 0 15907145 27639808 700 33554432000 4194304 5970956 140728860265344 140728860261992 140139312186266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 6748 700 623 434 0 112 0
[startup+0.100126 s]
/proc/loadavg: 4.86 2.85 2.17 4/191 4508
/proc/meminfo: memFree=13611036/32770624 swapFree=6264/3500996
[pid=4508] ppid=4505 vsize=34880 CPUtime=0.09 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 3013 0 1 0 9 0 0 0 20 0 1 0 15907145 35717120 2833 33554432000 4194304 5970956 140728860265344 140728860257088 140139299421157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 8720 2833 792 434 0 2084 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34880
[startup+0.200327 s]
/proc/loadavg: 4.86 2.85 2.17 4/191 4508
/proc/meminfo: memFree=13611036/32770624 swapFree=6264/3500996
[pid=4508] ppid=4505 vsize=37904 CPUtime=0.19 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 3761 0 1 0 19 0 0 0 20 0 1 0 15907145 38813696 3556 33554432000 4194304 5970956 140728860265344 140728860258280 140139299421157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 9476 3556 792 434 0 2840 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37904
[startup+0.30026 s]
/proc/loadavg: 4.86 2.85 2.17 4/191 4508
/proc/meminfo: memFree=13611036/32770624 swapFree=6264/3500996
[pid=4508] ppid=4505 vsize=41592 CPUtime=0.29 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 4682 0 1 0 29 0 0 0 20 0 1 0 15907145 42590208 4479 33554432000 4194304 5970956 140728860265344 140728860259576 140139299421157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 10398 4479 793 434 0 3762 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41592
[startup+0.70022 s]
/proc/loadavg: 4.86 2.85 2.17 4/191 4508
/proc/meminfo: memFree=13611036/32770624 swapFree=6264/3500996
[pid=4508] ppid=4505 vsize=56176 CPUtime=0.68 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 8343 0 1 0 68 0 0 0 20 0 1 0 15907145 57524224 8158 33554432000 4194304 5970956 140728860265344 140728860259576 140139299421157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 14044 8158 793 434 0 7408 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 56176
[startup+1.50018 s]
/proc/loadavg: 4.87 2.89 2.19 6/192 4509
/proc/meminfo: memFree=13380172/32770624 swapFree=6264/3682204
[pid=4508] ppid=4505 vsize=85612 CPUtime=1.48 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 15698 0 1 0 147 1 0 0 20 0 1 0 15907145 87666688 15517 33554432000 4194304 5970956 140728860265344 140728860259576 140139299418764 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 21403 15517 793 434 0 14767 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 85612
[startup+3.1002 s]
/proc/loadavg: 4.87 2.89 2.19 4/192 4509
/proc/meminfo: memFree=13181824/32770624 swapFree=6264/3796920
[pid=4508] ppid=4505 vsize=144696 CPUtime=3.09 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 31259 0 1 0 306 3 0 0 20 0 1 0 15907145 148168704 30289 33554432000 4194304 5970956 140728860265344 140728860259576 140139299421157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 36174 30289 793 434 0 29538 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 144696
[startup+6.3002 s]
/proc/loadavg: 4.88 2.92 2.20 4/192 4509
/proc/meminfo: memFree=12794672/32770624 swapFree=6264/4140908
[pid=4508] ppid=4505 vsize=178964 CPUtime=6.29 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 41481 0 1 0 625 4 0 0 20 0 1 0 15907145 183259136 37820 33554432000 4194304 5970956 140728860265344 140728860262600 5098954 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 44741 37820 830 434 0 38105 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 178964
[startup+12.7002 s]
/proc/loadavg: 4.89 2.96 2.22 5/192 4509
/proc/meminfo: memFree=12318264/32770624 swapFree=6264/4597336
[pid=4508] ppid=4505 vsize=179096 CPUtime=12.69 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 41657 0 1 0 1265 4 0 0 20 0 1 0 15907145 183394304 37824 33554432000 4194304 5970956 140728860265344 140728860262408 4964584 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 44774 37824 830 434 0 38138 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 179096
[startup+25.5002 s]
/proc/loadavg: 4.91 3.02 2.25 3/192 4509
/proc/meminfo: memFree=11774528/32770624 swapFree=6264/5132380
[pid=4508] ppid=4505 vsize=179492 CPUtime=25.49 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 42023 0 1 0 2545 4 0 0 20 0 1 0 15907145 183799808 37916 33554432000 4194304 5970956 140728860265344 140728860262408 4908985 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 44873 37916 830 434 0 38237 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 179492
[startup+51.1002 s]
/proc/loadavg: 4.94 3.21 2.33 4/192 4509
/proc/meminfo: memFree=10673768/32770624 swapFree=6264/6200476
[pid=4508] ppid=4505 vsize=180284 CPUtime=51.08 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 42409 0 1 0 5104 4 0 0 20 0 1 0 15907145 184610816 38082 33554432000 4194304 5970956 140728860265344 140728860262408 5052093 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 45071 38082 830 434 0 38435 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 180284
[startup+102.3 s]
/proc/loadavg: 4.98 3.49 2.47 4/194 4518
/proc/meminfo: memFree=6938232/32770624 swapFree=6264/9837260
[pid=4508] ppid=4505 vsize=181604 CPUtime=102.29 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 42946 0 1 0 10225 4 0 0 20 0 1 0 15907145 185962496 38401 33554432000 4194304 5970956 140728860265344 140728860262408 4964584 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 45401 38401 830 434 0 38765 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 181604
[startup+162.3 s]
/proc/loadavg: 4.99 3.76 2.63 6/194 4519
/proc/meminfo: memFree=2268368/32770624 swapFree=6264/14330120
[pid=4508] ppid=4505 vsize=183320 CPUtime=162.27 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 43646 0 1 0 16223 4 0 0 20 0 1 0 15907145 187719680 38867 33554432000 4194304 5970956 140728860265344 140728860262408 5098954 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 45830 38867 830 434 0 39194 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 183320
[startup+222.306 s]
/proc/loadavg: 5.00 3.99 2.78 6/194 4520
/proc/meminfo: memFree=197372/32770624 swapFree=6264/16355212
[pid=4508] ppid=4505 vsize=185036 CPUtime=222.27 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 44277 0 1 0 22223 4 0 0 20 0 1 0 15907145 189476864 39296 33554432000 4194304 5970956 140728860265344 140728860262408 5052080 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 46259 39296 830 434 0 39623 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 185036
[startup+282.3 s]
/proc/loadavg: 5.08 4.20 2.93 4/193 4521
/proc/meminfo: memFree=201832/32770624 swapFree=6264/16375700
[pid=4508] ppid=4505 vsize=186752 CPUtime=282.26 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 44973 0 1 0 28222 4 0 0 20 0 1 0 15907145 191234048 39706 33554432000 4194304 5970956 140728860265344 140728860262408 4908985 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 46688 39706 830 434 0 40052 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 186752
[startup+342.3 s]
/proc/loadavg: 5.03 4.35 3.06 3/193 4522
/proc/meminfo: memFree=210248/32770624 swapFree=6264/16379928
[pid=4508] ppid=4505 vsize=188336 CPUtime=342.26 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 45603 0 1 0 34222 4 0 0 20 0 1 0 15907145 192856064 40134 33554432000 4194304 5970956 140728860265344 140728860262408 5098944 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 47084 40134 830 434 0 40448 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 188336
[startup+402.3 s]
/proc/loadavg: 4.52 4.34 3.14 3/191 4523
/proc/meminfo: memFree=218704/32770624 swapFree=6264/16379980
[pid=4508] ppid=4505 vsize=189920 CPUtime=402.25 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 46243 0 1 0 40221 4 0 0 20 0 1 0 15907145 194478080 40493 33554432000 4194304 5970956 140728860265344 140728860262408 5069728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 47480 40493 830 434 0 40844 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 189920
[startup+462.3 s]
/proc/loadavg: 4.19 4.28 3.19 3/191 4524
/proc/meminfo: memFree=268052/32770624 swapFree=6264/16338372
[pid=4508] ppid=4505 vsize=191768 CPUtime=462.25 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 46938 0 1 0 46221 4 0 0 20 0 1 0 15907145 196370432 40963 33554432000 4194304 5970956 140728860265344 140728860262408 5098944 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 47942 40963 830 434 0 41306 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 191768
[startup+522.3 s]
/proc/loadavg: 3.51 4.10 3.20 3/188 4710
/proc/meminfo: memFree=31645824/32770624 swapFree=6264/10388
[pid=4508] ppid=4505 vsize=193352 CPUtime=522.24 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 47546 0 1 0 52220 4 0 0 20 0 1 0 15907145 197992448 41352 33554432000 4194304 5970956 140728860265344 140728860262408 5052093 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 48338 41352 830 434 0 41702 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 193352
[startup+582.3 s]
/proc/loadavg: 2.55 3.72 3.13 3/188 4711
/proc/meminfo: memFree=31640228/32770624 swapFree=6264/10484
[pid=4508] ppid=4505 vsize=195068 CPUtime=582.24 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 48059 0 1 0 58220 4 0 0 20 0 1 0 15907145 199749632 41809 33554432000 4194304 5970956 140728860265344 140728860262408 5098954 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 48767 41809 830 434 0 42131 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 195068
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.09 2.43 3/188 4766
/proc/meminfo: memFree=31602772/32770624 swapFree=6264/11364
[pid=4508] ppid=4505 vsize=220544 CPUtime=1482.17 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 55764 0 1 0 148212 5 0 0 20 0 1 0 15907145 225837056 48217 33554432000 4194304 5970956 140728860265344 140728860262408 5070400 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 55136 48217 831 434 0 48500 0
Current children cumulated CPU time (s) 1482.17
Current children cumulated vsize (KiB) 220544
[startup+1542.31 s]
/proc/loadavg: 2.04 2.09 2.41 3/188 4767
/proc/meminfo: memFree=31601524/32770624 swapFree=6264/11396
[pid=4508] ppid=4505 vsize=222260 CPUtime=1542.17 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 56267 0 1 0 154212 5 0 0 20 0 1 0 15907145 227594240 48621 33554432000 4194304 5970956 140728860265344 140728860262408 4967728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 55565 48621 831 434 0 48929 0
Current children cumulated CPU time (s) 1542.17
Current children cumulated vsize (KiB) 222260
[startup+1602.3 s]
/proc/loadavg: 2.02 2.07 2.39 3/188 4768
/proc/meminfo: memFree=31599652/32770624 swapFree=6264/11440
[pid=4508] ppid=4505 vsize=223976 CPUtime=1602.17 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 56729 0 1 0 160211 6 0 0 20 0 1 0 15907145 229351424 49025 33554432000 4194304 5970956 140728860265344 140728860262408 4908952 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 55994 49025 831 434 0 49358 0
Current children cumulated CPU time (s) 1602.17
Current children cumulated vsize (KiB) 223976
[startup+1662.3 s]
/proc/loadavg: 2.01 2.06 2.36 3/187 4769
/proc/meminfo: memFree=31598536/32770624 swapFree=6264/11460
[pid=4508] ppid=4505 vsize=225560 CPUtime=1662.17 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 57191 0 1 0 166211 6 0 0 20 0 1 0 15907145 230973440 49431 33554432000 4194304 5970956 140728860265344 140728860262408 5098954 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 56390 49431 831 434 0 49754 0
Current children cumulated CPU time (s) 1662.17
Current children cumulated vsize (KiB) 225560
[startup+1722.3 s]
/proc/loadavg: 2.00 2.05 2.34 3/187 4770
/proc/meminfo: memFree=31596552/32770624 swapFree=6264/11500
[pid=4508] ppid=4505 vsize=227276 CPUtime=1722.16 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 57690 0 1 0 172210 6 0 0 20 0 1 0 15907145 232730624 49904 33554432000 4194304 5970956 140728860265344 140728860262408 4908982 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 56819 49904 831 434 0 50183 0
Current children cumulated CPU time (s) 1722.16
Current children cumulated vsize (KiB) 227276
[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.32 3/187 4771
/proc/meminfo: memFree=31595080/32770624 swapFree=6264/11536
[pid=4508] ppid=4505 vsize=228992 CPUtime=1782.16 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 58318 0 1 0 178210 6 0 0 20 0 1 0 15907145 234487808 50277 33554432000 4194304 5970956 140728860265344 140728860262408 5070435 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 57248 50277 831 434 0 50612 0
Current children cumulated CPU time (s) 1782.16
Current children cumulated vsize (KiB) 228992
[startup+1842.3 s]
/proc/loadavg: 2.02 2.04 2.30 3/187 4772
/proc/meminfo: memFree=31593204/32770624 swapFree=6264/11576
[pid=4508] ppid=4505 vsize=230708 CPUtime=1842.15 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 58880 0 1 0 184209 6 0 0 20 0 1 0 15907145 236244992 50754 33554432000 4194304 5970956 140728860265344 140728860262408 5052090 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 57677 50754 831 434 0 51041 0
Current children cumulated CPU time (s) 1842.15
Current children cumulated vsize (KiB) 230708
[startup+1902.3 s]
/proc/loadavg: 2.01 2.04 2.28 3/188 4781
/proc/meminfo: memFree=31590620/32770624 swapFree=6264/11612
[pid=4508] ppid=4505 vsize=232292 CPUtime=1902.15 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 59344 0 1 0 190209 6 0 0 20 0 1 0 15907145 237867008 51156 33554432000 4194304 5970956 140728860265344 140728860262408 5070437 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 58073 51156 831 434 0 51437 0
Current children cumulated CPU time (s) 1902.15
Current children cumulated vsize (KiB) 232292
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.27 3/188 4782
/proc/meminfo: memFree=31589580/32770624 swapFree=6264/11660
[pid=4508] ppid=4505 vsize=234140 CPUtime=1962.14 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 59849 0 1 0 196208 6 0 0 20 0 1 0 15907145 239759360 51624 33554432000 4194304 5970956 140728860265344 140728860262408 5098948 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 58535 51624 831 434 0 51899 0
Current children cumulated CPU time (s) 1962.14
Current children cumulated vsize (KiB) 234140
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.25 3/188 4783
/proc/meminfo: memFree=31588300/32770624 swapFree=6264/11688
[pid=4508] ppid=4505 vsize=235724 CPUtime=2022.14 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 60316 0 1 0 202208 6 0 0 20 0 1 0 15907145 241381376 52026 33554432000 4194304 5970956 140728860265344 140728860262408 4908985 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 58931 52026 831 434 0 52295 0
Current children cumulated CPU time (s) 2022.14
Current children cumulated vsize (KiB) 235724
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.23 3/188 4784
/proc/meminfo: memFree=31586692/32770624 swapFree=6264/11720
[pid=4508] ppid=4505 vsize=237572 CPUtime=2082.13 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 60822 0 1 0 208207 6 0 0 20 0 1 0 15907145 243273728 52428 33554432000 4194304 5970956 140728860265344 140728860262408 4964586 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 59393 52428 831 434 0 52757 0
Current children cumulated CPU time (s) 2082.13
Current children cumulated vsize (KiB) 237572
[startup+2142.3 s]
/proc/loadavg: 2.08 2.03 2.22 3/188 4785
/proc/meminfo: memFree=31585212/32770624 swapFree=6264/11756
[pid=4508] ppid=4505 vsize=239156 CPUtime=2142.13 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 61285 0 1 0 214207 6 0 0 20 0 1 0 15907145 244895744 52833 33554432000 4194304 5970956 140728860265344 140728860262408 5070523 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 59789 52833 831 434 0 53153 0
Current children cumulated CPU time (s) 2142.13
Current children cumulated vsize (KiB) 239156
[startup+2202.31 s]
/proc/loadavg: 2.03 2.02 2.21 3/187 4786
/proc/meminfo: memFree=31583364/32770624 swapFree=6264/11784
[pid=4508] ppid=4505 vsize=241004 CPUtime=2202.14 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 61786 0 1 0 220207 7 0 0 20 0 1 0 15907145 246788096 53304 33554432000 4194304 5970956 140728860265344 140728860262408 5098944 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 60251 53304 831 434 0 53615 0
Current children cumulated CPU time (s) 2202.14
Current children cumulated vsize (KiB) 241004
[startup+2262.3 s]
/proc/loadavg: 2.06 2.04 2.21 3/187 4787
/proc/meminfo: memFree=31581884/32770624 swapFree=6264/11820
[pid=4508] ppid=4505 vsize=242588 CPUtime=2262.13 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 62249 0 1 0 226206 7 0 0 20 0 1 0 15907145 248410112 53709 33554432000 4194304 5970956 140728860265344 140728860262408 5070487 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 60647 53709 831 434 0 54011 0
Current children cumulated CPU time (s) 2262.13
Current children cumulated vsize (KiB) 242588
[startup+2322.3 s]
/proc/loadavg: 2.02 2.03 2.19 3/187 4788
/proc/meminfo: memFree=31580280/32770624 swapFree=6264/11852
[pid=4508] ppid=4505 vsize=244304 CPUtime=2322.12 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 62915 0 1 0 232205 7 0 0 20 0 1 0 15907145 250167296 54149 33554432000 4194304 5970956 140728860265344 140728860262408 5098954 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 61076 54149 831 434 0 54440 0
Current children cumulated CPU time (s) 2322.12
Current children cumulated vsize (KiB) 244304
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.18 3/187 4789
/proc/meminfo: memFree=31576256/32770624 swapFree=6264/11884
[pid=4508] ppid=4505 vsize=246152 CPUtime=2382.12 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 63499 0 1 0 238205 7 0 0 20 0 1 0 15907145 252059648 54604 33554432000 4194304 5970956 140728860265344 140728860262408 5070523 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 61538 54604 831 434 0 54902 0
Current children cumulated CPU time (s) 2382.12
Current children cumulated vsize (KiB) 246152
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.01 2.02 2.18 3/187 4789
/proc/meminfo: memFree=31575760/32770624 swapFree=6264/11892
[pid=4508] ppid=4505 vsize=246548 CPUtime=2400.02 cores=1,3,5,7
/proc/4508/stat : 4508 (cosoco) R 4505 4508 3975 0 -1 4202496 63662 0 1 0 239995 7 0 0 20 0 1 0 15907145 252465152 54719 33554432000 4194304 5970956 140728860265344 140728860262408 5052093 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31932416 140728860271804 140728860271939 140728860271939 140728860274638 0
/proc/4508/statm: 61637 54719 831 434 0 55001 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 246548
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 4508 sig 9
??? kill -4508 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.03
CPU user time (s): 2399.95
CPU system time (s): 0.075994
CPU usage (%): 99.9926
Max. virtual memory (cumulated for all children) (KiB): 246548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.95
system time used= 0.075994
maximum resident set size= 218976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63688
page faults= 1
swaps= 0
block input operations= 912
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 123076
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.29628 second user time and 8.46797 second system time
The end