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-4241332-1502085565/watcher-4241332-1502085565 -o /tmp/evaluation-result-4241332-1502085565/solver-4241332-1502085565 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502042680-29187 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241332-1502085565.xml
pid=2985
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: 2.11 2.05 2.05 2/179 2988
/proc/meminfo: memFree=31639760/32770624 swapFree=0/381300
[pid=2988] ppid=2985 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/2988/stat : 2988 (runsolver) D 2985 2988 21827 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10752306 24240128 107 18446744073709551615 4194304 4338465 140727791445024 140727791442664 140077735527127 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 27635712 140727791452314 140727791452746 140727791452746 140727791456202 0
/proc/2988/statm: 5918 107 54 36 0 2156 0
[startup+0.100152 s]
/proc/loadavg: 2.11 2.05 2.05 2/179 2988
/proc/meminfo: memFree=31639760/32770624 swapFree=0/381300
[pid=2988] ppid=2985 vsize=27256 CPUtime=0 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 1083 0 0 0 0 0 0 0 20 0 1 0 10752306 27910144 898 18446744073709551615 4194304 5970956 140729832112304 140729832108952 5227195 0 0 1 0 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 6814 898 743 434 0 178 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 27256
[startup+0.200273 s]
/proc/loadavg: 2.11 2.05 2.05 2/179 2988
/proc/meminfo: memFree=31639760/32770624 swapFree=0/381300
[pid=2988] ppid=2985 vsize=29384 CPUtime=0.1 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 1602 0 0 0 10 0 0 0 20 0 1 0 10752306 30089216 1426 18446744073709551615 4194304 5970956 140729832112304 140729832108952 140552109103280 0 0 1 0 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 7346 1426 782 434 0 710 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 29384
[startup+0.300316 s]
/proc/loadavg: 2.11 2.05 2.05 2/179 2988
/proc/meminfo: memFree=31639760/32770624 swapFree=0/381300
[pid=2988] ppid=2985 vsize=38568 CPUtime=0.2 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 3020 0 0 0 20 0 0 0 20 0 1 0 10752306 39493632 2864 18446744073709551615 4194304 5970956 140729832112304 140729832108952 4934320 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9642 2864 845 434 0 3006 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 38568
[startup+0.700233 s]
/proc/loadavg: 2.11 2.05 2.05 2/179 2988
/proc/meminfo: memFree=31639760/32770624 swapFree=0/381300
[pid=2988] ppid=2985 vsize=38968 CPUtime=0.6 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 3109 0 0 0 60 0 0 0 20 0 1 0 10752306 39903232 2929 18446744073709551615 4194304 5970956 140729832112304 140729832109864 5327113 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9742 2929 848 434 0 3106 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 38968
[startup+1.50023 s]
/proc/loadavg: 2.11 2.05 2.05 3/180 2989
/proc/meminfo: memFree=31631124/32770624 swapFree=0/381312
[pid=2988] ppid=2985 vsize=38968 CPUtime=1.4 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 3117 0 0 0 140 0 0 0 20 0 1 0 10752306 39903232 2929 18446744073709551615 4194304 5970956 140729832112304 140729832109864 4933209 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9742 2929 848 434 0 3106 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 38968
[startup+3.10023 s]
/proc/loadavg: 2.11 2.05 2.05 3/180 2989
/proc/meminfo: memFree=31630876/32770624 swapFree=0/381312
[pid=2988] ppid=2985 vsize=38968 CPUtime=3 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 5001 0 0 0 300 0 0 0 20 0 1 0 10752306 39903232 3487 18446744073709551615 4194304 5970956 140729832112304 140729832109864 4934342 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9742 3487 848 434 0 3106 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 38968
[startup+6.30024 s]
/proc/loadavg: 2.02 2.03 2.04 3/180 2989
/proc/meminfo: memFree=31628832/32770624 swapFree=0/381312
[pid=2988] ppid=2985 vsize=38968 CPUtime=6.2 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 6889 0 0 0 620 0 0 0 20 0 1 0 10752306 39903232 3487 18446744073709551615 4194304 5970956 140729832112304 140729832109864 4934327 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9742 3487 848 434 0 3106 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 38968
[startup+12.7002 s]
/proc/loadavg: 2.02 2.03 2.04 3/180 2989
/proc/meminfo: memFree=31628712/32770624 swapFree=0/381320
[pid=2988] ppid=2985 vsize=38968 CPUtime=12.59 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 8789 0 0 0 1259 0 0 0 20 0 1 0 10752306 39903232 3488 18446744073709551615 4194304 5970956 140729832112304 140729832109864 4934327 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9742 3488 848 434 0 3106 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 38968
[startup+25.5003 s]
/proc/loadavg: 2.02 2.03 2.04 3/180 2990
/proc/meminfo: memFree=31628704/32770624 swapFree=0/381336
[pid=2988] ppid=2985 vsize=38968 CPUtime=25.39 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 12545 0 0 0 2539 0 0 0 20 0 1 0 10752306 39903232 3493 18446744073709551615 4194304 5970956 140729832112304 140729832109864 4934460 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9742 3493 848 434 0 3106 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 38968
[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 2.04 3/181 2991
/proc/meminfo: memFree=31627380/32770624 swapFree=0/381340
[pid=2988] ppid=2985 vsize=38968 CPUtime=50.99 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 14445 0 0 0 5099 0 0 0 20 0 1 0 10752306 39903232 3505 18446744073709551615 4194304 5970956 140729832112304 140729832109864 4934320 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9742 3505 848 434 0 3106 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 38968
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/181 2993
/proc/meminfo: memFree=31626700/32770624 swapFree=0/381372
[pid=2988] ppid=2985 vsize=38968 CPUtime=102.19 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 14912 0 0 0 10219 0 0 0 20 0 1 0 10752306 39903232 3510 18446744073709551615 4194304 5970956 140729832112304 140729832109864 4978114 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9742 3510 848 434 0 3106 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 38968
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 2995
/proc/meminfo: memFree=31626700/32770624 swapFree=0/381384
[pid=2988] ppid=2985 vsize=38968 CPUtime=162.18 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 15380 0 0 0 16218 0 0 0 20 0 1 0 10752306 39903232 3512 18446744073709551615 4194304 5970956 140729832112304 140729832109864 5136608 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9742 3512 848 434 0 3106 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 38968
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 2997
/proc/meminfo: memFree=31626080/32770624 swapFree=0/381396
[pid=2988] ppid=2985 vsize=38968 CPUtime=222.18 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 15847 0 0 0 22218 0 0 0 20 0 1 0 10752306 39903232 3514 18446744073709551615 4194304 5970956 140729832112304 140729832109864 4934327 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9742 3514 848 434 0 3106 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 38968
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 3014
/proc/meminfo: memFree=31621044/32770624 swapFree=0/381440
[pid=2988] ppid=2985 vsize=38968 CPUtime=282.18 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 16172 0 0 0 28218 0 0 0 20 0 1 0 10752306 39903232 3515 18446744073709551615 4194304 5970956 140729832112304 140729832109864 4934327 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9742 3515 848 434 0 3106 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 38968
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 3016
/proc/meminfo: memFree=31621164/32770624 swapFree=0/381464
[pid=2988] ppid=2985 vsize=38968 CPUtime=342.17 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 16520 0 0 0 34217 0 0 0 20 0 1 0 10752306 39903232 3516 18446744073709551615 4194304 5970956 140729832112304 140729832109864 4978167 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9742 3516 848 434 0 3106 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 38968
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 3018
/proc/meminfo: memFree=31624060/32770624 swapFree=0/381476
[pid=2988] ppid=2985 vsize=38968 CPUtime=402.17 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 16887 0 0 0 40217 0 0 0 20 0 1 0 10752306 39903232 3516 18446744073709551615 4194304 5970956 140729832112304 140729832109864 4934327 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9742 3516 848 434 0 3106 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 38968
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 3020
/proc/meminfo: memFree=31624532/32770624 swapFree=0/381492
[pid=2988] ppid=2985 vsize=38968 CPUtime=462.17 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 17517 0 0 0 46217 0 0 0 20 0 1 0 10752306 39903232 3516 18446744073709551615 4194304 5970956 140729832112304 140729832109864 4934342 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9742 3516 848 434 0 3106 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 38968
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 3022
/proc/meminfo: memFree=31624628/32770624 swapFree=0/381508
[pid=2988] ppid=2985 vsize=38968 CPUtime=522.16 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 17859 0 0 0 52216 0 0 0 20 0 1 0 10752306 39903232 3516 18446744073709551615 4194304 5970956 140729832112304 140729832109864 4934354 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9742 3516 848 434 0 3106 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 38968
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 3025
/proc/meminfo: memFree=31624720/32770624 swapFree=0/381532
[pid=2988] ppid=2985 vsize=38968 CPUtime=582.16 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 18134 0 0 0 58216 0 0 0 20 0 1 0 10752306 39903232 3516 18446744073709551615 4194304 5970956 140729832112304 140729832109864 4934366 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9742 3516 848 434 0 3106 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 38968
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/184 3111
/proc/meminfo: memFree=31620620/32770624 swapFree=0/381888
[pid=2988] ppid=2985 vsize=39100 CPUtime=1542.12 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 23655 0 0 0 154212 0 0 0 20 0 1 0 10752306 40038400 3521 18446744073709551615 4194304 5970956 140729832112304 140729832109064 5327847 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9775 3521 848 434 0 3139 0
Current children cumulated CPU time (s) 1542.12
Current children cumulated vsize (KiB) 39100
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 3113
/proc/meminfo: memFree=31623272/32770624 swapFree=0/381904
[pid=2988] ppid=2985 vsize=39100 CPUtime=1602.11 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 24130 0 0 0 160211 0 0 0 20 0 1 0 10752306 40038400 3522 18446744073709551615 4194304 5970956 140729832112304 140729832109064 5328066 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9775 3522 848 434 0 3139 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 39100
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 3115
/proc/meminfo: memFree=31623496/32770624 swapFree=0/381920
[pid=2988] ppid=2985 vsize=39100 CPUtime=1662.11 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 24595 0 0 0 166211 0 0 0 20 0 1 0 10752306 40038400 3522 18446744073709551615 4194304 5970956 140729832112304 140729832109064 4934354 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9775 3522 848 434 0 3139 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 39100
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 3117
/proc/meminfo: memFree=31623372/32770624 swapFree=0/381940
[pid=2988] ppid=2985 vsize=39100 CPUtime=1722.11 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 24941 0 0 0 172211 0 0 0 20 0 1 0 10752306 40038400 3522 18446744073709551615 4194304 5970956 140729832112304 140729832109064 4933210 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9775 3522 848 434 0 3139 0
Current children cumulated CPU time (s) 1722.11
Current children cumulated vsize (KiB) 39100
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 3119
/proc/meminfo: memFree=31623348/32770624 swapFree=0/381968
[pid=2988] ppid=2985 vsize=39100 CPUtime=1782.1 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 25340 0 0 0 178210 0 0 0 20 0 1 0 10752306 40038400 3522 18446744073709551615 4194304 5970956 140729832112304 140729832109064 4934318 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9775 3522 848 434 0 3139 0
Current children cumulated CPU time (s) 1782.1
Current children cumulated vsize (KiB) 39100
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 3121
/proc/meminfo: memFree=31623224/32770624 swapFree=0/381988
[pid=2988] ppid=2985 vsize=39100 CPUtime=1842.1 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 25851 0 0 0 184210 0 0 0 20 0 1 0 10752306 40038400 3523 18446744073709551615 4194304 5970956 140729832112304 140729832109064 4934320 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9775 3523 848 434 0 3139 0
Current children cumulated CPU time (s) 1842.1
Current children cumulated vsize (KiB) 39100
[startup+1902.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 3123
/proc/meminfo: memFree=31623668/32770624 swapFree=0/382012
[pid=2988] ppid=2985 vsize=39100 CPUtime=1902.1 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 26151 0 0 0 190210 0 0 0 20 0 1 0 10752306 40038400 3525 18446744073709551615 4194304 5970956 140729832112304 140729832109064 4934327 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9775 3525 848 434 0 3139 0
Current children cumulated CPU time (s) 1902.1
Current children cumulated vsize (KiB) 39100
[startup+1962.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 3125
/proc/meminfo: memFree=31624136/32770624 swapFree=0/382028
[pid=2988] ppid=2985 vsize=39100 CPUtime=1962.09 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 26413 0 0 0 196209 0 0 0 20 0 1 0 10752306 40038400 3525 18446744073709551615 4194304 5970956 140729832112304 140729832109064 4934366 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9775 3525 848 434 0 3139 0
Current children cumulated CPU time (s) 1962.09
Current children cumulated vsize (KiB) 39100
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 3127
/proc/meminfo: memFree=31623764/32770624 swapFree=0/382052
[pid=2988] ppid=2985 vsize=39100 CPUtime=2022.09 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 26693 0 0 0 202209 0 0 0 20 0 1 0 10752306 40038400 3525 18446744073709551615 4194304 5970956 140729832112304 140729832109064 4933210 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9775 3525 848 434 0 3139 0
Current children cumulated CPU time (s) 2022.09
Current children cumulated vsize (KiB) 39100
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3144
/proc/meminfo: memFree=31620292/32770624 swapFree=0/382100
[pid=2988] ppid=2985 vsize=39100 CPUtime=2082.09 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 26986 0 0 0 208209 0 0 0 20 0 1 0 10752306 40038400 3525 18446744073709551615 4194304 5970956 140729832112304 140729832109064 4934318 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9775 3525 848 434 0 3139 0
Current children cumulated CPU time (s) 2082.09
Current children cumulated vsize (KiB) 39100
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3146
/proc/meminfo: memFree=31620300/32770624 swapFree=0/382132
[pid=2988] ppid=2985 vsize=39100 CPUtime=2142.09 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 27254 0 0 0 214209 0 0 0 20 0 1 0 10752306 40038400 3525 18446744073709551615 4194304 5970956 140729832112304 140729832109064 4934354 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9775 3525 848 434 0 3139 0
Current children cumulated CPU time (s) 2142.09
Current children cumulated vsize (KiB) 39100
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 3148
/proc/meminfo: memFree=31623944/32770624 swapFree=0/382156
[pid=2988] ppid=2985 vsize=39100 CPUtime=2202.09 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 27535 0 0 0 220209 0 0 0 20 0 1 0 10752306 40038400 3525 18446744073709551615 4194304 5970956 140729832112304 140729832109064 4934327 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9775 3525 848 434 0 3139 0
Current children cumulated CPU time (s) 2202.09
Current children cumulated vsize (KiB) 39100
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 3150
/proc/meminfo: memFree=31624168/32770624 swapFree=0/382176
[pid=2988] ppid=2985 vsize=39100 CPUtime=2262.08 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 27786 0 0 0 226208 0 0 0 20 0 1 0 10752306 40038400 3525 18446744073709551615 4194304 5970956 140729832112304 140729832109064 4934506 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9775 3525 848 434 0 3139 0
Current children cumulated CPU time (s) 2262.08
Current children cumulated vsize (KiB) 39100
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 3152
/proc/meminfo: memFree=31623920/32770624 swapFree=0/382196
[pid=2988] ppid=2985 vsize=39100 CPUtime=2322.08 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 28042 0 0 0 232208 0 0 0 20 0 1 0 10752306 40038400 3525 18446744073709551615 4194304 5970956 140729832112304 140729832109064 4934327 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9775 3525 848 434 0 3139 0
Current children cumulated CPU time (s) 2322.08
Current children cumulated vsize (KiB) 39100
[startup+2382.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/181 3215
/proc/meminfo: memFree=31624016/32770624 swapFree=0/382228
[pid=2988] ppid=2985 vsize=39100 CPUtime=2382.08 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 28293 0 0 0 238208 0 0 0 20 0 1 0 10752306 40038400 3525 18446744073709551615 4194304 5970956 140729832112304 140729832109064 4933182 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9775 3525 848 434 0 3139 0
Current children cumulated CPU time (s) 2382.08
Current children cumulated vsize (KiB) 39100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 3215
/proc/meminfo: memFree=31623968/32770624 swapFree=0/382236
[pid=2988] ppid=2985 vsize=39100 CPUtime=2400.09 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 28538 0 0 0 240008 1 0 0 20 0 1 0 10752306 40038400 3525 18446744073709551615 4194304 5970956 140729832112304 140729832109064 4934318 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9775 3525 848 434 0 3139 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 39100
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 2988 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 3215
/proc/meminfo: memFree=31623968/32770624 swapFree=0/382236
[pid=2988] ppid=2985 vsize=39100 CPUtime=2400.09 cores=1,3,5,7
/proc/2988/stat : 2988 (cosoco) R 2985 2988 21827 0 -1 4202496 28538 0 0 0 240008 1 0 0 20 0 1 0 10752306 40038400 3525 18446744073709551615 4194304 5970956 140729832112304 140729832109064 4934318 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 39485440 140729832120775 140729832120910 140729832120910 140729832124366 0
/proc/2988/statm: 9775 3525 848 434 0 3139 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 39100
Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.1
CPU user time (s): 2400.08
CPU system time (s): 0.011999
CPU usage (%): 99.9912
Max. virtual memory (cumulated for all children) (KiB): 39100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.08
system time used= 0.011999
maximum resident set size= 14148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28573
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= 12
involuntary context switches= 660
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.68994 second user time and 7.90137 second system time
The end