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-4267629-1502527311/watcher-4267629-1502527311 -o /tmp/evaluation-result-4267629-1502527311/solver-4267629-1502527311 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502500286-31838 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267629-1502527311.xml
pid=7204
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: 1.93 2.00 2.04 3/180 7207
/proc/meminfo: memFree=31517640/32770624 swapFree=0/423424
[pid=7207] ppid=7204 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7207/stat : 7207 (runsolver) D 7204 7207 31775 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 41071735 24240128 106 18446744073709551615 4194304 4338465 140735594329696 140735594327336 140569840472791 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 10903552 140735594336449 140735594336841 140735594336841 140735594340298 0
/proc/7207/statm: 5918 106 53 36 0 2156 0
[startup+0.100163 s]
/proc/loadavg: 1.93 2.00 2.04 3/180 7207
/proc/meminfo: memFree=31517640/32770624 swapFree=0/423424
[pid=7207] ppid=7204 vsize=2040 CPUtime=0 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 1077936128 156 0 0 0 0 0 0 0 20 0 1 0 41071735 2088960 1 18446744073709551615 4194304 5972588 140723900294096 140723900291336 140078468572871 0 0 1 0 0 0 0 17 4 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 510 1 0 435 0 39 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2040
[startup+0.200362 s]
/proc/loadavg: 1.93 2.00 2.04 3/180 7207
/proc/meminfo: memFree=31517640/32770624 swapFree=0/423424
[pid=7207] ppid=7204 vsize=27720 CPUtime=0.09 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 1120 0 0 0 9 0 0 0 20 0 1 0 41071735 28385280 898 18446744073709551615 4194304 5972588 140723900294096 140723900290744 140078452478842 0 0 1 0 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 6930 898 716 435 0 293 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27720
[startup+0.300323 s]
/proc/loadavg: 1.93 2.00 2.04 3/180 7207
/proc/meminfo: memFree=31517640/32770624 swapFree=0/423424
[pid=7207] ppid=7204 vsize=28176 CPUtime=0.19 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 1283 0 0 0 19 0 0 0 20 0 1 0 41071735 28852224 1061 18446744073709551615 4194304 5972588 140723900294096 140723900290744 5481254 0 0 1 0 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 7044 1061 716 435 0 407 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28176
[startup+0.700273 s]
/proc/loadavg: 1.93 2.00 2.04 3/180 7207
/proc/meminfo: memFree=31517640/32770624 swapFree=0/423424
[pid=7207] ppid=7204 vsize=32016 CPUtime=0.59 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 2468 0 0 0 59 0 0 0 20 0 1 0 41071735 32784384 1955 18446744073709551615 4194304 5972588 140723900294096 140723900290664 4967517 0 0 1 0 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 8004 1955 786 435 0 1367 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 32016
[startup+1.50029 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 7208
/proc/meminfo: memFree=31490428/32770624 swapFree=0/423712
[pid=7207] ppid=7204 vsize=77040 CPUtime=1.39 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 13708 0 0 0 139 0 0 0 20 0 1 0 41071735 78888960 13175 18446744073709551615 4194304 5972588 140723900294096 140723900287656 140078461813926 0 0 1 0 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 19260 13175 786 435 0 12623 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 77040
[startup+3.1003 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 7208
/proc/meminfo: memFree=31428304/32770624 swapFree=0/423712
[pid=7207] ppid=7204 vsize=166624 CPUtime=2.99 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 36189 0 0 0 296 3 0 0 20 0 1 0 41071735 170622976 35595 18446744073709551615 4194304 5972588 140723900294096 140723900287656 140078452461149 0 0 1 0 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 41656 35595 786 435 0 35019 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 166624
[startup+6.3003 s]
/proc/loadavg: 1.86 1.99 2.03 3/181 7208
/proc/meminfo: memFree=31243200/32770624 swapFree=0/423720
[pid=7207] ppid=7204 vsize=345588 CPUtime=6.19 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 81057 0 0 0 609 10 0 0 20 0 1 0 41071735 353882112 80287 18446744073709551615 4194304 5972588 140723900294096 140723900287656 140078452468709 0 0 1 0 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 86397 80287 786 435 0 79760 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 345588
[startup+12.7003 s]
/proc/loadavg: 1.87 1.99 2.03 3/181 7208
/proc/meminfo: memFree=30873784/32770624 swapFree=0/423720
[pid=7207] ppid=7204 vsize=703280 CPUtime=12.59 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 170628 0 0 0 1238 21 0 0 20 0 1 0 41071735 720158720 169780 18446744073709551615 4194304 5972588 140723900294096 140723900285864 140078462411118 0 0 1 0 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 175820 169780 786 435 0 169183 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 703280
[startup+25.5004 s]
/proc/loadavg: 1.90 1.99 2.03 3/181 7209
/proc/meminfo: memFree=30134988/32770624 swapFree=0/423720
[pid=7207] ppid=7204 vsize=1417528 CPUtime=25.38 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 349460 0 0 0 2495 43 0 0 20 0 1 0 41071735 1451548672 348269 18446744073709551615 4194304 5972588 140723900294096 140723900287656 140078452466711 0 0 1 0 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 354382 348269 786 435 0 347745 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 1417528
[startup+51.1004 s]
/proc/loadavg: 1.93 1.99 2.03 3/181 7210
/proc/meminfo: memFree=28608904/32770624 swapFree=0/423720
[pid=7207] ppid=7204 vsize=2931332 CPUtime=50.97 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 865614 0 0 0 4999 98 0 0 20 0 1 0 41071735 3001683968 726990 18446744073709551615 4194304 5972588 140723900294096 140723900290952 4965365 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 732833 726990 832 435 0 726196 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 2931332
[startup+102.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/181 7212
/proc/meminfo: memFree=27802948/32770624 swapFree=0/423740
[pid=7207] ppid=7204 vsize=3732968 CPUtime=102.17 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 1313161 0 0 0 10083 134 0 0 20 0 1 0 41071735 3822559232 927418 18446744073709551615 4194304 5972588 140723900294096 140723900290952 4969215 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 933242 927418 832 435 0 926605 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 3732968
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/184 7228
/proc/meminfo: memFree=27430980/32770624 swapFree=0/423780
[pid=7207] ppid=7204 vsize=4100852 CPUtime=162.17 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 1826860 0 0 0 16050 167 0 0 20 0 1 0 41071735 4199272448 1019338 18446744073709551615 4194304 5972588 140723900294096 140723900290952 5070704 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1025213 1019338 832 435 0 1018576 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 4100852
[startup+222.306 s]
/proc/loadavg: 2.04 2.00 2.04 3/184 7230
/proc/meminfo: memFree=27406448/32770624 swapFree=0/423816
[pid=7207] ppid=7204 vsize=4132268 CPUtime=222.17 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 2130449 0 0 0 22035 182 0 0 20 0 1 0 41071735 4231442432 1027231 18446744073709551615 4194304 5972588 140723900294096 140723900290952 140078452468709 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1033100 1027231 832 435 0 1026463 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 4132268
[startup+282.3 s]
/proc/loadavg: 2.13 2.03 2.05 3/181 7232
/proc/meminfo: memFree=27266780/32770624 swapFree=0/423836
[pid=7207] ppid=7204 vsize=4267964 CPUtime=282.15 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 2611024 0 0 0 28008 207 0 0 20 0 1 0 41071735 4370395136 1061136 18446744073709551615 4194304 5972588 140723900294096 140723900290952 4962364 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1066991 1061136 832 435 0 1060354 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 4267964
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 7234
/proc/meminfo: memFree=27127628/32770624 swapFree=0/423848
[pid=7207] ppid=7204 vsize=4406696 CPUtime=342.13 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 3131119 0 0 0 33977 236 0 0 20 0 1 0 41071735 4512456704 1095853 18446744073709551615 4194304 5972588 140723900294096 140723900290952 5099648 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1101674 1095853 832 435 0 1095037 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 4406696
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 7236
/proc/meminfo: memFree=26984824/32770624 swapFree=0/423872
[pid=7207] ppid=7204 vsize=4550972 CPUtime=402.13 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 3609361 0 0 0 39951 262 0 0 20 0 1 0 41071735 4660195328 1131903 18446744073709551615 4194304 5972588 140723900294096 140723900290952 4965365 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1137743 1131903 832 435 0 1131106 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 4550972
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 7238
/proc/meminfo: memFree=26963160/32770624 swapFree=0/423876
[pid=7207] ppid=7204 vsize=4571168 CPUtime=462.12 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 3946580 0 0 0 45933 279 0 0 20 0 1 0 41071735 4680876032 1136943 18446744073709551615 4194304 5972588 140723900294096 140723900290952 4965342 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1142792 1136943 832 435 0 1136155 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 4571168
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7240
/proc/meminfo: memFree=26823300/32770624 swapFree=0/423884
[pid=7207] ppid=7204 vsize=4711880 CPUtime=522.11 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 4454551 0 0 0 51904 307 0 0 20 0 1 0 41071735 4824965120 1172133 18446744073709551615 4194304 5972588 140723900294096 140723900290952 4965365 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1177970 1172133 832 435 0 1171333 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 4711880
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7242
/proc/meminfo: memFree=26772364/32770624 swapFree=0/423900
[pid=7207] ppid=7204 vsize=4769960 CPUtime=582.1 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 4778694 0 0 0 57888 322 0 0 20 0 1 0 41071735 4884439040 1186646 18446744073709551615 4194304 5972588 140723900294096 140723900290952 5053071 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1192490 1186646 832 435 0 1185853 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 4769960
################
# More data... #
################
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7428
/proc/meminfo: memFree=22219668/32770624 swapFree=0/424236
[pid=7207] ppid=7204 vsize=5423888 CPUtime=1661.91 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 10666436 0 0 0 165558 633 0 0 20 0 1 0 41071735 5554061312 1350155 18446744073709551615 4194304 5972588 140723900294096 140723900290952 5071289 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1355972 1350155 832 435 0 1349335 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 5423888
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7430
/proc/meminfo: memFree=22128936/32770624 swapFree=0/424236
[pid=7207] ppid=7204 vsize=5428640 CPUtime=1721.91 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 10840314 0 0 0 171550 641 0 0 20 0 1 0 41071735 5558927360 1351318 18446744073709551615 4194304 5972588 140723900294096 140723900290952 5099648 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1357160 1351318 832 435 0 1350523 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 5428640
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7432
/proc/meminfo: memFree=22120256/32770624 swapFree=0/424256
[pid=7207] ppid=7204 vsize=5429036 CPUtime=1781.91 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 10990966 0 0 0 177543 648 0 0 20 0 1 0 41071735 5559332864 1351425 18446744073709551615 4194304 5972588 140723900294096 140723900290952 5071058 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1357259 1351425 832 435 0 1350622 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 5429036
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7435
/proc/meminfo: memFree=22040684/32770624 swapFree=0/424260
[pid=7207] ppid=7204 vsize=5429300 CPUtime=1841.9 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 11135380 0 0 0 183534 656 0 0 20 0 1 0 41071735 5559603200 1351510 18446744073709551615 4194304 5972588 140723900294096 140723900290952 5099648 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1357325 1351510 832 435 0 1350688 0
Current children cumulated CPU time (s) 1841.9
Current children cumulated vsize (KiB) 5429300
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7437
/proc/meminfo: memFree=21962912/32770624 swapFree=0/424260
[pid=7207] ppid=7204 vsize=5429432 CPUtime=1901.89 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 11266772 0 0 0 189527 662 0 0 20 0 1 0 41071735 5559738368 1351542 18446744073709551615 4194304 5972588 140723900294096 140723900290952 4965428 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1357358 1351542 832 435 0 1350721 0
Current children cumulated CPU time (s) 1901.89
Current children cumulated vsize (KiB) 5429432
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 7453
/proc/meminfo: memFree=21867004/32770624 swapFree=0/424300
[pid=7207] ppid=7204 vsize=5443292 CPUtime=1961.89 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 11542388 0 0 0 195513 676 0 0 20 0 1 0 41071735 5573931008 1355000 18446744073709551615 4194304 5972588 140723900294096 140723900290952 4965681 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1360823 1355000 832 435 0 1354186 0
Current children cumulated CPU time (s) 1961.89
Current children cumulated vsize (KiB) 5443292
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 7479
/proc/meminfo: memFree=21834932/32770624 swapFree=0/424324
[pid=7207] ppid=7204 vsize=5473256 CPUtime=2021.87 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 11789030 0 0 0 201497 690 0 0 20 0 1 0 41071735 5604614144 1362481 18446744073709551615 4194304 5972588 140723900294096 140723900290952 4965880 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1368314 1362481 832 435 0 1361677 0
Current children cumulated CPU time (s) 2021.87
Current children cumulated vsize (KiB) 5473256
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 7481
/proc/meminfo: memFree=21705120/32770624 swapFree=0/424352
[pid=7207] ppid=7204 vsize=5481572 CPUtime=2081.87 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 11964427 0 0 0 207487 700 0 0 20 0 1 0 41071735 5613129728 1364562 18446744073709551615 4194304 5972588 140723900294096 140723900290952 5071280 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1370393 1364562 832 435 0 1363756 0
Current children cumulated CPU time (s) 2081.87
Current children cumulated vsize (KiB) 5481572
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7483
/proc/meminfo: memFree=21594600/32770624 swapFree=0/424360
[pid=7207] ppid=7204 vsize=5558792 CPUtime=2141.86 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 12252532 0 0 0 213471 715 0 0 20 0 1 0 41071735 5692203008 1383873 18446744073709551615 4194304 5972588 140723900294096 140723900290952 5099648 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1389698 1383873 832 435 0 1383061 0
Current children cumulated CPU time (s) 2141.86
Current children cumulated vsize (KiB) 5558792
[startup+2202.31 s]
/proc/loadavg: 2.13 2.04 2.05 3/181 7485
/proc/meminfo: memFree=21491192/32770624 swapFree=0/424380
[pid=7207] ppid=7204 vsize=5597204 CPUtime=2201.86 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 12454872 0 0 0 219460 726 0 0 20 0 1 0 41071735 5731536896 1393462 18446744073709551615 4194304 5972588 140723900294096 140723900290952 4965888 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1399301 1393462 832 435 0 1392664 0
Current children cumulated CPU time (s) 2201.86
Current children cumulated vsize (KiB) 5597204
[startup+2262.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 7487
/proc/meminfo: memFree=21482664/32770624 swapFree=0/424400
[pid=7207] ppid=7204 vsize=5603408 CPUtime=2261.85 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 12578120 0 0 0 225453 732 0 0 20 0 1 0 41071735 5737889792 1395036 18446744073709551615 4194304 5972588 140723900294096 140723900290952 4962396 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1400852 1395036 832 435 0 1394215 0
Current children cumulated CPU time (s) 2261.85
Current children cumulated vsize (KiB) 5603408
[startup+2322.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 7489
/proc/meminfo: memFree=21463164/32770624 swapFree=0/424404
[pid=7207] ppid=7204 vsize=5617928 CPUtime=2321.84 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 12715484 0 0 0 231444 740 0 0 20 0 1 0 41071735 5752758272 1398667 18446744073709551615 4194304 5972588 140723900294096 140723900290952 4909654 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1404482 1398667 832 435 0 1397845 0
Current children cumulated CPU time (s) 2321.84
Current children cumulated vsize (KiB) 5617928
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 7491
/proc/meminfo: memFree=21401560/32770624 swapFree=0/424412
[pid=7207] ppid=7204 vsize=5678648 CPUtime=2381.83 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 12921117 0 0 0 237430 753 0 0 20 0 1 0 41071735 5814935552 1413816 18446744073709551615 4194304 5972588 140723900294096 140723900290952 5070704 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1419662 1413816 832 435 0 1413025 0
Current children cumulated CPU time (s) 2381.83
Current children cumulated vsize (KiB) 5678648
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 7493
/proc/meminfo: memFree=21389636/32770624 swapFree=0/424432
[pid=7207] ppid=7204 vsize=5687096 CPUtime=2441.83 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 13141735 0 0 0 243419 764 0 0 20 0 1 0 41071735 5823586304 1415939 18446744073709551615 4194304 5972588 140723900294096 140723900290952 5071296 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1421774 1415939 833 435 0 1415137 0
Current children cumulated CPU time (s) 2441.83
Current children cumulated vsize (KiB) 5687096
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 7495
/proc/meminfo: memFree=21244964/32770624 swapFree=0/424452
[pid=7207] ppid=7204 vsize=5707028 CPUtime=2501.82 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 13447716 0 0 0 249407 775 0 0 20 0 1 0 41071735 5843996672 1420929 18446744073709551615 4194304 5972588 140723900294096 140723900290952 5099648 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1426757 1420929 833 435 0 1420120 0
Current children cumulated CPU time (s) 2501.82
Current children cumulated vsize (KiB) 5707028
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7496
/proc/meminfo: memFree=21231416/32770624 swapFree=0/424464
[pid=7207] ppid=7204 vsize=5707556 CPUtime=2519.51 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202496 13453719 0 0 0 251176 775 0 0 20 0 1 0 41071735 5844537344 1421071 18446744073709551615 4194304 5972588 140723900294096 140723900290952 4962376 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 15626240 140723900301806 140723900301901 140723900301901 140723900305358 0
/proc/7207/statm: 1426889 1421071 833 435 0 1420252 0
Current children cumulated CPU time (s) 2519.51
Current children cumulated vsize (KiB) 5707556
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 7207 sig 9
??? kill -7207 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7496
/proc/meminfo: memFree=26835584/32770624 swapFree=0/424464
[pid=7207] ppid=7204 vsize=0 CPUtime=2519.63 cores=0,2,4,6
/proc/7207/stat : 7207 (cosoco) R 7204 7207 31775 0 -1 4202500 13453764 0 0 0 251177 786 0 0 20 0 1 0 41071735 0 0 18446744073709551615 0 0 0 0 0 0 16384 1 8405026 18446744073709551615 0 0 17 2 0 0 9 0 0 0 0 0 0 0 0 0 0
/proc/7207/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2519.63
Current children cumulated vsize (KiB) 0
Child status: 1
Real time (s): 2520.11
CPU time (s): 2519.63
CPU user time (s): 2511.77
CPU system time (s): 7.86475
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 5707556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.77
system time used= 7.86475
maximum resident set size= 5684348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13453764
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= 556
involuntary context switches= 3151
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1764 second user time and 9.92735 second system time
The end