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-4267513-1502558306/watcher-4267513-1502558306 -o /tmp/evaluation-result-4267513-1502558306/solver-4267513-1502558306 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502500311-1848 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267513-1502558306.xml
pid=12116
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.01 2.02 2.05 3/181 12119
/proc/meminfo: memFree=31262648/32770624 swapFree=0/331696
[pid=12119] ppid=12116 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/12119/stat : 12119 (runsolver) D 12116 12119 1785 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 58026061 24240128 107 18446744073709551615 4194304 4338465 140734170178320 140734170175960 140423066690263 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 29540352 140734170185922 140734170186313 140734170186313 140734170189770 0
/proc/12119/statm: 5918 107 54 36 0 2156 0
[startup+0.100148 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 12119
/proc/meminfo: memFree=31262648/32770624 swapFree=0/331696
[pid=12119] ppid=12116 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/12119/stat : 12119 (runsolver) D 12116 12119 1785 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 58026061 24240128 107 18446744073709551615 4194304 4338465 140734170178320 140734170175960 140423066690263 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 29540352 140734170185922 140734170186313 140734170186313 140734170189770 0
/proc/12119/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200267 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 12119
/proc/meminfo: memFree=31262648/32770624 swapFree=0/331696
[pid=12119] ppid=12116 vsize=29720 CPUtime=0.08 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 1644 0 0 0 8 0 0 0 20 0 1 0 58026061 30433280 1453 18446744073709551615 4194304 5972588 140732615144016 140732615140664 5385786 0 0 1 0 0 0 0 17 0 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7430 1453 717 435 0 793 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29720
[startup+0.300232 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 12119
/proc/meminfo: memFree=31262648/32770624 swapFree=0/331696
[pid=12119] ppid=12116 vsize=31224 CPUtime=0.18 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 3287 0 0 0 18 0 0 0 20 0 1 0 58026061 31973376 1948 18446744073709551615 4194304 5972588 140732615144016 140732615140664 4919013 0 0 1 8405026 0 0 0 17 0 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1948 821 435 0 1169 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 31224
[startup+0.700172 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 12119
/proc/meminfo: memFree=31262648/32770624 swapFree=0/331696
[pid=12119] ppid=12116 vsize=31224 CPUtime=0.58 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 3291 0 0 0 58 0 0 0 20 0 1 0 58026061 31973376 1948 18446744073709551615 4194304 5972588 140732615144016 140732615140664 5139493 0 0 1 8405026 0 0 0 17 0 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1948 821 435 0 1169 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 31224
[startup+1.50017 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 12120
/proc/meminfo: memFree=31258180/32770624 swapFree=0/331640
[pid=12119] ppid=12116 vsize=31224 CPUtime=1.38 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 3291 0 0 0 138 0 0 0 20 0 1 0 58026061 31973376 1948 18446744073709551615 4194304 5972588 140732615144016 140732615131224 4919323 0 0 1 8405026 0 0 0 17 0 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1948 821 435 0 1169 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 31224
[startup+3.10015 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 12120
/proc/meminfo: memFree=31257808/32770624 swapFree=0/331640
[pid=12119] ppid=12116 vsize=31224 CPUtime=2.98 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 3779 0 0 0 298 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5139329 0 0 1 8405026 0 0 0 17 0 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 31224
[startup+6.30017 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 12120
/proc/meminfo: memFree=31257564/32770624 swapFree=0/331640
[pid=12119] ppid=12116 vsize=31224 CPUtime=6.18 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 4268 0 0 0 618 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5139333 0 0 1 8405026 0 0 0 17 0 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 31224
[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 12120
/proc/meminfo: memFree=31256936/32770624 swapFree=0/331636
[pid=12119] ppid=12116 vsize=31224 CPUtime=12.57 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 4757 0 0 0 1257 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5139333 0 0 1 8405026 0 0 0 17 0 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 31224
[startup+25.5002 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 12121
/proc/meminfo: memFree=31257184/32770624 swapFree=0/331628
[pid=12119] ppid=12116 vsize=31224 CPUtime=25.37 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 5725 0 0 0 2537 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 4919208 0 0 1 8405026 0 0 0 17 0 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 31224
[startup+51.1003 s]
/proc/loadavg: 2.16 2.05 2.06 3/181 12121
/proc/meminfo: memFree=31257240/32770624 swapFree=0/331628
[pid=12119] ppid=12116 vsize=31224 CPUtime=50.97 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 6210 0 0 0 5097 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 4919161 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 31224
[startup+102.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/181 12123
/proc/meminfo: memFree=31257984/32770624 swapFree=0/331652
[pid=12119] ppid=12116 vsize=31224 CPUtime=102.17 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 6704 0 0 0 10217 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5139312 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 31224
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 12125
/proc/meminfo: memFree=31257736/32770624 swapFree=0/331656
[pid=12119] ppid=12116 vsize=31224 CPUtime=162.16 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 7190 0 0 0 16216 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5139327 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 31224
[startup+222.306 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 12127
/proc/meminfo: memFree=31258144/32770624 swapFree=0/331668
[pid=12119] ppid=12116 vsize=31224 CPUtime=222.16 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 7676 0 0 0 22216 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 4944723 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 31224
[startup+282.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 12129
/proc/meminfo: memFree=31257628/32770624 swapFree=0/331672
[pid=12119] ppid=12116 vsize=31224 CPUtime=282.16 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 8164 0 0 0 28216 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5139490 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 31224
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 12147
/proc/meminfo: memFree=31252864/32770624 swapFree=0/331680
[pid=12119] ppid=12116 vsize=31224 CPUtime=342.15 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 8651 0 0 0 34215 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5139329 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 31224
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 12149
/proc/meminfo: memFree=31253340/32770624 swapFree=0/331704
[pid=12119] ppid=12116 vsize=31224 CPUtime=402.15 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 9137 0 0 0 40215 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5139312 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 31224
[startup+462.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/182 12151
/proc/meminfo: memFree=31256604/32770624 swapFree=0/331728
[pid=12119] ppid=12116 vsize=31224 CPUtime=462.15 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 9626 0 0 0 46215 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5139319 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 31224
[startup+522.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 12153
/proc/meminfo: memFree=31256604/32770624 swapFree=0/331740
[pid=12119] ppid=12116 vsize=31224 CPUtime=522.14 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 10115 0 0 0 52214 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5139327 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 31224
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 12155
/proc/meminfo: memFree=31256988/32770624 swapFree=0/331764
[pid=12119] ppid=12116 vsize=31224 CPUtime=582.14 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 10600 0 0 0 58214 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5139312 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 31224
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.16 2.08 2.07 3/185 12221
/proc/meminfo: memFree=31252228/32770624 swapFree=0/332016
[pid=12119] ppid=12116 vsize=31224 CPUtime=1602.1 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 18787 0 0 0 160210 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 4918978 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 1602.1
Current children cumulated vsize (KiB) 31224
[startup+1662.3 s]
/proc/loadavg: 2.06 2.07 2.06 3/182 12223
/proc/meminfo: memFree=31255724/32770624 swapFree=0/332016
[pid=12119] ppid=12116 vsize=31224 CPUtime=1662.1 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 19271 0 0 0 166210 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5032436 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 31224
[startup+1722.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/182 12225
/proc/meminfo: memFree=31256132/32770624 swapFree=0/332028
[pid=12119] ppid=12116 vsize=31224 CPUtime=1722.1 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 19732 0 0 0 172210 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5139499 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 1722.1
Current children cumulated vsize (KiB) 31224
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 12227
/proc/meminfo: memFree=31255848/32770624 swapFree=0/332032
[pid=12119] ppid=12116 vsize=31224 CPUtime=1782.1 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 20217 0 0 0 178210 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5139333 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 1782.1
Current children cumulated vsize (KiB) 31224
[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 12229
/proc/meminfo: memFree=31256096/32770624 swapFree=0/332040
[pid=12119] ppid=12116 vsize=31224 CPUtime=1842.09 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 20690 0 0 0 184209 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5139329 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 1842.09
Current children cumulated vsize (KiB) 31224
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 12231
/proc/meminfo: memFree=31255808/32770624 swapFree=0/332060
[pid=12119] ppid=12116 vsize=31224 CPUtime=1902.09 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 21157 0 0 0 190209 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5032459 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 1902.09
Current children cumulated vsize (KiB) 31224
[startup+1962.3 s]
/proc/loadavg: 1.47 1.87 1.99 2/174 12278
/proc/meminfo: memFree=31342840/32770624 swapFree=0/332076
[pid=12119] ppid=12116 vsize=31224 CPUtime=1962.09 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 21643 0 0 0 196209 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 4918965 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 1962.09
Current children cumulated vsize (KiB) 31224
[startup+2022.3 s]
/proc/loadavg: 1.17 1.72 1.93 2/174 12280
/proc/meminfo: memFree=31343584/32770624 swapFree=0/332080
[pid=12119] ppid=12116 vsize=31224 CPUtime=2022.09 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 22093 0 0 0 202209 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5139329 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 2022.09
Current children cumulated vsize (KiB) 31224
[startup+2082.3 s]
/proc/loadavg: 1.06 1.59 1.87 2/174 12282
/proc/meminfo: memFree=31344080/32770624 swapFree=0/332088
[pid=12119] ppid=12116 vsize=31224 CPUtime=2082.09 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 22558 0 0 0 208209 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5139312 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 2082.09
Current children cumulated vsize (KiB) 31224
[startup+2142.3 s]
/proc/loadavg: 1.17 1.51 1.83 2/178 12299
/proc/meminfo: memFree=31340024/32770624 swapFree=0/332100
[pid=12119] ppid=12116 vsize=31224 CPUtime=2142.08 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 23044 0 0 0 214208 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5139312 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 2142.08
Current children cumulated vsize (KiB) 31224
[startup+2202.31 s]
/proc/loadavg: 1.06 1.42 1.78 2/178 12301
/proc/meminfo: memFree=31340184/32770624 swapFree=0/332116
[pid=12119] ppid=12116 vsize=31224 CPUtime=2202.08 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 23517 0 0 0 220208 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5139327 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 2202.08
Current children cumulated vsize (KiB) 31224
[startup+2262.3 s]
/proc/loadavg: 1.02 1.34 1.73 2/175 12303
/proc/meminfo: memFree=31344324/32770624 swapFree=0/332124
[pid=12119] ppid=12116 vsize=31224 CPUtime=2262.07 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 23995 0 0 0 226207 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5032450 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 2262.07
Current children cumulated vsize (KiB) 31224
[startup+2322.3 s]
/proc/loadavg: 1.01 1.28 1.68 2/175 12305
/proc/meminfo: memFree=31344820/32770624 swapFree=0/332128
[pid=12119] ppid=12116 vsize=31224 CPUtime=2322.07 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 24481 0 0 0 232207 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5139329 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 2322.07
Current children cumulated vsize (KiB) 31224
[startup+2382.3 s]
/proc/loadavg: 1.00 1.23 1.64 2/175 12307
/proc/meminfo: memFree=31344448/32770624 swapFree=0/332148
[pid=12119] ppid=12116 vsize=31224 CPUtime=2382.07 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 24958 0 0 0 238207 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5139329 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 2382.07
Current children cumulated vsize (KiB) 31224
[startup+2442.3 s]
/proc/loadavg: 1.00 1.19 1.60 2/174 12309
/proc/meminfo: memFree=31344464/32770624 swapFree=0/332156
[pid=12119] ppid=12116 vsize=31224 CPUtime=2442.07 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 25424 0 0 0 244207 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 5139329 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 2442.07
Current children cumulated vsize (KiB) 31224
[startup+2502.3 s]
/proc/loadavg: 1.00 1.15 1.56 2/174 12311
/proc/meminfo: memFree=31344892/32770624 swapFree=0/332160
[pid=12119] ppid=12116 vsize=31224 CPUtime=2502.06 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 25896 0 0 0 250206 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 4918974 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 2502.06
Current children cumulated vsize (KiB) 31224
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 1.08 1.16 1.56 2/174 12312
/proc/meminfo: memFree=31344768/32770624 swapFree=0/332164
[pid=12119] ppid=12116 vsize=31224 CPUtime=2519.76 cores=0,2,4,6
/proc/12119/stat : 12119 (cosoco) R 12116 12119 1785 0 -1 4202496 26370 0 0 0 251976 0 0 0 20 0 1 0 58026061 31973376 1986 18446744073709551615 4194304 5972588 140732615144016 140732615131224 4919161 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 29732864 140732615152110 140732615152205 140732615152205 140732615155662 0
/proc/12119/statm: 7806 1986 854 435 0 1169 0
Current children cumulated CPU time (s) 2519.76
Current children cumulated vsize (KiB) 31224
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 12119 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520
CPU time (s): 2519.78
CPU user time (s): 2519.77
CPU system time (s): 0.009999
CPU usage (%): 99.9911
Max. virtual memory (cumulated for all children) (KiB): 31224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.77
system time used= 0.009999
maximum resident set size= 10036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26991
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= 672
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.75238 second user time and 8.65024 second system time
The end