runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12998 MiB free)
memory of node 1: 16384 MiB (15009 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4264939-1502605479/watcher-4264939-1502605479 -o /tmp/evaluation-result-4264939-1502605479/solver-4264939-1502605479 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502602219-31127 --watchdog 2560 miniBTD 2400 HOME/instance-4264939-1502605479.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31438, runsolver pid=31435
[startup+0.100156 s]*
/proc/loadavg: 1.84 1.98 1.95 3/187 31439
/proc/meminfo: memFree=28678428/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=26816 memory=3340 CPUtime=0.1 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 2111 0 0 0 10 0 0 0 20 0 1 0 93635833 27459584 838 33554432000 4194304 4832229 140724232432384 140724232429336 140533404926956 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 6693 838 513 156 0 335 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26816 KiB
Current children cumulated memory: 3340 KiB
[startup+0.209331 s]*
/proc/loadavg: 1.84 1.98 1.95 3/187 31439
/proc/meminfo: memFree=28677064/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=27048 memory=3628 CPUtime=0.2 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 10292 0 0 0 19 1 0 0 20 0 1 0 93635833 27697152 907 33554432000 4194304 4832229 140724232432384 140724232429336 140533404926956 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 6762 907 513 156 0 404 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27048 KiB
Current children cumulated memory: 3628 KiB
[startup+0.308852 s]*
/proc/loadavg: 1.84 1.98 1.95 3/187 31439
/proc/meminfo: memFree=28676320/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=27424 memory=3932 CPUtime=0.3 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 22580 0 0 0 27 3 0 0 20 0 1 0 93635833 28082176 965 33554432000 4194304 4832229 140724232432384 140724232429336 4215785 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 6838 983 513 156 0 480 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 3932 KiB
[startup+0.700257 s]
/proc/loadavg: 1.84 1.98 1.95 3/187 31439
/proc/meminfo: memFree=28673792/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=28536 memory=5120 CPUtime=0.69 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 55537 0 0 0 61 8 0 0 20 0 1 0 93635833 29220864 1280 33554432000 4194304 4832229 140724232432384 140724232428712 140533404926956 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 7134 1280 514 156 0 776 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28536 KiB
Current children cumulated memory: 5120 KiB
[startup+1.50027 s]
/proc/loadavg: 1.84 1.98 1.95 3/187 31439
/proc/meminfo: memFree=28667840/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=30728 memory=7144 CPUtime=1.49 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 147953 0 0 0 129 20 0 0 20 0 1 0 93635833 31465472 1786 33554432000 4194304 4832229 140724232432384 140724232428936 4217281 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 7682 1786 514 156 0 1324 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 30728 KiB
Current children cumulated memory: 7144 KiB
[startup+3.10911 s]
/proc/loadavg: 1.84 1.98 1.95 3/187 31439
/proc/meminfo: memFree=28644072/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=35676 memory=12228 CPUtime=3.1 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 305268 0 0 0 269 41 0 0 20 0 1 0 93635833 36532224 3057 33554432000 4194304 4832229 140724232432384 140724232428936 4217278 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 8919 3057 514 156 0 2561 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 35676 KiB
Current children cumulated memory: 12228 KiB
[startup+6.30027 s]
/proc/loadavg: 1.78 1.97 1.95 3/187 31439
/proc/meminfo: memFree=28608904/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=45460 memory=21864 CPUtime=6.29 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 597742 0 0 0 547 82 0 0 20 0 1 0 93635833 46551040 5466 33554432000 4194304 4832229 140724232432384 140724232428712 4215785 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 11365 5466 514 156 0 5007 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 45460 KiB
Current children cumulated memory: 21864 KiB
[startup+12.7003 s]
/proc/loadavg: 1.79 1.97 1.95 3/187 31439
/proc/meminfo: memFree=28537792/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=64276 memory=40788 CPUtime=12.7 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 1242348 0 0 0 1107 163 0 0 20 0 1 0 93635833 65818624 10197 33554432000 4194304 4832229 140724232432384 140724232428712 4215782 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 16069 10197 514 156 0 9711 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 64276 KiB
Current children cumulated memory: 40788 KiB
[startup+25.5003 s]
/proc/loadavg: 1.84 1.97 1.95 3/187 31439
/proc/meminfo: memFree=27643904/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=103084 memory=79668 CPUtime=25.49 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 2457289 0 0 0 2240 309 0 0 20 0 1 0 93635833 105558016 19917 33554432000 4194304 4832229 140724232432384 140724232428936 140533404926956 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 25771 19917 514 156 0 19413 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 103084 KiB
Current children cumulated memory: 79668 KiB
[startup+51.1091 s]
/proc/loadavg: 1.89 1.97 1.95 3/187 31439
/proc/meminfo: memFree=27545968/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=180100 memory=156652 CPUtime=51.11 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 4977517 0 0 0 4494 617 0 0 20 0 1 0 93635833 184422400 39163 33554432000 4194304 4832229 140724232432384 140724232428936 4217272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 45025 39163 514 156 0 38667 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 180100 KiB
Current children cumulated memory: 156652 KiB
[startup+102.3 s]
/proc/loadavg: 1.95 1.97 1.95 3/187 31440
/proc/meminfo: memFree=27355600/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=334740 memory=311148 CPUtime=102.29 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 9946910 0 0 0 8997 1232 0 0 20 0 1 0 93635833 342773760 77783 33554432000 4194304 4832229 140724232432384 140724232428936 4216953 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 83685 77783 514 156 0 77327 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 334740 KiB
Current children cumulated memory: 311148 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 1.98 1.95 3/187 31441
/proc/meminfo: memFree=23052880/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=4585280 memory=4562088 CPUtime=162.3 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 15893085 0 0 0 14278 1952 0 0 20 0 1 0 93635833 4695326720 1140522 33554432000 4194304 4832229 140724232432384 140724232429560 4264043 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 1146320 1140522 584 156 0 1139962 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 4585280 KiB
Current children cumulated memory: 4562088 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.95 3/187 31442
/proc/meminfo: memFree=22991000/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=4604024 memory=4580696 CPUtime=222.29 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 15899595 0 0 0 20277 1952 0 0 20 0 1 0 93635833 4714520576 1145174 33554432000 4194304 4832229 140724232432384 140724232429560 4278564 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 1151006 1145174 584 156 0 1144648 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 4604024 KiB
Current children cumulated memory: 4580696 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 31443
/proc/meminfo: memFree=22928928/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=4623428 memory=4600012 CPUtime=282.3 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 15906330 0 0 0 26277 1953 0 0 20 0 1 0 93635833 4734390272 1150003 33554432000 4194304 4832229 140724232432384 140724232429560 4282698 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 1155857 1150003 584 156 0 1149499 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 4623428 KiB
Current children cumulated memory: 4600012 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 31444
/proc/meminfo: memFree=22867204/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=4642436 memory=4619156 CPUtime=342.31 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 15912974 0 0 0 32277 1954 0 0 20 0 1 0 93635833 4753854464 1154789 33554432000 4194304 4832229 140724232432384 140724232429560 4278524 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 1160609 1154789 584 156 0 1154251 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 4642436 KiB
Current children cumulated memory: 4619156 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 31445
/proc/meminfo: memFree=22803956/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=4661444 memory=4638132 CPUtime=402.31 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 15919574 0 0 0 38276 1955 0 0 20 0 1 0 93635833 4773318656 1159533 33554432000 4194304 4832229 140724232432384 140724232429560 4278673 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 1165361 1159533 584 156 0 1159003 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 4661444 KiB
Current children cumulated memory: 4638132 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/186 31446
/proc/meminfo: memFree=22743620/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=4680452 memory=4657252 CPUtime=462.31 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 15926218 0 0 0 44276 1955 0 0 20 0 1 0 93635833 4792782848 1164313 33554432000 4194304 4832229 140724232432384 140724232429560 4278673 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 1170113 1164313 584 156 0 1163755 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 4680452 KiB
Current children cumulated memory: 4657252 KiB
################
# More data... #
################
/proc/meminfo: memFree=21505940/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=5062328 memory=5039076 CPUtime=1662.36 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 16045160 0 0 0 164267 1969 0 0 20 0 1 0 93635833 5183823872 1259769 33554432000 4194304 4832229 140724232432384 140724232429560 4281010 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 1265582 1259769 584 156 0 1259224 0
Current children cumulated CPU time: 1662.36 s
Current children cumulated vsize: 5062328 KiB
Current children cumulated memory: 5039076 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31485
/proc/meminfo: memFree=21443968/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=5081600 memory=5058152 CPUtime=1722.37 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 16050420 0 0 0 170265 1972 0 0 20 0 1 0 93635833 5203558400 1264538 33554432000 4194304 4832229 140724232432384 140724232429560 4281104 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 1270400 1264538 584 156 0 1264042 0
Current children cumulated CPU time: 1722.37 s
Current children cumulated vsize: 5081600 KiB
Current children cumulated memory: 5058152 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31493
/proc/meminfo: memFree=21381632/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=5100344 memory=5077044 CPUtime=1782.37 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 16055871 0 0 0 176263 1974 0 0 20 0 1 0 93635833 5222752256 1269261 33554432000 4194304 4832229 140724232432384 140724232429560 4278658 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 1275086 1269261 584 156 0 1268728 0
Current children cumulated CPU time: 1782.37 s
Current children cumulated vsize: 5100344 KiB
Current children cumulated memory: 5077044 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31494
/proc/meminfo: memFree=21320528/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=5119616 memory=5096136 CPUtime=1842.37 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 16061642 0 0 0 182261 1976 0 0 20 0 1 0 93635833 5242486784 1274034 33554432000 4194304 4832229 140724232432384 140724232429560 4278968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 1279904 1274034 584 156 0 1273546 0
Current children cumulated CPU time: 1842.37 s
Current children cumulated vsize: 5119616 KiB
Current children cumulated memory: 5096136 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31495
/proc/meminfo: memFree=21259116/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=5138360 memory=5115104 CPUtime=1902.38 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 16066875 0 0 0 188260 1978 0 0 20 0 1 0 93635833 5261680640 1278776 33554432000 4194304 4832229 140724232432384 140724232429560 4278496 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 1284590 1278776 584 156 0 1278232 0
Current children cumulated CPU time: 1902.38 s
Current children cumulated vsize: 5138360 KiB
Current children cumulated memory: 5115104 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31496
/proc/meminfo: memFree=21196896/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=5157632 memory=5134196 CPUtime=1962.38 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 16072518 0 0 0 194258 1980 0 0 20 0 1 0 93635833 5281415168 1283549 33554432000 4194304 4832229 140724232432384 140724232429560 4278673 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 1289408 1283549 584 156 0 1283050 0
Current children cumulated CPU time: 1962.38 s
Current children cumulated vsize: 5157632 KiB
Current children cumulated memory: 5134196 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31497
/proc/meminfo: memFree=21135544/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=5176376 memory=5153132 CPUtime=2022.39 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 16078020 0 0 0 200257 1982 0 0 20 0 1 0 93635833 5300609024 1288283 33554432000 4194304 4832229 140724232432384 140724232429560 4264063 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 1294094 1288283 584 156 0 1287736 0
Current children cumulated CPU time: 2022.39 s
Current children cumulated vsize: 5176376 KiB
Current children cumulated memory: 5153132 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31498
/proc/meminfo: memFree=21073324/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=5195648 memory=5172248 CPUtime=2082.39 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 16083750 0 0 0 206255 1984 0 0 20 0 1 0 93635833 5320343552 1293062 33554432000 4194304 4832229 140724232432384 140724232429560 4281196 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 1298912 1293062 584 156 0 1292554 0
Current children cumulated CPU time: 2082.39 s
Current children cumulated vsize: 5195648 KiB
Current children cumulated memory: 5172248 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31499
/proc/meminfo: memFree=21012344/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=5214656 memory=5191236 CPUtime=2142.39 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 16089344 0 0 0 212253 1986 0 0 20 0 1 0 93635833 5339807744 1297809 33554432000 4194304 4832229 140724232432384 140724232429560 4278590 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 1303664 1297809 584 156 0 1297306 0
Current children cumulated CPU time: 2142.39 s
Current children cumulated vsize: 5214656 KiB
Current children cumulated memory: 5191236 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31500
/proc/meminfo: memFree=20950244/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=5233664 memory=5210304 CPUtime=2202.39 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 16094632 0 0 0 218251 1988 0 0 20 0 1 0 93635833 5359271936 1302576 33554432000 4194304 4832229 140724232432384 140724232429560 4278968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 1308416 1302576 584 156 0 1302058 0
Current children cumulated CPU time: 2202.39 s
Current children cumulated vsize: 5233664 KiB
Current children cumulated memory: 5210304 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31501
/proc/meminfo: memFree=20888520/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=5252804 memory=5229548 CPUtime=2262.4 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 16100144 0 0 0 224250 1990 0 0 20 0 1 0 93635833 5378871296 1307387 33554432000 4194304 4832229 140724232432384 140724232429560 4278590 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 1313201 1307387 584 156 0 1306843 0
Current children cumulated CPU time: 2262.4 s
Current children cumulated vsize: 5252804 KiB
Current children cumulated memory: 5229548 KiB
[startup+2322.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/187 31502
/proc/meminfo: memFree=20826480/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=5271812 memory=5248396 CPUtime=2322.4 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 16105647 0 0 0 230248 1992 0 0 20 0 1 0 93635833 5398335488 1312099 33554432000 4194304 4832229 140724232432384 140724232429560 4278637 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 1317953 1312099 584 156 0 1311595 0
Current children cumulated CPU time: 2322.4 s
Current children cumulated vsize: 5271812 KiB
Current children cumulated memory: 5248396 KiB
[startup+2382.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 31510
/proc/meminfo: memFree=20763764/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=5290952 memory=5267744 CPUtime=2382.41 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 16111083 0 0 0 236247 1994 0 0 20 0 1 0 93635833 5417934848 1316936 33554432000 4194304 4832229 140724232432384 140724232429560 4278541 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 1322738 1316936 584 156 0 1316380 0
Current children cumulated CPU time: 2382.41 s
Current children cumulated vsize: 5290952 KiB
Current children cumulated memory: 5267744 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 31510
/proc/meminfo: memFree=20747132/32770624 swapFree=67108860/67108860
[pid=31438] ppid=31435 vsize=5296496 memory=5273208 CPUtime=2400 cores=1,3,5,7
/proc/31438/stat : 31438 (miniBTD) R 31435 31438 31095 0 -1 4202496 16112501 0 0 0 238006 1994 0 0 20 0 1 0 93635833 5423611904 1318302 33554432000 4194304 4832229 140724232432384 140724232429560 4278968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 11378688 140724232438989 140724232439069 140724232439069 140724232441805 0
/proc/31438/statm: 1324124 1318302 584 156 0 1317766 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 5296496 KiB
Current children cumulated memory: 5273208 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.07 s]
# the end of solver process 31438 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2380.07 s, system=20.1212 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400 s]*
/proc/loadavg: 2.03 2.04 2.05 3/187 31571
/proc/meminfo: memFree=27331188/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.07
CPU time (s): 2400.19
CPU user time (s): 2380.07
CPU system time (s): 20.1212
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 5296496
Max. memory (cumulated for all children) (KiB): 5273208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2380.07
system time used= 20.1212
maximum resident set size= 5273360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16112501
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= 78
involuntary context switches= 2380
# summary of solver processes directly reported to runsolver:
# pid: 31438
# total CPU time (s): 2400.19
# total CPU user time (s): 2380.07
# total CPU system time (s): 20.1212
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.37608 second user time and 15.1677 second system time
The end