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 (6766 MiB free)
memory of node 1: 16384 MiB (9026 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294188-1532505177/watcher-4294188-1532505177 -o /tmp/evaluation-result-4294188-1532505177/solver-4294188-1532505177 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532505177-22992 --watchdog 2580 BTD 3 2520 HOME/instance-4294188-1532505177.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=23012, runsolver pid=23009
[startup+0.10014 s]*
/proc/loadavg: 2.00 2.00 2.01 3/188 23023
/proc/meminfo: memFree=16169636/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=32912 memory=3104 CPUtime=0.1 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 925 0 0 0 10 0 0 0 20 0 1 0 68080902 33701888 776 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8228 776 508 7861 0 332 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32912 KiB
Current children cumulated memory: 3104 KiB
[startup+0.209468 s]*
/proc/loadavg: 2.00 2.00 2.01 3/188 23023
/proc/meminfo: memFree=16169636/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33044 memory=3104 CPUtime=0.2 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 932 0 0 0 20 0 0 0 20 0 1 0 68080902 33837056 776 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8261 776 508 7861 0 365 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33044 KiB
Current children cumulated memory: 3104 KiB
[startup+0.30911 s]*
/proc/loadavg: 2.00 2.00 2.01 3/188 23023
/proc/meminfo: memFree=16169636/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33044 memory=3104 CPUtime=0.31 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 937 0 0 0 30 1 0 0 20 0 1 0 68080902 33837056 776 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8261 776 508 7861 0 365 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33044 KiB
Current children cumulated memory: 3104 KiB
[startup+0.700276 s]
/proc/loadavg: 2.00 2.00 2.01 3/188 23023
/proc/meminfo: memFree=16169372/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33044 memory=3104 CPUtime=0.69 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 949 0 0 0 67 2 0 0 20 0 1 0 68080902 33837056 776 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8261 776 508 7861 0 365 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33044 KiB
Current children cumulated memory: 3104 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.01 3/188 23023
/proc/meminfo: memFree=16168860/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33044 memory=3104 CPUtime=1.49 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 959 0 0 0 143 6 0 0 20 0 1 0 68080902 33837056 776 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8261 776 508 7861 0 365 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33044 KiB
Current children cumulated memory: 3104 KiB
[startup+3.10931 s]
/proc/loadavg: 2.00 2.00 2.01 3/188 23023
/proc/meminfo: memFree=16168592/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33176 memory=3384 CPUtime=3.1 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 1139 0 0 0 298 12 0 0 20 0 1 0 68080902 33972224 846 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8294 846 516 7861 0 398 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 33176 KiB
Current children cumulated memory: 3384 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.01 3/188 23023
/proc/meminfo: memFree=16168868/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33176 memory=3424 CPUtime=6.29 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 1427 0 0 0 606 23 0 0 20 0 1 0 68080902 33972224 856 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8294 856 516 7861 0 398 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 33176 KiB
Current children cumulated memory: 3424 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.01 3/188 23023
/proc/meminfo: memFree=16168856/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33308 memory=3480 CPUtime=12.69 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 1681 0 0 0 1222 47 0 0 20 0 1 0 68080902 34107392 870 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8327 870 516 7861 0 431 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 33308 KiB
Current children cumulated memory: 3480 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.01 3/188 23023
/proc/meminfo: memFree=16168484/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33440 memory=3612 CPUtime=25.49 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 2177 0 0 0 2445 104 0 0 20 0 1 0 68080902 34242560 903 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8360 903 516 7861 0 464 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 33440 KiB
Current children cumulated memory: 3612 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.00 2.01 3/188 23023
/proc/meminfo: memFree=16168236/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33440 memory=3672 CPUtime=51.1 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 2513 0 0 0 4897 213 0 0 20 0 1 0 68080902 34242560 918 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8360 918 516 7861 0 464 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 33440 KiB
Current children cumulated memory: 3672 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/188 23024
/proc/meminfo: memFree=16168212/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33572 memory=3744 CPUtime=102.3 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 2835 0 0 0 9812 418 0 0 20 0 1 0 68080902 34377728 936 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8393 936 516 7861 0 497 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3744 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/187 23026
/proc/meminfo: memFree=16168868/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33572 memory=3764 CPUtime=162.3 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 3061 0 0 0 15569 661 0 0 20 0 1 0 68080902 34377728 941 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8393 941 516 7861 0 497 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3764 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/187 23027
/proc/meminfo: memFree=16169240/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33572 memory=3828 CPUtime=222.3 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 3383 0 0 0 21322 908 0 0 20 0 1 0 68080902 34377728 957 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8393 957 516 7861 0 497 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3828 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/187 23028
/proc/meminfo: memFree=16169240/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33572 memory=3864 CPUtime=282.29 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 3677 0 0 0 27084 1145 0 0 20 0 1 0 68080902 34377728 966 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8393 966 516 7861 0 497 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 3864 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/187 23030
/proc/meminfo: memFree=16169612/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33704 memory=3880 CPUtime=342.29 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 3959 0 0 0 32837 1392 0 0 20 0 1 0 68080902 34512896 970 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8426 970 516 7861 0 530 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 33704 KiB
Current children cumulated memory: 3880 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/187 23031
/proc/meminfo: memFree=16168912/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33704 memory=3900 CPUtime=402.3 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 4289 0 0 0 38587 1643 0 0 20 0 1 0 68080902 34512896 975 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8426 975 516 7861 0 530 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 33704 KiB
Current children cumulated memory: 3900 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/188 23040
/proc/meminfo: memFree=16168180/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33704 memory=3924 CPUtime=462.3 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 4594 0 0 0 44335 1895 0 0 20 0 1 0 68080902 34512896 981 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8426 981 516 7861 0 530 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 33704 KiB
Current children cumulated memory: 3924 KiB
################
# More data... #
################
Current children cumulated memory: 4144 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/187 23128
/proc/meminfo: memFree=16167524/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33968 memory=4156 CPUtime=2082.33 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 11518 0 0 0 198894 9339 0 0 20 0 1 0 68080902 34783232 1039 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8492 1039 516 7861 0 596 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 33968 KiB
Current children cumulated memory: 4156 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/187 23130
/proc/meminfo: memFree=16167272/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33968 memory=4156 CPUtime=2142.33 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 11709 0 0 0 204612 9621 0 0 20 0 1 0 68080902 34783232 1039 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8492 1039 516 7861 0 596 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 33968 KiB
Current children cumulated memory: 4156 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/187 23131
/proc/meminfo: memFree=16167660/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33968 memory=4156 CPUtime=2202.33 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 11889 0 0 0 210317 9916 0 0 20 0 1 0 68080902 34783232 1039 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8492 1039 516 7861 0 596 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 33968 KiB
Current children cumulated memory: 4156 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/188 23140
/proc/meminfo: memFree=16166508/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33968 memory=4164 CPUtime=2262.33 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 12162 0 0 0 216048 10185 0 0 20 0 1 0 68080902 34783232 1041 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8492 1041 516 7861 0 596 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 33968 KiB
Current children cumulated memory: 4164 KiB
[startup+2322.3 s]
/proc/loadavg: 2.05 2.02 2.01 3/188 23141
/proc/meminfo: memFree=16166420/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33968 memory=4164 CPUtime=2322.33 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 12347 0 0 0 221790 10443 0 0 20 0 1 0 68080902 34783232 1041 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8492 1041 516 7861 0 596 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 33968 KiB
Current children cumulated memory: 4164 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.01 2.01 3/188 23142
/proc/meminfo: memFree=16166476/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33968 memory=4164 CPUtime=2382.33 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 12553 0 0 0 227514 10719 0 0 20 0 1 0 68080902 34783232 1041 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8492 1041 516 7861 0 596 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 33968 KiB
Current children cumulated memory: 4164 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.01 2.01 3/188 23143
/proc/meminfo: memFree=16166476/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33968 memory=4164 CPUtime=2442.33 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 12761 0 0 0 233205 11028 0 0 20 0 1 0 68080902 34783232 1041 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8492 1041 516 7861 0 596 0
Current children cumulated CPU time: 2442.33 s
Current children cumulated vsize: 33968 KiB
Current children cumulated memory: 4164 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/188 23144
/proc/meminfo: memFree=16166468/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33968 memory=4176 CPUtime=2502.33 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 12988 0 0 0 238930 11303 0 0 20 0 1 0 68080902 34783232 1044 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8492 1044 516 7861 0 596 0
Current children cumulated CPU time: 2502.33 s
Current children cumulated vsize: 33968 KiB
Current children cumulated memory: 4176 KiB
[startup+2519.97 s]
# the end of solver process 23012 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2406.22 s, system=113.787 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2508.8 s]
/proc/loadavg: 2.00 2.01 2.01 3/188 23144
/proc/meminfo: memFree=16166468/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33968 memory=4176 CPUtime=2508.83 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 12988 0 0 0 239552 11331 0 0 20 0 1 0 68080902 34783232 1044 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8492 1044 516 7861 0 596 0
Current children cumulated CPU time: 2508.83 s
Current children cumulated vsize: 33968 KiB
Current children cumulated memory: 4176 KiB
[startup+2515.2 s]
/proc/loadavg: 2.00 2.01 2.01 3/188 23144
/proc/meminfo: memFree=16166468/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33968 memory=4176 CPUtime=2515.23 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 13040 0 0 0 240164 11359 0 0 20 0 1 0 68080902 34783232 1044 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8492 1044 516 7861 0 596 0
Current children cumulated CPU time: 2515.23 s
Current children cumulated vsize: 33968 KiB
Current children cumulated memory: 4176 KiB
[startup+2518.4 s]
/proc/loadavg: 2.00 2.01 2.01 3/188 23144
/proc/meminfo: memFree=16166468/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33968 memory=4176 CPUtime=2518.43 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 13209 0 0 0 240472 11371 0 0 20 0 1 0 68080902 34783232 1044 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8492 1044 516 7861 0 596 0
Current children cumulated CPU time: 2518.43 s
Current children cumulated vsize: 33968 KiB
Current children cumulated memory: 4176 KiB
[startup+2519.2 s]
/proc/loadavg: 2.00 2.01 2.01 3/188 23144
/proc/meminfo: memFree=16166468/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33968 memory=4176 CPUtime=2519.24 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 13209 0 0 0 240549 11375 0 0 20 0 1 0 68080902 34783232 1044 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8492 1044 516 7861 0 596 0
Current children cumulated CPU time: 2519.24 s
Current children cumulated vsize: 33968 KiB
Current children cumulated memory: 4176 KiB
[startup+2519.6 s]
/proc/loadavg: 2.00 2.01 2.01 3/188 23144
/proc/meminfo: memFree=16166468/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33968 memory=4176 CPUtime=2519.63 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 13209 0 0 0 240586 11377 0 0 20 0 1 0 68080902 34783232 1044 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8492 1044 516 7861 0 596 0
Current children cumulated CPU time: 2519.63 s
Current children cumulated vsize: 33968 KiB
Current children cumulated memory: 4176 KiB
[startup+2519.8 s]
/proc/loadavg: 2.00 2.01 2.01 3/188 23144
/proc/meminfo: memFree=16166468/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33968 memory=4176 CPUtime=2519.83 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 13209 0 0 0 240606 11377 0 0 20 0 1 0 68080902 34783232 1044 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8492 1044 516 7861 0 596 0
Current children cumulated CPU time: 2519.83 s
Current children cumulated vsize: 33968 KiB
Current children cumulated memory: 4176 KiB
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.01 3/188 23144
/proc/meminfo: memFree=16166468/32770624 swapFree=67108860/67108860
[pid=23012] ppid=23009 vsize=33968 memory=4176 CPUtime=2519.94 cores=0,2,4,6
/proc/23012/stat : 23012 (BTD) R 23009 23012 22961 0 -1 4202496 13209 0 0 0 240616 11378 0 0 20 0 1 0 68080902 34783232 1044 33554432000 4194304 36388972 140733658695744 140733658694584 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 57323520 140733658703037 140733658703115 140733658703115 140733658705873 0
/proc/23012/statm: 8492 1044 516 7861 0 596 0
Current children cumulated CPU time: 2519.94 s
Current children cumulated vsize: 33968 KiB
Current children cumulated memory: 4176 KiB
Child status: 0
Real time (s): 2519.97
CPU time (s): 2520.01
CPU user time (s): 2406.22
CPU system time (s): 113.787
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 33968
Max. memory (cumulated for all children) (KiB): 4176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2406.22
system time used= 113.787
maximum resident set size= 4192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13553
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= 2
involuntary context switches= 1542
# summary of solver processes directly reported to runsolver:
# pid: 23012
# total CPU time (s): 2520.01
# total CPU user time (s): 2406.22
# total CPU system time (s): 113.787
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.27973 second user time and 15.6531 second system time
The end