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-4267542-1502552651/watcher-4267542-1502552651 -o /tmp/evaluation-result-4267542-1502552651/solver-4267542-1502552651 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502500311-1849 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267542-1502552651.xml
pid=11435
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.15 2.06 2.06 3/183 11438
/proc/meminfo: memFree=31339608/32770624 swapFree=0/330612
[pid=11438] ppid=11435 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/11438/stat : 11438 (runsolver) D 11435 11438 1785 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 57460540 24240128 107 18446744073709551615 4194304 4338465 140735782401088 140735782398728 139800174568151 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 31211520 140735782408386 140735782408777 140735782408777 140735782412234 0
/proc/11438/statm: 5918 107 54 36 0 2156 0
[startup+0.100173 s]
/proc/loadavg: 2.15 2.06 2.06 3/183 11438
/proc/meminfo: memFree=31339608/32770624 swapFree=0/330612
[pid=11438] ppid=11435 vsize=2040 CPUtime=0 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) D 11435 11438 1785 0 -1 1077936128 156 0 0 0 0 0 0 0 20 0 1 0 57460540 2088960 1 18446744073709551615 4194304 5972588 140725084935904 140725084933144 139977129137863 0 0 1 0 18446744072101613092 0 0 17 7 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 510 1 0 435 0 39 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2040
[startup+0.200299 s]
/proc/loadavg: 2.15 2.06 2.06 3/183 11438
/proc/meminfo: memFree=31339608/32770624 swapFree=0/330612
[pid=11438] ppid=11435 vsize=31880 CPUtime=0.09 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 2236 0 0 0 9 0 0 0 20 0 1 0 57460540 32645120 1912 18446744073709551615 4194304 5972588 140725084935904 140725084932552 5418925 0 0 1 0 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 7970 1912 716 435 0 1333 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31880
[startup+0.300286 s]
/proc/loadavg: 2.15 2.06 2.06 3/183 11438
/proc/meminfo: memFree=31339608/32770624 swapFree=0/330612
[pid=11438] ppid=11435 vsize=33308 CPUtime=0.19 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 2710 0 0 0 19 0 0 0 20 0 1 0 57460540 34107392 2201 18446744073709551615 4194304 5972588 140725084935904 140725084932472 5673536 0 0 1 0 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 8327 2201 716 435 0 1690 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 33308
[startup+0.700221 s]
/proc/loadavg: 2.15 2.06 2.06 3/183 11438
/proc/meminfo: memFree=31339608/32770624 swapFree=0/330612
[pid=11438] ppid=11435 vsize=37484 CPUtime=0.59 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 4243 0 0 0 58 1 0 0 20 0 1 0 57460540 38383616 3309 18446744073709551615 4194304 5972588 140725084935904 140725084932472 5370846 0 0 1 0 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 9371 3309 716 435 0 2734 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 37484
[startup+1.50031 s]
/proc/loadavg: 2.15 2.06 2.06 3/184 11439
/proc/meminfo: memFree=31224048/32770624 swapFree=0/330816
[pid=11438] ppid=11435 vsize=143044 CPUtime=1.39 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 31875 0 0 0 136 3 0 0 20 0 1 0 57460540 146477056 29747 18446744073709551615 4194304 5972588 140725084935904 140725084932472 5139312 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35761 29747 837 435 0 29124 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 143044
[startup+3.10031 s]
/proc/loadavg: 2.15 2.06 2.06 3/184 11439
/proc/meminfo: memFree=31223568/32770624 swapFree=0/330620
[pid=11438] ppid=11435 vsize=143440 CPUtime=2.99 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 60792 0 0 0 295 4 0 0 20 0 1 0 57460540 146882560 29818 18446744073709551615 4194304 5972588 140725084935904 140725084923112 4935463 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35860 29818 851 435 0 29223 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 143440
[startup+6.30024 s]
/proc/loadavg: 2.22 2.07 2.06 3/184 11439
/proc/meminfo: memFree=31223104/32770624 swapFree=0/330620
[pid=11438] ppid=11435 vsize=143440 CPUtime=6.19 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 78981 0 0 0 614 5 0 0 20 0 1 0 57460540 146882560 29856 18446744073709551615 4194304 5972588 140725084935904 140725084932568 5139329 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35860 29856 851 435 0 29223 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 143440
[startup+12.7002 s]
/proc/loadavg: 2.20 2.07 2.06 3/184 11439
/proc/meminfo: memFree=31222360/32770624 swapFree=0/330620
[pid=11438] ppid=11435 vsize=143592 CPUtime=12.59 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 93739 0 0 0 1253 6 0 0 20 0 1 0 57460540 147038208 29899 18446744073709551615 4194304 5972588 140725084935904 140725084932632 5139324 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35898 29899 851 435 0 29261 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 143592
[startup+25.5003 s]
/proc/loadavg: 2.16 2.07 2.06 3/184 11440
/proc/meminfo: memFree=31222232/32770624 swapFree=0/330608
[pid=11438] ppid=11435 vsize=143796 CPUtime=25.39 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 113715 0 0 0 2532 7 0 0 20 0 1 0 57460540 147247104 29917 18446744073709551615 4194304 5972588 140725084935904 140725084932648 5139329 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 29917 851 435 0 29312 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 143796
[startup+51.1004 s]
/proc/loadavg: 2.10 2.06 2.06 3/184 11440
/proc/meminfo: memFree=31221580/32770624 swapFree=0/330600
[pid=11438] ppid=11435 vsize=143796 CPUtime=50.98 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 149565 0 0 0 5089 9 0 0 20 0 1 0 57460540 147247104 30118 18446744073709551615 4194304 5972588 140725084935904 140725084932648 5139327 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30118 851 435 0 29312 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 143796
[startup+102.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/181 11442
/proc/meminfo: memFree=31224648/32770624 swapFree=0/330608
[pid=11438] ppid=11435 vsize=143796 CPUtime=102.16 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 163587 0 0 0 10207 9 0 0 20 0 1 0 57460540 147247104 30118 18446744073709551615 4194304 5972588 140725084935904 140725084932648 4935596 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30118 851 435 0 29312 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 143796
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 11444
/proc/meminfo: memFree=31225020/32770624 swapFree=0/330620
[pid=11438] ppid=11435 vsize=143796 CPUtime=162.14 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 164137 0 0 0 16205 9 0 0 20 0 1 0 57460540 147247104 30118 18446744073709551615 4194304 5972588 140725084935904 140725084932648 5139312 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30118 851 435 0 29312 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 143796
[startup+222.306 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 11446
/proc/meminfo: memFree=31225012/32770624 swapFree=0/330628
[pid=11438] ppid=11435 vsize=143796 CPUtime=222.14 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 164722 0 0 0 22205 9 0 0 20 0 1 0 57460540 147247104 30118 18446744073709551615 4194304 5972588 140725084935904 140725084932648 4935454 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30118 851 435 0 29312 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 143796
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 11448
/proc/meminfo: memFree=31225564/32770624 swapFree=0/330632
[pid=11438] ppid=11435 vsize=143796 CPUtime=282.12 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 165281 0 0 0 28203 9 0 0 20 0 1 0 57460540 147247104 30118 18446744073709551615 4194304 5972588 140725084935904 140725084932648 5139319 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30118 851 435 0 29312 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 143796
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 11450
/proc/meminfo: memFree=31225316/32770624 swapFree=0/330640
[pid=11438] ppid=11435 vsize=143796 CPUtime=342.1 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 165846 0 0 0 34201 9 0 0 20 0 1 0 57460540 147247104 30118 18446744073709551615 4194304 5972588 140725084935904 140725084932648 5139329 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30118 851 435 0 29312 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 143796
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 11452
/proc/meminfo: memFree=31225488/32770624 swapFree=0/330636
[pid=11438] ppid=11435 vsize=143796 CPUtime=402.09 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 166422 0 0 0 40200 9 0 0 20 0 1 0 57460540 147247104 30118 18446744073709551615 4194304 5972588 140725084935904 140725084932648 4935454 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30118 851 435 0 29312 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 143796
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11454
/proc/meminfo: memFree=31224992/32770624 swapFree=0/330648
[pid=11438] ppid=11435 vsize=143796 CPUtime=462.08 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 166992 0 0 0 46199 9 0 0 20 0 1 0 57460540 147247104 30118 18446744073709551615 4194304 5972588 140725084935904 140725084932648 4935463 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30118 851 435 0 29312 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 143796
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11456
/proc/meminfo: memFree=31225364/32770624 swapFree=0/330672
[pid=11438] ppid=11435 vsize=143796 CPUtime=522.07 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 167554 0 0 0 52197 10 0 0 20 0 1 0 57460540 147247104 30118 18446744073709551615 4194304 5972588 140725084935904 140725084932648 5139324 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30118 851 435 0 29312 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 143796
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11458
/proc/meminfo: memFree=31225240/32770624 swapFree=0/330684
[pid=11438] ppid=11435 vsize=143796 CPUtime=582.06 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 168120 0 0 0 58196 10 0 0 20 0 1 0 57460540 147247104 30118 18446744073709551615 4194304 5972588 140725084935904 140725084932648 5032455 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30118 851 435 0 29312 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 143796
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11587
/proc/meminfo: memFree=31223540/32770624 swapFree=0/330864
[pid=11438] ppid=11435 vsize=143796 CPUtime=1601.84 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 177369 0 0 0 160174 10 0 0 20 0 1 0 57460540 147247104 30121 18446744073709551615 4194304 5972588 140725084935904 140725084932648 5032400 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30121 851 435 0 29312 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 143796
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 11589
/proc/meminfo: memFree=31223672/32770624 swapFree=0/330880
[pid=11438] ppid=11435 vsize=143796 CPUtime=1661.83 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 177715 0 0 0 166173 10 0 0 20 0 1 0 57460540 147247104 30121 18446744073709551615 4194304 5972588 140725084935904 140725084932648 4935463 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30121 851 435 0 29312 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 143796
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 11592
/proc/meminfo: memFree=31224140/32770624 swapFree=0/330900
[pid=11438] ppid=11435 vsize=143796 CPUtime=1721.81 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 178346 0 0 0 172171 10 0 0 20 0 1 0 57460540 147247104 30121 18446744073709551615 4194304 5972588 140725084935904 140725084932648 5139312 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30121 851 435 0 29312 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 143796
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11594
/proc/meminfo: memFree=31223520/32770624 swapFree=0/330896
[pid=11438] ppid=11435 vsize=143796 CPUtime=1781.8 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 178912 0 0 0 178170 10 0 0 20 0 1 0 57460540 147247104 30121 18446744073709551615 4194304 5972588 140725084935904 140725084932648 5139312 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30121 851 435 0 29312 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 143796
[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 11611
/proc/meminfo: memFree=31219136/32770624 swapFree=0/330912
[pid=11438] ppid=11435 vsize=143796 CPUtime=1841.79 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 179256 0 0 0 184169 10 0 0 20 0 1 0 57460540 147247104 30121 18446744073709551615 4194304 5972588 140725084935904 140725084932648 5139329 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30121 851 435 0 29312 0
Current children cumulated CPU time (s) 1841.79
Current children cumulated vsize (KiB) 143796
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 11638
/proc/meminfo: memFree=31217716/32770624 swapFree=0/330932
[pid=11438] ppid=11435 vsize=143796 CPUtime=1901.77 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 179566 0 0 0 190167 10 0 0 20 0 1 0 57460540 147247104 30121 18446744073709551615 4194304 5972588 140725084935904 140725084932648 5139312 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30121 851 435 0 29312 0
Current children cumulated CPU time (s) 1901.77
Current children cumulated vsize (KiB) 143796
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 11640
/proc/meminfo: memFree=31221200/32770624 swapFree=0/330940
[pid=11438] ppid=11435 vsize=143796 CPUtime=1961.76 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 180212 0 0 0 196166 10 0 0 20 0 1 0 57460540 147247104 30121 18446744073709551615 4194304 5972588 140725084935904 140725084932648 5032400 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30121 851 435 0 29312 0
Current children cumulated CPU time (s) 1961.76
Current children cumulated vsize (KiB) 143796
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 11642
/proc/meminfo: memFree=31221836/32770624 swapFree=0/330952
[pid=11438] ppid=11435 vsize=143796 CPUtime=2021.75 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 180592 0 0 0 202165 10 0 0 20 0 1 0 57460540 147247104 30121 18446744073709551615 4194304 5972588 140725084935904 140725084932648 5139333 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30121 851 435 0 29312 0
Current children cumulated CPU time (s) 2021.75
Current children cumulated vsize (KiB) 143796
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 11644
/proc/meminfo: memFree=31222532/32770624 swapFree=0/330964
[pid=11438] ppid=11435 vsize=143796 CPUtime=2081.74 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 180974 0 0 0 208164 10 0 0 20 0 1 0 57460540 147247104 30121 18446744073709551615 4194304 5972588 140725084935904 140725084932648 5139312 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30121 851 435 0 29312 0
Current children cumulated CPU time (s) 2081.74
Current children cumulated vsize (KiB) 143796
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 11646
/proc/meminfo: memFree=31222548/32770624 swapFree=0/330964
[pid=11438] ppid=11435 vsize=143796 CPUtime=2141.72 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 181356 0 0 0 214162 10 0 0 20 0 1 0 57460540 147247104 30121 18446744073709551615 4194304 5972588 140725084935904 140725084932648 4935446 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30121 851 435 0 29312 0
Current children cumulated CPU time (s) 2141.72
Current children cumulated vsize (KiB) 143796
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11648
/proc/meminfo: memFree=31222672/32770624 swapFree=0/330988
[pid=11438] ppid=11435 vsize=143796 CPUtime=2201.71 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 181737 0 0 0 220161 10 0 0 20 0 1 0 57460540 147247104 30121 18446744073709551615 4194304 5972588 140725084935904 140725084932648 5139329 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30121 851 435 0 29312 0
Current children cumulated CPU time (s) 2201.71
Current children cumulated vsize (KiB) 143796
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11650
/proc/meminfo: memFree=31222792/32770624 swapFree=0/330996
[pid=11438] ppid=11435 vsize=143796 CPUtime=2261.7 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 182119 0 0 0 226160 10 0 0 20 0 1 0 57460540 147247104 30121 18446744073709551615 4194304 5972588 140725084935904 140725084932648 5139333 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30121 851 435 0 29312 0
Current children cumulated CPU time (s) 2261.7
Current children cumulated vsize (KiB) 143796
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11652
/proc/meminfo: memFree=31222672/32770624 swapFree=0/331000
[pid=11438] ppid=11435 vsize=143796 CPUtime=2321.68 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 182689 0 0 0 232158 10 0 0 20 0 1 0 57460540 147247104 30121 18446744073709551615 4194304 5972588 140725084935904 140725084932648 5139324 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30121 851 435 0 29312 0
Current children cumulated CPU time (s) 2321.68
Current children cumulated vsize (KiB) 143796
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11654
/proc/meminfo: memFree=31223168/32770624 swapFree=0/331016
[pid=11438] ppid=11435 vsize=143796 CPUtime=2381.67 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 183048 0 0 0 238157 10 0 0 20 0 1 0 57460540 147247104 30121 18446744073709551615 4194304 5972588 140725084935904 140725084932648 4935463 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30121 851 435 0 29312 0
Current children cumulated CPU time (s) 2381.67
Current children cumulated vsize (KiB) 143796
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 11670
/proc/meminfo: memFree=31218824/32770624 swapFree=0/331044
[pid=11438] ppid=11435 vsize=143796 CPUtime=2441.66 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 183676 0 0 0 244156 10 0 0 20 0 1 0 57460540 147247104 30121 18446744073709551615 4194304 5972588 140725084935904 140725084932648 5139264 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30121 851 435 0 29312 0
Current children cumulated CPU time (s) 2441.66
Current children cumulated vsize (KiB) 143796
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11672
/proc/meminfo: memFree=31222068/32770624 swapFree=0/331048
[pid=11438] ppid=11435 vsize=143796 CPUtime=2501.64 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 184035 0 0 0 250154 10 0 0 20 0 1 0 57460540 147247104 30121 18446744073709551615 4194304 5972588 140725084935904 140725084932648 5139319 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30121 851 435 0 29312 0
Current children cumulated CPU time (s) 2501.64
Current children cumulated vsize (KiB) 143796
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11672
/proc/meminfo: memFree=31222208/32770624 swapFree=0/331044
[pid=11438] ppid=11435 vsize=143796 CPUtime=2519.34 cores=1,3,5,7
/proc/11438/stat : 11438 (cosoco) R 11435 11438 1785 0 -1 4202496 184391 0 0 0 251924 10 0 0 20 0 1 0 57460540 147247104 30121 18446744073709551615 4194304 5972588 140725084935904 140725084932648 4935408 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 35020800 140725084942830 140725084942925 140725084942925 140725084946382 0
/proc/11438/statm: 35949 30121 851 435 0 29312 0
Current children cumulated CPU time (s) 2519.34
Current children cumulated vsize (KiB) 143796
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 11438 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.36
CPU user time (s): 2519.24
CPU system time (s): 0.109976
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 143796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.24
system time used= 0.109976
maximum resident set size= 120556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184444
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= 20
involuntary context switches= 1979
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75178 second user time and 9.60681 second system time
The end