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-4241631-1502060419/watcher-4241631-1502060419 -o /tmp/evaluation-result-4241631-1502060419/solver-4241631-1502060419 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16653 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241631-1502060419.xml
pid=19095
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.03 2.04 2.05 3/180 19098
/proc/meminfo: memFree=31695508/32770624 swapFree=0/383504
[pid=19098] ppid=19095 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/19098/stat : 19098 (runsolver) D 19095 19098 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 8262920 24240128 106 18446744073709551615 4194304 4338465 140735780915280 140735780912920 139718352884439 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 6795264 140735780921503 140735780921930 140735780921930 140735780925386 0
/proc/19098/statm: 5918 106 53 36 0 2156 0
[startup+0.100131 s]
/proc/loadavg: 2.03 2.04 2.05 3/180 19098
/proc/meminfo: memFree=31695508/32770624 swapFree=0/383504
[pid=19098] ppid=19095 vsize=26912 CPUtime=0 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4194304 605 0 0 0 0 0 0 0 20 0 1 0 8262920 27557888 420 18446744073709551615 4194304 5970956 140725078955632 140725078952280 140400662963936 0 0 1 0 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 6728 420 379 434 0 60 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26912
[startup+0.200331 s]
/proc/loadavg: 2.03 2.04 2.05 3/180 19098
/proc/meminfo: memFree=31695508/32770624 swapFree=0/383504
[pid=19098] ppid=19095 vsize=28068 CPUtime=0.1 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 1209 0 0 0 10 0 0 0 20 0 1 0 8262920 28741632 995 18446744073709551615 4194304 5970956 140725078955632 140725078952280 140400646912997 0 0 1 0 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 7017 995 709 434 0 381 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 28068
[startup+0.300326 s]
/proc/loadavg: 2.03 2.04 2.05 3/180 19098
/proc/meminfo: memFree=31695508/32770624 swapFree=0/383504
[pid=19098] ppid=19095 vsize=28980 CPUtime=0.2 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 1497 0 0 0 20 0 0 0 20 0 1 0 8262920 29675520 1171 18446744073709551615 4194304 5970956 140725078955632 140725078952280 5668496 0 0 1 0 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 7245 1171 709 434 0 609 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 28980
[startup+0.700224 s]
/proc/loadavg: 2.03 2.04 2.05 3/180 19098
/proc/meminfo: memFree=31695508/32770624 swapFree=0/383504
[pid=19098] ppid=19095 vsize=31992 CPUtime=0.6 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 2460 0 0 0 60 0 0 0 20 0 1 0 8262920 32759808 1918 18446744073709551615 4194304 5970956 140725078955632 140725078952232 5674950 0 0 1 0 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 7998 1918 709 434 0 1362 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 31992
[startup+1.50021 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 19100
/proc/meminfo: memFree=31675412/32770624 swapFree=0/383508
[pid=19098] ppid=19095 vsize=47232 CPUtime=1.39 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 6697 0 0 0 139 0 0 0 20 0 1 0 8262920 48365568 5712 18446744073709551615 4194304 5970956 140725078955632 140725078952232 5350824 0 0 1 0 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 11808 5712 717 434 0 5172 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 47232
[startup+3.10032 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 19100
/proc/meminfo: memFree=31663136/32770624 swapFree=0/383508
[pid=19098] ppid=19095 vsize=60096 CPUtime=2.99 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 14801 0 0 0 298 1 0 0 20 0 1 0 8262920 61538304 8863 18446744073709551615 4194304 5970956 140725078955632 140725078953240 4934527 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8863 759 434 0 8388 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 60096
[startup+6.30029 s]
/proc/loadavg: 2.11 2.05 2.05 4/181 19100
/proc/meminfo: memFree=31663168/32770624 swapFree=0/383520
[pid=19098] ppid=19095 vsize=60096 CPUtime=6.2 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 22606 0 0 0 618 2 0 0 20 0 1 0 8262920 61538304 8870 18446744073709551615 4194304 5970956 140725078955632 140725078953240 4934327 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8870 764 434 0 8388 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 60096
[startup+12.7003 s]
/proc/loadavg: 2.10 2.05 2.05 3/181 19100
/proc/meminfo: memFree=31662920/32770624 swapFree=0/383524
[pid=19098] ppid=19095 vsize=60096 CPUtime=12.6 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 30407 0 0 0 1258 2 0 0 20 0 1 0 8262920 61538304 8870 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934327 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8870 764 434 0 8388 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 60096
[startup+25.5004 s]
/proc/loadavg: 2.08 2.05 2.05 3/181 19100
/proc/meminfo: memFree=31663172/32770624 swapFree=0/383540
[pid=19098] ppid=19095 vsize=60096 CPUtime=25.4 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 43684 0 0 0 2537 3 0 0 20 0 1 0 8262920 61538304 8870 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934370 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8870 764 434 0 8388 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 60096
[startup+51.1004 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 19161
/proc/meminfo: memFree=31664604/32770624 swapFree=0/383332
[pid=19098] ppid=19095 vsize=60096 CPUtime=51 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 46938 0 0 0 5097 3 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934366 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 60096
[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 19163
/proc/meminfo: memFree=31665756/32770624 swapFree=0/383416
[pid=19098] ppid=19095 vsize=60096 CPUtime=102.21 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 47858 0 0 0 10218 3 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934357 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 60096
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 19165
/proc/meminfo: memFree=31665448/32770624 swapFree=0/383484
[pid=19098] ppid=19095 vsize=60096 CPUtime=162.21 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 48778 0 0 0 16218 3 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934318 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 60096
[startup+222.306 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 19167
/proc/meminfo: memFree=31665544/32770624 swapFree=0/383560
[pid=19098] ppid=19095 vsize=60096 CPUtime=222.22 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 49699 0 0 0 22219 3 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934327 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 60096
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 19183
/proc/meminfo: memFree=31660044/32770624 swapFree=0/383656
[pid=19098] ppid=19095 vsize=60096 CPUtime=282.22 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 49699 0 0 0 28219 3 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934320 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 60096
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 19185
/proc/meminfo: memFree=31663828/32770624 swapFree=0/383696
[pid=19098] ppid=19095 vsize=60096 CPUtime=342.22 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 50620 0 0 0 34219 3 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 5319216 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 60096
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/181 19187
/proc/meminfo: memFree=31663580/32770624 swapFree=0/383744
[pid=19098] ppid=19095 vsize=60096 CPUtime=402.23 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 50620 0 0 0 40220 3 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934327 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 60096
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 19189
/proc/meminfo: memFree=31663564/32770624 swapFree=0/383788
[pid=19098] ppid=19095 vsize=60096 CPUtime=462.24 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 51541 0 0 0 46221 3 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934449 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 60096
[startup+522.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/181 19191
/proc/meminfo: memFree=31663212/32770624 swapFree=0/383820
[pid=19098] ppid=19095 vsize=60096 CPUtime=522.24 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 51541 0 0 0 52221 3 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934357 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 60096
[startup+582.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 19194
/proc/meminfo: memFree=31663532/32770624 swapFree=0/383884
[pid=19098] ppid=19095 vsize=60096 CPUtime=582.25 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 52462 0 0 0 58222 3 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934357 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 60096
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 19282
/proc/meminfo: memFree=31661996/32770624 swapFree=0/384620
[pid=19098] ppid=19095 vsize=60096 CPUtime=1542.36 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 59678 0 0 0 154233 3 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934318 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 60096
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 19284
/proc/meminfo: memFree=31662376/32770624 swapFree=0/384640
[pid=19098] ppid=19095 vsize=60096 CPUtime=1602.36 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 59678 0 0 0 160233 3 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934506 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 60096
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 19286
/proc/meminfo: memFree=31663004/32770624 swapFree=0/384672
[pid=19098] ppid=19095 vsize=60096 CPUtime=1662.36 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 60368 0 0 0 166233 3 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934366 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 60096
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/181 19288
/proc/meminfo: memFree=31663184/32770624 swapFree=0/384700
[pid=19098] ppid=19095 vsize=60096 CPUtime=1722.37 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 60599 0 0 0 172234 3 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934545 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 60096
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 19290
/proc/meminfo: memFree=31662944/32770624 swapFree=0/384740
[pid=19098] ppid=19095 vsize=60096 CPUtime=1782.37 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 61410 0 0 0 178234 3 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934327 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 60096
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19292
/proc/meminfo: memFree=31662700/32770624 swapFree=0/384772
[pid=19098] ppid=19095 vsize=60096 CPUtime=1842.38 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 61520 0 0 0 184235 3 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934318 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 1842.38
Current children cumulated vsize (KiB) 60096
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19294
/proc/meminfo: memFree=31663212/32770624 swapFree=0/384804
[pid=19098] ppid=19095 vsize=60096 CPUtime=1902.39 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 62170 0 0 0 190236 3 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4933153 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 1902.39
Current children cumulated vsize (KiB) 60096
[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 19296
/proc/meminfo: memFree=31663384/32770624 swapFree=0/384836
[pid=19098] ppid=19095 vsize=60096 CPUtime=1962.39 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 62170 0 0 0 196236 3 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934292 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 1962.39
Current children cumulated vsize (KiB) 60096
[startup+2022.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 19298
/proc/meminfo: memFree=31663440/32770624 swapFree=0/384876
[pid=19098] ppid=19095 vsize=60096 CPUtime=2022.4 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 63091 0 0 0 202237 3 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934318 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 2022.4
Current children cumulated vsize (KiB) 60096
[startup+2082.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/185 19315
/proc/meminfo: memFree=31658852/32770624 swapFree=0/384948
[pid=19098] ppid=19095 vsize=60096 CPUtime=2082.41 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 63091 0 0 0 208238 3 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934350 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 2082.41
Current children cumulated vsize (KiB) 60096
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 19317
/proc/meminfo: memFree=31661992/32770624 swapFree=0/384988
[pid=19098] ppid=19095 vsize=60096 CPUtime=2142.42 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 63820 0 0 0 214238 4 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934327 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 2142.42
Current children cumulated vsize (KiB) 60096
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 19319
/proc/meminfo: memFree=31662728/32770624 swapFree=0/385012
[pid=19098] ppid=19095 vsize=60096 CPUtime=2202.43 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 63906 0 0 0 220239 4 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934477 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 2202.43
Current children cumulated vsize (KiB) 60096
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 19321
/proc/meminfo: memFree=31662476/32770624 swapFree=0/385048
[pid=19098] ppid=19095 vsize=60096 CPUtime=2262.43 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 64827 0 0 0 226239 4 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934327 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 2262.43
Current children cumulated vsize (KiB) 60096
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 19323
/proc/meminfo: memFree=31662596/32770624 swapFree=0/385080
[pid=19098] ppid=19095 vsize=60096 CPUtime=2322.44 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 64827 0 0 0 232240 4 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934318 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 2322.44
Current children cumulated vsize (KiB) 60096
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 19326
/proc/meminfo: memFree=31661640/32770624 swapFree=0/385116
[pid=19098] ppid=19095 vsize=60096 CPUtime=2382.44 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 65156 0 0 0 238240 4 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934318 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 2382.44
Current children cumulated vsize (KiB) 60096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19326
/proc/meminfo: memFree=31661764/32770624 swapFree=0/385124
[pid=19098] ppid=19095 vsize=60096 CPUtime=2400.05 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 65156 0 0 0 240001 4 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934327 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 60096
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 19098 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.05 3/181 19326
/proc/meminfo: memFree=31661764/32770624 swapFree=0/385124
[pid=19098] ppid=19095 vsize=60096 CPUtime=2400.05 cores=1,3,5,7
/proc/19098/stat : 19098 (cosoco) R 19095 19098 9955 0 -1 4202496 65156 0 0 0 240001 4 0 0 20 0 1 0 8262920 61538304 8903 18446744073709551615 4194304 5970956 140725078955632 140725078952968 4934327 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 39940096 140725078962636 140725078962766 140725078962766 140725078966222 0
/proc/19098/statm: 15024 8903 764 434 0 8388 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 60096
Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.05
CPU user time (s): 2400.01
CPU system time (s): 0.042004
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 60096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.042004
maximum resident set size= 35660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65185
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= 14
involuntary context switches= 602
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.31281 second user time and 10.0538 second system time
The end