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-4242586-1500659013/watcher-4242586-1500659013 -o /tmp/evaluation-result-4242586-1500659013/solver-4242586-1500659013 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500648174-9885 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242586-1500659013.xml 

pid=11917
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.01 2.02 2.05 3/245 11920
/proc/meminfo: memFree=31856056/32770624 swapFree=5920/198932
[pid=11920] ppid=11917 vsize=27252 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 1026 0 0 0 0 0 0 0 20 0 1 0 1168263 27906048 802 33554432000 4194304 5970956 140725065664064 140725065660712 139960592821221 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 6813 802 698 434 0 177 0

[startup+0.100156 s]
/proc/loadavg: 2.01 2.02 2.05 3/245 11920
/proc/meminfo: memFree=31856056/32770624 swapFree=5920/198932
[pid=11920] ppid=11917 vsize=33056 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 2483 0 0 0 9 0 0 0 20 0 1 0 1168263 33849344 2323 33554432000 4194304 5970956 140725065664064 140725065658440 139960593282028 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 8263 2323 735 434 0 1627 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33056

[startup+0.200329 s]
/proc/loadavg: 2.01 2.02 2.05 3/245 11920
/proc/meminfo: memFree=31856056/32770624 swapFree=5920/198932
[pid=11920] ppid=11917 vsize=61016 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 9506 0 0 0 18 1 0 0 20 0 1 0 1168263 62480384 9280 33554432000 4194304 5970956 140725065664064 140725065657816 5109862 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 15254 9280 735 434 0 8618 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 61016

[startup+0.300328 s]
/proc/loadavg: 2.01 2.02 2.05 3/245 11920
/proc/meminfo: memFree=31856056/32770624 swapFree=5920/198932
[pid=11920] ppid=11917 vsize=69964 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 10668 0 0 0 28 1 0 0 20 0 1 0 1168263 71643136 10468 33554432000 4194304 5970956 140725065664064 140725065660968 139960592821221 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 17491 10468 785 434 0 10855 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 69964

[startup+0.700248 s]
/proc/loadavg: 2.01 2.02 2.05 3/245 11920
/proc/meminfo: memFree=31856056/32770624 swapFree=5920/198932
[pid=11920] ppid=11917 vsize=79332 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 13032 0 0 0 67 2 0 0 20 0 1 0 1168263 81235968 12845 33554432000 4194304 5970956 140725065664064 140725065660808 5136560 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 19833 12845 786 434 0 13197 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79332

[startup+1.50023 s]
/proc/loadavg: 2.01 2.02 2.05 3/246 11921
/proc/meminfo: memFree=31805864/32770624 swapFree=5920/198828
[pid=11920] ppid=11917 vsize=81780 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 13651 0 0 0 147 2 0 0 20 0 1 0 1168263 83742720 13488 33554432000 4194304 5970956 140725065664064 140725065660808 5047504 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 20445 13488 786 434 0 13809 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81780

[startup+3.1002 s]
/proc/loadavg: 2.01 2.02 2.05 3/246 11921
/proc/meminfo: memFree=31802436/32770624 swapFree=5920/198960
[pid=11920] ppid=11917 vsize=83712 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 22474 0 0 0 307 2 0 0 20 0 1 0 1168263 85721088 13999 33554432000 4194304 5970956 140725065664064 140725065660808 5092012 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 20928 13999 786 434 0 14292 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83712

[startup+6.30021 s]
/proc/loadavg: 2.01 2.02 2.05 3/246 11921
/proc/meminfo: memFree=31800876/32770624 swapFree=5920/198960
[pid=11920] ppid=11917 vsize=85028 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 31808 0 0 0 626 3 0 0 20 0 1 0 1168263 87068672 14348 33554432000 4194304 5970956 140725065664064 140725065661400 5136577 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 21257 14348 786 434 0 14621 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85028

[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.05 3/246 11921
/proc/meminfo: memFree=31797704/32770624 swapFree=5920/198960
[pid=11920] ppid=11917 vsize=85376 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 40938 0 0 0 1266 3 0 0 20 0 1 0 1168263 87425024 14988 33554432000 4194304 5970956 140725065664064 140725065660808 5136786 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 21344 14988 786 434 0 14708 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 85376

[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/246 11921
/proc/meminfo: memFree=31797480/32770624 swapFree=5920/198976
[pid=11920] ppid=11917 vsize=85576 CPUtime=25.49 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 57691 0 0 0 2545 4 0 0 20 0 1 0 1168263 87629824 15045 33554432000 4194304 5970956 140725065664064 140725065661400 5045308 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 21394 15045 786 434 0 14758 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 85576

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 11921
/proc/meminfo: memFree=31797128/32770624 swapFree=5920/198972
[pid=11920] ppid=11917 vsize=85848 CPUtime=51.08 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 67042 0 0 0 5104 4 0 0 20 0 1 0 1168263 87908352 15215 33554432000 4194304 5970956 140725065664064 140725065661624 5136560 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 21462 15215 786 434 0 14826 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85848

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 11922
/proc/meminfo: memFree=31792988/32770624 swapFree=5920/199016
[pid=11920] ppid=11917 vsize=88700 CPUtime=102.28 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 77804 0 0 0 10223 5 0 0 20 0 1 0 1168263 90828800 16005 33554432000 4194304 5970956 140725065664064 140725065660808 5279748 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 22175 16005 786 434 0 15539 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 88700

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 11923
/proc/meminfo: memFree=31789192/32770624 swapFree=5920/199016
[pid=11920] ppid=11917 vsize=93120 CPUtime=162.27 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 88724 0 0 0 16221 6 0 0 20 0 1 0 1168263 95354880 16668 33554432000 4194304 5970956 140725065664064 140725065661336 5136625 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 16668 786 434 0 16644 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 93120

[startup+222.308 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 11924
/proc/meminfo: memFree=31786864/32770624 swapFree=5920/199084
[pid=11920] ppid=11917 vsize=93120 CPUtime=222.26 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 94434 0 0 0 22220 6 0 0 20 0 1 0 1168263 95354880 17227 33554432000 4194304 5970956 140725065664064 140725065661336 5045304 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17227 786 434 0 16644 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 93120

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 11925
/proc/meminfo: memFree=31786996/32770624 swapFree=5920/199120
[pid=11920] ppid=11917 vsize=93120 CPUtime=282.24 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 94821 0 0 0 28218 6 0 0 20 0 1 0 1168263 95354880 17227 33554432000 4194304 5970956 140725065664064 140725065661336 5045356 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17227 786 434 0 16644 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 93120

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 11926
/proc/meminfo: memFree=31788304/32770624 swapFree=5920/198976
[pid=11920] ppid=11917 vsize=93120 CPUtime=342.24 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 95203 0 0 0 34218 6 0 0 20 0 1 0 1168263 95354880 17227 33554432000 4194304 5970956 140725065664064 140725065661336 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17227 786 434 0 16644 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 93120

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 11936
/proc/meminfo: memFree=31786168/32770624 swapFree=5920/199032
[pid=11920] ppid=11917 vsize=93120 CPUtime=402.23 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 95577 0 0 0 40217 6 0 0 20 0 1 0 1168263 95354880 17227 33554432000 4194304 5970956 140725065664064 140725065661336 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17227 786 434 0 16644 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 93120

[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/247 11937
/proc/meminfo: memFree=31786440/32770624 swapFree=5920/199072
[pid=11920] ppid=11917 vsize=93120 CPUtime=462.23 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 95917 0 0 0 46217 6 0 0 20 0 1 0 1168263 95354880 17227 33554432000 4194304 5970956 140725065664064 140725065661336 5045304 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17227 786 434 0 16644 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 93120

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/247 11938
/proc/meminfo: memFree=31786152/32770624 swapFree=5920/199116
[pid=11920] ppid=11917 vsize=93120 CPUtime=522.22 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 96264 0 0 0 52216 6 0 0 20 0 1 0 1168263 95354880 17227 33554432000 4194304 5970956 140725065664064 140725065661336 5047048 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17227 786 434 0 16644 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 93120

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 11939
/proc/meminfo: memFree=31786284/32770624 swapFree=5920/199152
[pid=11920] ppid=11917 vsize=93120 CPUtime=582.21 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 96636 0 0 0 58215 6 0 0 20 0 1 0 1168263 95354880 17227 33554432000 4194304 5970956 140725065664064 140725065661336 5047087 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17227 786 434 0 16644 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 93120


################
# More data... #
################


[startup+1542.31 s]
/proc/loadavg: 2.14 2.07 2.06 3/246 12051
/proc/meminfo: memFree=31936856/32770624 swapFree=5920/199868
[pid=11920] ppid=11917 vsize=93120 CPUtime=1542.12 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 102203 0 0 0 154206 6 0 0 20 0 1 0 1168263 95354880 17279 33554432000 4194304 5970956 140725065664064 140725065661336 5045308 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17279 786 434 0 16644 0
Current children cumulated CPU time (s) 1542.12
Current children cumulated vsize (KiB) 93120

[startup+1602.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/246 12059
/proc/meminfo: memFree=31937352/32770624 swapFree=5920/199904
[pid=11920] ppid=11917 vsize=93120 CPUtime=1602.11 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 102599 0 0 0 160205 6 0 0 20 0 1 0 1168263 95354880 17294 33554432000 4194304 5970956 140725065664064 140725065661336 5047044 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17294 786 434 0 16644 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 93120

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/246 12060
/proc/meminfo: memFree=31937212/32770624 swapFree=5920/199952
[pid=11920] ppid=11917 vsize=93120 CPUtime=1662.1 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 102910 0 0 0 166204 6 0 0 20 0 1 0 1168263 95354880 17294 33554432000 4194304 5970956 140725065664064 140725065661336 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17294 786 434 0 16644 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 93120

[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/246 12061
/proc/meminfo: memFree=31937604/32770624 swapFree=5920/199988
[pid=11920] ppid=11917 vsize=93120 CPUtime=1722.1 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 103307 0 0 0 172204 6 0 0 20 0 1 0 1168263 95354880 17316 33554432000 4194304 5970956 140725065664064 140725065661336 5047081 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17316 786 434 0 16644 0
Current children cumulated CPU time (s) 1722.1
Current children cumulated vsize (KiB) 93120

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/246 12062
/proc/meminfo: memFree=31936928/32770624 swapFree=5920/200028
[pid=11920] ppid=11917 vsize=93120 CPUtime=1782.09 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 103632 0 0 0 178203 6 0 0 20 0 1 0 1168263 95354880 17316 33554432000 4194304 5970956 140725065664064 140725065661336 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17316 786 434 0 16644 0
Current children cumulated CPU time (s) 1782.09
Current children cumulated vsize (KiB) 93120

[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/246 12063
/proc/meminfo: memFree=31937260/32770624 swapFree=5920/200068
[pid=11920] ppid=11917 vsize=93120 CPUtime=1842.09 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 103959 0 0 0 184203 6 0 0 20 0 1 0 1168263 95354880 17316 33554432000 4194304 5970956 140725065664064 140725065661336 5047048 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17316 786 434 0 16644 0
Current children cumulated CPU time (s) 1842.09
Current children cumulated vsize (KiB) 93120

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/246 12064
/proc/meminfo: memFree=31936576/32770624 swapFree=5920/200108
[pid=11920] ppid=11917 vsize=93120 CPUtime=1902.08 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 104363 0 0 0 190202 6 0 0 20 0 1 0 1168263 95354880 17337 33554432000 4194304 5970956 140725065664064 140725065661336 5311659 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17337 786 434 0 16644 0
Current children cumulated CPU time (s) 1902.08
Current children cumulated vsize (KiB) 93120

[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/246 12065
/proc/meminfo: memFree=31936520/32770624 swapFree=5920/200108
[pid=11920] ppid=11917 vsize=93120 CPUtime=1962.07 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 104679 0 0 0 196201 6 0 0 20 0 1 0 1168263 95354880 17337 33554432000 4194304 5970956 140725065664064 140725065661336 5045308 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17337 786 434 0 16644 0
Current children cumulated CPU time (s) 1962.07
Current children cumulated vsize (KiB) 93120

[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/246 12066
/proc/meminfo: memFree=31936488/32770624 swapFree=5920/200184
[pid=11920] ppid=11917 vsize=93120 CPUtime=2022.07 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 105088 0 0 0 202201 6 0 0 20 0 1 0 1168263 95354880 17352 33554432000 4194304 5970956 140725065664064 140725065661336 5136590 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17352 786 434 0 16644 0
Current children cumulated CPU time (s) 2022.07
Current children cumulated vsize (KiB) 93120

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/246 12067
/proc/meminfo: memFree=31936592/32770624 swapFree=5920/200224
[pid=11920] ppid=11917 vsize=93120 CPUtime=2082.07 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 105410 0 0 0 208201 6 0 0 20 0 1 0 1168263 95354880 17352 33554432000 4194304 5970956 140725065664064 140725065661336 5045288 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17352 786 434 0 16644 0
Current children cumulated CPU time (s) 2082.07
Current children cumulated vsize (KiB) 93120

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 12068
/proc/meminfo: memFree=31935484/32770624 swapFree=5920/200260
[pid=11920] ppid=11917 vsize=93120 CPUtime=2142.05 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 105732 0 0 0 214199 6 0 0 20 0 1 0 1168263 95354880 17352 33554432000 4194304 5970956 140725065664064 140725065661336 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17352 786 434 0 16644 0
Current children cumulated CPU time (s) 2142.05
Current children cumulated vsize (KiB) 93120

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 12076
/proc/meminfo: memFree=31934944/32770624 swapFree=5920/200272
[pid=11920] ppid=11917 vsize=93120 CPUtime=2202.06 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 106054 0 0 0 220200 6 0 0 20 0 1 0 1168263 95354880 17352 33554432000 4194304 5970956 140725065664064 140725065661336 5047044 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17352 786 434 0 16644 0
Current children cumulated CPU time (s) 2202.06
Current children cumulated vsize (KiB) 93120

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 12077
/proc/meminfo: memFree=31935524/32770624 swapFree=5920/200320
[pid=11920] ppid=11917 vsize=93120 CPUtime=2262.04 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 106473 0 0 0 226198 6 0 0 20 0 1 0 1168263 95354880 17377 33554432000 4194304 5970956 140725065664064 140725065661336 5045648 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17377 786 434 0 16644 0
Current children cumulated CPU time (s) 2262.04
Current children cumulated vsize (KiB) 93120

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 12078
/proc/meminfo: memFree=31934288/32770624 swapFree=5920/200328
[pid=11920] ppid=11917 vsize=93120 CPUtime=2322.04 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 106793 0 0 0 232198 6 0 0 20 0 1 0 1168263 95354880 17377 33554432000 4194304 5970956 140725065664064 140725065661336 5047048 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17377 786 434 0 16644 0
Current children cumulated CPU time (s) 2322.04
Current children cumulated vsize (KiB) 93120

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 12079
/proc/meminfo: memFree=31934644/32770624 swapFree=5920/200396
[pid=11920] ppid=11917 vsize=93120 CPUtime=2382.03 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 107113 0 0 0 238197 6 0 0 20 0 1 0 1168263 95354880 17377 33554432000 4194304 5970956 140725065664064 140725065661336 5045640 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17377 786 434 0 16644 0
Current children cumulated CPU time (s) 2382.03
Current children cumulated vsize (KiB) 93120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 12080
/proc/meminfo: memFree=31934468/32770624 swapFree=5920/200408
[pid=11920] ppid=11917 vsize=93120 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 107431 0 0 0 239998 6 0 0 20 0 1 0 1168263 95354880 17377 33554432000 4194304 5970956 140725065664064 140725065661336 5136789 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17377 786 434 0 16644 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 93120

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 11920 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 12080
/proc/meminfo: memFree=31934468/32770624 swapFree=5920/200408
[pid=11920] ppid=11917 vsize=93120 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/11920/stat : 11920 (cosoco) R 11917 11920 9853 0 -1 4202496 107431 0 0 0 239998 6 0 0 20 0 1 0 1168263 95354880 17377 33554432000 4194304 5970956 140725065664064 140725065661336 5136789 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 36511744 140725065671868 140725065672003 140725065672003 140725065674702 0
/proc/11920/statm: 23280 17377 786 434 0 16644 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 93120

Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.05
CPU user time (s): 2399.98
CPU system time (s): 0.064993
CPU usage (%): 99.9891
Max. virtual memory (cumulated for all children) (KiB): 93120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.98
system time used= 0.064993
maximum resident set size= 69556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107463
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= 30
involuntary context switches= 120640

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.05804 second user time and 11.008 second system time

The end