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-4259996-1502020344/watcher-4259996-1502020344 -o /tmp/evaluation-result-4259996-1502020344/solver-4259996-1502020344 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502016917-13119 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4259996-1502020344.xml
pid=13817
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: 2.02 2.05 1.92 3/185 13820
/proc/meminfo: memFree=31620756/32770624 swapFree=0/323136
[pid=13820] ppid=13817 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/13820/stat : 13820 (runsolver) D 13817 13820 12906 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 43945315 24240128 108 18446744073709551615 4194304 4338465 140736460447584 140736460445224 140286920860375 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 35250176 140736460456129 140736460456521 140736460456521 140736460459978 0
/proc/13820/statm: 5918 108 54 36 0 2156 0
[startup+0.100556 s]
/proc/loadavg: 2.02 2.05 1.92 3/185 13820
/proc/meminfo: memFree=31620756/32770624 swapFree=0/323136
[pid=13820] ppid=13817 vsize=28360 CPUtime=0.05 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 1388 0 0 0 5 0 0 0 20 0 1 0 43945315 29040640 1221 18446744073709551615 4194304 5747388 140725620964784 140725620961640 5133975 0 0 1 8405026 0 0 0 17 7 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1221 762 380 0 508 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 28360
[startup+0.200558 s]
/proc/loadavg: 2.02 2.05 1.92 3/185 13820
/proc/meminfo: memFree=31620756/32770624 swapFree=0/323136
[pid=13820] ppid=13817 vsize=28360 CPUtime=0.15 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 1396 0 0 0 15 0 0 0 20 0 1 0 43945315 29040640 1221 18446744073709551615 4194304 5747388 140725620964784 140725620952056 5133966 0 0 1 8405026 0 0 0 17 7 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1221 762 380 0 508 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 28360
[startup+0.300556 s]
/proc/loadavg: 2.02 2.05 1.92 3/185 13820
/proc/meminfo: memFree=31620756/32770624 swapFree=0/323136
[pid=13820] ppid=13817 vsize=28360 CPUtime=0.25 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 1396 0 0 0 25 0 0 0 20 0 1 0 43945315 29040640 1221 18446744073709551615 4194304 5747388 140725620964784 140725620962312 4890323 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1221 762 380 0 508 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 28360
[startup+0.700222 s]
/proc/loadavg: 2.02 2.05 1.92 3/185 13820
/proc/meminfo: memFree=31620756/32770624 swapFree=0/323136
[pid=13820] ppid=13817 vsize=28360 CPUtime=0.65 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 1396 0 0 0 65 0 0 0 20 0 1 0 43945315 29040640 1221 18446744073709551615 4194304 5747388 140725620964784 140725620962312 5025413 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1221 762 380 0 508 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 28360
[startup+1.50021 s]
/proc/loadavg: 2.02 2.05 1.92 3/186 13821
/proc/meminfo: memFree=31618720/32770624 swapFree=0/323144
[pid=13820] ppid=13817 vsize=28360 CPUtime=1.45 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 1397 0 0 0 145 0 0 0 20 0 1 0 43945315 29040640 1221 18446744073709551615 4194304 5747388 140725620964784 140725620962312 5025585 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1221 762 380 0 508 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 28360
[startup+3.10022 s]
/proc/loadavg: 2.02 2.05 1.92 3/186 13821
/proc/meminfo: memFree=31618348/32770624 swapFree=0/323144
[pid=13820] ppid=13817 vsize=28360 CPUtime=3.05 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 1812 0 0 0 305 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620952056 5133972 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 28360
[startup+6.30021 s]
/proc/loadavg: 2.02 2.05 1.92 3/186 13821
/proc/meminfo: memFree=31618064/32770624 swapFree=0/323144
[pid=13820] ppid=13817 vsize=28360 CPUtime=6.25 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 2171 0 0 0 625 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620952056 5025404 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 28360
[startup+12.7002 s]
/proc/loadavg: 2.02 2.05 1.92 3/186 13821
/proc/meminfo: memFree=31617692/32770624 swapFree=0/323156
[pid=13820] ppid=13817 vsize=28360 CPUtime=12.65 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 2640 0 0 0 1265 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620952056 5025409 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 28360
[startup+25.5003 s]
/proc/loadavg: 2.01 2.04 1.92 3/186 13821
/proc/meminfo: memFree=31617692/32770624 swapFree=0/323176
[pid=13820] ppid=13817 vsize=28360 CPUtime=25.45 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 3412 0 0 0 2545 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 4947432 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 28360
[startup+51.1002 s]
/proc/loadavg: 2.01 2.04 1.92 3/186 13883
/proc/meminfo: memFree=31617940/32770624 swapFree=0/323224
[pid=13820] ppid=13817 vsize=28360 CPUtime=51.05 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 3771 0 0 0 5105 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 5025407 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 28360
[startup+102.3 s]
/proc/loadavg: 2.11 2.05 1.93 3/189 13897
/proc/meminfo: memFree=31612952/32770624 swapFree=0/323256
[pid=13820] ppid=13817 vsize=28360 CPUtime=102.26 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 4130 0 0 0 10226 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 5025413 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 28360
[startup+162.3 s]
/proc/loadavg: 2.04 2.04 1.94 3/188 13900
/proc/meminfo: memFree=31612428/32770624 swapFree=0/323312
[pid=13820] ppid=13817 vsize=28360 CPUtime=162.26 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 4490 0 0 0 16226 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 5025418 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 28360
[startup+222.306 s]
/proc/loadavg: 2.02 2.04 1.94 3/185 13902
/proc/meminfo: memFree=31615180/32770624 swapFree=0/323352
[pid=13820] ppid=13817 vsize=28360 CPUtime=222.27 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 4959 0 0 0 22227 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 5025361 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 28360
[startup+282.3 s]
/proc/loadavg: 2.04 2.04 1.95 3/185 13904
/proc/meminfo: memFree=31615144/32770624 swapFree=0/323380
[pid=13820] ppid=13817 vsize=28360 CPUtime=282.27 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 4959 0 0 0 28227 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 5025409 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 28360
[startup+342.3 s]
/proc/loadavg: 2.01 2.04 1.95 3/186 13907
/proc/meminfo: memFree=31615640/32770624 swapFree=0/323408
[pid=13820] ppid=13817 vsize=28360 CPUtime=342.27 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 5318 0 0 0 34227 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 4873399 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 28360
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 1.95 3/186 13909
/proc/meminfo: memFree=31615488/32770624 swapFree=0/323420
[pid=13820] ppid=13817 vsize=28360 CPUtime=402.27 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 5318 0 0 0 40227 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 4947292 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 28360
[startup+462.3 s]
/proc/loadavg: 2.08 2.04 1.96 3/186 13911
/proc/meminfo: memFree=31615612/32770624 swapFree=0/323436
[pid=13820] ppid=13817 vsize=28360 CPUtime=462.28 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 5677 0 0 0 46228 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 4947292 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 28360
[startup+522.3 s]
/proc/loadavg: 2.03 2.04 1.96 3/186 13913
/proc/meminfo: memFree=31615456/32770624 swapFree=0/323456
[pid=13820] ppid=13817 vsize=28360 CPUtime=522.28 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 5677 0 0 0 52228 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 5118347 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 28360
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 1.96 3/186 13915
/proc/meminfo: memFree=31615952/32770624 swapFree=0/323484
[pid=13820] ppid=13817 vsize=28360 CPUtime=582.29 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 6036 0 0 0 58229 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 4947624 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 28360
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.02 2.06 2.01 3/187 14006
/proc/meminfo: memFree=31613728/32770624 swapFree=0/323968
[pid=13820] ppid=13817 vsize=28360 CPUtime=1542.37 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 8905 0 0 0 154237 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 5142937 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 1542.37
Current children cumulated vsize (KiB) 28360
[startup+1602.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/186 14009
/proc/meminfo: memFree=31613964/32770624 swapFree=0/323996
[pid=13820] ppid=13817 vsize=28360 CPUtime=1602.37 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 8905 0 0 0 160237 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 5025392 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 28360
[startup+1662.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/185 14011
/proc/meminfo: memFree=31614368/32770624 swapFree=0/324024
[pid=13820] ppid=13817 vsize=28360 CPUtime=1662.38 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 9264 0 0 0 166238 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 5025399 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 1662.38
Current children cumulated vsize (KiB) 28360
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/185 14013
/proc/meminfo: memFree=31614464/32770624 swapFree=0/324064
[pid=13820] ppid=13817 vsize=28360 CPUtime=1722.38 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 9264 0 0 0 172238 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 5025409 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 1722.38
Current children cumulated vsize (KiB) 28360
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/186 14016
/proc/meminfo: memFree=31614208/32770624 swapFree=0/324076
[pid=13820] ppid=13817 vsize=28360 CPUtime=1782.38 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 9618 0 0 0 178238 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 4947712 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 28360
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/186 14018
/proc/meminfo: memFree=31613924/32770624 swapFree=0/324104
[pid=13820] ppid=13817 vsize=28360 CPUtime=1842.39 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 9623 0 0 0 184239 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 5025407 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 1842.39
Current children cumulated vsize (KiB) 28360
[startup+1902.3 s]
/proc/loadavg: 2.15 2.05 2.02 3/189 14034
/proc/meminfo: memFree=31609564/32770624 swapFree=0/324168
[pid=13820] ppid=13817 vsize=28360 CPUtime=1902.39 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 9972 0 0 0 190239 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 4949481 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 1902.39
Current children cumulated vsize (KiB) 28360
[startup+1962.3 s]
/proc/loadavg: 2.05 2.04 2.02 3/189 14036
/proc/meminfo: memFree=31610048/32770624 swapFree=0/324220
[pid=13820] ppid=13817 vsize=28360 CPUtime=1962.4 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 9982 0 0 0 196240 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 5025407 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 1962.4
Current children cumulated vsize (KiB) 28360
[startup+2022.3 s]
/proc/loadavg: 2.02 2.03 2.02 3/186 14038
/proc/meminfo: memFree=31613452/32770624 swapFree=0/324240
[pid=13820] ppid=13817 vsize=28360 CPUtime=2022.4 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 10330 0 0 0 202240 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 5025413 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 2022.4
Current children cumulated vsize (KiB) 28360
[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.02 3/185 14041
/proc/meminfo: memFree=31613668/32770624 swapFree=0/324264
[pid=13820] ppid=13817 vsize=28360 CPUtime=2082.41 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 10330 0 0 0 208241 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 5025407 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 2082.41
Current children cumulated vsize (KiB) 28360
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/185 14043
/proc/meminfo: memFree=31613900/32770624 swapFree=0/324284
[pid=13820] ppid=13817 vsize=28360 CPUtime=2142.41 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 10693 0 0 0 214241 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 5025570 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 2142.41
Current children cumulated vsize (KiB) 28360
[startup+2202.31 s]
/proc/loadavg: 2.04 2.03 2.03 3/185 14045
/proc/meminfo: memFree=31613864/32770624 swapFree=0/324296
[pid=13820] ppid=13817 vsize=28360 CPUtime=2202.42 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 10693 0 0 0 220242 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 4995104 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 2202.42
Current children cumulated vsize (KiB) 28360
[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.03 3/186 14048
/proc/meminfo: memFree=31614120/32770624 swapFree=0/324308
[pid=13820] ppid=13817 vsize=28360 CPUtime=2262.42 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 11041 0 0 0 226242 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 5025413 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 2262.42
Current children cumulated vsize (KiB) 28360
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/186 14050
/proc/meminfo: memFree=31613960/32770624 swapFree=0/324316
[pid=13820] ppid=13817 vsize=28360 CPUtime=2322.43 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 11044 0 0 0 232243 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 5025418 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 2322.43
Current children cumulated vsize (KiB) 28360
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/186 14052
/proc/meminfo: memFree=31613712/32770624 swapFree=0/324344
[pid=13820] ppid=13817 vsize=28360 CPUtime=2382.43 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 11404 0 0 0 238243 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 5025583 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 2382.43
Current children cumulated vsize (KiB) 28360
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.03 3/186 14054
/proc/meminfo: memFree=31613712/32770624 swapFree=0/324364
[pid=13820] ppid=13817 vsize=28360 CPUtime=2400.03 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 11404 0 0 0 240003 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 5025392 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 28360
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 13820 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.03 3/186 14054
/proc/meminfo: memFree=31613712/32770624 swapFree=0/324364
[pid=13820] ppid=13817 vsize=28360 CPUtime=2400.03 cores=1,3,5,7
/proc/13820/stat : 13820 (cosoco) R 13817 13820 12906 0 -1 4202496 11404 0 0 0 240003 0 0 0 20 0 1 0 43945315 29040640 1238 18446744073709551615 4194304 5747388 140725620964784 140725620962312 5025392 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 7845728 7850568 8638464 140725620965870 140725620965965 140725620965965 140725620969422 0
/proc/13820/statm: 7090 1238 762 380 0 508 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 28360
Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.04
CPU user time (s): 2400.04
CPU system time (s): 0.005
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 28360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.005
maximum resident set size= 5028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11456
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= 10
involuntary context switches= 611
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.18637 second user time and 7.6178 second system time
The end