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-4267944-1502504264/watcher-4267944-1502504264 -o /tmp/evaluation-result-4267944-1502504264/solver-4267944-1502504264 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502500302-22047 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267944-1502504264.xml
pid=22847
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: 0.24 0.10 0.10 1/176 22850
/proc/meminfo: memFree=31248260/32770624 swapFree=0/516184
[pid=22850] ppid=22847 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/22850/stat : 22850 (runsolver) D 22847 22850 21984 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 52647161 24240128 106 18446744073709551615 4194304 4338465 140735576844528 140735576842168 140646815122135 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 26263552 140735576846529 140735576846921 140735576846921 140735576850378 0
/proc/22850/statm: 5918 106 53 36 0 2156 0
[startup+0.100092 s]
/proc/loadavg: 0.24 0.10 0.10 1/176 22850
/proc/meminfo: memFree=31248260/32770624 swapFree=0/516184
[pid=22850] ppid=22847 vsize=27260 CPUtime=0 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 1072 0 0 0 0 0 0 0 20 0 1 0 52647161 27914240 898 18446744073709551615 4194304 5972588 140726215791440 140726215788088 140674456906283 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 898 756 435 0 178 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 27260
[startup+0.200213 s]
/proc/loadavg: 0.24 0.10 0.10 1/176 22850
/proc/meminfo: memFree=31248260/32770624 swapFree=0/516184
[pid=22850] ppid=22847 vsize=27260 CPUtime=0.1 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 1076 0 0 0 10 0 0 0 20 0 1 0 52647161 27914240 898 18446744073709551615 4194304 5972588 140726215791440 140726215788088 4978719 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 898 756 435 0 178 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 27260
[startup+0.300198 s]
/proc/loadavg: 0.24 0.10 0.10 1/176 22850
/proc/meminfo: memFree=31248260/32770624 swapFree=0/516184
[pid=22850] ppid=22847 vsize=27260 CPUtime=0.2 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 1076 0 0 0 20 0 0 0 20 0 1 0 52647161 27914240 898 18446744073709551615 4194304 5972588 140726215791440 140726215788088 5338173 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 898 756 435 0 178 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 27260
[startup+0.700182 s]
/proc/loadavg: 0.24 0.10 0.10 1/176 22850
/proc/meminfo: memFree=31248260/32770624 swapFree=0/516184
[pid=22850] ppid=22847 vsize=27260 CPUtime=0.6 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 1076 0 0 0 60 0 0 0 20 0 1 0 52647161 27914240 898 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4975688 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 898 756 435 0 178 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 27260
[startup+1.50017 s]
/proc/loadavg: 0.24 0.10 0.10 3/183 22866
/proc/meminfo: memFree=31244700/32770624 swapFree=0/516168
[pid=22850] ppid=22847 vsize=27260 CPUtime=1.4 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 1076 0 0 0 140 0 0 0 20 0 1 0 52647161 27914240 898 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4975143 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 898 756 435 0 178 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 27260
[startup+3.10028 s]
/proc/loadavg: 0.24 0.10 0.10 3/183 22866
/proc/meminfo: memFree=31244296/32770624 swapFree=0/516168
[pid=22850] ppid=22847 vsize=27260 CPUtime=3 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 1166 0 0 0 300 0 0 0 20 0 1 0 52647161 27914240 919 18446744073709551615 4194304 5972588 140726215791440 140726215788744 5099616 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 919 769 435 0 178 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 27260
[startup+6.30027 s]
/proc/loadavg: 0.38 0.13 0.11 3/183 22866
/proc/meminfo: memFree=31244796/32770624 swapFree=0/516168
[pid=22850] ppid=22847 vsize=27260 CPUtime=6.2 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 1256 0 0 0 620 0 0 0 20 0 1 0 52647161 27914240 921 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4975680 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 921 769 435 0 178 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 27260
[startup+12.7003 s]
/proc/loadavg: 0.51 0.16 0.12 3/183 22866
/proc/meminfo: memFree=31244336/32770624 swapFree=0/516168
[pid=22850] ppid=22847 vsize=27260 CPUtime=12.6 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 1345 0 0 0 1260 0 0 0 20 0 1 0 52647161 27914240 921 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4976705 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 921 769 435 0 178 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 27260
[startup+25.5003 s]
/proc/loadavg: 0.84 0.25 0.15 3/183 22867
/proc/meminfo: memFree=31245008/32770624 swapFree=0/516168
[pid=22850] ppid=22847 vsize=27260 CPUtime=25.4 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 1524 0 0 0 2540 0 0 0 20 0 1 0 52647161 27914240 922 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4977791 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 922 769 435 0 178 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 27260
[startup+51.1003 s]
/proc/loadavg: 1.24 0.39 0.20 3/183 22867
/proc/meminfo: memFree=31245220/32770624 swapFree=0/516160
[pid=22850] ppid=22847 vsize=27260 CPUtime=51 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 1614 0 0 0 5100 0 0 0 20 0 1 0 52647161 27914240 922 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4975104 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 922 769 435 0 178 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 27260
[startup+102.3 s]
/proc/loadavg: 1.67 0.64 0.30 3/182 22869
/proc/meminfo: memFree=31244756/32770624 swapFree=0/516168
[pid=22850] ppid=22847 vsize=27260 CPUtime=102.21 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 1706 0 0 0 10221 0 0 0 20 0 1 0 52647161 27914240 922 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4979175 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 922 769 435 0 178 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 27260
[startup+162.3 s]
/proc/loadavg: 1.88 0.89 0.40 3/181 22871
/proc/meminfo: memFree=31244232/32770624 swapFree=0/516176
[pid=22850] ppid=22847 vsize=27260 CPUtime=162.21 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 1797 0 0 0 16221 0 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4975792 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 27260
[startup+222.306 s]
/proc/loadavg: 2.07 1.12 0.51 3/181 22873
/proc/meminfo: memFree=31244252/32770624 swapFree=0/516192
[pid=22850] ppid=22847 vsize=27260 CPUtime=222.23 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 1888 0 0 0 22222 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4908832 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 27260
[startup+282.3 s]
/proc/loadavg: 2.07 1.30 0.61 3/181 22875
/proc/meminfo: memFree=31244260/32770624 swapFree=0/516204
[pid=22850] ppid=22847 vsize=27260 CPUtime=282.23 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 1888 0 0 0 28222 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4979143 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 27260
[startup+342.3 s]
/proc/loadavg: 2.02 1.42 0.70 3/181 22877
/proc/meminfo: memFree=31244004/32770624 swapFree=0/516220
[pid=22850] ppid=22847 vsize=27260 CPUtime=342.24 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 1979 0 0 0 34223 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4976560 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 27260
[startup+402.3 s]
/proc/loadavg: 2.01 1.53 0.78 3/183 22893
/proc/meminfo: memFree=31240396/32770624 swapFree=0/516248
[pid=22850] ppid=22847 vsize=27260 CPUtime=402.24 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 1979 0 0 0 40223 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4976837 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 27260
[startup+462.3 s]
/proc/loadavg: 2.00 1.61 0.86 3/184 22896
/proc/meminfo: memFree=31238620/32770624 swapFree=0/516272
[pid=22850] ppid=22847 vsize=27260 CPUtime=462.25 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 2070 0 0 0 46224 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4976617 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 27260
[startup+522.3 s]
/proc/loadavg: 2.00 1.68 0.93 3/181 22898
/proc/meminfo: memFree=31242116/32770624 swapFree=0/516280
[pid=22850] ppid=22847 vsize=27260 CPUtime=522.25 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 2070 0 0 0 52224 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4977150 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 27260
[startup+582.3 s]
/proc/loadavg: 2.05 1.76 1.00 3/181 22900
/proc/meminfo: memFree=31242540/32770624 swapFree=0/516292
[pid=22850] ppid=22847 vsize=27260 CPUtime=582.26 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 2161 0 0 0 58225 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4978055 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 27260
################
# More data... #
################
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.70 3/185 22967
/proc/meminfo: memFree=31238528/32770624 swapFree=0/516528
[pid=22850] ppid=22847 vsize=27260 CPUtime=1662.36 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 2968 0 0 0 166235 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4978779 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 27260
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.71 3/182 22969
/proc/meminfo: memFree=31242552/32770624 swapFree=0/516552
[pid=22850] ppid=22847 vsize=27260 CPUtime=1722.36 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 3047 0 0 0 172235 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4975117 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 27260
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 1.74 3/182 22971
/proc/meminfo: memFree=31241568/32770624 swapFree=0/516548
[pid=22850] ppid=22847 vsize=27260 CPUtime=1782.37 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 3059 0 0 0 178236 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4909234 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 27260
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 1.75 3/182 22973
/proc/meminfo: memFree=31241700/32770624 swapFree=0/516548
[pid=22850] ppid=22847 vsize=27260 CPUtime=1842.38 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 3138 0 0 0 184237 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4975114 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 1842.38
Current children cumulated vsize (KiB) 27260
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 1.77 3/181 22975
/proc/meminfo: memFree=31241352/32770624 swapFree=0/516556
[pid=22850] ppid=22847 vsize=27260 CPUtime=1902.38 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 3138 0 0 0 190237 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4975848 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 1902.38
Current children cumulated vsize (KiB) 27260
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.78 3/181 22977
/proc/meminfo: memFree=31242108/32770624 swapFree=0/516568
[pid=22850] ppid=22847 vsize=27260 CPUtime=1962.39 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 3229 0 0 0 196238 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4977144 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 1962.39
Current children cumulated vsize (KiB) 27260
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/181 22979
/proc/meminfo: memFree=31242496/32770624 swapFree=0/516572
[pid=22850] ppid=22847 vsize=27260 CPUtime=2022.4 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 3229 0 0 0 202239 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4975647 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 2022.4
Current children cumulated vsize (KiB) 27260
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.81 3/181 22981
/proc/meminfo: memFree=31242212/32770624 swapFree=0/516580
[pid=22850] ppid=22847 vsize=27260 CPUtime=2082.41 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 3308 0 0 0 208240 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4976440 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 2082.41
Current children cumulated vsize (KiB) 27260
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.82 3/181 22983
/proc/meminfo: memFree=31242220/32770624 swapFree=0/516592
[pid=22850] ppid=22847 vsize=27260 CPUtime=2142.41 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 3320 0 0 0 214240 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 5099616 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 2142.41
Current children cumulated vsize (KiB) 27260
[startup+2202.31 s]
/proc/loadavg: 2.04 2.03 1.84 3/185 23000
/proc/meminfo: memFree=31238432/32770624 swapFree=0/516628
[pid=22850] ppid=22847 vsize=27260 CPUtime=2202.42 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 3399 0 0 0 220241 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4977689 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 2202.42
Current children cumulated vsize (KiB) 27260
[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 1.85 3/185 23002
/proc/meminfo: memFree=31238312/32770624 swapFree=0/516644
[pid=22850] ppid=22847 vsize=27260 CPUtime=2262.42 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 3399 0 0 0 226241 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4975117 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 2262.42
Current children cumulated vsize (KiB) 27260
[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 1.86 3/182 23004
/proc/meminfo: memFree=31241348/32770624 swapFree=0/516656
[pid=22850] ppid=22847 vsize=27260 CPUtime=2322.43 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 3490 0 0 0 232242 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 5099616 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 2322.43
Current children cumulated vsize (KiB) 27260
[startup+2382.3 s]
/proc/loadavg: 2.02 2.03 1.87 3/182 23006
/proc/meminfo: memFree=31241232/32770624 swapFree=0/516680
[pid=22850] ppid=22847 vsize=27260 CPUtime=2382.43 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 3490 0 0 0 238242 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4978804 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 2382.43
Current children cumulated vsize (KiB) 27260
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 1.88 3/182 23008
/proc/meminfo: memFree=31241240/32770624 swapFree=0/516692
[pid=22850] ppid=22847 vsize=27260 CPUtime=2442.44 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 3569 0 0 0 244243 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 5328506 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 2442.44
Current children cumulated vsize (KiB) 27260
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/181 23010
/proc/meminfo: memFree=31241764/32770624 swapFree=0/516696
[pid=22850] ppid=22847 vsize=27260 CPUtime=2502.45 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 3569 0 0 0 250244 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4978728 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 2502.45
Current children cumulated vsize (KiB) 27260
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 1.88 3/181 23010
/proc/meminfo: memFree=31241888/32770624 swapFree=0/516692
[pid=22850] ppid=22847 vsize=27260 CPUtime=2520.05 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 3648 0 0 0 252004 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4977689 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 2520.05
Current children cumulated vsize (KiB) 27260
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 22850 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 1.88 3/181 23010
/proc/meminfo: memFree=31241888/32770624 swapFree=0/516692
[pid=22850] ppid=22847 vsize=27260 CPUtime=2520.05 cores=0,2,4,6
/proc/22850/stat : 22850 (cosoco) R 22847 22850 21984 0 -1 4202496 3648 0 0 0 252004 1 0 0 20 0 1 0 52647161 27914240 923 18446744073709551615 4194304 5972588 140726215791440 140726215788744 4977689 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 21385216 140726215799278 140726215799373 140726215799373 140726215802830 0
/proc/22850/statm: 6815 923 769 435 0 178 0
Current children cumulated CPU time (s) 2520.05
Current children cumulated vsize (KiB) 27260
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.06
CPU user time (s): 2520.04
CPU system time (s): 0.012001
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 27260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.04
system time used= 0.012001
maximum resident set size= 3768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3699
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= 6
involuntary context switches= 1124
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.13175 second user time and 8.30701 second system time
The end