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-4260017-1502037571/watcher-4260017-1502037571 -o /tmp/evaluation-result-4260017-1502037571/solver-4260017-1502037571 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502014298-25935 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260017-1502037571.xml
pid=31005
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.10 2.04 2.05 3/184 31008
/proc/meminfo: memFree=31537452/32770624 swapFree=0/316224
[pid=31008] ppid=31005 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/31008/stat : 31008 (runsolver) D 31005 31008 25100 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 51572370 24240128 107 18446744073709551615 4194304 4338465 140731556574032 140731556571672 140691071746775 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 38436864 140731556581569 140731556581961 140731556581961 140731556585418 0
/proc/31008/statm: 5918 107 54 36 0 2156 0
[startup+0.100159 s]
/proc/loadavg: 2.10 2.04 2.05 3/184 31008
/proc/meminfo: memFree=31537452/32770624 swapFree=0/316224
[pid=31008] ppid=31005 vsize=34696 CPUtime=0.04 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 3052 0 0 0 4 0 0 0 20 0 1 0 51572370 35528704 2779 18446744073709551615 4194304 5747388 140736995966272 140736995962920 4892397 0 0 1 0 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 8674 2779 722 380 0 2092 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 34696
[startup+0.200335 s]
/proc/loadavg: 2.10 2.04 2.05 3/184 31008
/proc/meminfo: memFree=31537452/32770624 swapFree=0/316224
[pid=31008] ppid=31005 vsize=35972 CPUtime=0.14 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 3406 0 0 0 14 0 0 0 20 0 1 0 51572370 36835328 3109 18446744073709551615 4194304 5747388 140736995966272 140736995962920 4893982 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 8993 3109 732 380 0 2411 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 35972
[startup+0.300302 s]
/proc/loadavg: 2.10 2.04 2.05 3/184 31008
/proc/meminfo: memFree=31537452/32770624 swapFree=0/316224
[pid=31008] ppid=31005 vsize=35972 CPUtime=0.24 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 3408 0 0 0 24 0 0 0 20 0 1 0 51572370 36835328 3109 18446744073709551615 4194304 5747388 140736995966272 140736995962920 4893956 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 8993 3109 732 380 0 2411 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 35972
[startup+0.700252 s]
/proc/loadavg: 2.10 2.04 2.05 3/184 31008
/proc/meminfo: memFree=31537452/32770624 swapFree=0/316224
[pid=31008] ppid=31005 vsize=36104 CPUtime=0.64 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 3454 0 0 0 64 0 0 0 20 0 1 0 51572370 36970496 3175 18446744073709551615 4194304 5747388 140736995966272 140736995953560 4893991 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9026 3175 762 380 0 2444 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 36104
[startup+1.50026 s]
/proc/loadavg: 2.10 2.04 2.05 3/185 31009
/proc/meminfo: memFree=31527528/32770624 swapFree=0/316176
[pid=31008] ppid=31005 vsize=36236 CPUtime=1.44 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 3477 0 0 0 144 0 0 0 20 0 1 0 51572370 37105664 3175 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4893984 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3175 762 380 0 2477 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 36236
[startup+3.10026 s]
/proc/loadavg: 2.10 2.04 2.05 3/185 31009
/proc/meminfo: memFree=31527156/32770624 swapFree=0/316176
[pid=31008] ppid=31005 vsize=36236 CPUtime=3.04 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 5870 0 0 0 304 0 0 0 20 0 1 0 51572370 37105664 3214 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4893991 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3214 763 380 0 2477 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 36236
[startup+6.30024 s]
/proc/loadavg: 2.10 2.04 2.05 3/185 31009
/proc/meminfo: memFree=31527156/32770624 swapFree=0/316172
[pid=31008] ppid=31005 vsize=36236 CPUtime=6.24 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 8259 0 0 0 624 0 0 0 20 0 1 0 51572370 37105664 3218 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4894113 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3218 763 380 0 2477 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 36236
[startup+12.7002 s]
/proc/loadavg: 2.09 2.04 2.05 3/185 31009
/proc/meminfo: memFree=31526784/32770624 swapFree=0/316164
[pid=31008] ppid=31005 vsize=36236 CPUtime=12.64 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 10648 0 0 0 1264 0 0 0 20 0 1 0 51572370 37105664 3219 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4894014 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3219 763 380 0 2477 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 36236
[startup+25.5003 s]
/proc/loadavg: 2.07 2.04 2.05 3/185 31010
/proc/meminfo: memFree=31526908/32770624 swapFree=0/316164
[pid=31008] ppid=31005 vsize=36236 CPUtime=25.44 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 15401 0 0 0 2544 0 0 0 20 0 1 0 51572370 37105664 3219 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4894030 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3219 763 380 0 2477 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 36236
[startup+51.1003 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 31010
/proc/meminfo: memFree=31526784/32770624 swapFree=0/316172
[pid=31008] ppid=31005 vsize=36236 CPUtime=51.04 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 17774 0 0 0 5104 0 0 0 20 0 1 0 51572370 37105664 3219 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4894096 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3219 763 380 0 2477 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 36236
[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 31013
/proc/meminfo: memFree=31526640/32770624 swapFree=0/316196
[pid=31008] ppid=31005 vsize=36236 CPUtime=102.25 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 18113 0 0 0 10225 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4894220 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 36236
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 4/185 31016
/proc/meminfo: memFree=31526224/32770624 swapFree=0/316208
[pid=31008] ppid=31005 vsize=36236 CPUtime=162.25 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 18446 0 0 0 16225 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4893982 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 36236
[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 31019
/proc/meminfo: memFree=31526324/32770624 swapFree=0/316212
[pid=31008] ppid=31005 vsize=36236 CPUtime=222.26 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 18655 0 0 0 22226 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4893991 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 36236
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 31035
/proc/meminfo: memFree=31522616/32770624 swapFree=0/316264
[pid=31008] ppid=31005 vsize=36236 CPUtime=282.26 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 18780 0 0 0 28226 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4894021 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 36236
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 31037
/proc/meminfo: memFree=31522796/32770624 swapFree=0/316280
[pid=31008] ppid=31005 vsize=36236 CPUtime=342.27 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 18985 0 0 0 34227 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4894053 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 36236
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 31040
/proc/meminfo: memFree=31525568/32770624 swapFree=0/316300
[pid=31008] ppid=31005 vsize=36236 CPUtime=402.27 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 19113 0 0 0 40227 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4893982 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 36236
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 31042
/proc/meminfo: memFree=31525700/32770624 swapFree=0/316320
[pid=31008] ppid=31005 vsize=36236 CPUtime=462.28 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 19446 0 0 0 46228 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4892846 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 36236
[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.05 2/179 31093
/proc/meminfo: memFree=31530552/32770624 swapFree=0/316348
[pid=31008] ppid=31005 vsize=36236 CPUtime=522.28 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 19446 0 0 0 52228 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4893956 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 36236
[startup+582.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/186 31293
/proc/meminfo: memFree=29801380/32770624 swapFree=0/316440
[pid=31008] ppid=31005 vsize=36236 CPUtime=582.29 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 19780 0 0 0 58229 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4893974 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 36236
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 31409
/proc/meminfo: memFree=31509920/32770624 swapFree=0/316812
[pid=31008] ppid=31005 vsize=36236 CPUtime=1542.38 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 22202 0 0 0 154238 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4919034 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 1542.38
Current children cumulated vsize (KiB) 36236
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 31411
/proc/meminfo: memFree=31513364/32770624 swapFree=0/316844
[pid=31008] ppid=31005 vsize=36236 CPUtime=1602.38 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 22321 0 0 0 160238 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4894018 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 1602.38
Current children cumulated vsize (KiB) 36236
[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/186 31413
/proc/meminfo: memFree=31513684/32770624 swapFree=0/316880
[pid=31008] ppid=31005 vsize=36236 CPUtime=1662.39 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 22544 0 0 0 166239 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4892800 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 1662.39
Current children cumulated vsize (KiB) 36236
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 31415
/proc/meminfo: memFree=31513816/32770624 swapFree=0/316912
[pid=31008] ppid=31005 vsize=36236 CPUtime=1722.39 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 22658 0 0 0 172239 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4894062 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 1722.39
Current children cumulated vsize (KiB) 36236
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 31418
/proc/meminfo: memFree=31513156/32770624 swapFree=0/316924
[pid=31008] ppid=31005 vsize=36236 CPUtime=1782.4 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 22863 0 0 0 178240 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4894202 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 1782.4
Current children cumulated vsize (KiB) 36236
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 31422
/proc/meminfo: memFree=31513148/32770624 swapFree=0/316940
[pid=31008] ppid=31005 vsize=36236 CPUtime=1842.4 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 22990 0 0 0 184240 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4894096 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 1842.4
Current children cumulated vsize (KiB) 36236
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 31424
/proc/meminfo: memFree=31513212/32770624 swapFree=0/316968
[pid=31008] ppid=31005 vsize=36236 CPUtime=1902.41 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 23291 0 0 0 190241 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4893982 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 1902.41
Current children cumulated vsize (KiB) 36236
[startup+1962.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/186 31427
/proc/meminfo: memFree=31513096/32770624 swapFree=0/316984
[pid=31008] ppid=31005 vsize=36236 CPUtime=1962.41 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 23296 0 0 0 196241 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 5025407 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 1962.41
Current children cumulated vsize (KiB) 36236
[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 31430
/proc/meminfo: memFree=31513392/32770624 swapFree=0/317004
[pid=31008] ppid=31005 vsize=36236 CPUtime=2022.42 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 23597 0 0 0 202242 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4894030 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 2022.42
Current children cumulated vsize (KiB) 36236
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/190 31446
/proc/meminfo: memFree=31508612/32770624 swapFree=0/317048
[pid=31008] ppid=31005 vsize=36236 CPUtime=2082.43 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 23597 0 0 0 208243 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4893991 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 2082.43
Current children cumulated vsize (KiB) 36236
[startup+2142.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/190 31473
/proc/meminfo: memFree=31507436/32770624 swapFree=0/317108
[pid=31008] ppid=31005 vsize=36236 CPUtime=2142.43 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 23897 0 0 0 214243 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4915299 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 2142.43
Current children cumulated vsize (KiB) 36236
[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/190 31475
/proc/meminfo: memFree=31508948/32770624 swapFree=0/317156
[pid=31008] ppid=31005 vsize=36236 CPUtime=2202.44 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 23929 0 0 0 220244 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4894532 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 2202.44
Current children cumulated vsize (KiB) 36236
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 31477
/proc/meminfo: memFree=31512580/32770624 swapFree=0/317196
[pid=31008] ppid=31005 vsize=36236 CPUtime=2262.44 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 24137 0 0 0 226244 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4893991 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 2262.44
Current children cumulated vsize (KiB) 36236
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31479
/proc/meminfo: memFree=31513116/32770624 swapFree=0/317220
[pid=31008] ppid=31005 vsize=36236 CPUtime=2322.45 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 24261 0 0 0 232245 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4918665 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 2322.45
Current children cumulated vsize (KiB) 36236
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31481
/proc/meminfo: memFree=31513080/32770624 swapFree=0/317244
[pid=31008] ppid=31005 vsize=36236 CPUtime=2382.45 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 24470 0 0 0 238245 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 5126891 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 2382.45
Current children cumulated vsize (KiB) 36236
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31481
/proc/meminfo: memFree=31513080/32770624 swapFree=0/317240
[pid=31008] ppid=31005 vsize=36236 CPUtime=2400.05 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 24594 0 0 0 240005 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4911493 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 36236
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 31008 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31481
/proc/meminfo: memFree=31513080/32770624 swapFree=0/317240
[pid=31008] ppid=31005 vsize=36236 CPUtime=2400.05 cores=1,3,5,7
/proc/31008/stat : 31008 (cosoco) R 31005 31008 25100 0 -1 4202496 24594 0 0 0 240005 0 0 0 20 0 1 0 51572370 37105664 3222 18446744073709551615 4194304 5747388 140736995966272 140736995963800 4911493 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 7845728 7850568 24313856 140736995971566 140736995971661 140736995971661 140736995975118 0
/proc/31008/statm: 9059 3222 763 380 0 2477 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 36236
Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.07
CPU user time (s): 2400.06
CPU system time (s): 0.007
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 36236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.06
system time used= 0.007
maximum resident set size= 12964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24647
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= 13
involuntary context switches= 602
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12432 second user time and 7.7144 second system time
The end