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-4267548-1502555166/watcher-4267548-1502555166 -o /tmp/evaluation-result-4267548-1502555166/solver-4267548-1502555166 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24508 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267548-1502555166.xml
pid=3774
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.00 2.02 2.05 3/184 3777
/proc/meminfo: memFree=30964384/32770624 swapFree=0/598596
[pid=3777] ppid=3774 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/3777/stat : 3777 (runsolver) D 3774 3777 24445 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 103022972 24240128 108 18446744073709551615 4194304 4338465 140720722542736 140720722540376 140489692209879 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 8871936 140720722546881 140720722547273 140720722547273 140720722550730 0
/proc/3777/statm: 5918 108 54 36 0 2156 0
[startup+0.100152 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 3777
/proc/meminfo: memFree=30964384/32770624 swapFree=0/598596
[pid=3777] ppid=3774 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/3777/stat : 3777 (runsolver) D 3774 3777 24445 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 103022972 24240128 108 18446744073709551615 4194304 4338465 140720722542736 140720722540376 140489692209879 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 8871936 140720722546881 140720722547273 140720722547273 140720722550730 0
/proc/3777/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200367 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 3777
/proc/meminfo: memFree=30964384/32770624 swapFree=0/598596
[pid=3777] ppid=3774 vsize=38516 CPUtime=0.09 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 3833 0 0 0 9 0 0 0 20 0 1 0 103022972 39440384 3621 18446744073709551615 4194304 5972588 140735871778432 140735871775080 140563684715493 0 0 1 0 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 9629 3621 716 435 0 2992 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38516
[startup+0.300361 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 3777
/proc/meminfo: memFree=30964384/32770624 swapFree=0/598596
[pid=3777] ppid=3774 vsize=39560 CPUtime=0.19 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 4179 0 0 0 19 0 0 0 20 0 1 0 103022972 40509440 3830 18446744073709551615 4194304 5972588 140735871778432 140735871775080 140563685153792 0 0 1 0 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 9890 3830 716 435 0 3253 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 39560
[startup+0.700284 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 3777
/proc/meminfo: memFree=30964384/32770624 swapFree=0/598596
[pid=3777] ppid=3774 vsize=44504 CPUtime=0.59 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 5762 0 0 0 59 0 0 0 20 0 1 0 103022972 45572096 4826 18446744073709551615 4194304 5972588 140735871778432 140735871775080 140563685153792 0 0 1 0 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 11126 4826 716 435 0 4489 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 44504
[startup+1.50034 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 3778
/proc/meminfo: memFree=30938924/32770624 swapFree=0/598512
[pid=3777] ppid=3774 vsize=347948 CPUtime=1.39 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 82998 0 0 0 129 10 0 0 20 0 1 0 103022972 356298752 80920 18446744073709551615 4194304 5972588 140735871778432 140735871775000 4935502 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 86987 80920 810 435 0 80350 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 347948
[startup+3.10035 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3778
/proc/meminfo: memFree=30644228/32770624 swapFree=0/598512
[pid=3777] ppid=3774 vsize=347948 CPUtime=2.99 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 82998 0 0 0 289 10 0 0 20 0 1 0 103022972 356298752 80920 18446744073709551615 4194304 5972588 140735871778432 140735871765640 4935493 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 86987 80920 810 435 0 80350 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 347948
[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3778
/proc/meminfo: memFree=30644144/32770624 swapFree=0/598512
[pid=3777] ppid=3774 vsize=347948 CPUtime=6.19 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 115645 0 0 0 607 12 0 0 20 0 1 0 103022972 356298752 80972 18446744073709551615 4194304 5972588 140735871778432 140735871765640 5139327 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 86987 80972 848 435 0 80350 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 347948
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3778
/proc/meminfo: memFree=30643524/32770624 swapFree=0/598512
[pid=3777] ppid=3774 vsize=348344 CPUtime=12.58 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 174277 0 0 0 1244 14 0 0 20 0 1 0 103022972 356704256 81076 18446744073709551615 4194304 5972588 140735871778432 140735871765640 4935408 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 87086 81076 850 435 0 80449 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 348344
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3779
/proc/meminfo: memFree=30638068/32770624 swapFree=0/598512
[pid=3777] ppid=3774 vsize=353492 CPUtime=25.39 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 289138 0 0 0 2518 21 0 0 20 0 1 0 103022972 361975808 82358 18446744073709551615 4194304 5972588 140735871778432 140735871775144 5139329 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 88373 82358 850 435 0 81736 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 353492
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3779
/proc/meminfo: memFree=30630380/32770624 swapFree=0/598508
[pid=3777] ppid=3774 vsize=361112 CPUtime=50.99 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 333249 0 0 0 5075 24 0 0 20 0 1 0 103022972 369778688 84279 18446744073709551615 4194304 5972588 140735871778432 140735871775032 5139329 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 90278 84279 850 435 0 83641 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 361112
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3782
/proc/meminfo: memFree=30627948/32770624 swapFree=0/598524
[pid=3777] ppid=3774 vsize=361112 CPUtime=102.19 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 366650 0 0 0 10193 26 0 0 20 0 1 0 103022972 369778688 84482 18446744073709551615 4194304 5972588 140735871778432 140735871775032 5139312 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 90278 84482 850 435 0 83641 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 361112
[startup+162.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/186 3785
/proc/meminfo: memFree=30628228/32770624 swapFree=0/598548
[pid=3777] ppid=3774 vsize=361252 CPUtime=162.19 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 388932 0 0 0 16192 27 0 0 20 0 1 0 103022972 369922048 84487 18446744073709551615 4194304 5972588 140735871778432 140735871775144 5139312 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 90313 84487 850 435 0 83676 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 361252
[startup+222.306 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 3787
/proc/meminfo: memFree=30628008/32770624 swapFree=0/598560
[pid=3777] ppid=3774 vsize=361920 CPUtime=222.2 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 418671 0 0 0 22191 29 0 0 20 0 1 0 103022972 370606080 84683 18446744073709551615 4194304 5972588 140735871778432 140735871775096 5139319 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 90480 84683 850 435 0 83843 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 361920
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 3789
/proc/meminfo: memFree=30628852/32770624 swapFree=0/598572
[pid=3777] ppid=3774 vsize=362128 CPUtime=282.19 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 420159 0 0 0 28190 29 0 0 20 0 1 0 103022972 370819072 84702 18446744073709551615 4194304 5972588 140735871778432 140735871775112 5139324 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 90532 84702 850 435 0 83895 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 362128
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 3791
/proc/meminfo: memFree=30629468/32770624 swapFree=0/598588
[pid=3777] ppid=3774 vsize=362128 CPUtime=342.19 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 420606 0 0 0 34190 29 0 0 20 0 1 0 103022972 370819072 84704 18446744073709551615 4194304 5972588 140735871778432 140735871775112 5032455 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 90532 84704 850 435 0 83895 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 362128
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3793
/proc/meminfo: memFree=30628508/32770624 swapFree=0/598600
[pid=3777] ppid=3774 vsize=362808 CPUtime=402.19 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 421044 0 0 0 40190 29 0 0 20 0 1 0 103022972 371515392 84882 18446744073709551615 4194304 5972588 140735871778432 140735871775096 4935456 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 90702 84882 850 435 0 84065 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 362808
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 3795
/proc/meminfo: memFree=30628276/32770624 swapFree=0/598608
[pid=3777] ppid=3774 vsize=362940 CPUtime=462.19 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 421647 0 0 0 46190 29 0 0 20 0 1 0 103022972 371650560 84893 18446744073709551615 4194304 5972588 140735871778432 140735871775192 5139312 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 90735 84893 850 435 0 84098 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 362940
[startup+522.3 s]
/proc/loadavg: 2.13 2.04 2.05 3/189 3813
/proc/meminfo: memFree=30623680/32770624 swapFree=0/598640
[pid=3777] ppid=3774 vsize=362940 CPUtime=522.19 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 421869 0 0 0 52190 29 0 0 20 0 1 0 103022972 371650560 84916 18446744073709551615 4194304 5972588 140735871778432 140735871775192 5139327 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 90735 84916 850 435 0 84098 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 362940
[startup+582.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/186 3815
/proc/meminfo: memFree=30626360/32770624 swapFree=0/598648
[pid=3777] ppid=3774 vsize=362940 CPUtime=582.2 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 422416 0 0 0 58191 29 0 0 20 0 1 0 103022972 371650560 84922 18446744073709551615 4194304 5972588 140735871778432 140735871775192 5139329 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 90735 84922 850 435 0 84098 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 362940
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3929
/proc/meminfo: memFree=30621572/32770624 swapFree=0/598808
[pid=3777] ppid=3774 vsize=364216 CPUtime=1602.22 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 428259 0 0 0 160192 30 0 0 20 0 1 0 103022972 372957184 85240 18446744073709551615 4194304 5972588 140735871778432 140735871775096 5139329 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 91054 85240 850 435 0 84417 0
Current children cumulated CPU time (s) 1602.22
Current children cumulated vsize (KiB) 364216
[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/186 3932
/proc/meminfo: memFree=30621936/32770624 swapFree=0/598808
[pid=3777] ppid=3774 vsize=364216 CPUtime=1662.23 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 428388 0 0 0 166193 30 0 0 20 0 1 0 103022972 372957184 85258 18446744073709551615 4194304 5972588 140735871778432 140735871775096 5139333 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 91054 85258 850 435 0 84417 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 364216
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 3948
/proc/meminfo: memFree=30618008/32770624 swapFree=0/598804
[pid=3777] ppid=3774 vsize=364216 CPUtime=1722.23 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 428504 0 0 0 172193 30 0 0 20 0 1 0 103022972 372957184 85258 18446744073709551615 4194304 5972588 140735871778432 140735871775096 5139329 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 91054 85258 850 435 0 84417 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 364216
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 3950
/proc/meminfo: memFree=30620632/32770624 swapFree=0/598808
[pid=3777] ppid=3774 vsize=364216 CPUtime=1782.23 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 428611 0 0 0 178193 30 0 0 20 0 1 0 103022972 372957184 85258 18446744073709551615 4194304 5972588 140735871778432 140735871775096 5139329 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 91054 85258 850 435 0 84417 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 364216
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3952
/proc/meminfo: memFree=30620632/32770624 swapFree=0/598804
[pid=3777] ppid=3774 vsize=364216 CPUtime=1842.23 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 428718 0 0 0 184193 30 0 0 20 0 1 0 103022972 372957184 85258 18446744073709551615 4194304 5972588 140735871778432 140735871775096 5139329 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 91054 85258 850 435 0 84417 0
Current children cumulated CPU time (s) 1842.23
Current children cumulated vsize (KiB) 364216
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 3955
/proc/meminfo: memFree=30620988/32770624 swapFree=0/598828
[pid=3777] ppid=3774 vsize=364216 CPUtime=1902.24 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 429324 0 0 0 190193 31 0 0 20 0 1 0 103022972 372957184 85258 18446744073709551615 4194304 5972588 140735871778432 140735871775096 5139312 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 91054 85258 850 435 0 84417 0
Current children cumulated CPU time (s) 1902.24
Current children cumulated vsize (KiB) 364216
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3957
/proc/meminfo: memFree=30621252/32770624 swapFree=0/598840
[pid=3777] ppid=3774 vsize=364216 CPUtime=1962.24 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 429466 0 0 0 196193 31 0 0 20 0 1 0 103022972 372957184 85258 18446744073709551615 4194304 5972588 140735871778432 140735871775096 5139312 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 91054 85258 850 435 0 84417 0
Current children cumulated CPU time (s) 1962.24
Current children cumulated vsize (KiB) 364216
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3959
/proc/meminfo: memFree=30621004/32770624 swapFree=0/598844
[pid=3777] ppid=3774 vsize=364216 CPUtime=2022.24 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 430009 0 0 0 202193 31 0 0 20 0 1 0 103022972 372957184 85258 18446744073709551615 4194304 5972588 140735871778432 140735871775096 5139312 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 91054 85258 850 435 0 84417 0
Current children cumulated CPU time (s) 2022.24
Current children cumulated vsize (KiB) 364216
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3961
/proc/meminfo: memFree=30621008/32770624 swapFree=0/598856
[pid=3777] ppid=3774 vsize=364216 CPUtime=2082.25 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 430149 0 0 0 208194 31 0 0 20 0 1 0 103022972 372957184 85258 18446744073709551615 4194304 5972588 140735871778432 140735871775096 5139329 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 91054 85258 850 435 0 84417 0
Current children cumulated CPU time (s) 2082.25
Current children cumulated vsize (KiB) 364216
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3963
/proc/meminfo: memFree=30621008/32770624 swapFree=0/598872
[pid=3777] ppid=3774 vsize=364216 CPUtime=2142.24 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 430343 0 0 0 214193 31 0 0 20 0 1 0 103022972 372957184 85258 18446744073709551615 4194304 5972588 140735871778432 140735871775096 5139312 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 91054 85258 850 435 0 84417 0
Current children cumulated CPU time (s) 2142.24
Current children cumulated vsize (KiB) 364216
[startup+2202.31 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 3967
/proc/meminfo: memFree=30621116/32770624 swapFree=0/598876
[pid=3777] ppid=3774 vsize=364216 CPUtime=2202.25 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 430484 0 0 0 220194 31 0 0 20 0 1 0 103022972 372957184 85258 18446744073709551615 4194304 5972588 140735871778432 140735871775096 5139329 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 91054 85258 850 435 0 84417 0
Current children cumulated CPU time (s) 2202.25
Current children cumulated vsize (KiB) 364216
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 3969
/proc/meminfo: memFree=30621364/32770624 swapFree=0/598880
[pid=3777] ppid=3774 vsize=364216 CPUtime=2262.25 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 430678 0 0 0 226194 31 0 0 20 0 1 0 103022972 372957184 85258 18446744073709551615 4194304 5972588 140735871778432 140735871775096 5139329 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 91054 85258 850 435 0 84417 0
Current children cumulated CPU time (s) 2262.25
Current children cumulated vsize (KiB) 364216
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 3985
/proc/meminfo: memFree=30617548/32770624 swapFree=0/598896
[pid=3777] ppid=3774 vsize=364216 CPUtime=2322.25 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 430820 0 0 0 232194 31 0 0 20 0 1 0 103022972 372957184 85258 18446744073709551615 4194304 5972588 140735871778432 140735871775096 5139312 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 91054 85258 850 435 0 84417 0
Current children cumulated CPU time (s) 2322.25
Current children cumulated vsize (KiB) 364216
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 3987
/proc/meminfo: memFree=30619692/32770624 swapFree=0/598908
[pid=3777] ppid=3774 vsize=364216 CPUtime=2382.25 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 431040 0 0 0 238194 31 0 0 20 0 1 0 103022972 372957184 85258 18446744073709551615 4194304 5972588 140735871778432 140735871775096 5139329 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 91054 85258 850 435 0 84417 0
Current children cumulated CPU time (s) 2382.25
Current children cumulated vsize (KiB) 364216
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 3989
/proc/meminfo: memFree=30620204/32770624 swapFree=0/598920
[pid=3777] ppid=3774 vsize=364216 CPUtime=2442.25 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 431233 0 0 0 244194 31 0 0 20 0 1 0 103022972 372957184 85258 18446744073709551615 4194304 5972588 140735871778432 140735871775096 5139327 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 91054 85258 850 435 0 84417 0
Current children cumulated CPU time (s) 2442.25
Current children cumulated vsize (KiB) 364216
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 3991
/proc/meminfo: memFree=30620608/32770624 swapFree=0/598924
[pid=3777] ppid=3774 vsize=364216 CPUtime=2502.25 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 431375 0 0 0 250194 31 0 0 20 0 1 0 103022972 372957184 85258 18446744073709551615 4194304 5972588 140735871778432 140735871775096 5139312 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 91054 85258 850 435 0 84417 0
Current children cumulated CPU time (s) 2502.25
Current children cumulated vsize (KiB) 364216
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 3992
/proc/meminfo: memFree=30621104/32770624 swapFree=0/598940
[pid=3777] ppid=3774 vsize=364216 CPUtime=2519.95 cores=0,2,4,6
/proc/3777/stat : 3777 (cosoco) R 3774 3777 24445 0 -1 4202496 431393 0 0 0 251964 31 0 0 20 0 1 0 103022972 372957184 85258 18446744073709551615 4194304 5972588 140735871778432 140735871775096 5139312 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 24645632 140735871779310 140735871779405 140735871779405 140735871782862 0
/proc/3777/statm: 91054 85258 850 435 0 84417 0
Current children cumulated CPU time (s) 2519.95
Current children cumulated vsize (KiB) 364216
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 3777 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.97
CPU user time (s): 2519.65
CPU system time (s): 0.316009
CPU usage (%): 99.9986
Max. virtual memory (cumulated for all children) (KiB): 364216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.65
system time used= 0.316009
maximum resident set size= 341108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 431446
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= 21
involuntary context switches= 735
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.20635 second user time and 10.2852 second system time
The end