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-4267728-1502514839/watcher-4267728-1502514839 -o /tmp/evaluation-result-4267728-1502514839/solver-4267728-1502514839 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502500309-6741 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267728-1502514839.xml
pid=11187
running on 4 cores: 1,3,5,7
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.00 2.01 2.05 2/180 11190
/proc/meminfo: memFree=31199776/32770624 swapFree=0/556216
[pid=11190] ppid=11187 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/11190/stat : 11190 (runsolver) D 11187 11190 6677 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 53677338 24240128 107 18446744073709551615 4194304 4338465 140735682392960 140735682390600 140188216591063 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 20848640 140735682396354 140735682396745 140735682396745 140735682400202 0
/proc/11190/statm: 5918 107 54 36 0 2156 0
[startup+0.100157 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 11190
/proc/meminfo: memFree=31199776/32770624 swapFree=0/556216
[pid=11190] ppid=11187 vsize=33348 CPUtime=0.03 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 2600 0 0 0 3 0 0 0 20 0 1 0 53677338 34148352 2396 18446744073709551615 4194304 5972588 140735793458128 140735793454776 4935663 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8337 2396 735 435 0 1700 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 33348
[startup+0.200315 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 11190
/proc/meminfo: memFree=31199776/32770624 swapFree=0/556216
[pid=11190] ppid=11187 vsize=34800 CPUtime=0.13 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 2987 0 0 0 13 0 0 0 20 0 1 0 53677338 35635200 2792 18446744073709551615 4194304 5972588 140735793458128 140735793454776 4935596 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8700 2792 778 435 0 2063 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 34800
[startup+0.30028 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 11190
/proc/meminfo: memFree=31199776/32770624 swapFree=0/556216
[pid=11190] ppid=11187 vsize=34932 CPUtime=0.23 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 3005 0 0 0 23 0 0 0 20 0 1 0 53677338 35770368 2834 18446744073709551615 4194304 5972588 140735793458128 140735793454776 5046712 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8733 2834 778 435 0 2096 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 34932
[startup+0.700245 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 11190
/proc/meminfo: memFree=31199776/32770624 swapFree=0/556216
[pid=11190] ppid=11187 vsize=35064 CPUtime=0.63 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 3056 0 0 0 63 0 0 0 20 0 1 0 53677338 35905536 2834 18446744073709551615 4194304 5972588 140735793458128 140735793454776 4935463 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8766 2834 778 435 0 2129 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 35064
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11191
/proc/meminfo: memFree=31191692/32770624 swapFree=0/556240
[pid=11190] ppid=11187 vsize=35328 CPUtime=1.43 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 3094 0 0 0 143 0 0 0 20 0 1 0 53677338 36175872 2899 18446744073709551615 4194304 5972588 140735793458128 140735793454728 5139327 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8832 2899 780 435 0 2195 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 35328
[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11191
/proc/meminfo: memFree=31191320/32770624 swapFree=0/556240
[pid=11190] ppid=11187 vsize=35460 CPUtime=3.03 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 5185 0 0 0 303 0 0 0 20 0 1 0 53677338 36311040 2960 18446744073709551615 4194304 5972588 140735793458128 140735793454840 5139329 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8865 2960 780 435 0 2228 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 35460
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11192
/proc/meminfo: memFree=31190276/32770624 swapFree=0/556240
[pid=11190] ppid=11187 vsize=35460 CPUtime=6.22 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 5295 0 0 0 622 0 0 0 20 0 1 0 53677338 36311040 2967 18446744073709551615 4194304 5972588 140735793458128 140735793445320 5328020 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8865 2967 780 435 0 2228 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 35460
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 11207
/proc/meminfo: memFree=31184496/32770624 swapFree=0/556244
[pid=11190] ppid=11187 vsize=35460 CPUtime=12.62 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 5414 0 0 0 1262 0 0 0 20 0 1 0 53677338 36311040 2991 18446744073709551615 4194304 5972588 140735793458128 140735793455576 5139327 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8865 2991 780 435 0 2228 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 35460
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 11207
/proc/meminfo: memFree=31185364/32770624 swapFree=0/556236
[pid=11190] ppid=11187 vsize=35592 CPUtime=25.42 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 5645 0 0 0 2542 0 0 0 20 0 1 0 53677338 36446208 2999 18446744073709551615 4194304 5972588 140735793458128 140735793454840 4935506 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 2999 780 435 0 2261 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 35592
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 11207
/proc/meminfo: memFree=31185296/32770624 swapFree=0/556248
[pid=11190] ppid=11187 vsize=35592 CPUtime=51.02 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 5757 0 0 0 5102 0 0 0 20 0 1 0 53677338 36446208 3002 18446744073709551615 4194304 5972588 140735793458128 140735793454840 5046712 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3002 780 435 0 2261 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 35592
[startup+102.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/186 11234
/proc/meminfo: memFree=31183140/32770624 swapFree=0/556280
[pid=11190] ppid=11187 vsize=35592 CPUtime=102.22 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 5896 0 0 0 10222 0 0 0 20 0 1 0 53677338 36446208 3008 18446744073709551615 4194304 5972588 140735793458128 140735793445320 5046284 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3008 780 435 0 2261 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 35592
[startup+162.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 11236
/proc/meminfo: memFree=31183760/32770624 swapFree=0/556288
[pid=11190] ppid=11187 vsize=35592 CPUtime=162.22 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 6008 0 0 0 16222 0 0 0 20 0 1 0 53677338 36446208 3008 18446744073709551615 4194304 5972588 140735793458128 140735793445320 5139327 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3008 780 435 0 2261 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 35592
[startup+222.306 s]
/proc/loadavg: 2.01 2.03 2.05 3/183 11238
/proc/meminfo: memFree=31187528/32770624 swapFree=0/556292
[pid=11190] ppid=11187 vsize=35592 CPUtime=222.22 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 6120 0 0 0 22222 0 0 0 20 0 1 0 53677338 36446208 3008 18446744073709551615 4194304 5972588 140735793458128 140735793445320 5048024 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3008 780 435 0 2261 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 35592
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 11240
/proc/meminfo: memFree=31187932/32770624 swapFree=0/556296
[pid=11190] ppid=11187 vsize=35592 CPUtime=282.21 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 6232 0 0 0 28221 0 0 0 20 0 1 0 53677338 36446208 3008 18446744073709551615 4194304 5972588 140735793458128 140735793445320 5139333 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3008 780 435 0 2261 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 35592
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 11242
/proc/meminfo: memFree=31188140/32770624 swapFree=0/556304
[pid=11190] ppid=11187 vsize=35592 CPUtime=342.21 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 6358 0 0 0 34221 0 0 0 20 0 1 0 53677338 36446208 3008 18446744073709551615 4194304 5972588 140735793458128 140735793455576 4936000 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3008 780 435 0 2261 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 35592
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 11244
/proc/meminfo: memFree=31188388/32770624 swapFree=0/556320
[pid=11190] ppid=11187 vsize=35592 CPUtime=402.21 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 6486 0 0 0 40221 0 0 0 20 0 1 0 53677338 36446208 3008 18446744073709551615 4194304 5972588 140735793458128 140735793445320 5139312 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3008 780 435 0 2261 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 35592
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11246
/proc/meminfo: memFree=31188404/32770624 swapFree=0/556340
[pid=11190] ppid=11187 vsize=35592 CPUtime=462.2 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 6615 0 0 0 46220 0 0 0 20 0 1 0 53677338 36446208 3009 18446744073709551615 4194304 5972588 140735793458128 140735793455576 4935502 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3009 780 435 0 2261 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 35592
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11248
/proc/meminfo: memFree=31188156/32770624 swapFree=0/556352
[pid=11190] ppid=11187 vsize=35592 CPUtime=522.2 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 6730 0 0 0 52220 0 0 0 20 0 1 0 53677338 36446208 3011 18446744073709551615 4194304 5972588 140735793458128 140735793455576 5046284 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3011 780 435 0 2261 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 35592
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11250
/proc/meminfo: memFree=31188528/32770624 swapFree=0/556356
[pid=11190] ppid=11187 vsize=35592 CPUtime=582.2 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 6852 0 0 0 58220 0 0 0 20 0 1 0 53677338 36446208 3011 18446744073709551615 4194304 5972588 140735793458128 140735793455576 4935502 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3011 780 435 0 2261 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 35592
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 11315
/proc/meminfo: memFree=31187684/32770624 swapFree=0/556604
[pid=11190] ppid=11187 vsize=35592 CPUtime=1602.16 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 8749 0 0 0 160216 0 0 0 20 0 1 0 53677338 36446208 3011 18446744073709551615 4194304 5972588 140735793458128 140735793445320 4935681 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3011 780 435 0 2261 0
Current children cumulated CPU time (s) 1602.16
Current children cumulated vsize (KiB) 35592
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 11317
/proc/meminfo: memFree=31188056/32770624 swapFree=0/556620
[pid=11190] ppid=11187 vsize=35592 CPUtime=1662.16 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 8833 0 0 0 166216 0 0 0 20 0 1 0 53677338 36446208 3011 18446744073709551615 4194304 5972588 140735793458128 140735793445320 5325626 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3011 780 435 0 2261 0
Current children cumulated CPU time (s) 1662.16
Current children cumulated vsize (KiB) 35592
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 11320
/proc/meminfo: memFree=31188188/32770624 swapFree=0/556636
[pid=11190] ppid=11187 vsize=35592 CPUtime=1722.16 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 8949 0 0 0 172216 0 0 0 20 0 1 0 53677338 36446208 3011 18446744073709551615 4194304 5972588 140735793458128 140735793445320 5139329 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3011 780 435 0 2261 0
Current children cumulated CPU time (s) 1722.16
Current children cumulated vsize (KiB) 35592
[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 11322
/proc/meminfo: memFree=31187940/32770624 swapFree=0/556644
[pid=11190] ppid=11187 vsize=35592 CPUtime=1782.15 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 9056 0 0 0 178215 0 0 0 20 0 1 0 53677338 36446208 3011 18446744073709551615 4194304 5972588 140735793458128 140735793445320 5139319 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3011 780 435 0 2261 0
Current children cumulated CPU time (s) 1782.15
Current children cumulated vsize (KiB) 35592
[startup+1842.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/185 11339
/proc/meminfo: memFree=31184436/32770624 swapFree=0/556668
[pid=11190] ppid=11187 vsize=35592 CPUtime=1842.15 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 9172 0 0 0 184215 0 0 0 20 0 1 0 53677338 36446208 3011 18446744073709551615 4194304 5972588 140735793458128 140735793445320 5139327 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3011 780 435 0 2261 0
Current children cumulated CPU time (s) 1842.15
Current children cumulated vsize (KiB) 35592
[startup+1902.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/185 11341
/proc/meminfo: memFree=31184312/32770624 swapFree=0/556668
[pid=11190] ppid=11187 vsize=35592 CPUtime=1902.15 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 9287 0 0 0 190215 0 0 0 20 0 1 0 53677338 36446208 3011 18446744073709551615 4194304 5972588 140735793458128 140735793445320 5139312 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3011 780 435 0 2261 0
Current children cumulated CPU time (s) 1902.15
Current children cumulated vsize (KiB) 35592
[startup+1962.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/182 11343
/proc/meminfo: memFree=31187836/32770624 swapFree=0/556696
[pid=11190] ppid=11187 vsize=35592 CPUtime=1962.15 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 9402 0 0 0 196215 0 0 0 20 0 1 0 53677338 36446208 3011 18446744073709551615 4194304 5972588 140735793458128 140735793445320 4931808 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3011 780 435 0 2261 0
Current children cumulated CPU time (s) 1962.15
Current children cumulated vsize (KiB) 35592
[startup+2022.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 11345
/proc/meminfo: memFree=31187900/32770624 swapFree=0/556692
[pid=11190] ppid=11187 vsize=35592 CPUtime=2022.14 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 9516 0 0 0 202214 0 0 0 20 0 1 0 53677338 36446208 3011 18446744073709551615 4194304 5972588 140735793458128 140735793445320 5046280 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3011 780 435 0 2261 0
Current children cumulated CPU time (s) 2022.14
Current children cumulated vsize (KiB) 35592
[startup+2082.3 s]
/proc/loadavg: 2.01 2.04 2.05 4/182 11347
/proc/meminfo: memFree=31188148/32770624 swapFree=0/556696
[pid=11190] ppid=11187 vsize=35592 CPUtime=2082.15 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 9631 0 0 0 208215 0 0 0 20 0 1 0 53677338 36446208 3011 18446744073709551615 4194304 5972588 140735793458128 140735793445320 5046287 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3011 780 435 0 2261 0
Current children cumulated CPU time (s) 2082.15
Current children cumulated vsize (KiB) 35592
[startup+2142.3 s]
/proc/loadavg: 1.94 2.01 2.04 3/181 11410
/proc/meminfo: memFree=31196376/32770624 swapFree=0/556724
[pid=11190] ppid=11187 vsize=35592 CPUtime=2142.14 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 9717 0 0 0 214214 0 0 0 20 0 1 0 53677338 36446208 3011 18446744073709551615 4194304 5972588 140735793458128 140735793445320 4935582 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3011 780 435 0 2261 0
Current children cumulated CPU time (s) 2142.14
Current children cumulated vsize (KiB) 35592
[startup+2202.31 s]
/proc/loadavg: 1.98 2.01 2.04 3/181 11412
/proc/meminfo: memFree=31196244/32770624 swapFree=0/556748
[pid=11190] ppid=11187 vsize=35592 CPUtime=2202.14 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 9804 0 0 0 220214 0 0 0 20 0 1 0 53677338 36446208 3011 18446744073709551615 4194304 5972588 140735793458128 140735793445320 4935596 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3011 780 435 0 2261 0
Current children cumulated CPU time (s) 2202.14
Current children cumulated vsize (KiB) 35592
[startup+2262.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 11478
/proc/meminfo: memFree=30587068/32770624 swapFree=0/556792
[pid=11190] ppid=11187 vsize=35592 CPUtime=2262.13 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 9891 0 0 0 226213 0 0 0 20 0 1 0 53677338 36446208 3011 18446744073709551615 4194304 5972588 140735793458128 140735793445320 4935792 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3011 780 435 0 2261 0
Current children cumulated CPU time (s) 2262.13
Current children cumulated vsize (KiB) 35592
[startup+2322.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 11480
/proc/meminfo: memFree=30357488/32770624 swapFree=0/556800
[pid=11190] ppid=11187 vsize=35592 CPUtime=2322.13 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 9977 0 0 0 232213 0 0 0 20 0 1 0 53677338 36446208 3011 18446744073709551615 4194304 5972588 140735793458128 140735793445320 4935663 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3011 780 435 0 2261 0
Current children cumulated CPU time (s) 2322.13
Current children cumulated vsize (KiB) 35592
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 11482
/proc/meminfo: memFree=30356640/32770624 swapFree=0/556800
[pid=11190] ppid=11187 vsize=35592 CPUtime=2382.13 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 10092 0 0 0 238213 0 0 0 20 0 1 0 53677338 36446208 3011 18446744073709551615 4194304 5972588 140735793458128 140735793445320 5139312 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3011 780 435 0 2261 0
Current children cumulated CPU time (s) 2382.13
Current children cumulated vsize (KiB) 35592
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 11498
/proc/meminfo: memFree=30332400/32770624 swapFree=0/556804
[pid=11190] ppid=11187 vsize=35592 CPUtime=2442.13 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 10205 0 0 0 244213 0 0 0 20 0 1 0 53677338 36446208 3011 18446744073709551615 4194304 5972588 140735793458128 140735793445320 5046462 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3011 780 435 0 2261 0
Current children cumulated CPU time (s) 2442.13
Current children cumulated vsize (KiB) 35592
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 11500
/proc/meminfo: memFree=30330100/32770624 swapFree=0/556816
[pid=11190] ppid=11187 vsize=35592 CPUtime=2502.12 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 10320 0 0 0 250212 0 0 0 20 0 1 0 53677338 36446208 3011 18446744073709551615 4194304 5972588 140735793458128 140735793445320 5046280 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3011 780 435 0 2261 0
Current children cumulated CPU time (s) 2502.12
Current children cumulated vsize (KiB) 35592
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11500
/proc/meminfo: memFree=30333528/32770624 swapFree=0/556808
[pid=11190] ppid=11187 vsize=35592 CPUtime=2519.82 cores=1,3,5,7
/proc/11190/stat : 11190 (cosoco) R 11187 11190 6677 0 -1 4202496 10419 0 0 0 251982 0 0 0 20 0 1 0 53677338 36446208 3011 18446744073709551615 4194304 5972588 140735793458128 140735793445320 5046637 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 33439744 140735793459694 140735793459789 140735793459789 140735793463246 0
/proc/11190/statm: 8898 3011 780 435 0 2261 0
Current children cumulated CPU time (s) 2519.82
Current children cumulated vsize (KiB) 35592
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 11190 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.84
CPU user time (s): 2519.83
CPU system time (s): 0.006999
CPU usage (%): 99.9934
Max. virtual memory (cumulated for all children) (KiB): 35592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.83
system time used= 0.006999
maximum resident set size= 12124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10476
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= 805
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.06683 second user time and 8.29564 second system time
The end