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-4241317-1502080757/watcher-4241317-1502080757 -o /tmp/evaluation-result-4241317-1502080757/solver-4241317-1502080757 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502042680-29187 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241317-1502080757.xml
pid=2433
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: 1.91 1.99 2.03 2/180 2436
/proc/meminfo: memFree=31637056/32770624 swapFree=0/379140
[pid=2436] ppid=2433 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/2436/stat : 2436 (runsolver) D 2433 2436 21827 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10271442 24240128 106 18446744073709551615 4194304 4338465 140730899049168 140730899046808 139964141916887 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 23822336 140730899054746 140730899055178 140730899055178 140730899058634 0
/proc/2436/statm: 5918 106 53 36 0 2156 0
[startup+0.100155 s]
/proc/loadavg: 1.91 1.99 2.03 2/180 2436
/proc/meminfo: memFree=31637056/32770624 swapFree=0/379140
[pid=2436] ppid=2433 vsize=27784 CPUtime=0.02 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 1226 0 0 0 2 0 0 0 20 0 1 0 10271442 28450816 1045 18446744073709551615 4194304 5970956 140733143513872 140733143510520 5417044 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 6946 1045 783 434 0 310 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 27784
[startup+0.200267 s]
/proc/loadavg: 1.91 1.99 2.03 2/180 2436
/proc/meminfo: memFree=31637056/32770624 swapFree=0/379140
[pid=2436] ppid=2433 vsize=34340 CPUtime=0.12 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 1882 0 0 0 12 0 0 0 20 0 1 0 10271442 35164160 1705 18446744073709551615 4194304 5970956 140733143513872 140733143510520 4934357 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8585 1705 845 434 0 1949 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 34340
[startup+0.300254 s]
/proc/loadavg: 1.91 1.99 2.03 2/180 2436
/proc/meminfo: memFree=31637056/32770624 swapFree=0/379140
[pid=2436] ppid=2433 vsize=34340 CPUtime=0.22 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 1884 0 0 0 22 0 0 0 20 0 1 0 10271442 35164160 1705 18446744073709551615 4194304 5970956 140733143513872 140733143511432 4933182 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8585 1705 845 434 0 1949 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 34340
[startup+0.70022 s]
/proc/loadavg: 1.91 1.99 2.03 2/180 2436
/proc/meminfo: memFree=31637056/32770624 swapFree=0/379140
[pid=2436] ppid=2433 vsize=34340 CPUtime=0.62 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 1896 0 0 0 62 0 0 0 20 0 1 0 10271442 35164160 1705 18446744073709551615 4194304 5970956 140733143513872 140733143511432 4934354 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8585 1705 845 434 0 1949 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 34340
[startup+1.50022 s]
/proc/loadavg: 1.91 1.99 2.03 3/181 2437
/proc/meminfo: memFree=31633572/32770624 swapFree=0/378932
[pid=2436] ppid=2433 vsize=34340 CPUtime=1.42 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 1921 0 0 0 142 0 0 0 20 0 1 0 10271442 35164160 1705 18446744073709551615 4194304 5970956 140733143513872 140733143511432 4934568 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8585 1705 845 434 0 1949 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 34340
[startup+3.10022 s]
/proc/loadavg: 1.92 1.99 2.03 3/181 2437
/proc/meminfo: memFree=31633340/32770624 swapFree=0/379148
[pid=2436] ppid=2433 vsize=34472 CPUtime=3.02 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 2779 0 0 0 302 0 0 0 20 0 1 0 10271442 35299328 1781 18446744073709551615 4194304 5970956 140733143513872 140733143511208 4934318 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8618 1781 848 434 0 1982 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 34472
[startup+6.30022 s]
/proc/loadavg: 1.92 1.99 2.03 3/181 2437
/proc/meminfo: memFree=31632608/32770624 swapFree=0/379152
[pid=2436] ppid=2433 vsize=34472 CPUtime=6.22 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 3620 0 0 0 622 0 0 0 20 0 1 0 10271442 35299328 1808 18446744073709551615 4194304 5970956 140733143513872 140733143511208 4934327 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8618 1808 852 434 0 1982 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 34472
[startup+12.7002 s]
/proc/loadavg: 1.93 1.99 2.03 3/181 2438
/proc/meminfo: memFree=31632648/32770624 swapFree=0/379152
[pid=2436] ppid=2433 vsize=34472 CPUtime=12.62 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 4468 0 0 0 1262 0 0 0 20 0 1 0 10271442 35299328 1814 18446744073709551615 4194304 5970956 140733143513872 140733143511208 4934375 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8618 1814 852 434 0 1982 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 34472
[startup+25.5003 s]
/proc/loadavg: 2.02 2.00 2.04 3/181 2438
/proc/meminfo: memFree=31632400/32770624 swapFree=0/379168
[pid=2436] ppid=2433 vsize=34472 CPUtime=25.42 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 6161 0 0 0 2542 0 0 0 20 0 1 0 10271442 35299328 1826 18446744073709551615 4194304 5970956 140733143513872 140733143511208 5038359 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8618 1826 852 434 0 1982 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 34472
[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.04 3/181 2438
/proc/meminfo: memFree=31632284/32770624 swapFree=0/379188
[pid=2436] ppid=2433 vsize=34472 CPUtime=51.02 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 7041 0 0 0 5102 0 0 0 20 0 1 0 10271442 35299328 1832 18446744073709551615 4194304 5970956 140733143513872 140733143511208 4934350 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8618 1832 852 434 0 1982 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 34472
[startup+102.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/182 2441
/proc/meminfo: memFree=31631156/32770624 swapFree=0/379224
[pid=2436] ppid=2433 vsize=34472 CPUtime=102.22 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 7907 0 0 0 10222 0 0 0 20 0 1 0 10271442 35299328 1837 18446744073709551615 4194304 5970956 140733143513872 140733143511208 4933151 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8618 1837 852 434 0 1982 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 34472
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 2443
/proc/meminfo: memFree=31630596/32770624 swapFree=0/379252
[pid=2436] ppid=2433 vsize=34472 CPUtime=162.21 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 8778 0 0 0 16221 0 0 0 20 0 1 0 10271442 35299328 1842 18446744073709551615 4194304 5970956 140733143513872 140733143511208 4934366 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8618 1842 852 434 0 1982 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 34472
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 2446
/proc/meminfo: memFree=31630412/32770624 swapFree=0/379292
[pid=2436] ppid=2433 vsize=34668 CPUtime=222.21 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 9694 0 0 0 22221 0 0 0 20 0 1 0 10271442 35500032 1865 18446744073709551615 4194304 5970956 140733143513872 140733143510616 4934318 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1865 852 434 0 2031 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 34668
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 2448
/proc/meminfo: memFree=31630420/32770624 swapFree=0/379324
[pid=2436] ppid=2433 vsize=34668 CPUtime=282.2 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 10576 0 0 0 28220 0 0 0 20 0 1 0 10271442 35500032 1868 18446744073709551615 4194304 5970956 140733143513872 140733143510616 4934506 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1868 852 434 0 2031 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 34668
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 2465
/proc/meminfo: memFree=31626884/32770624 swapFree=0/379388
[pid=2436] ppid=2433 vsize=34668 CPUtime=342.2 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 11456 0 0 0 34220 0 0 0 20 0 1 0 10271442 35500032 1869 18446744073709551615 4194304 5970956 140733143513872 140733143510616 4934272 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1869 852 434 0 2031 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 34668
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 2467
/proc/meminfo: memFree=31628700/32770624 swapFree=0/379416
[pid=2436] ppid=2433 vsize=34668 CPUtime=402.2 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 12345 0 0 0 40220 0 0 0 20 0 1 0 10271442 35500032 1871 18446744073709551615 4194304 5970956 140733143513872 140733143510616 4934327 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1871 852 434 0 2031 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 34668
[startup+462.3 s]
/proc/loadavg: 2.05 2.02 2.05 3/182 2469
/proc/meminfo: memFree=31628760/32770624 swapFree=0/379448
[pid=2436] ppid=2433 vsize=34668 CPUtime=462.19 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 12787 0 0 0 46219 0 0 0 20 0 1 0 10271442 35500032 1898 18446744073709551615 4194304 5970956 140733143513872 140733143510616 4934354 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1898 852 434 0 2031 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 34668
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/182 2471
/proc/meminfo: memFree=31628884/32770624 swapFree=0/379468
[pid=2436] ppid=2433 vsize=34668 CPUtime=522.19 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 13258 0 0 0 52219 0 0 0 20 0 1 0 10271442 35500032 1898 18446744073709551615 4194304 5970956 140733143513872 140733143510616 4934937 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1898 852 434 0 2031 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 34668
[startup+582.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 2473
/proc/meminfo: memFree=31629256/32770624 swapFree=0/379492
[pid=2436] ppid=2433 vsize=34668 CPUtime=582.19 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 13720 0 0 0 58219 0 0 0 20 0 1 0 10271442 35500032 1899 18446744073709551615 4194304 5970956 140733143513872 140733143510616 4977052 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1899 852 434 0 2031 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 34668
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 2517
/proc/meminfo: memFree=31629128/32770624 swapFree=0/379812
[pid=2436] ppid=2433 vsize=34668 CPUtime=1482.15 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 20637 0 0 0 148214 1 0 0 20 0 1 0 10271442 35500032 1908 18446744073709551615 4194304 5970956 140733143513872 140733143510616 5009320 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1908 852 434 0 2031 0
Current children cumulated CPU time (s) 1482.15
Current children cumulated vsize (KiB) 34668
[startup+1542.31 s]
/proc/loadavg: 2.07 2.03 2.05 3/185 2534
/proc/meminfo: memFree=31625108/32770624 swapFree=0/379876
[pid=2436] ppid=2433 vsize=34668 CPUtime=1542.15 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 21037 0 0 0 154214 1 0 0 20 0 1 0 10271442 35500032 1909 18446744073709551615 4194304 5970956 140733143513872 140733143510616 4934357 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1909 852 434 0 2031 0
Current children cumulated CPU time (s) 1542.15
Current children cumulated vsize (KiB) 34668
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 2536
/proc/meminfo: memFree=31628484/32770624 swapFree=0/379904
[pid=2436] ppid=2433 vsize=34668 CPUtime=1602.14 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 21416 0 0 0 160213 1 0 0 20 0 1 0 10271442 35500032 1909 18446744073709551615 4194304 5970956 140733143513872 140733143510616 4934327 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1909 852 434 0 2031 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 34668
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 2538
/proc/meminfo: memFree=31628612/32770624 swapFree=0/379928
[pid=2436] ppid=2433 vsize=34668 CPUtime=1662.14 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 21785 0 0 0 166213 1 0 0 20 0 1 0 10271442 35500032 1909 18446744073709551615 4194304 5970956 140733143513872 140733143510616 5327380 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1909 852 434 0 2031 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 34668
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 2540
/proc/meminfo: memFree=31629236/32770624 swapFree=0/379956
[pid=2436] ppid=2433 vsize=34668 CPUtime=1722.14 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 22252 0 0 0 172213 1 0 0 20 0 1 0 10271442 35500032 1910 18446744073709551615 4194304 5970956 140733143513872 140733143510616 4934318 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1910 852 434 0 2031 0
Current children cumulated CPU time (s) 1722.14
Current children cumulated vsize (KiB) 34668
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 2542
/proc/meminfo: memFree=31628244/32770624 swapFree=0/379996
[pid=2436] ppid=2433 vsize=34668 CPUtime=1782.14 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 22679 0 0 0 178213 1 0 0 20 0 1 0 10271442 35500032 1910 18446744073709551615 4194304 5970956 140733143513872 140733143510616 5039119 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1910 852 434 0 2031 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (KiB) 34668
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 2545
/proc/meminfo: memFree=31628364/32770624 swapFree=0/380032
[pid=2436] ppid=2433 vsize=34668 CPUtime=1842.13 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 23152 0 0 0 184212 1 0 0 20 0 1 0 10271442 35500032 1911 18446744073709551615 4194304 5970956 140733143513872 140733143510616 4934318 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1911 852 434 0 2031 0
Current children cumulated CPU time (s) 1842.13
Current children cumulated vsize (KiB) 34668
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 2547
/proc/meminfo: memFree=31628736/32770624 swapFree=0/380056
[pid=2436] ppid=2433 vsize=34668 CPUtime=1902.13 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 23615 0 0 0 190212 1 0 0 20 0 1 0 10271442 35500032 1911 18446744073709551615 4194304 5970956 140733143513872 140733143510616 4933212 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1911 852 434 0 2031 0
Current children cumulated CPU time (s) 1902.13
Current children cumulated vsize (KiB) 34668
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 2549
/proc/meminfo: memFree=31628860/32770624 swapFree=0/380092
[pid=2436] ppid=2433 vsize=34668 CPUtime=1962.13 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 24073 0 0 0 196212 1 0 0 20 0 1 0 10271442 35500032 1911 18446744073709551615 4194304 5970956 140733143513872 140733143510616 4934327 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1911 852 434 0 2031 0
Current children cumulated CPU time (s) 1962.13
Current children cumulated vsize (KiB) 34668
[startup+2022.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 2552
/proc/meminfo: memFree=31628516/32770624 swapFree=0/380124
[pid=2436] ppid=2433 vsize=34668 CPUtime=2022.12 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 24539 0 0 0 202211 1 0 0 20 0 1 0 10271442 35500032 1911 18446744073709551615 4194304 5970956 140733143513872 140733143510616 4934327 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1911 852 434 0 2031 0
Current children cumulated CPU time (s) 2022.12
Current children cumulated vsize (KiB) 34668
[startup+2082.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 2554
/proc/meminfo: memFree=31629012/32770624 swapFree=0/380140
[pid=2436] ppid=2433 vsize=34668 CPUtime=2082.13 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 25013 0 0 0 208212 1 0 0 20 0 1 0 10271442 35500032 1911 18446744073709551615 4194304 5970956 140733143513872 140733143510616 4933209 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1911 852 434 0 2031 0
Current children cumulated CPU time (s) 2082.13
Current children cumulated vsize (KiB) 34668
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 2570
/proc/meminfo: memFree=31624816/32770624 swapFree=0/380188
[pid=2436] ppid=2433 vsize=34668 CPUtime=2142.12 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 25393 0 0 0 214211 1 0 0 20 0 1 0 10271442 35500032 1911 18446744073709551615 4194304 5970956 140733143513872 140733143510616 5020983 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1911 852 434 0 2031 0
Current children cumulated CPU time (s) 2142.12
Current children cumulated vsize (KiB) 34668
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 2596
/proc/meminfo: memFree=31624276/32770624 swapFree=0/380256
[pid=2436] ppid=2433 vsize=34668 CPUtime=2202.12 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 25837 0 0 0 220211 1 0 0 20 0 1 0 10271442 35500032 1911 18446744073709551615 4194304 5970956 140733143513872 140733143510616 4934366 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1911 852 434 0 2031 0
Current children cumulated CPU time (s) 2202.12
Current children cumulated vsize (KiB) 34668
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 2598
/proc/meminfo: memFree=31628076/32770624 swapFree=0/380276
[pid=2436] ppid=2433 vsize=34668 CPUtime=2262.11 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 26198 0 0 0 226210 1 0 0 20 0 1 0 10271442 35500032 1911 18446744073709551615 4194304 5970956 140733143513872 140733143510616 5321216 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1911 852 434 0 2031 0
Current children cumulated CPU time (s) 2262.11
Current children cumulated vsize (KiB) 34668
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 2600
/proc/meminfo: memFree=31628324/32770624 swapFree=0/380296
[pid=2436] ppid=2433 vsize=34668 CPUtime=2322.11 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 26713 0 0 0 232210 1 0 0 20 0 1 0 10271442 35500032 1911 18446744073709551615 4194304 5970956 140733143513872 140733143510616 4933151 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1911 852 434 0 2031 0
Current children cumulated CPU time (s) 2322.11
Current children cumulated vsize (KiB) 34668
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 2666
/proc/meminfo: memFree=31636176/32770624 swapFree=0/380332
[pid=2436] ppid=2433 vsize=34668 CPUtime=2382.11 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 27163 0 0 0 238210 1 0 0 20 0 1 0 10271442 35500032 1912 18446744073709551615 4194304 5970956 140733143513872 140733143510616 4934327 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1912 852 434 0 2031 0
Current children cumulated CPU time (s) 2382.11
Current children cumulated vsize (KiB) 34668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 2666
/proc/meminfo: memFree=31634636/32770624 swapFree=0/380340
[pid=2436] ppid=2433 vsize=34668 CPUtime=2400.01 cores=1,3,5,7
/proc/2436/stat : 2436 (cosoco) R 2433 2436 21827 0 -1 4202496 27605 0 0 0 240000 1 0 0 20 0 1 0 10271442 35500032 1912 18446744073709551615 4194304 5970956 140733143513872 140733143510616 4934327 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 34242560 140733143519687 140733143519822 140733143519822 140733143523278 0
/proc/2436/statm: 8667 1912 852 434 0 2031 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 34668
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 2436 sig 9
??? kill -2436 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.21
CPU time (s): 2400.02
CPU user time (s): 2400.01
CPU system time (s): 0.014999
CPU usage (%): 99.9923
Max. virtual memory (cumulated for all children) (KiB): 34668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.014999
maximum resident set size= 7696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27636
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= 8
involuntary context switches= 706
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.09617 second user time and 8.18453 second system time
The end