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-4242789-1500662934/watcher-4242789-1500662934 -o /tmp/evaluation-result-4242789-1500662934/solver-4242789-1500662934 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500648178-9847 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242789-1500662934.xml
pid=12343
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.02 2.04 2.05 3/242 12346
/proc/meminfo: memFree=32070040/32770624 swapFree=5840/24332
[pid=12346] ppid=12343 vsize=27388 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 1144 0 0 0 0 0 0 0 20 0 1 0 1563092 28045312 964 33554432000 4194304 5970956 140733972716112 140733972712760 5193504 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 6847 964 777 434 0 211 0
[startup+0.100161 s]
/proc/loadavg: 2.02 2.04 2.05 3/242 12346
/proc/meminfo: memFree=32070040/32770624 swapFree=5840/24332
[pid=12346] ppid=12343 vsize=34076 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 2065 0 0 0 9 0 0 0 20 0 1 0 1563092 34893824 1866 33554432000 4194304 5970956 140733972716112 140733972703432 5031479 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8519 1866 841 434 0 1883 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34076
[startup+0.200285 s]
/proc/loadavg: 2.02 2.04 2.05 3/242 12346
/proc/meminfo: memFree=32070040/32770624 swapFree=5840/24332
[pid=12346] ppid=12343 vsize=34076 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 2065 0 0 0 19 0 0 0 20 0 1 0 1563092 34893824 1866 33554432000 4194304 5970956 140733972716112 140733972703432 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8519 1866 841 434 0 1883 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34076
[startup+0.300239 s]
/proc/loadavg: 2.02 2.04 2.05 3/242 12346
/proc/meminfo: memFree=32070040/32770624 swapFree=5840/24332
[pid=12346] ppid=12343 vsize=34076 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 2073 0 0 0 29 0 0 0 20 0 1 0 1563092 34893824 1866 33554432000 4194304 5970956 140733972716112 140733972703432 5136623 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8519 1866 841 434 0 1883 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34076
[startup+0.700204 s]
/proc/loadavg: 2.02 2.04 2.05 3/242 12346
/proc/meminfo: memFree=32070040/32770624 swapFree=5840/24332
[pid=12346] ppid=12343 vsize=34076 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 2074 0 0 0 69 0 0 0 20 0 1 0 1563092 34893824 1866 33554432000 4194304 5970956 140733972716112 140733972703432 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8519 1866 841 434 0 1883 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34076
[startup+1.50022 s]
/proc/loadavg: 2.02 2.04 2.05 3/243 12347
/proc/meminfo: memFree=32065340/32770624 swapFree=5840/24364
[pid=12346] ppid=12343 vsize=34076 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 2080 0 0 0 149 0 0 0 20 0 1 0 1563092 34893824 1866 33554432000 4194304 5970956 140733972716112 140733972703432 5136625 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8519 1866 841 434 0 1883 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34076
[startup+3.1002 s]
/proc/loadavg: 2.02 2.04 2.05 3/243 12347
/proc/meminfo: memFree=32064520/32770624 swapFree=5840/24408
[pid=12346] ppid=12343 vsize=34076 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 2581 0 0 0 309 0 0 0 20 0 1 0 1563092 34893824 1935 33554432000 4194304 5970956 140733972716112 140733972713384 5136623 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8519 1935 862 434 0 1883 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34076
[startup+6.30021 s]
/proc/loadavg: 2.02 2.04 2.05 3/243 12347
/proc/meminfo: memFree=32064412/32770624 swapFree=5840/24372
[pid=12346] ppid=12343 vsize=34208 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 3099 0 0 0 629 0 0 0 20 0 1 0 1563092 35028992 1957 33554432000 4194304 5970956 140733972716112 140733972713448 5031479 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8552 1957 862 434 0 1916 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34208
[startup+12.7002 s]
/proc/loadavg: 2.02 2.04 2.05 3/243 12347
/proc/meminfo: memFree=32064048/32770624 swapFree=5840/24380
[pid=12346] ppid=12343 vsize=34208 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 3618 0 0 0 1269 0 0 0 20 0 1 0 1563092 35028992 1984 33554432000 4194304 5970956 140733972716112 140733972713448 5031474 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8552 1984 862 434 0 1916 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34208
[startup+25.5003 s]
/proc/loadavg: 2.01 2.04 2.05 3/243 12347
/proc/meminfo: memFree=32064668/32770624 swapFree=5840/24392
[pid=12346] ppid=12343 vsize=34208 CPUtime=25.49 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 4555 0 0 0 2549 0 0 0 20 0 1 0 1563092 35028992 1988 33554432000 4194304 5970956 140733972716112 140733972713448 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8552 1988 862 434 0 1916 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 34208
[startup+51.1003 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 12347
/proc/meminfo: memFree=32064288/32770624 swapFree=5840/24396
[pid=12346] ppid=12343 vsize=34208 CPUtime=51.08 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 5058 0 0 0 5108 0 0 0 20 0 1 0 1563092 35028992 1990 33554432000 4194304 5970956 140733972716112 140733972713448 5136560 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8552 1990 862 434 0 1916 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34208
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/244 12356
/proc/meminfo: memFree=32062100/32770624 swapFree=5840/24440
[pid=12346] ppid=12343 vsize=34208 CPUtime=102.27 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 5571 0 0 0 10227 0 0 0 20 0 1 0 1563092 35028992 1997 33554432000 4194304 5970956 140733972716112 140733972713448 5136625 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8552 1997 862 434 0 1916 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 34208
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 12357
/proc/meminfo: memFree=32062552/32770624 swapFree=5840/24480
[pid=12346] ppid=12343 vsize=34208 CPUtime=162.25 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 5883 0 0 0 16225 0 0 0 20 0 1 0 1563092 35028992 2006 33554432000 4194304 5970956 140733972716112 140733972713448 5136625 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8552 2006 862 434 0 1916 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 34208
[startup+222.308 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 12358
/proc/meminfo: memFree=32063040/32770624 swapFree=5840/24520
[pid=12346] ppid=12343 vsize=34208 CPUtime=222.24 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 6176 0 0 0 22224 0 0 0 20 0 1 0 1563092 35028992 2008 33554432000 4194304 5970956 140733972716112 140733972713448 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8552 2008 862 434 0 1916 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 34208
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 12359
/proc/meminfo: memFree=32062608/32770624 swapFree=5840/24544
[pid=12346] ppid=12343 vsize=34208 CPUtime=282.22 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 6465 0 0 0 28222 0 0 0 20 0 1 0 1563092 35028992 2009 33554432000 4194304 5970956 140733972716112 140733972713448 5136560 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8552 2009 862 434 0 1916 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 34208
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 12360
/proc/meminfo: memFree=32063476/32770624 swapFree=5840/24580
[pid=12346] ppid=12343 vsize=34208 CPUtime=342.21 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 6748 0 0 0 34221 0 0 0 20 0 1 0 1563092 35028992 2011 33554432000 4194304 5970956 140733972716112 140733972713448 5031447 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8552 2011 862 434 0 1916 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 34208
[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 12362
/proc/meminfo: memFree=32063624/32770624 swapFree=5840/24628
[pid=12346] ppid=12343 vsize=34208 CPUtime=402.2 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 7040 0 0 0 40220 0 0 0 20 0 1 0 1563092 35028992 2011 33554432000 4194304 5970956 140733972716112 140733972713448 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8552 2011 862 434 0 1916 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 34208
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 12363
/proc/meminfo: memFree=32063900/32770624 swapFree=5840/24660
[pid=12346] ppid=12343 vsize=34208 CPUtime=462.18 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 7331 0 0 0 46218 0 0 0 20 0 1 0 1563092 35028992 2013 33554432000 4194304 5970956 140733972716112 140733972713448 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8552 2013 862 434 0 1916 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 34208
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12364
/proc/meminfo: memFree=32063736/32770624 swapFree=5840/24700
[pid=12346] ppid=12343 vsize=34208 CPUtime=522.17 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 7628 0 0 0 52217 0 0 0 20 0 1 0 1563092 35028992 2013 33554432000 4194304 5970956 140733972716112 140733972713448 5136620 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8552 2013 862 434 0 1916 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 34208
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12366
/proc/meminfo: memFree=32063380/32770624 swapFree=5840/24736
[pid=12346] ppid=12343 vsize=34208 CPUtime=582.15 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 7926 0 0 0 58215 0 0 0 20 0 1 0 1563092 35028992 2015 33554432000 4194304 5970956 140733972716112 140733972713448 5136611 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8552 2015 862 434 0 1916 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 34208
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12418
/proc/meminfo: memFree=32062484/32770624 swapFree=5840/25304
[pid=12346] ppid=12343 vsize=34208 CPUtime=1481.94 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 12230 0 0 0 148194 0 0 0 20 0 1 0 1563092 35028992 2022 33554432000 4194304 5970956 140733972716112 140733972713448 5136623 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8552 2022 862 434 0 1916 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 34208
[startup+1542.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 12419
/proc/meminfo: memFree=32062628/32770624 swapFree=5840/25324
[pid=12346] ppid=12343 vsize=34208 CPUtime=1541.93 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 12486 0 0 0 154193 0 0 0 20 0 1 0 1563092 35028992 2022 33554432000 4194304 5970956 140733972716112 140733972713448 5322992 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8552 2022 862 434 0 1916 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 34208
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 12420
/proc/meminfo: memFree=32061848/32770624 swapFree=5840/25372
[pid=12346] ppid=12343 vsize=34208 CPUtime=1601.91 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 12791 0 0 0 160191 0 0 0 20 0 1 0 1563092 35028992 2022 33554432000 4194304 5970956 140733972716112 140733972713448 5320472 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8552 2022 862 434 0 1916 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 34208
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 12487
/proc/meminfo: memFree=31814720/32770624 swapFree=5840/25460
[pid=12346] ppid=12343 vsize=34208 CPUtime=1661.9 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 13054 0 0 0 166190 0 0 0 20 0 1 0 1563092 35028992 2022 33554432000 4194304 5970956 140733972716112 140733972713448 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8552 2022 862 434 0 1916 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 34208
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12488
/proc/meminfo: memFree=31812820/32770624 swapFree=5840/25504
[pid=12346] ppid=12343 vsize=34208 CPUtime=1721.89 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 13373 0 0 0 172189 0 0 0 20 0 1 0 1563092 35028992 2023 33554432000 4194304 5970956 140733972716112 140733972713448 5136623 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8552 2023 862 434 0 1916 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 34208
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12489
/proc/meminfo: memFree=31813992/32770624 swapFree=5840/25540
[pid=12346] ppid=12343 vsize=34208 CPUtime=1781.87 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 13551 0 0 0 178187 0 0 0 20 0 1 0 1563092 35028992 2023 33554432000 4194304 5970956 140733972716112 140733972713448 5098944 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8552 2023 862 434 0 1916 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 34208
[startup+1842.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 12490
/proc/meminfo: memFree=31814476/32770624 swapFree=5840/25568
[pid=12346] ppid=12343 vsize=34208 CPUtime=1841.86 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 13783 0 0 0 184186 0 0 0 20 0 1 0 1563092 35028992 2023 33554432000 4194304 5970956 140733972716112 140733972713448 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8552 2023 862 434 0 1916 0
Current children cumulated CPU time (s) 1841.86
Current children cumulated vsize (KiB) 34208
[startup+1902.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 12498
/proc/meminfo: memFree=31813468/32770624 swapFree=5840/25616
[pid=12346] ppid=12343 vsize=34208 CPUtime=1901.84 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 14112 0 0 0 190184 0 0 0 20 0 1 0 1563092 35028992 2026 33554432000 4194304 5970956 140733972716112 140733972713448 5031460 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8552 2026 862 434 0 1916 0
Current children cumulated CPU time (s) 1901.84
Current children cumulated vsize (KiB) 34208
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 12499
/proc/meminfo: memFree=31810288/32770624 swapFree=5840/25656
[pid=12346] ppid=12343 vsize=34208 CPUtime=1961.83 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 14378 0 0 0 196183 0 0 0 20 0 1 0 1563092 35028992 2027 33554432000 4194304 5970956 140733972716112 140733972713448 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8552 2027 862 434 0 1916 0
Current children cumulated CPU time (s) 1961.83
Current children cumulated vsize (KiB) 34208
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12500
/proc/meminfo: memFree=31810248/32770624 swapFree=5840/25696
[pid=12346] ppid=12343 vsize=34208 CPUtime=2021.82 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 14662 0 0 0 202182 0 0 0 20 0 1 0 1563092 35028992 2027 33554432000 4194304 5970956 140733972716112 140733972713448 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8552 2027 862 434 0 1916 0
Current children cumulated CPU time (s) 2021.82
Current children cumulated vsize (KiB) 34208
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12501
/proc/meminfo: memFree=31810012/32770624 swapFree=5840/25732
[pid=12346] ppid=12343 vsize=34348 CPUtime=2081.81 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 14982 0 0 0 208181 0 0 0 20 0 1 0 1563092 35172352 2033 33554432000 4194304 5970956 140733972716112 140733972712792 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8587 2033 862 434 0 1951 0
Current children cumulated CPU time (s) 2081.81
Current children cumulated vsize (KiB) 34348
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12502
/proc/meminfo: memFree=31809860/32770624 swapFree=5840/25748
[pid=12346] ppid=12343 vsize=34348 CPUtime=2141.79 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 15205 0 0 0 214179 0 0 0 20 0 1 0 1563092 35172352 2033 33554432000 4194304 5970956 140733972716112 140733972712792 5136625 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8587 2033 862 434 0 1951 0
Current children cumulated CPU time (s) 2141.79
Current children cumulated vsize (KiB) 34348
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12504
/proc/meminfo: memFree=31808632/32770624 swapFree=5840/25800
[pid=12346] ppid=12343 vsize=34348 CPUtime=2201.78 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 15421 0 0 0 220178 0 0 0 20 0 1 0 1563092 35172352 2033 33554432000 4194304 5970956 140733972716112 140733972712792 5136625 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8587 2033 862 434 0 1951 0
Current children cumulated CPU time (s) 2201.78
Current children cumulated vsize (KiB) 34348
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12505
/proc/meminfo: memFree=31806984/32770624 swapFree=5840/25840
[pid=12346] ppid=12343 vsize=34348 CPUtime=2261.76 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 15645 0 0 0 226176 0 0 0 20 0 1 0 1563092 35172352 2033 33554432000 4194304 5970956 140733972716112 140733972712792 5136620 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8587 2033 862 434 0 1951 0
Current children cumulated CPU time (s) 2261.76
Current children cumulated vsize (KiB) 34348
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12506
/proc/meminfo: memFree=31806632/32770624 swapFree=5840/25880
[pid=12346] ppid=12343 vsize=34348 CPUtime=2321.75 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 15964 0 0 0 232175 0 0 0 20 0 1 0 1563092 35172352 2034 33554432000 4194304 5970956 140733972716112 140733972712792 5136786 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8587 2034 862 434 0 1951 0
Current children cumulated CPU time (s) 2321.75
Current children cumulated vsize (KiB) 34348
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 12508
/proc/meminfo: memFree=31807360/32770624 swapFree=5840/25908
[pid=12346] ppid=12343 vsize=34348 CPUtime=2381.73 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 16199 0 0 0 238173 0 0 0 20 0 1 0 1563092 35172352 2034 33554432000 4194304 5970956 140733972716112 140733972712792 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8587 2034 862 434 0 1951 0
Current children cumulated CPU time (s) 2381.73
Current children cumulated vsize (KiB) 34348
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 12508
/proc/meminfo: memFree=31807980/32770624 swapFree=5840/25924
[pid=12346] ppid=12343 vsize=34348 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/12346/stat : 12346 (cosoco) R 12343 12346 9815 0 -1 4202496 16404 0 0 0 240003 0 0 0 20 0 1 0 1563092 35172352 2034 33554432000 4194304 5970956 140733972716112 140733972712792 5136637 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 16412672 140733972718780 140733972718915 140733972718915 140733972721614 0
/proc/12346/statm: 8587 2034 862 434 0 1951 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 34348
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 12346 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.04
CPU user time (s): 2400.03
CPU system time (s): 0.007998
CPU usage (%): 99.9766
Max. virtual memory (cumulated for all children) (KiB): 34348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.007998
maximum resident set size= 8180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16431
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= 13
involuntary context switches= 120686
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.16938 second user time and 10.4961 second system time
The end