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-4242843-1500664735/watcher-4242843-1500664735 -o /tmp/evaluation-result-4242843-1500664735/solver-4242843-1500664735 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500648178-2503 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242843-1500664735.xml
pid=5410
running on 8 cores: 0,2,4,6,8,10,12,14
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.00 2.01 2.05 2/242 5413
/proc/meminfo: memFree=26969232/32770624 swapFree=5792/27092
[pid=5413] ppid=5410 vsize=27780 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 1157 0 0 0 0 0 0 0 20 0 1 0 1740840 28446720 937 33554432000 4194304 5970956 140728915619760 140728915616360 140297016138725 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 6945 937 704 434 0 309 0
[startup+0.100126 s]
/proc/loadavg: 2.00 2.01 2.05 2/242 5413
/proc/meminfo: memFree=26969232/32770624 swapFree=5792/27092
[pid=5413] ppid=5410 vsize=51932 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 6280 0 0 0 8 0 0 0 20 0 1 0 1740840 53178368 6601 33554432000 4194304 5970956 140728915619760 140728915615240 5279833 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 12983 6601 841 434 0 6347 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 51932
[startup+0.200436 s]
/proc/loadavg: 2.00 2.01 2.05 2/242 5413
/proc/meminfo: memFree=26969232/32770624 swapFree=5792/27092
[pid=5413] ppid=5410 vsize=110844 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 16132 0 0 0 17 2 0 0 20 0 1 0 1740840 113504256 19526 33554432000 4194304 5970956 140728915619760 140728915616584 140297016138725 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 27711 19526 841 434 0 21075 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 110844
[startup+0.300396 s]
/proc/loadavg: 2.00 2.01 2.05 2/242 5413
/proc/meminfo: memFree=26969232/32770624 swapFree=5792/27092
[pid=5413] ppid=5410 vsize=167388 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 25248 0 0 0 26 3 0 0 20 0 1 0 1740840 171405312 33736 33554432000 4194304 5970956 140728915619760 140728915616584 5276581 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 41847 33736 841 434 0 35211 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 167388
[startup+0.700334 s]
/proc/loadavg: 2.00 2.01 2.05 2/242 5413
/proc/meminfo: memFree=26969232/32770624 swapFree=5792/27092
[pid=5413] ppid=5410 vsize=399088 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 57663 0 0 0 60 9 0 0 20 0 1 0 1740840 408666112 89647 33554432000 4194304 5970956 140728915619760 140728915616584 140297016138725 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 99772 89647 841 434 0 93136 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 399088
[startup+1.50033 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5414
/proc/meminfo: memFree=26502132/32770624 swapFree=5792/26796
[pid=5413] ppid=5410 vsize=564672 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 73250 0 0 0 138 11 0 0 20 0 1 0 1740840 578224128 117511 33554432000 4194304 5970956 140728915619760 140728915607080 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 141168 117511 841 434 0 134532 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 564672
[startup+3.10033 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5414
/proc/meminfo: memFree=26501264/32770624 swapFree=5792/26796
[pid=5413] ppid=5410 vsize=565048 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 76747 0 0 0 298 11 0 0 20 0 1 0 1740840 578609152 117626 33554432000 4194304 5970956 140728915619760 140728915616728 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 141262 117626 857 434 0 134626 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 565048
[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5414
/proc/meminfo: memFree=26500580/32770624 swapFree=5792/26808
[pid=5413] ppid=5410 vsize=565448 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 83907 0 0 0 617 12 0 0 20 0 1 0 1740840 579018752 117708 33554432000 4194304 5970956 140728915619760 140728915617064 5136577 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 141362 117708 857 434 0 134726 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 565448
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5414
/proc/meminfo: memFree=26499588/32770624 swapFree=5792/26812
[pid=5413] ppid=5410 vsize=565448 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 91578 0 0 0 1256 12 0 0 20 0 1 0 1740840 579018752 117708 33554432000 4194304 5970956 140728915619760 140728915617064 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 141362 117708 857 434 0 134726 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 565448
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5414
/proc/meminfo: memFree=26499448/32770624 swapFree=5792/26828
[pid=5413] ppid=5410 vsize=565448 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 97606 0 0 0 2535 13 0 0 20 0 1 0 1740840 579018752 117708 33554432000 4194304 5970956 140728915619760 140728915617064 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 141362 117708 857 434 0 134726 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 565448
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5414
/proc/meminfo: memFree=26498920/32770624 swapFree=5792/26848
[pid=5413] ppid=5410 vsize=565448 CPUtime=51.06 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 102230 0 0 0 5093 13 0 0 20 0 1 0 1740840 579018752 117708 33554432000 4194304 5970956 140728915619760 140728915617064 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 141362 117708 857 434 0 134726 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 565448
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5423
/proc/meminfo: memFree=26496724/32770624 swapFree=5792/26896
[pid=5413] ppid=5410 vsize=565448 CPUtime=102.26 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 106984 0 0 0 10212 14 0 0 20 0 1 0 1740840 579018752 117709 33554432000 4194304 5970956 140728915619760 140728915617064 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 141362 117709 857 434 0 134726 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 565448
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5424
/proc/meminfo: memFree=26496676/32770624 swapFree=5792/26928
[pid=5413] ppid=5410 vsize=565448 CPUtime=162.22 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 111612 0 0 0 16208 14 0 0 20 0 1 0 1740840 579018752 117709 33554432000 4194304 5970956 140728915619760 140728915617064 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 141362 117709 857 434 0 134726 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 565448
[startup+222.308 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5425
/proc/meminfo: memFree=26496608/32770624 swapFree=5792/26968
[pid=5413] ppid=5410 vsize=565448 CPUtime=222.21 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 120827 0 0 0 22206 15 0 0 20 0 1 0 1740840 579018752 117709 33554432000 4194304 5970956 140728915619760 140728915617064 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 141362 117709 857 434 0 134726 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 565448
[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/244 5426
/proc/meminfo: memFree=26496824/32770624 swapFree=5792/27004
[pid=5413] ppid=5410 vsize=565448 CPUtime=282.17 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 130038 0 0 0 28201 16 0 0 20 0 1 0 1740840 579018752 117709 33554432000 4194304 5970956 140728915619760 140728915617064 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 141362 117709 857 434 0 134726 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 565448
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 5427
/proc/meminfo: memFree=26497164/32770624 swapFree=5792/27048
[pid=5413] ppid=5410 vsize=565448 CPUtime=342.15 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 139210 0 0 0 34198 17 0 0 20 0 1 0 1740840 579018752 117709 33554432000 4194304 5970956 140728915619760 140728915617064 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 141362 117709 857 434 0 134726 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 565448
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5429
/proc/meminfo: memFree=26497268/32770624 swapFree=5792/27080
[pid=5413] ppid=5410 vsize=565448 CPUtime=402.12 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 148378 0 0 0 40194 18 0 0 20 0 1 0 1740840 579018752 117709 33554432000 4194304 5970956 140728915619760 140728915617064 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 141362 117709 857 434 0 134726 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 565448
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5430
/proc/meminfo: memFree=26497196/32770624 swapFree=5792/27112
[pid=5413] ppid=5410 vsize=565448 CPUtime=462.11 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 157523 0 0 0 46191 20 0 0 20 0 1 0 1740840 579018752 117709 33554432000 4194304 5970956 140728915619760 140728915617064 5136623 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 141362 117709 857 434 0 134726 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 565448
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5431
/proc/meminfo: memFree=26497340/32770624 swapFree=5792/27144
[pid=5413] ppid=5410 vsize=565448 CPUtime=522.07 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 166655 0 0 0 52186 21 0 0 20 0 1 0 1740840 579018752 117709 33554432000 4194304 5970956 140728915619760 140728915617064 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 141362 117709 857 434 0 134726 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 565448
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 5433
/proc/meminfo: memFree=26498936/32770624 swapFree=5792/27184
[pid=5413] ppid=5410 vsize=565448 CPUtime=582.05 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 175760 0 0 0 58183 22 0 0 20 0 1 0 1740840 579018752 117709 33554432000 4194304 5970956 140728915619760 140728915617064 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 141362 117709 857 434 0 134726 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 565448
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 5465
/proc/meminfo: memFree=26487988/32770624 swapFree=5792/27780
[pid=5413] ppid=5410 vsize=573776 CPUtime=1541.66 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 349673 0 0 0 154127 39 0 0 20 0 1 0 1740840 587546624 119789 33554432000 4194304 5970956 140728915619760 140728915617096 5136620 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 143444 119789 857 434 0 136808 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 573776
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 5466
/proc/meminfo: memFree=26488180/32770624 swapFree=5792/27816
[pid=5413] ppid=5410 vsize=573776 CPUtime=1601.63 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 361443 0 0 0 160123 40 0 0 20 0 1 0 1740840 587546624 119793 33554432000 4194304 5970956 140728915619760 140728915617096 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 143444 119793 857 434 0 136808 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 573776
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 5467
/proc/meminfo: memFree=26487672/32770624 swapFree=5792/27840
[pid=5413] ppid=5410 vsize=573776 CPUtime=1661.6 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 372562 0 0 0 166119 41 0 0 20 0 1 0 1740840 587546624 119798 33554432000 4194304 5970956 140728915619760 140728915617096 5031424 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 143444 119798 857 434 0 136808 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 573776
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5468
/proc/meminfo: memFree=26487452/32770624 swapFree=5792/27884
[pid=5413] ppid=5410 vsize=573776 CPUtime=1721.58 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 383704 0 0 0 172116 42 0 0 20 0 1 0 1740840 587546624 119799 33554432000 4194304 5970956 140728915619760 140728915617096 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 143444 119799 857 434 0 136808 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 573776
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 5469
/proc/meminfo: memFree=26487108/32770624 swapFree=5792/27912
[pid=5413] ppid=5410 vsize=573776 CPUtime=1781.56 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 394644 0 0 0 178113 43 0 0 20 0 1 0 1740840 587546624 119803 33554432000 4194304 5970956 140728915619760 140728915617096 5031479 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 143444 119803 857 434 0 136808 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 573776
[startup+1842.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 5470
/proc/meminfo: memFree=26487672/32770624 swapFree=5792/27960
[pid=5413] ppid=5410 vsize=573776 CPUtime=1841.53 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 405984 0 0 0 184109 44 0 0 20 0 1 0 1740840 587546624 119805 33554432000 4194304 5970956 140728915619760 140728915617096 5136634 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 143444 119805 857 434 0 136808 0
Current children cumulated CPU time (s) 1841.53
Current children cumulated vsize (KiB) 573776
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5478
/proc/meminfo: memFree=26487528/32770624 swapFree=5792/28000
[pid=5413] ppid=5410 vsize=573776 CPUtime=1901.5 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 417015 0 0 0 190105 45 0 0 20 0 1 0 1740840 587546624 119806 33554432000 4194304 5970956 140728915619760 140728915617096 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 143444 119806 857 434 0 136808 0
Current children cumulated CPU time (s) 1901.5
Current children cumulated vsize (KiB) 573776
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5479
/proc/meminfo: memFree=26487724/32770624 swapFree=5792/28024
[pid=5413] ppid=5410 vsize=573776 CPUtime=1961.47 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 428128 0 0 0 196102 45 0 0 20 0 1 0 1740840 587546624 119809 33554432000 4194304 5970956 140728915619760 140728915617096 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 143444 119809 857 434 0 136808 0
Current children cumulated CPU time (s) 1961.47
Current children cumulated vsize (KiB) 573776
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5480
/proc/meminfo: memFree=26487660/32770624 swapFree=5792/28068
[pid=5413] ppid=5410 vsize=573776 CPUtime=2021.45 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 437908 0 0 0 202099 46 0 0 20 0 1 0 1740840 587546624 119810 33554432000 4194304 5970956 140728915619760 140728915617096 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 143444 119810 857 434 0 136808 0
Current children cumulated CPU time (s) 2021.45
Current children cumulated vsize (KiB) 573776
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5481
/proc/meminfo: memFree=26487532/32770624 swapFree=5792/28104
[pid=5413] ppid=5410 vsize=574160 CPUtime=2081.43 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 449230 0 0 0 208097 46 0 0 20 0 1 0 1740840 587939840 119887 33554432000 4194304 5970956 140728915619760 140728915617096 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 143540 119887 857 434 0 136904 0
Current children cumulated CPU time (s) 2081.43
Current children cumulated vsize (KiB) 574160
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5482
/proc/meminfo: memFree=26487320/32770624 swapFree=5792/28136
[pid=5413] ppid=5410 vsize=574160 CPUtime=2141.4 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 461870 0 0 0 214092 48 0 0 20 0 1 0 1740840 587939840 119893 33554432000 4194304 5970956 140728915619760 140728915617096 5031424 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 143540 119893 857 434 0 136904 0
Current children cumulated CPU time (s) 2141.4
Current children cumulated vsize (KiB) 574160
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5484
/proc/meminfo: memFree=26487272/32770624 swapFree=5792/28196
[pid=5413] ppid=5410 vsize=574160 CPUtime=2201.38 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 472845 0 0 0 220089 49 0 0 20 0 1 0 1740840 587939840 119894 33554432000 4194304 5970956 140728915619760 140728915617096 5031424 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 143540 119894 857 434 0 136904 0
Current children cumulated CPU time (s) 2201.38
Current children cumulated vsize (KiB) 574160
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5485
/proc/meminfo: memFree=26486888/32770624 swapFree=5792/28228
[pid=5413] ppid=5410 vsize=574160 CPUtime=2261.35 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 484769 0 0 0 226085 50 0 0 20 0 1 0 1740840 587939840 119900 33554432000 4194304 5970956 140728915619760 140728915617096 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 143540 119900 857 434 0 136904 0
Current children cumulated CPU time (s) 2261.35
Current children cumulated vsize (KiB) 574160
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5486
/proc/meminfo: memFree=26486584/32770624 swapFree=5792/28256
[pid=5413] ppid=5410 vsize=574160 CPUtime=2321.33 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 497125 0 0 0 232082 51 0 0 20 0 1 0 1740840 587939840 119904 33554432000 4194304 5970956 140728915619760 140728915617096 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 143540 119904 857 434 0 136904 0
Current children cumulated CPU time (s) 2321.33
Current children cumulated vsize (KiB) 574160
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5488
/proc/meminfo: memFree=26486652/32770624 swapFree=5792/28288
[pid=5413] ppid=5410 vsize=574160 CPUtime=2381.29 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 508718 0 0 0 238078 51 0 0 20 0 1 0 1740840 587939840 119908 33554432000 4194304 5970956 140728915619760 140728915617096 5031424 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 143540 119908 857 434 0 136904 0
Current children cumulated CPU time (s) 2381.29
Current children cumulated vsize (KiB) 574160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5554
/proc/meminfo: memFree=31641904/32770624 swapFree=5792/28352
[pid=5413] ppid=5410 vsize=574160 CPUtime=2400.09 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 515778 0 0 0 239957 52 0 0 20 0 1 0 1740840 587939840 119912 33554432000 4194304 5970956 140728915619760 140728915617096 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 143540 119912 857 434 0 136904 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 574160
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 5413 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5554
/proc/meminfo: memFree=31641904/32770624 swapFree=5792/28352
[pid=5413] ppid=5410 vsize=574160 CPUtime=2400.09 cores=0,2,4,6,8,10,12,14
/proc/5413/stat : 5413 (cosoco) R 5410 5413 2471 0 -1 4202496 515778 0 0 0 239957 52 0 0 20 0 1 0 1740840 587939840 119912 33554432000 4194304 5970956 140728915619760 140728915617096 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 10952704 140728915621052 140728915621187 140728915621187 140728915623886 0
/proc/5413/statm: 143540 119912 857 434 0 136904 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 574160
Child status: 1
Real time (s): 2401.12
CPU time (s): 2400.12
CPU user time (s): 2399.57
CPU system time (s): 0.54977
CPU usage (%): 99.9582
Max. virtual memory (cumulated for all children) (KiB): 574160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.57
system time used= 0.54977
maximum resident set size= 479692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 515800
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= 12
involuntary context switches= 120770
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.42734 second user time and 12.5707 second system time
The end