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-4267931-1502546393/watcher-4267931-1502546393 -o /tmp/evaluation-result-4267931-1502546393/solver-4267931-1502546393 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502500286-31839 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267931-1502546393.xml
pid=9685
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.04 3/180 9688
/proc/meminfo: memFree=31500124/32770624 swapFree=0/470544
[pid=9688] ppid=9685 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9688/stat : 9688 (runsolver) D 9685 9688 31775 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 42979995 24240128 108 18446744073709551615 4194304 4338465 140725909430224 140725909427864 140220464100055 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 27770880 140725909438657 140725909439049 140725909439049 140725909442506 0
/proc/9688/statm: 5918 108 54 36 0 2156 0
[startup+0.100153 s]
/proc/loadavg: 2.00 2.01 2.04 3/180 9688
/proc/meminfo: memFree=31500124/32770624 swapFree=0/470544
[pid=9688] ppid=9685 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9688/stat : 9688 (runsolver) D 9685 9688 31775 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 42979995 24240128 108 18446744073709551615 4194304 4338465 140725909430224 140725909427864 140220464100055 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 27770880 140725909438657 140725909439049 140725909439049 140725909442506 0
/proc/9688/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200322 s]
/proc/loadavg: 2.00 2.01 2.04 3/180 9688
/proc/meminfo: memFree=31500124/32770624 swapFree=0/470544
[pid=9688] ppid=9685 vsize=28580 CPUtime=0.08 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 1398 0 0 0 8 0 0 0 20 0 1 0 42979995 29265920 1228 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913726 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1228 755 435 0 508 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 28580
[startup+0.300255 s]
/proc/loadavg: 2.00 2.01 2.04 3/180 9688
/proc/meminfo: memFree=31500124/32770624 swapFree=0/470544
[pid=9688] ppid=9685 vsize=28580 CPUtime=0.18 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 1398 0 0 0 18 0 0 0 20 0 1 0 42979995 29265920 1228 18446744073709551615 4194304 5972588 140733797201728 140733797199032 5328628 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1228 755 435 0 508 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 28580
[startup+0.700221 s]
/proc/loadavg: 2.00 2.01 2.04 3/180 9688
/proc/meminfo: memFree=31500124/32770624 swapFree=0/470544
[pid=9688] ppid=9685 vsize=28580 CPUtime=0.58 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 1398 0 0 0 58 0 0 0 20 0 1 0 42979995 29265920 1228 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4908847 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1228 755 435 0 508 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 28580
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 9689
/proc/meminfo: memFree=31498076/32770624 swapFree=0/470544
[pid=9688] ppid=9685 vsize=28580 CPUtime=1.38 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 1398 0 0 0 138 0 0 0 20 0 1 0 42979995 29265920 1228 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913351 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1228 755 435 0 508 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 28580
[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 9689
/proc/meminfo: memFree=31497728/32770624 swapFree=0/470544
[pid=9688] ppid=9685 vsize=28580 CPUtime=2.98 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 1802 0 0 0 298 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913600 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 28580
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 9689
/proc/meminfo: memFree=31497728/32770624 swapFree=0/470544
[pid=9688] ppid=9685 vsize=28580 CPUtime=6.18 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 2206 0 0 0 618 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913423 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 28580
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 9690
/proc/meminfo: memFree=31497356/32770624 swapFree=0/470544
[pid=9688] ppid=9685 vsize=28580 CPUtime=12.58 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 2610 0 0 0 1258 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913385 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 28580
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 9690
/proc/meminfo: memFree=31497240/32770624 swapFree=0/470556
[pid=9688] ppid=9685 vsize=28580 CPUtime=25.38 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 3418 0 0 0 2538 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913729 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 28580
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 9690
/proc/meminfo: memFree=31497348/32770624 swapFree=0/470548
[pid=9688] ppid=9685 vsize=28580 CPUtime=50.98 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 3822 0 0 0 5098 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913632 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 28580
[startup+102.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/181 9692
/proc/meminfo: memFree=31497472/32770624 swapFree=0/470548
[pid=9688] ppid=9685 vsize=28580 CPUtime=102.19 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 4226 0 0 0 10219 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913412 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 28580
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 9694
/proc/meminfo: memFree=31497088/32770624 swapFree=0/470560
[pid=9688] ppid=9685 vsize=28580 CPUtime=162.18 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 4632 0 0 0 16218 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913729 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 28580
[startup+222.306 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 9696
/proc/meminfo: memFree=31497096/32770624 swapFree=0/470548
[pid=9688] ppid=9685 vsize=28580 CPUtime=222.19 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 5037 0 0 0 22219 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913632 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 28580
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/185 9713
/proc/meminfo: memFree=31492624/32770624 swapFree=0/470572
[pid=9688] ppid=9685 vsize=28580 CPUtime=282.18 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 5442 0 0 0 28218 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4909117 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 28580
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 9715
/proc/meminfo: memFree=31493284/32770624 swapFree=0/470584
[pid=9688] ppid=9685 vsize=28580 CPUtime=342.18 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 5847 0 0 0 34218 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913724 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 28580
[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 9718
/proc/meminfo: memFree=31494868/32770624 swapFree=0/470592
[pid=9688] ppid=9685 vsize=28580 CPUtime=402.18 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 6252 0 0 0 40218 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913381 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 28580
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 9720
/proc/meminfo: memFree=31495116/32770624 swapFree=0/470608
[pid=9688] ppid=9685 vsize=28580 CPUtime=462.18 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 6657 0 0 0 46218 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913636 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 28580
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 9722
/proc/meminfo: memFree=31495600/32770624 swapFree=0/470616
[pid=9688] ppid=9685 vsize=28580 CPUtime=522.19 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 7062 0 0 0 52219 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913651 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 28580
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9725
/proc/meminfo: memFree=31495124/32770624 swapFree=0/470632
[pid=9688] ppid=9685 vsize=28580 CPUtime=582.19 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 7467 0 0 0 58219 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913434 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 28580
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 9813
/proc/meminfo: memFree=31494732/32770624 swapFree=0/470816
[pid=9688] ppid=9685 vsize=28580 CPUtime=1602.2 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 14011 0 0 0 160220 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913533 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 1602.2
Current children cumulated vsize (KiB) 28580
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 9815
/proc/meminfo: memFree=31494576/32770624 swapFree=0/470832
[pid=9688] ppid=9685 vsize=28580 CPUtime=1662.2 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 14416 0 0 0 166220 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913622 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 1662.2
Current children cumulated vsize (KiB) 28580
[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 9817
/proc/meminfo: memFree=31494204/32770624 swapFree=0/470852
[pid=9688] ppid=9685 vsize=28580 CPUtime=1722.2 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 14777 0 0 0 172220 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913600 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 28580
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 9819
/proc/meminfo: memFree=31494576/32770624 swapFree=0/470860
[pid=9688] ppid=9685 vsize=28580 CPUtime=1782.2 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 15146 0 0 0 178220 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913709 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 28580
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9821
/proc/meminfo: memFree=31494708/32770624 swapFree=0/470868
[pid=9688] ppid=9685 vsize=28580 CPUtime=1842.2 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 15551 0 0 0 184220 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913729 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 1842.2
Current children cumulated vsize (KiB) 28580
[startup+1902.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 9823
/proc/meminfo: memFree=31494584/32770624 swapFree=0/470876
[pid=9688] ppid=9685 vsize=28580 CPUtime=1902.2 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 15904 0 0 0 190220 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913434 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 1902.2
Current children cumulated vsize (KiB) 28580
[startup+1962.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 9825
/proc/meminfo: memFree=31494708/32770624 swapFree=0/470896
[pid=9688] ppid=9685 vsize=28580 CPUtime=1962.2 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 16257 0 0 0 196220 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913724 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 1962.2
Current children cumulated vsize (KiB) 28580
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9827
/proc/meminfo: memFree=31494712/32770624 swapFree=0/470912
[pid=9688] ppid=9685 vsize=28580 CPUtime=2022.2 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 16681 0 0 0 202220 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913600 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 2022.2
Current children cumulated vsize (KiB) 28580
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 9844
/proc/meminfo: memFree=31490216/32770624 swapFree=0/470940
[pid=9688] ppid=9685 vsize=28580 CPUtime=2082.21 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 17053 0 0 0 208221 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913719 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 2082.21
Current children cumulated vsize (KiB) 28580
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 9846
/proc/meminfo: memFree=31490080/32770624 swapFree=0/470960
[pid=9688] ppid=9685 vsize=28580 CPUtime=2142.2 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 17425 0 0 0 214220 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913632 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 2142.2
Current children cumulated vsize (KiB) 28580
[startup+2202.31 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 9848
/proc/meminfo: memFree=31493724/32770624 swapFree=0/470972
[pid=9688] ppid=9685 vsize=28580 CPUtime=2202.21 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 17830 0 0 0 220221 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4908987 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 2202.21
Current children cumulated vsize (KiB) 28580
[startup+2262.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 9910
/proc/meminfo: memFree=31119616/32770624 swapFree=0/470996
[pid=9688] ppid=9685 vsize=28580 CPUtime=2262.21 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 18182 0 0 0 226221 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913434 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 2262.21
Current children cumulated vsize (KiB) 28580
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 9912
/proc/meminfo: memFree=31116244/32770624 swapFree=0/470992
[pid=9688] ppid=9685 vsize=28580 CPUtime=2322.21 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 18534 0 0 0 232221 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 5319888 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 2322.21
Current children cumulated vsize (KiB) 28580
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9915
/proc/meminfo: memFree=31113436/32770624 swapFree=0/470988
[pid=9688] ppid=9685 vsize=28580 CPUtime=2382.21 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 18886 0 0 0 238221 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4908847 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 2382.21
Current children cumulated vsize (KiB) 28580
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9917
/proc/meminfo: memFree=31110660/32770624 swapFree=0/471000
[pid=9688] ppid=9685 vsize=28580 CPUtime=2442.21 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 19301 0 0 0 244221 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913724 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 2442.21
Current children cumulated vsize (KiB) 28580
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9919
/proc/meminfo: memFree=31106708/32770624 swapFree=0/471016
[pid=9688] ppid=9685 vsize=28580 CPUtime=2502.21 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 19675 0 0 0 250221 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913440 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 2502.21
Current children cumulated vsize (KiB) 28580
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9919
/proc/meminfo: memFree=31106716/32770624 swapFree=0/471016
[pid=9688] ppid=9685 vsize=28580 CPUtime=2519.91 cores=1,3,5,7
/proc/9688/stat : 9688 (cosoco) R 9685 9688 31775 0 -1 4202496 20034 0 0 0 251991 0 0 0 20 0 1 0 42979995 29265920 1240 18446744073709551615 4194304 5972588 140733797201728 140733797199032 4913632 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 15740928 140733797204462 140733797204557 140733797204557 140733797208014 0
/proc/9688/statm: 7145 1240 765 435 0 508 0
Current children cumulated CPU time (s) 2519.91
Current children cumulated vsize (KiB) 28580
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 9688 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.92
CPU user time (s): 2519.91
CPU system time (s): 0.005
CPU usage (%): 99.9967
Max. virtual memory (cumulated for all children) (KiB): 28580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.91
system time used= 0.005
maximum resident set size= 5036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20086
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= 656
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.05811 second user time and 7.95029 second system time
The end