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 (14938 MiB free)
memory of node 1: 16384 MiB (11882 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293450-1532347592/watcher-4293450-1532347592 -o /tmp/evaluation-result-4293450-1532347592/solver-4293450-1532347592 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532329499-11624 --watchdog 2580 BTD 3 2520 HOME/instance-4293450-1532347592.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14460, runsolver pid=14457
[startup+0.100201 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 14461
/proc/meminfo: memFree=27458904/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=37744 memory=7440 CPUtime=0.1 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 2041 0 0 0 10 0 0 0 20 0 1 0 52322445 38649856 1860 33554432000 4194304 36388972 140723849222288 140723849214472 7657238 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 9436 1860 443 7861 0 1540 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37744 KiB
Current children cumulated memory: 7440 KiB
[startup+0.209523 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 14461
/proc/meminfo: memFree=27452876/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=44212 memory=14040 CPUtime=0.21 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 3668 0 0 0 21 0 0 0 20 0 1 0 52322445 45273088 3510 33554432000 4194304 36388972 140723849222288 140723849214472 7657238 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 11053 3510 443 7861 0 3157 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44212 KiB
Current children cumulated memory: 14040 KiB
[startup+0.309365 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 14461
/proc/meminfo: memFree=27447324/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=49888 memory=19848 CPUtime=0.3 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 5093 0 0 0 30 0 0 0 20 0 1 0 52322445 51085312 4962 33554432000 4194304 36388972 140723849222288 140723849216360 7657238 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 12472 4962 443 7861 0 4576 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49888 KiB
Current children cumulated memory: 19848 KiB
[startup+0.700308 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14461
/proc/meminfo: memFree=27436304/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=70876 memory=40704 CPUtime=0.68 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 10329 0 0 0 68 0 0 0 20 0 1 0 52322445 72577024 10176 33554432000 4194304 36388972 140723849222288 140723849216360 7657238 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 17719 10176 443 7861 0 9823 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 70876 KiB
Current children cumulated memory: 40704 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14461
/proc/meminfo: memFree=27410264/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=99176 memory=68604 CPUtime=1.49 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 17330 0 0 0 147 2 0 0 20 0 1 0 52322445 101556224 17151 33554432000 4194304 36388972 140723849222288 140723849221128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 24794 17151 497 7861 0 16898 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 99176 KiB
Current children cumulated memory: 68604 KiB
[startup+3.10914 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14461
/proc/meminfo: memFree=27397740/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=99176 memory=68816 CPUtime=3.09 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 27307 0 0 0 306 3 0 0 20 0 1 0 52322445 101556224 17204 33554432000 4194304 36388972 140723849222288 140723849221128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 24794 17204 506 7861 0 16898 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 99176 KiB
Current children cumulated memory: 68816 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14461
/proc/meminfo: memFree=27397776/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=99176 memory=68816 CPUtime=6.29 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 37340 0 0 0 624 5 0 0 20 0 1 0 52322445 101556224 17204 33554432000 4194304 36388972 140723849222288 140723849221128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 24794 17204 506 7861 0 16898 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 99176 KiB
Current children cumulated memory: 68816 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14461
/proc/meminfo: memFree=27396716/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=99176 memory=68828 CPUtime=12.68 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 47332 0 0 0 1259 9 0 0 20 0 1 0 52322445 101556224 17207 33554432000 4194304 36388972 140723849222288 140723849221128 4658343 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 24794 17207 506 7861 0 16898 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 99176 KiB
Current children cumulated memory: 68828 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14461
/proc/meminfo: memFree=27396824/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=99176 memory=68828 CPUtime=25.47 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 59957 0 0 0 2530 17 0 0 20 0 1 0 52322445 101556224 17207 33554432000 4194304 36388972 140723849222288 140723849221128 4658343 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 24794 17207 506 7861 0 16898 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 99176 KiB
Current children cumulated memory: 68828 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14461
/proc/meminfo: memFree=27396652/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=99308 memory=69200 CPUtime=51.07 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 60197 0 0 0 5068 39 0 0 20 0 1 0 52322445 101691392 17300 33554432000 4194304 36388972 140723849222288 140723849221128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 24827 17300 506 7861 0 16931 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 99308 KiB
Current children cumulated memory: 69200 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14462
/proc/meminfo: memFree=27396528/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=99308 memory=69220 CPUtime=102.25 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 60371 0 0 0 10141 84 0 0 20 0 1 0 52322445 101691392 17305 33554432000 4194304 36388972 140723849222288 140723849221128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 24827 17305 506 7861 0 16931 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 99308 KiB
Current children cumulated memory: 69220 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14463
/proc/meminfo: memFree=27396644/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=99308 memory=69248 CPUtime=162.24 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 60548 0 0 0 16086 138 0 0 20 0 1 0 52322445 101691392 17312 33554432000 4194304 36388972 140723849222288 140723849221128 4658325 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 24827 17312 506 7861 0 16931 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 99308 KiB
Current children cumulated memory: 69248 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14472
/proc/meminfo: memFree=27396568/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=99308 memory=69268 CPUtime=222.24 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 60725 0 0 0 22030 194 0 0 20 0 1 0 52322445 101691392 17317 33554432000 4194304 36388972 140723849222288 140723849221128 4658325 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 24827 17317 506 7861 0 16931 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 99308 KiB
Current children cumulated memory: 69268 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14473
/proc/meminfo: memFree=27397088/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=99308 memory=69284 CPUtime=282.24 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 60906 0 0 0 27973 251 0 0 20 0 1 0 52322445 101691392 17321 33554432000 4194304 36388972 140723849222288 140723849221128 4658315 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 24827 17321 506 7861 0 16931 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 99308 KiB
Current children cumulated memory: 69284 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14474
/proc/meminfo: memFree=27397620/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=99308 memory=69292 CPUtime=342.23 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 61078 0 0 0 33922 301 0 0 20 0 1 0 52322445 101691392 17323 33554432000 4194304 36388972 140723849222288 140723849221128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 24827 17323 506 7861 0 16931 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 99308 KiB
Current children cumulated memory: 69292 KiB
[startup+402.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 14475
/proc/meminfo: memFree=27397128/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=99308 memory=69300 CPUtime=402.23 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 61250 0 0 0 39862 361 0 0 20 0 1 0 52322445 101691392 17325 33554432000 4194304 36388972 140723849222288 140723849221128 4658343 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 24827 17325 506 7861 0 16931 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 99308 KiB
Current children cumulated memory: 69300 KiB
[startup+462.3 s]
/proc/loadavg: 2.14 2.06 2.05 3/188 14476
/proc/meminfo: memFree=27397132/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=99308 memory=69308 CPUtime=462.22 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 61423 0 0 0 45806 416 0 0 20 0 1 0 52322445 101691392 17327 33554432000 4194304 36388972 140723849222288 140723849221128 4658343 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 24827 17327 506 7861 0 16931 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 99308 KiB
Current children cumulated memory: 69308 KiB
[startup+522.3 s]
/proc/loadavg: 2.75 2.28 2.13 3/187 14477
/proc/meminfo: memFree=27397432/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=99308 memory=69312 CPUtime=522.22 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 61597 0 0 0 51752 470 0 0 20 0 1 0 52322445 101691392 17328 33554432000 4194304 36388972 140723849222288 140723849221128 4658343 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 24827 17328 506 7861 0 16931 0
Current children cumulated CPU time: 522.22 s
Current children cumulated vsize: 99308 KiB
Current children cumulated memory: 69312 KiB
[startup+582.3 s]
/proc/loadavg: 2.32 2.24 2.13 3/187 14478
/proc/meminfo: memFree=27397188/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=99308 memory=69316 CPUtime=582.21 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 61769 0 0 0 57697 524 0 0 20 0 1 0 52322445 101691392 17329 33554432000 4194304 36388972 140723849222288 140723849221128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 24827 17329 506 7861 0 16931 0
Current children cumulated CPU time: 582.21 s
Current children cumulated vsize: 99308 KiB
Current children cumulated memory: 69316 KiB
[startup+609.369 s]
# the end of solver process 14460 was just reported to runsolver
# cumulated CPU time of all completed processes: user=603.807 s, system=5.48356 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 2.29 2.24 2.13 3/187 14478
/proc/meminfo: memFree=27397188/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=99308 memory=69316 CPUtime=588.72 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 61769 0 0 0 58342 530 0 0 20 0 1 0 52322445 101691392 17329 33554432000 4194304 36388972 140723849222288 140723849221128 4658325 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 24827 17329 506 7861 0 16931 0
Current children cumulated CPU time: 588.72 s
Current children cumulated vsize: 99308 KiB
Current children cumulated memory: 69316 KiB
[startup+601.6 s]
/proc/loadavg: 2.23 2.23 2.13 3/187 14479
/proc/meminfo: memFree=27397188/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=99308 memory=69320 CPUtime=601.51 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 61935 0 0 0 59610 541 0 0 20 0 1 0 52322445 101691392 17330 33554432000 4194304 36388972 140723849222288 140723849221128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 24827 17330 506 7861 0 16931 0
Current children cumulated CPU time: 601.51 s
Current children cumulated vsize: 99308 KiB
Current children cumulated memory: 69320 KiB
[startup+604.8 s]
/proc/loadavg: 2.23 2.23 2.13 3/187 14479
/proc/meminfo: memFree=27397188/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=99308 memory=69320 CPUtime=604.71 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 61937 0 0 0 59927 544 0 0 20 0 1 0 52322445 101691392 17330 33554432000 4194304 36388972 140723849222288 140723849221128 4560639 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 24827 17330 506 7861 0 16931 0
Current children cumulated CPU time: 604.71 s
Current children cumulated vsize: 99308 KiB
Current children cumulated memory: 69320 KiB
[startup+606.4 s]
/proc/loadavg: 2.21 2.22 2.13 3/187 14479
/proc/meminfo: memFree=27397188/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=99308 memory=69320 CPUtime=606.32 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 61937 0 0 0 60086 546 0 0 20 0 1 0 52322445 101691392 17330 33554432000 4194304 36388972 140723849222288 140723849221128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 24827 17330 506 7861 0 16931 0
Current children cumulated CPU time: 606.32 s
Current children cumulated vsize: 99308 KiB
Current children cumulated memory: 69320 KiB
[startup+608 s]*
/proc/loadavg: 2.21 2.22 2.13 3/187 14479
/proc/meminfo: memFree=27397188/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=99308 memory=69320 CPUtime=607.92 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 61937 0 0 0 60245 547 0 0 20 0 1 0 52322445 101691392 17330 33554432000 4194304 36388972 140723849222288 140723849221128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 24827 17330 506 7861 0 16931 0
Current children cumulated CPU time: 607.92 s
Current children cumulated vsize: 99308 KiB
Current children cumulated memory: 69320 KiB
[startup+608.8 s]
/proc/loadavg: 2.21 2.22 2.13 3/187 14479
/proc/meminfo: memFree=27397188/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=99308 memory=69320 CPUtime=608.71 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 61937 0 0 0 60323 548 0 0 20 0 1 0 52322445 101691392 17330 33554432000 4194304 36388972 140723849222288 140723849221128 4658333 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 24827 17330 506 7861 0 16931 0
Current children cumulated CPU time: 608.71 s
Current children cumulated vsize: 99308 KiB
Current children cumulated memory: 69320 KiB
[startup+609.2 s]
/proc/loadavg: 2.21 2.22 2.13 3/187 14479
/proc/meminfo: memFree=27397188/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=99308 memory=69320 CPUtime=609.11 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 61937 0 0 0 60363 548 0 0 20 0 1 0 52322445 101691392 17330 33554432000 4194304 36388972 140723849222288 140723849221128 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 24827 17330 506 7861 0 16931 0
Current children cumulated CPU time: 609.11 s
Current children cumulated vsize: 99308 KiB
Current children cumulated memory: 69320 KiB
[startup+609.3 s]
/proc/loadavg: 2.21 2.22 2.13 3/187 14479
/proc/meminfo: memFree=27397188/32770624 swapFree=67108860/67108860
[pid=14460] ppid=14457 vsize=99308 memory=69320 CPUtime=609.21 cores=0,2,4,6
/proc/14460/stat : 14460 (BTD) R 14457 14460 11593 0 -1 4202496 61937 0 0 0 60373 548 0 0 20 0 1 0 52322445 101691392 17330 33554432000 4194304 36388972 140723849222288 140723849221128 4658325 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 64225280 140723849229501 140723849229579 140723849229579 140723849232337 0
/proc/14460/statm: 24827 17330 506 7861 0 16931 0
Current children cumulated CPU time: 609.21 s
Current children cumulated vsize: 99308 KiB
Current children cumulated memory: 69320 KiB
Child status: 0
Real time (s): 609.369
CPU time (s): 609.291
CPU user time (s): 603.807
CPU system time (s): 5.48356
CPU usage (%): 99.9872
Max. virtual memory (cumulated for all children) (KiB): 99308
Max. memory (cumulated for all children) (KiB): 69320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 603.807
system time used= 5.48356
maximum resident set size= 69320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62055
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= 33
involuntary context switches= 765
# summary of solver processes directly reported to runsolver:
# pid: 14460
# total CPU time (s): 609.291
# total CPU user time (s): 603.807
# total CPU system time (s): 5.48356
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.53527 second user time and 3.5545 second system time
The end