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-4268180-1502548619/watcher-4268180-1502548619 -o /tmp/evaluation-result-4268180-1502548619/solver-4268180-1502548619 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502500286-31838 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268180-1502548619.xml
pid=9905
running on 4 cores: 0,2,4,6
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.06 2.03 2.05 3/181 9908
/proc/meminfo: memFree=31496512/32770624 swapFree=0/471040
[pid=9908] ppid=9905 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/9908/stat : 9908 (runsolver) D 9905 9908 31775 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 43202569 24240128 106 18446744073709551615 4194304 4338465 140723092448960 140723092446600 140173016384215 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 32378880 140723092455617 140723092456009 140723092456009 140723092459466 0
/proc/9908/statm: 5918 106 53 36 0 2156 0
[startup+0.100149 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 9908
/proc/meminfo: memFree=31496512/32770624 swapFree=0/471040
[pid=9908] ppid=9905 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/9908/stat : 9908 (runsolver) D 9905 9908 31775 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 43202569 24240128 106 18446744073709551615 4194304 4338465 140723092448960 140723092446600 140173016384215 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 32378880 140723092455617 140723092456009 140723092456009 140723092459466 0
/proc/9908/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200369 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 9908
/proc/meminfo: memFree=31496512/32770624 swapFree=0/471040
[pid=9908] ppid=9905 vsize=34756 CPUtime=0.07 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 2908 0 0 0 7 0 0 0 20 0 1 0 43202569 35590144 2710 18446744073709551615 4194304 5972588 140729855335664 140729855332312 139999182048229 0 0 1 0 0 0 0 17 4 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 8689 2710 742 435 0 2052 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 34756
[startup+0.300391 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 9908
/proc/meminfo: memFree=31496512/32770624 swapFree=0/471040
[pid=9908] ppid=9905 vsize=89296 CPUtime=0.17 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 16565 0 0 0 16 1 0 0 20 0 1 0 43202569 91439104 16367 18446744073709551615 4194304 5972588 140729855335664 140729855332312 139999182048229 0 0 1 0 0 0 0 17 4 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 22361 16367 742 435 0 15724 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 89296
[startup+0.700336 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 9908
/proc/meminfo: memFree=31496512/32770624 swapFree=0/471040
[pid=9908] ppid=9905 vsize=254012 CPUtime=0.57 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 57779 0 0 0 50 7 0 0 20 0 1 0 43202569 260108288 57557 18446744073709551615 4194304 5972588 140729855335664 140729855332312 5328506 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 63503 57557 743 435 0 56866 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 254012
[startup+1.50033 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 9909
/proc/meminfo: memFree=31240380/32770624 swapFree=0/471000
[pid=9908] ppid=9905 vsize=288644 CPUtime=1.37 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 66419 0 0 0 129 8 0 0 20 0 1 0 43202569 295571456 66207 18446744073709551615 4194304 5972588 140729855335664 140729855332632 5139281 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 72161 66207 777 435 0 65524 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 288644
[startup+3.10031 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 9909
/proc/meminfo: memFree=31217192/32770624 swapFree=0/471000
[pid=9908] ppid=9905 vsize=306580 CPUtime=2.97 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 78934 0 0 0 288 9 0 0 20 0 1 0 43202569 313937920 70730 18446744073709551615 4194304 5972588 140729855335664 140729855332472 5139274 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 76645 70730 777 435 0 70008 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 306580
[startup+6.30031 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 9909
/proc/meminfo: memFree=31216540/32770624 swapFree=0/470996
[pid=9908] ppid=9905 vsize=306580 CPUtime=6.17 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 88003 0 0 0 608 9 0 0 20 0 1 0 43202569 313937920 70744 18446744073709551615 4194304 5972588 140729855335664 140729855332472 5046736 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 76645 70744 777 435 0 70008 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 306580
[startup+12.7003 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 9910
/proc/meminfo: memFree=31151840/32770624 swapFree=0/470996
[pid=9908] ppid=9905 vsize=373496 CPUtime=12.56 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 130876 0 0 0 1243 13 0 0 20 0 1 0 43202569 382459904 86504 18446744073709551615 4194304 5972588 140729855335664 140729855332600 5139507 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 93374 86504 779 435 0 86737 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 373496
[startup+25.5004 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 9910
/proc/meminfo: memFree=31124336/32770624 swapFree=0/470996
[pid=9908] ppid=9905 vsize=403996 CPUtime=25.36 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 162704 0 0 0 2520 16 0 0 20 0 1 0 43202569 413691904 93461 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5046292 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 100999 93461 779 435 0 94362 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 403996
[startup+51.1004 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 9910
/proc/meminfo: memFree=31117052/32770624 swapFree=0/470984
[pid=9908] ppid=9905 vsize=412600 CPUtime=50.95 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 219189 0 0 0 5075 20 0 0 20 0 1 0 43202569 422502400 95409 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5046019 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 103150 95409 779 435 0 96513 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 412600
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 9912
/proc/meminfo: memFree=31114864/32770624 swapFree=0/470992
[pid=9908] ppid=9905 vsize=415040 CPUtime=102.14 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 264610 0 0 0 10191 23 0 0 20 0 1 0 43202569 425000960 95948 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5338173 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 103760 95948 779 435 0 97123 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 415040
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9915
/proc/meminfo: memFree=31113352/32770624 swapFree=0/470988
[pid=9908] ppid=9905 vsize=416144 CPUtime=162.12 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 283846 0 0 0 16187 25 0 0 20 0 1 0 43202569 426131456 96196 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5094372 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 104036 96196 779 435 0 97399 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 416144
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9917
/proc/meminfo: memFree=31108040/32770624 swapFree=0/471000
[pid=9908] ppid=9905 vsize=416144 CPUtime=222.1 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 294710 0 0 0 22185 25 0 0 20 0 1 0 43202569 426131456 97604 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5094232 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 104036 97604 779 435 0 97399 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 416144
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9919
/proc/meminfo: memFree=31106716/32770624 swapFree=0/471012
[pid=9908] ppid=9905 vsize=416144 CPUtime=282.1 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 295682 0 0 0 28184 26 0 0 20 0 1 0 43202569 426131456 98134 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5338181 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 104036 98134 779 435 0 97399 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 416144
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 10004
/proc/meminfo: memFree=31054512/32770624 swapFree=0/471000
[pid=9908] ppid=9905 vsize=416144 CPUtime=342.09 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 296300 0 0 0 34183 26 0 0 20 0 1 0 43202569 426131456 98134 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5045821 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 104036 98134 779 435 0 97399 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 416144
[startup+402.3 s]
/proc/loadavg: 1.96 2.01 2.04 3/181 10006
/proc/meminfo: memFree=31052644/32770624 swapFree=0/471024
[pid=9908] ppid=9905 vsize=420120 CPUtime=402.08 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 298530 0 0 0 40182 26 0 0 20 0 1 0 43202569 430202880 99053 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5139507 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 105030 99053 779 435 0 98393 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 420120
[startup+462.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/185 10023
/proc/meminfo: memFree=31047428/32770624 swapFree=0/471048
[pid=9908] ppid=9905 vsize=420120 CPUtime=462.09 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 299778 0 0 0 46182 27 0 0 20 0 1 0 43202569 430202880 99053 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5046945 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 105030 99053 779 435 0 98393 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 420120
[startup+522.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/185 10025
/proc/meminfo: memFree=31047304/32770624 swapFree=0/471060
[pid=9908] ppid=9905 vsize=420120 CPUtime=522.09 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 300822 0 0 0 52182 27 0 0 20 0 1 0 43202569 430202880 99053 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5338173 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 105030 99053 779 435 0 98393 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 420120
[startup+582.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/182 10027
/proc/meminfo: memFree=31049372/32770624 swapFree=0/471068
[pid=9908] ppid=9905 vsize=420120 CPUtime=582.08 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 301446 0 0 0 58181 27 0 0 20 0 1 0 43202569 430202880 99156 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5338173 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 105030 99156 779 435 0 98393 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 420120
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.16 2.07 2.06 3/181 10078
/proc/meminfo: memFree=31050264/32770624 swapFree=0/471328
[pid=9908] ppid=9905 vsize=421812 CPUtime=1602.07 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 312152 0 0 0 160178 29 0 0 20 0 1 0 43202569 431935488 99513 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5139300 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 105453 99513 779 435 0 98816 0
Current children cumulated CPU time (s) 1602.07
Current children cumulated vsize (KiB) 421812
[startup+1662.3 s]
/proc/loadavg: 2.09 2.07 2.06 3/185 10095
/proc/meminfo: memFree=31045904/32770624 swapFree=0/471348
[pid=9908] ppid=9905 vsize=421812 CPUtime=1662.07 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 313152 0 0 0 166178 29 0 0 20 0 1 0 43202569 431935488 99513 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5328506 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 105453 99513 779 435 0 98816 0
Current children cumulated CPU time (s) 1662.07
Current children cumulated vsize (KiB) 421812
[startup+1722.3 s]
/proc/loadavg: 2.03 2.06 2.06 3/185 10097
/proc/meminfo: memFree=31046568/32770624 swapFree=0/471372
[pid=9908] ppid=9905 vsize=421812 CPUtime=1722.06 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 313988 0 0 0 172177 29 0 0 20 0 1 0 43202569 431935488 99513 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5139312 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 105453 99513 779 435 0 98816 0
Current children cumulated CPU time (s) 1722.06
Current children cumulated vsize (KiB) 421812
[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/182 10099
/proc/meminfo: memFree=31048240/32770624 swapFree=0/471376
[pid=9908] ppid=9905 vsize=421812 CPUtime=1782.06 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 314408 0 0 0 178177 29 0 0 20 0 1 0 43202569 431935488 99513 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5338173 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 105453 99513 779 435 0 98816 0
Current children cumulated CPU time (s) 1782.06
Current children cumulated vsize (KiB) 421812
[startup+1842.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/182 10101
/proc/meminfo: memFree=31049144/32770624 swapFree=0/471380
[pid=9908] ppid=9905 vsize=421812 CPUtime=1842.06 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 314855 0 0 0 184177 29 0 0 20 0 1 0 43202569 431935488 99513 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5338173 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 105453 99513 779 435 0 98816 0
Current children cumulated CPU time (s) 1842.06
Current children cumulated vsize (KiB) 421812
[startup+1902.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/182 10103
/proc/meminfo: memFree=31049716/32770624 swapFree=0/471408
[pid=9908] ppid=9905 vsize=421812 CPUtime=1902.06 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 315664 0 0 0 190177 29 0 0 20 0 1 0 43202569 431935488 99513 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5139490 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 105453 99513 779 435 0 98816 0
Current children cumulated CPU time (s) 1902.06
Current children cumulated vsize (KiB) 421812
[startup+1962.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 10106
/proc/meminfo: memFree=31049492/32770624 swapFree=0/471420
[pid=9908] ppid=9905 vsize=421812 CPUtime=1962.06 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 316198 0 0 0 196177 29 0 0 20 0 1 0 43202569 431935488 99513 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5338164 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 105453 99513 779 435 0 98816 0
Current children cumulated CPU time (s) 1962.06
Current children cumulated vsize (KiB) 421812
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 10108
/proc/meminfo: memFree=31049496/32770624 swapFree=0/471428
[pid=9908] ppid=9905 vsize=421812 CPUtime=2022.06 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 316688 0 0 0 202177 29 0 0 20 0 1 0 43202569 431935488 99513 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5139327 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 105453 99513 779 435 0 98816 0
Current children cumulated CPU time (s) 2022.06
Current children cumulated vsize (KiB) 421812
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 10110
/proc/meminfo: memFree=31049620/32770624 swapFree=0/471436
[pid=9908] ppid=9905 vsize=421812 CPUtime=2082.06 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 317156 0 0 0 208177 29 0 0 20 0 1 0 43202569 431935488 99513 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5045850 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 105453 99513 779 435 0 98816 0
Current children cumulated CPU time (s) 2082.06
Current children cumulated vsize (KiB) 421812
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 10113
/proc/meminfo: memFree=31049404/32770624 swapFree=0/471448
[pid=9908] ppid=9905 vsize=421812 CPUtime=2142.05 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 317634 0 0 0 214176 29 0 0 20 0 1 0 43202569 431935488 99513 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5048602 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 105453 99513 779 435 0 98816 0
Current children cumulated CPU time (s) 2142.05
Current children cumulated vsize (KiB) 421812
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10115
/proc/meminfo: memFree=31049736/32770624 swapFree=0/471464
[pid=9908] ppid=9905 vsize=421812 CPUtime=2202.06 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 318506 0 0 0 220177 29 0 0 20 0 1 0 43202569 431935488 99513 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5139264 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 105453 99513 779 435 0 98816 0
Current children cumulated CPU time (s) 2202.06
Current children cumulated vsize (KiB) 421812
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 10131
/proc/meminfo: memFree=31045972/32770624 swapFree=0/471508
[pid=9908] ppid=9905 vsize=421812 CPUtime=2262.05 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 319100 0 0 0 226176 29 0 0 20 0 1 0 43202569 431935488 99513 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5312304 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 105453 99513 779 435 0 98816 0
Current children cumulated CPU time (s) 2262.05
Current children cumulated vsize (KiB) 421812
[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/185 10158
/proc/meminfo: memFree=31043604/32770624 swapFree=0/471540
[pid=9908] ppid=9905 vsize=421812 CPUtime=2322.05 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 319575 0 0 0 232176 29 0 0 20 0 1 0 43202569 431935488 99513 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5047140 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 105453 99513 779 435 0 98816 0
Current children cumulated CPU time (s) 2322.05
Current children cumulated vsize (KiB) 421812
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 10160
/proc/meminfo: memFree=31044100/32770624 swapFree=0/471556
[pid=9908] ppid=9905 vsize=421812 CPUtime=2382.05 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 320424 0 0 0 238176 29 0 0 20 0 1 0 43202569 431935488 99513 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5048674 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 105453 99513 779 435 0 98816 0
Current children cumulated CPU time (s) 2382.05
Current children cumulated vsize (KiB) 421812
[startup+2442.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 10162
/proc/meminfo: memFree=31048020/32770624 swapFree=0/471576
[pid=9908] ppid=9905 vsize=421812 CPUtime=2442.05 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 320905 0 0 0 244176 29 0 0 20 0 1 0 43202569 431935488 99513 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5048656 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 105453 99513 779 435 0 98816 0
Current children cumulated CPU time (s) 2442.05
Current children cumulated vsize (KiB) 421812
[startup+2502.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 10164
/proc/meminfo: memFree=31048564/32770624 swapFree=0/471600
[pid=9908] ppid=9905 vsize=421812 CPUtime=2502.04 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 321359 0 0 0 250175 29 0 0 20 0 1 0 43202569 431935488 99513 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5099664 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 105453 99513 779 435 0 98816 0
Current children cumulated CPU time (s) 2502.04
Current children cumulated vsize (KiB) 421812
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 10164
/proc/meminfo: memFree=31048688/32770624 swapFree=0/471608
[pid=9908] ppid=9905 vsize=421812 CPUtime=2519.74 cores=0,2,4,6
/proc/9908/stat : 9908 (cosoco) R 9905 9908 31775 0 -1 4202496 321481 0 0 0 251945 29 0 0 20 0 1 0 43202569 431935488 99513 18446744073709551615 4194304 5972588 140729855335664 140729855332968 5045825 0 0 1 8405026 0 0 0 17 2 0 0 12 0 0 8070896 8075904 31526912 140729855336942 140729855337037 140729855337037 140729855340494 0
/proc/9908/statm: 105453 99513 779 435 0 98816 0
Current children cumulated CPU time (s) 2519.74
Current children cumulated vsize (KiB) 421812
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 9908 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.76
CPU user time (s): 2519.46
CPU system time (s): 0.298993
CPU usage (%): 99.9903
Max. virtual memory (cumulated for all children) (KiB): 421812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.46
system time used= 0.298993
maximum resident set size= 398128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 321534
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= 125
involuntary context switches= 3067
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.08832 second user time and 9.14495 second system time
The end