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-4267523-1502554825/watcher-4267523-1502554825 -o /tmp/evaluation-result-4267523-1502554825/solver-4267523-1502554825 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502500302-22048 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267523-1502554825.xml
pid=32493
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 2/180 32496
/proc/meminfo: memFree=31200960/32770624 swapFree=0/528108
[pid=32496] ppid=32493 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/32496/stat : 32496 (runsolver) D 32493 32496 21984 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 57703203 24240128 108 18446744073709551615 4194304 4338465 140727130471920 140727130469560 140431220716247 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 26386432 140727130476737 140727130477129 140727130477129 140727130480586 0
/proc/32496/statm: 5918 108 54 36 0 2156 0
[startup+0.100153 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 32496
/proc/meminfo: memFree=31200960/32770624 swapFree=0/528108
[pid=32496] ppid=32493 vsize=27636 CPUtime=0.04 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 1262 0 0 0 4 0 0 0 20 0 1 0 57703203 28299264 1102 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139312 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1102 849 435 0 272 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 27636
[startup+0.200267 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 32496
/proc/meminfo: memFree=31200960/32770624 swapFree=0/528108
[pid=32496] ppid=32493 vsize=27636 CPUtime=0.14 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 1262 0 0 0 14 0 0 0 20 0 1 0 57703203 28299264 1102 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139327 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1102 849 435 0 272 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 27636
[startup+0.300248 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 32496
/proc/meminfo: memFree=31200960/32770624 swapFree=0/528108
[pid=32496] ppid=32493 vsize=27636 CPUtime=0.24 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 1262 0 0 0 24 0 0 0 20 0 1 0 57703203 28299264 1102 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139329 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1102 849 435 0 272 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 27636
[startup+0.700221 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 32496
/proc/meminfo: memFree=31200960/32770624 swapFree=0/528108
[pid=32496] ppid=32493 vsize=27636 CPUtime=0.64 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 1262 0 0 0 64 0 0 0 20 0 1 0 57703203 28299264 1102 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5099664 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1102 849 435 0 272 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 27636
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32497
/proc/meminfo: memFree=31200256/32770624 swapFree=0/528108
[pid=32496] ppid=32493 vsize=27636 CPUtime=1.44 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 1263 0 0 0 144 0 0 0 20 0 1 0 57703203 28299264 1102 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139329 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1102 849 435 0 272 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 27636
[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32497
/proc/meminfo: memFree=31199884/32770624 swapFree=0/528108
[pid=32496] ppid=32493 vsize=27636 CPUtime=3.04 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 1442 0 0 0 304 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5032400 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 27636
[startup+6.30022 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 32497
/proc/meminfo: memFree=31199536/32770624 swapFree=0/528096
[pid=32496] ppid=32493 vsize=27636 CPUtime=6.24 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 1624 0 0 0 624 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5328722 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 27636
[startup+12.7002 s]
/proc/loadavg: 1.85 1.98 2.03 3/181 32497
/proc/meminfo: memFree=31199164/32770624 swapFree=0/528096
[pid=32496] ppid=32493 vsize=27636 CPUtime=12.64 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 1805 0 0 0 1264 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139327 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 27636
[startup+25.5003 s]
/proc/loadavg: 1.88 1.98 2.03 3/181 32497
/proc/meminfo: memFree=31199164/32770624 swapFree=0/528092
[pid=32496] ppid=32493 vsize=27636 CPUtime=25.44 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 2171 0 0 0 2544 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139329 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 27636
[startup+51.1003 s]
/proc/loadavg: 1.92 1.99 2.03 3/181 32497
/proc/meminfo: memFree=31199040/32770624 swapFree=0/528084
[pid=32496] ppid=32493 vsize=27636 CPUtime=51.05 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 2349 0 0 0 5105 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139312 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 27636
[startup+102.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/181 32499
/proc/meminfo: memFree=31198668/32770624 swapFree=0/528096
[pid=32496] ppid=32493 vsize=27636 CPUtime=102.26 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 2527 0 0 0 10226 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139327 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 27636
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/181 32562
/proc/meminfo: memFree=31217184/32770624 swapFree=0/528124
[pid=32496] ppid=32493 vsize=27636 CPUtime=162.26 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 2705 0 0 0 16226 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139329 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 27636
[startup+222.306 s]
/proc/loadavg: 2.04 2.00 2.04 3/185 32579
/proc/meminfo: memFree=31212840/32770624 swapFree=0/528136
[pid=32496] ppid=32493 vsize=27636 CPUtime=222.27 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 2883 0 0 0 22227 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139312 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 27636
[startup+282.3 s]
/proc/loadavg: 2.08 2.02 2.05 3/185 32581
/proc/meminfo: memFree=31212696/32770624 swapFree=0/528160
[pid=32496] ppid=32493 vsize=27636 CPUtime=282.27 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 2883 0 0 0 28227 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5032431 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 27636
[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/182 32583
/proc/meminfo: memFree=31215468/32770624 swapFree=0/528172
[pid=32496] ppid=32493 vsize=27636 CPUtime=342.27 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 3061 0 0 0 34227 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139312 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 27636
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 32585
/proc/meminfo: memFree=31216240/32770624 swapFree=0/528176
[pid=32496] ppid=32493 vsize=27636 CPUtime=402.28 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 3061 0 0 0 40228 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139329 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 27636
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32587
/proc/meminfo: memFree=31216400/32770624 swapFree=0/528180
[pid=32496] ppid=32493 vsize=27636 CPUtime=462.29 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 3239 0 0 0 46229 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139319 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 27636
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32589
/proc/meminfo: memFree=31216400/32770624 swapFree=0/528196
[pid=32496] ppid=32493 vsize=27636 CPUtime=522.29 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 3239 0 0 0 52229 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139312 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 27636
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32591
/proc/meminfo: memFree=31216292/32770624 swapFree=0/528204
[pid=32496] ppid=32493 vsize=27636 CPUtime=582.3 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 3417 0 0 0 58230 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5032423 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 27636
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32655
/proc/meminfo: memFree=31215656/32770624 swapFree=0/528384
[pid=32496] ppid=32493 vsize=27636 CPUtime=1602.41 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 4849 0 0 0 160241 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5032400 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 1602.41
Current children cumulated vsize (KiB) 27636
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32657
/proc/meminfo: memFree=31215780/32770624 swapFree=0/528396
[pid=32496] ppid=32493 vsize=27636 CPUtime=1662.41 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 5027 0 0 0 166241 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139333 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 1662.41
Current children cumulated vsize (KiB) 27636
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32659
/proc/meminfo: memFree=31216348/32770624 swapFree=0/528408
[pid=32496] ppid=32493 vsize=27636 CPUtime=1722.42 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 5027 0 0 0 172242 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139312 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 1722.42
Current children cumulated vsize (KiB) 27636
[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 32661
/proc/meminfo: memFree=31215480/32770624 swapFree=0/528424
[pid=32496] ppid=32493 vsize=27636 CPUtime=1782.42 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 5205 0 0 0 178242 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139329 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 1782.42
Current children cumulated vsize (KiB) 27636
[startup+1842.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 32663
/proc/meminfo: memFree=31216100/32770624 swapFree=0/528428
[pid=32496] ppid=32493 vsize=27636 CPUtime=1842.43 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 5205 0 0 0 184243 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139319 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 1842.43
Current children cumulated vsize (KiB) 27636
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 32665
/proc/meminfo: memFree=31215976/32770624 swapFree=0/528432
[pid=32496] ppid=32493 vsize=27636 CPUtime=1902.44 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 5383 0 0 0 190244 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5032400 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 1902.44
Current children cumulated vsize (KiB) 27636
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32667
/proc/meminfo: memFree=31215792/32770624 swapFree=0/528436
[pid=32496] ppid=32493 vsize=27636 CPUtime=1962.44 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 5383 0 0 0 196244 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5328722 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 1962.44
Current children cumulated vsize (KiB) 27636
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 32682
/proc/meminfo: memFree=31211900/32770624 swapFree=0/528440
[pid=32496] ppid=32493 vsize=27636 CPUtime=2022.45 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 5561 0 0 0 202245 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139329 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 2022.45
Current children cumulated vsize (KiB) 27636
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 32685
/proc/meminfo: memFree=31212380/32770624 swapFree=0/528472
[pid=32496] ppid=32493 vsize=27636 CPUtime=2082.46 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 5561 0 0 0 208246 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139312 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 2082.46
Current children cumulated vsize (KiB) 27636
[startup+2142.3 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 32687
/proc/meminfo: memFree=31215052/32770624 swapFree=0/528484
[pid=32496] ppid=32493 vsize=27636 CPUtime=2142.46 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 5739 0 0 0 214246 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139324 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 2142.46
Current children cumulated vsize (KiB) 27636
[startup+2202.31 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 32689
/proc/meminfo: memFree=31215300/32770624 swapFree=0/528496
[pid=32496] ppid=32493 vsize=27636 CPUtime=2202.47 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 5739 0 0 0 220247 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5032431 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 2202.47
Current children cumulated vsize (KiB) 27636
[startup+2262.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 32691
/proc/meminfo: memFree=31215424/32770624 swapFree=0/528500
[pid=32496] ppid=32493 vsize=27636 CPUtime=2262.47 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 5917 0 0 0 226247 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139329 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 2262.47
Current children cumulated vsize (KiB) 27636
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 32693
/proc/meminfo: memFree=31215796/32770624 swapFree=0/528508
[pid=32496] ppid=32493 vsize=27636 CPUtime=2322.48 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 5917 0 0 0 232248 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5032455 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 2322.48
Current children cumulated vsize (KiB) 27636
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32695
/proc/meminfo: memFree=31215436/32770624 swapFree=0/528508
[pid=32496] ppid=32493 vsize=27636 CPUtime=2382.48 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 6095 0 0 0 238248 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139329 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 2382.48
Current children cumulated vsize (KiB) 27636
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32697
/proc/meminfo: memFree=31215436/32770624 swapFree=0/528528
[pid=32496] ppid=32493 vsize=27636 CPUtime=2442.49 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 6095 0 0 0 244249 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139312 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 2442.49
Current children cumulated vsize (KiB) 27636
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32699
/proc/meminfo: memFree=31215312/32770624 swapFree=0/528552
[pid=32496] ppid=32493 vsize=27636 CPUtime=2502.5 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 6273 0 0 0 250250 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139329 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 2502.5
Current children cumulated vsize (KiB) 27636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32700
/proc/meminfo: memFree=31215296/32770624 swapFree=0/528544
[pid=32496] ppid=32493 vsize=27636 CPUtime=2520 cores=1,3,5,7
/proc/32496/stat : 32496 (cosoco) R 32493 32496 21984 0 -1 4202496 6273 0 0 0 252000 0 0 0 20 0 1 0 57703203 28299264 1105 18446744073709551615 4194304 5972588 140732730613552 140732730600760 5139319 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 38862848 140732730622446 140732730622541 140732730622541 140732730625998 0
/proc/32496/statm: 6909 1105 851 435 0 272 0
Current children cumulated CPU time (s) 2520
Current children cumulated vsize (KiB) 27636
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 32496 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2519.8
CPU time (s): 2520.01
CPU user time (s): 2520
CPU system time (s): 0.003
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 27636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520
system time used= 0.003
maximum resident set size= 4492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6323
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 759
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.33678 second user time and 8.58547 second system time
The end