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-4267718-1502548914/watcher-4267718-1502548914 -o /tmp/evaluation-result-4267718-1502548914/solver-4267718-1502548914 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502500286-31839 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267718-1502548914.xml 

pid=9976
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 3/180 9979
/proc/meminfo: memFree=31110304/32770624 swapFree=0/471016
[pid=9979] ppid=9976 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9979/stat : 9979 (runsolver) D 9976 9979 31775 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 43232104 24240128 106 18446744073709551615 4194304 4338465 140732692941040 140732692938680 139738658296535 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 8011776 140732692947137 140732692947529 140732692947529 140732692950986 0
/proc/9979/statm: 5918 106 53 36 0 2156 0

[startup+0.100153 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 9979
/proc/meminfo: memFree=31110304/32770624 swapFree=0/471016
[pid=9979] ppid=9976 vsize=28668 CPUtime=0.04 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 1362 0 0 0 4 0 0 0 20 0 1 0 43232104 29356032 1139 18446744073709551615 4194304 5972588 140733456079024 140733456075672 5370824 0 0 1 0 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 7167 1139 711 435 0 530 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 28668

[startup+0.200281 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 9979
/proc/meminfo: memFree=31110304/32770624 swapFree=0/471016
[pid=9979] ppid=9976 vsize=61116 CPUtime=0.14 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 9508 0 0 0 13 1 0 0 20 0 1 0 43232104 62582784 9345 18446744073709551615 4194304 5972588 140733456079024 140733456075672 5473272 0 0 1 0 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 15279 9345 742 435 0 8642 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 61116

[startup+0.300324 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 9979
/proc/meminfo: memFree=31110304/32770624 swapFree=0/471016
[pid=9979] ppid=9976 vsize=63768 CPUtime=0.24 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 10218 0 0 0 23 1 0 0 20 0 1 0 43232104 65298432 10004 18446744073709551615 4194304 5972588 140733456079024 140733456075672 140007778692069 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 15942 10004 779 435 0 9305 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 63768

[startup+0.700239 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 9979
/proc/meminfo: memFree=31110304/32770624 swapFree=0/471016
[pid=9979] ppid=9976 vsize=74188 CPUtime=0.63 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 12822 0 0 0 62 1 0 0 20 0 1 0 43232104 75968512 12598 18446744073709551615 4194304 5972588 140733456079024 140733456075672 5139324 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 18547 12598 780 435 0 11910 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 74188

[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9980
/proc/meminfo: memFree=31061944/32770624 swapFree=0/471016
[pid=9979] ppid=9976 vsize=75804 CPUtime=1.43 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 13231 0 0 0 142 1 0 0 20 0 1 0 43232104 77623296 13060 18446744073709551615 4194304 5972588 140733456079024 140733456075672 5139490 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 18951 13060 780 435 0 12314 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 75804

[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9980
/proc/meminfo: memFree=31059744/32770624 swapFree=0/471016
[pid=9979] ppid=9976 vsize=77956 CPUtime=3.04 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 20200 0 0 0 302 2 0 0 20 0 1 0 43232104 79826944 13614 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5094144 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19489 13614 780 435 0 12852 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 77956

[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9980
/proc/meminfo: memFree=31057316/32770624 swapFree=0/471016
[pid=9979] ppid=9976 vsize=79028 CPUtime=6.24 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 27631 0 0 0 622 2 0 0 20 0 1 0 43232104 80924672 13879 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5046624 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19757 13879 780 435 0 13120 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 79028

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9980
/proc/meminfo: memFree=31056572/32770624 swapFree=0/471016
[pid=9979] ppid=9976 vsize=79572 CPUtime=12.63 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 34736 0 0 0 1261 2 0 0 20 0 1 0 43232104 81481728 14004 18446744073709551615 4194304 5972588 140733456079024 140733456075784 5048027 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19893 14004 780 435 0 13256 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 79572

[startup+25.5003 s]
/proc/loadavg: 2.08 2.03 2.05 3/185 10003
/proc/meminfo: memFree=31053008/32770624 swapFree=0/470996
[pid=9979] ppid=9976 vsize=79844 CPUtime=25.44 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 47132 0 0 0 2541 3 0 0 20 0 1 0 43232104 81760256 14073 18446744073709551615 4194304 5972588 140733456079024 140733456075784 5047514 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19961 14073 780 435 0 13324 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 79844

[startup+51.1003 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 10004
/proc/meminfo: memFree=31055024/32770624 swapFree=0/470996
[pid=9979] ppid=9976 vsize=79844 CPUtime=51.03 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 53921 0 0 0 5100 3 0 0 20 0 1 0 43232104 81760256 14087 18446744073709551615 4194304 5972588 140733456079024 140733456075784 5046624 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19961 14087 780 435 0 13324 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 79844

[startup+102.3 s]
/proc/loadavg: 1.96 2.01 2.04 3/181 10006
/proc/meminfo: memFree=31052396/32770624 swapFree=0/471028
[pid=9979] ppid=9976 vsize=79984 CPUtime=102.24 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 60503 0 0 0 10221 3 0 0 20 0 1 0 43232104 81903616 14104 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5046712 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14104 780 435 0 13359 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 79984

[startup+162.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/185 10023
/proc/meminfo: memFree=31047428/32770624 swapFree=0/471048
[pid=9979] ppid=9976 vsize=79984 CPUtime=162.24 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 66612 0 0 0 16220 4 0 0 20 0 1 0 43232104 81903616 14104 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5048674 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14104 780 435 0 13359 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 79984

[startup+222.306 s]
/proc/loadavg: 1.99 2.01 2.04 3/185 10025
/proc/meminfo: memFree=31047304/32770624 swapFree=0/471060
[pid=9979] ppid=9976 vsize=79984 CPUtime=222.24 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 72361 0 0 0 22220 4 0 0 20 0 1 0 43232104 81903616 14104 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5139499 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14104 780 435 0 13359 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 79984

[startup+282.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/182 10027
/proc/meminfo: memFree=31049372/32770624 swapFree=0/471068
[pid=9979] ppid=9976 vsize=79984 CPUtime=282.22 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 75831 0 0 0 28218 4 0 0 20 0 1 0 43232104 81903616 14104 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5139291 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14104 780 435 0 13359 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 79984

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 10029
/proc/meminfo: memFree=31049992/32770624 swapFree=0/471076
[pid=9979] ppid=9976 vsize=79984 CPUtime=342.23 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 76109 0 0 0 34219 4 0 0 20 0 1 0 43232104 81903616 14104 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5328506 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14104 780 435 0 13359 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 79984

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 10031
/proc/meminfo: memFree=31050540/32770624 swapFree=0/471088
[pid=9979] ppid=9976 vsize=79984 CPUtime=402.23 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 76395 0 0 0 40219 4 0 0 20 0 1 0 43232104 81903616 14104 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5048037 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14104 780 435 0 13359 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 79984

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10033
/proc/meminfo: memFree=31050548/32770624 swapFree=0/471112
[pid=9979] ppid=9976 vsize=79984 CPUtime=462.23 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 76682 0 0 0 46219 4 0 0 20 0 1 0 43232104 81903616 14104 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5139507 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14104 780 435 0 13359 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 79984

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10035
/proc/meminfo: memFree=31050548/32770624 swapFree=0/471120
[pid=9979] ppid=9976 vsize=79984 CPUtime=522.23 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 76971 0 0 0 52219 4 0 0 20 0 1 0 43232104 81903616 14106 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5046284 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14106 780 435 0 13359 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 79984

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10037
/proc/meminfo: memFree=31050596/32770624 swapFree=0/471132
[pid=9979] ppid=9976 vsize=79984 CPUtime=582.23 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 77245 0 0 0 58219 4 0 0 20 0 1 0 43232104 81903616 14106 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5139312 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14106 780 435 0 13359 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 79984


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


[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 10103
/proc/meminfo: memFree=31049716/32770624 swapFree=0/471408
[pid=9979] ppid=9976 vsize=79984 CPUtime=1602.26 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 81248 0 0 0 160222 4 0 0 20 0 1 0 43232104 81903616 14106 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5139501 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14106 780 435 0 13359 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 79984

[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 10106
/proc/meminfo: memFree=31049492/32770624 swapFree=0/471420
[pid=9979] ppid=9976 vsize=79984 CPUtime=1662.26 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 81418 0 0 0 166222 4 0 0 20 0 1 0 43232104 81903616 14106 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5338181 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14106 780 435 0 13359 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 79984

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 10108
/proc/meminfo: memFree=31049496/32770624 swapFree=0/471428
[pid=9979] ppid=9976 vsize=79984 CPUtime=1722.26 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 81686 0 0 0 172222 4 0 0 20 0 1 0 43232104 81903616 14106 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5139499 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14106 780 435 0 13359 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 79984

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 10110
/proc/meminfo: memFree=31049620/32770624 swapFree=0/471436
[pid=9979] ppid=9976 vsize=79984 CPUtime=1782.26 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 81858 0 0 0 178222 4 0 0 20 0 1 0 43232104 81903616 14106 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5139312 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14106 780 435 0 13359 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 79984

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 10113
/proc/meminfo: memFree=31049404/32770624 swapFree=0/471448
[pid=9979] ppid=9976 vsize=79984 CPUtime=1842.26 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 82030 0 0 0 184222 4 0 0 20 0 1 0 43232104 81903616 14106 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5139264 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14106 780 435 0 13359 0
Current children cumulated CPU time (s) 1842.26
Current children cumulated vsize (KiB) 79984

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10115
/proc/meminfo: memFree=31049736/32770624 swapFree=0/471464
[pid=9979] ppid=9976 vsize=79984 CPUtime=1902.26 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 82307 0 0 0 190222 4 0 0 20 0 1 0 43232104 81903616 14106 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5046284 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14106 780 435 0 13359 0
Current children cumulated CPU time (s) 1902.26
Current children cumulated vsize (KiB) 79984

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 10131
/proc/meminfo: memFree=31045972/32770624 swapFree=0/471508
[pid=9979] ppid=9976 vsize=79984 CPUtime=1962.26 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 82481 0 0 0 196222 4 0 0 20 0 1 0 43232104 81903616 14106 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5139329 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14106 780 435 0 13359 0
Current children cumulated CPU time (s) 1962.26
Current children cumulated vsize (KiB) 79984

[startup+2022.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/185 10158
/proc/meminfo: memFree=31043604/32770624 swapFree=0/471540
[pid=9979] ppid=9976 vsize=79984 CPUtime=2022.26 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 82655 0 0 0 202222 4 0 0 20 0 1 0 43232104 81903616 14106 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5139264 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14106 780 435 0 13359 0
Current children cumulated CPU time (s) 2022.26
Current children cumulated vsize (KiB) 79984

[startup+2082.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/185 10160
/proc/meminfo: memFree=31044100/32770624 swapFree=0/471556
[pid=9979] ppid=9976 vsize=79984 CPUtime=2082.27 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 82925 0 0 0 208223 4 0 0 20 0 1 0 43232104 81903616 14106 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5139490 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14106 780 435 0 13359 0
Current children cumulated CPU time (s) 2082.27
Current children cumulated vsize (KiB) 79984

[startup+2142.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 10162
/proc/meminfo: memFree=31048020/32770624 swapFree=0/471576
[pid=9979] ppid=9976 vsize=79984 CPUtime=2142.27 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 83097 0 0 0 214223 4 0 0 20 0 1 0 43232104 81903616 14106 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5139319 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14106 780 435 0 13359 0
Current children cumulated CPU time (s) 2142.27
Current children cumulated vsize (KiB) 79984

[startup+2202.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 10164
/proc/meminfo: memFree=31048564/32770624 swapFree=0/471600
[pid=9979] ppid=9976 vsize=79984 CPUtime=2202.27 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 83269 0 0 0 220223 4 0 0 20 0 1 0 43232104 81903616 14106 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5139490 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14106 780 435 0 13359 0
Current children cumulated CPU time (s) 2202.27
Current children cumulated vsize (KiB) 79984

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 10226
/proc/meminfo: memFree=31414572/32770624 swapFree=0/471660
[pid=9979] ppid=9976 vsize=79984 CPUtime=2262.27 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 83441 0 0 0 226223 4 0 0 20 0 1 0 43232104 81903616 14106 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5139312 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14106 780 435 0 13359 0
Current children cumulated CPU time (s) 2262.27
Current children cumulated vsize (KiB) 79984

[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 10228
/proc/meminfo: memFree=31413444/32770624 swapFree=0/471664
[pid=9979] ppid=9976 vsize=79984 CPUtime=2322.27 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 83711 0 0 0 232223 4 0 0 20 0 1 0 43232104 81903616 14106 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5139312 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14106 780 435 0 13359 0
Current children cumulated CPU time (s) 2322.27
Current children cumulated vsize (KiB) 79984

[startup+2382.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 10230
/proc/meminfo: memFree=31413688/32770624 swapFree=0/471680
[pid=9979] ppid=9976 vsize=79984 CPUtime=2382.27 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 83881 0 0 0 238223 4 0 0 20 0 1 0 43232104 81903616 14106 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5139319 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14106 780 435 0 13359 0
Current children cumulated CPU time (s) 2382.27
Current children cumulated vsize (KiB) 79984

[startup+2442.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 10232
/proc/meminfo: memFree=31413688/32770624 swapFree=0/471700
[pid=9979] ppid=9976 vsize=79984 CPUtime=2442.27 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 84051 0 0 0 244223 4 0 0 20 0 1 0 43232104 81903616 14106 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5048063 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14106 780 435 0 13359 0
Current children cumulated CPU time (s) 2442.27
Current children cumulated vsize (KiB) 79984

[startup+2502.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 10234
/proc/meminfo: memFree=31413440/32770624 swapFree=0/471708
[pid=9979] ppid=9976 vsize=79984 CPUtime=2502.27 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 84324 0 0 0 250223 4 0 0 20 0 1 0 43232104 81903616 14106 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5048057 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14106 780 435 0 13359 0
Current children cumulated CPU time (s) 2502.27
Current children cumulated vsize (KiB) 79984



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 1.94 2.01 2.04 3/181 10234
/proc/meminfo: memFree=31413440/32770624 swapFree=0/471708
[pid=9979] ppid=9976 vsize=79984 CPUtime=2519.97 cores=1,3,5,7
/proc/9979/stat : 9979 (cosoco) R 9976 9979 31775 0 -1 4202496 84498 0 0 0 251993 4 0 0 20 0 1 0 43232104 81903616 14106 18446744073709551615 4194304 5972588 140733456079024 140733456075656 5046173 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 26271744 140733456085486 140733456085581 140733456085581 140733456089038 0
/proc/9979/statm: 19996 14106 780 435 0 13359 0
Current children cumulated CPU time (s) 2519.97
Current children cumulated vsize (KiB) 79984

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 9979 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.99
CPU user time (s): 2519.94
CPU system time (s): 0.049001
CPU usage (%): 99.9995
Max. virtual memory (cumulated for all children) (KiB): 79984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.94
system time used= 0.049001
maximum resident set size= 56504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84588
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= 31
involuntary context switches= 665

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.54721 second user time and 8.42617 second system time

The end