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-4267939-1502534751/watcher-4267939-1502534751 -o /tmp/evaluation-result-4267939-1502534751/solver-4267939-1502534751 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502500309-6740 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267939-1502534751.xml
pid=13702
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.01 2.02 2.05 3/181 13705
/proc/meminfo: memFree=30727400/32770624 swapFree=0/561696
[pid=13705] ppid=13702 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/13705/stat : 13705 (runsolver) D 13702 13705 6677 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 55668459 24240128 106 18446744073709551615 4194304 4338465 140727709608848 140727709606488 139864429298391 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 10084352 140727709614274 140727709614665 140727709614665 140727709618122 0
/proc/13705/statm: 5918 106 53 36 0 2156 0
[startup+0.100151 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 13705
/proc/meminfo: memFree=30727400/32770624 swapFree=0/561696
[pid=13705] ppid=13702 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/13705/stat : 13705 (runsolver) D 13702 13705 6677 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 55668459 24240128 106 18446744073709551615 4194304 4338465 140727709608848 140727709606488 139864429298391 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 10084352 140727709614274 140727709614665 140727709614665 140727709618122 0
/proc/13705/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.20112 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 13705
/proc/meminfo: memFree=30727400/32770624 swapFree=0/561696
[pid=13705] ppid=13702 vsize=36732 CPUtime=0.09 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 3440 0 0 0 9 0 0 0 20 0 1 0 55668459 37613568 3226 18446744073709551615 4194304 5972588 140724675868736 140724675864184 139727619152343 0 0 1 0 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 9183 3226 755 435 0 2546 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36732
[startup+0.300337 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 13705
/proc/meminfo: memFree=30727400/32770624 swapFree=0/561696
[pid=13705] ppid=13702 vsize=37788 CPUtime=0.19 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 3723 0 0 0 19 0 0 0 20 0 1 0 55668459 38694912 3556 18446744073709551615 4194304 5972588 140724675868736 140724675864184 5139281 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 9447 3556 794 435 0 2810 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37788
[startup+0.700253 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 13705
/proc/meminfo: memFree=30727400/32770624 swapFree=0/561696
[pid=13705] ppid=13702 vsize=40296 CPUtime=0.59 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 4367 0 0 0 59 0 0 0 20 0 1 0 55668459 41263104 4150 18446744073709551615 4194304 5972588 140724675868736 140724675864184 5046736 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10074 4150 794 435 0 3437 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 40296
[startup+1.50028 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 13706
/proc/meminfo: memFree=30715400/32770624 swapFree=0/561692
[pid=13705] ppid=13702 vsize=40296 CPUtime=1.39 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 4369 0 0 0 139 0 0 0 20 0 1 0 55668459 41263104 4150 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5139281 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10074 4150 794 435 0 3437 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 40296
[startup+3.10029 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 13706
/proc/meminfo: memFree=30714780/32770624 swapFree=0/561692
[pid=13705] ppid=13702 vsize=42148 CPUtime=2.98 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 7841 0 0 0 298 0 0 0 20 0 1 0 55668459 43159552 4641 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5045828 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10537 4641 796 435 0 3900 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 42148
[startup+6.30028 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 13706
/proc/meminfo: memFree=30713956/32770624 swapFree=0/561692
[pid=13705] ppid=13702 vsize=42412 CPUtime=6.19 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 11294 0 0 0 618 1 0 0 20 0 1 0 55668459 43429888 4702 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5139264 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10603 4702 796 435 0 3966 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 42412
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 13707
/proc/meminfo: memFree=30713464/32770624 swapFree=0/561692
[pid=13705] ppid=13702 vsize=42412 CPUtime=12.59 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 14633 0 0 0 1258 1 0 0 20 0 1 0 55668459 43429888 4728 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5139312 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10603 4728 796 435 0 3966 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 42412
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13707
/proc/meminfo: memFree=30713340/32770624 swapFree=0/561680
[pid=13705] ppid=13702 vsize=42412 CPUtime=25.38 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 21504 0 0 0 2537 1 0 0 20 0 1 0 55668459 43429888 4753 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5139490 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10603 4753 796 435 0 3966 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 42412
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13707
/proc/meminfo: memFree=30713468/32770624 swapFree=0/561664
[pid=13705] ppid=13702 vsize=42676 CPUtime=50.98 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 24910 0 0 0 5097 1 0 0 20 0 1 0 55668459 43700224 4818 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5046151 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10669 4818 796 435 0 4032 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 42676
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13709
/proc/meminfo: memFree=30714092/32770624 swapFree=0/561664
[pid=13705] ppid=13702 vsize=42676 CPUtime=102.18 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 28323 0 0 0 10217 1 0 0 20 0 1 0 55668459 43700224 4818 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5046945 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10669 4818 796 435 0 4032 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 42676
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13711
/proc/meminfo: memFree=30713680/32770624 swapFree=0/561680
[pid=13705] ppid=13702 vsize=42676 CPUtime=162.17 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 31701 0 0 0 16216 1 0 0 20 0 1 0 55668459 43700224 4818 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5046945 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10669 4818 796 435 0 4032 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 42676
[startup+222.306 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 13713
/proc/meminfo: memFree=30714052/32770624 swapFree=0/561724
[pid=13705] ppid=13702 vsize=42676 CPUtime=222.17 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 35126 0 0 0 22216 1 0 0 20 0 1 0 55668459 43700224 4818 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5139499 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10669 4818 796 435 0 4032 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 42676
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 13715
/proc/meminfo: memFree=30713540/32770624 swapFree=0/561732
[pid=13705] ppid=13702 vsize=42676 CPUtime=282.17 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 38432 0 0 0 28215 2 0 0 20 0 1 0 55668459 43700224 4818 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5139281 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10669 4818 796 435 0 4032 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 42676
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 13717
/proc/meminfo: memFree=30713164/32770624 swapFree=0/561732
[pid=13705] ppid=13702 vsize=42676 CPUtime=342.15 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 39304 0 0 0 34213 2 0 0 20 0 1 0 55668459 43700224 4819 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5045800 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10669 4819 796 435 0 4032 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 42676
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13719
/proc/meminfo: memFree=30712920/32770624 swapFree=0/561744
[pid=13705] ppid=13702 vsize=42676 CPUtime=402.15 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 39989 0 0 0 40213 2 0 0 20 0 1 0 55668459 43700224 4819 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5045825 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10669 4819 796 435 0 4032 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 42676
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 13721
/proc/meminfo: memFree=30713044/32770624 swapFree=0/561772
[pid=13705] ppid=13702 vsize=42808 CPUtime=462.14 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 40993 0 0 0 46212 2 0 0 20 0 1 0 55668459 43835392 4819 18446744073709551615 4194304 5972588 140724675868736 140724675865512 5139291 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10702 4819 796 435 0 4065 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 42808
[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 13798
/proc/meminfo: memFree=31166508/32770624 swapFree=0/561844
[pid=13705] ppid=13702 vsize=42808 CPUtime=522.14 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 41840 0 0 0 52212 2 0 0 20 0 1 0 55668459 43835392 4828 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5319857 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10702 4828 796 435 0 4065 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 42808
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 13800
/proc/meminfo: memFree=31165760/32770624 swapFree=0/561852
[pid=13705] ppid=13702 vsize=42808 CPUtime=582.13 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 42399 0 0 0 58211 2 0 0 20 0 1 0 55668459 43835392 4829 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5048640 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10702 4829 796 435 0 4065 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 42808
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 13850
/proc/meminfo: memFree=31168476/32770624 swapFree=0/562016
[pid=13705] ppid=13702 vsize=42808 CPUtime=1602.04 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 53470 0 0 0 160201 3 0 0 20 0 1 0 55668459 43835392 4829 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5047408 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10702 4829 796 435 0 4065 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 42808
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 13852
/proc/meminfo: memFree=31168352/32770624 swapFree=0/562020
[pid=13705] ppid=13702 vsize=42808 CPUtime=1662.04 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 54214 0 0 0 166201 3 0 0 20 0 1 0 55668459 43835392 4829 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5047908 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10702 4829 796 435 0 4065 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 42808
[startup+1722.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/185 13869
/proc/meminfo: memFree=31163956/32770624 swapFree=0/562032
[pid=13705] ppid=13702 vsize=42808 CPUtime=1722.03 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 54823 0 0 0 172200 3 0 0 20 0 1 0 55668459 43835392 4829 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5045838 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10702 4829 796 435 0 4065 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 42808
[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/185 13895
/proc/meminfo: memFree=31161976/32770624 swapFree=0/562064
[pid=13705] ppid=13702 vsize=42808 CPUtime=1782.03 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 55643 0 0 0 178200 3 0 0 20 0 1 0 55668459 43835392 4829 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5046214 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10702 4829 796 435 0 4065 0
Current children cumulated CPU time (s) 1782.03
Current children cumulated vsize (KiB) 42808
[startup+1842.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 13897
/proc/meminfo: memFree=31162892/32770624 swapFree=0/562084
[pid=13705] ppid=13702 vsize=42808 CPUtime=1842.02 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 56295 0 0 0 184199 3 0 0 20 0 1 0 55668459 43835392 4829 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5139264 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10702 4829 796 435 0 4065 0
Current children cumulated CPU time (s) 1842.02
Current children cumulated vsize (KiB) 42808
[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 13899
/proc/meminfo: memFree=31167156/32770624 swapFree=0/562096
[pid=13705] ppid=13702 vsize=42808 CPUtime=1902.01 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 56905 0 0 0 190198 3 0 0 20 0 1 0 55668459 43835392 4829 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5139507 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10702 4829 796 435 0 4065 0
Current children cumulated CPU time (s) 1902.01
Current children cumulated vsize (KiB) 42808
[startup+1962.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 13901
/proc/meminfo: memFree=31167156/32770624 swapFree=0/562100
[pid=13705] ppid=13702 vsize=42808 CPUtime=1962.01 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 57377 0 0 0 196198 3 0 0 20 0 1 0 55668459 43835392 4829 18446744073709551615 4194304 5972588 140724675868736 140724675866040 4908832 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10702 4829 796 435 0 4065 0
Current children cumulated CPU time (s) 1962.01
Current children cumulated vsize (KiB) 42808
[startup+2022.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 13903
/proc/meminfo: memFree=31167668/32770624 swapFree=0/562112
[pid=13705] ppid=13702 vsize=42808 CPUtime=2022 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 58075 0 0 0 202197 3 0 0 20 0 1 0 55668459 43835392 4829 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5045833 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10702 4829 796 435 0 4065 0
Current children cumulated CPU time (s) 2022
Current children cumulated vsize (KiB) 42808
[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 13905
/proc/meminfo: memFree=31168040/32770624 swapFree=0/562124
[pid=13705] ppid=13702 vsize=42808 CPUtime=2082 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 58581 0 0 0 208197 3 0 0 20 0 1 0 55668459 43835392 4829 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5047416 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10702 4829 796 435 0 4065 0
Current children cumulated CPU time (s) 2082
Current children cumulated vsize (KiB) 42808
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 13907
/proc/meminfo: memFree=31168080/32770624 swapFree=0/562132
[pid=13705] ppid=13702 vsize=42808 CPUtime=2141.99 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 59372 0 0 0 214196 3 0 0 20 0 1 0 55668459 43835392 4829 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5320809 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10702 4829 796 435 0 4065 0
Current children cumulated CPU time (s) 2141.99
Current children cumulated vsize (KiB) 42808
[startup+2202.31 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 13909
/proc/meminfo: memFree=31168204/32770624 swapFree=0/562144
[pid=13705] ppid=13702 vsize=42808 CPUtime=2201.99 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 60217 0 0 0 220196 3 0 0 20 0 1 0 55668459 43835392 4829 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5046936 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10702 4829 796 435 0 4065 0
Current children cumulated CPU time (s) 2201.99
Current children cumulated vsize (KiB) 42808
[startup+2262.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 13911
/proc/meminfo: memFree=31168452/32770624 swapFree=0/562144
[pid=13705] ppid=13702 vsize=42808 CPUtime=2261.98 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 60687 0 0 0 226195 3 0 0 20 0 1 0 55668459 43835392 4829 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5045821 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10702 4829 796 435 0 4065 0
Current children cumulated CPU time (s) 2261.98
Current children cumulated vsize (KiB) 42808
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 13928
/proc/meminfo: memFree=31164452/32770624 swapFree=0/562180
[pid=13705] ppid=13702 vsize=42808 CPUtime=2321.98 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 61518 0 0 0 232195 3 0 0 20 0 1 0 55668459 43835392 4829 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5139490 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10702 4829 796 435 0 4065 0
Current children cumulated CPU time (s) 2321.98
Current children cumulated vsize (KiB) 42808
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 13930
/proc/meminfo: memFree=31163836/32770624 swapFree=0/562192
[pid=13705] ppid=13702 vsize=42808 CPUtime=2381.97 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 62233 0 0 0 238194 3 0 0 20 0 1 0 55668459 43835392 4829 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5045828 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10702 4829 796 435 0 4065 0
Current children cumulated CPU time (s) 2381.97
Current children cumulated vsize (KiB) 42808
[startup+2442.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 13932
/proc/meminfo: memFree=31168116/32770624 swapFree=0/562196
[pid=13705] ppid=13702 vsize=42808 CPUtime=2441.97 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 62735 0 0 0 244194 3 0 0 20 0 1 0 55668459 43835392 4829 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5139300 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10702 4829 796 435 0 4065 0
Current children cumulated CPU time (s) 2441.97
Current children cumulated vsize (KiB) 42808
[startup+2502.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 13935
/proc/meminfo: memFree=31167596/32770624 swapFree=0/562212
[pid=13705] ppid=13702 vsize=42808 CPUtime=2501.96 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 63513 0 0 0 250193 3 0 0 20 0 1 0 55668459 43835392 4829 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5047946 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10702 4829 796 435 0 4065 0
Current children cumulated CPU time (s) 2501.96
Current children cumulated vsize (KiB) 42808
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 13935
/proc/meminfo: memFree=31167596/32770624 swapFree=0/562212
[pid=13705] ppid=13702 vsize=42808 CPUtime=2519.66 cores=0,2,4,6
/proc/13705/stat : 13705 (cosoco) R 13702 13705 6677 0 -1 4202496 64024 0 0 0 251963 3 0 0 20 0 1 0 55668459 43835392 4829 18446744073709551615 4194304 5972588 140724675868736 140724675866040 5139490 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10698752 140724675875310 140724675875405 140724675875405 140724675878862 0
/proc/13705/statm: 10702 4829 796 435 0 4065 0
Current children cumulated CPU time (s) 2519.66
Current children cumulated vsize (KiB) 42808
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 13705 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.67
CPU user time (s): 2519.64
CPU system time (s): 0.037996
CPU usage (%): 99.987
Max. virtual memory (cumulated for all children) (KiB): 42808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.64
system time used= 0.037996
maximum resident set size= 19392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64077
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= 16
involuntary context switches= 3152
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.17589 second user time and 8.8219 second system time
The end