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 (14307 MiB free)
memory of node 1: 16384 MiB (13204 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300709-1532858023/watcher-4300709-1532858023 -o /tmp/evaluation-result-4300709-1532858023/solver-4300709-1532858023 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532842880-18200 --watchdog 2580 minimacht 2520 HOME/instance-4300709-1532858023.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=19878, runsolver pid=19875
[startup+0.100145 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 19879
/proc/meminfo: memFree=28172180/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26528 memory=2932 CPUtime=0.1 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 945 0 0 0 8 2 0 0 20 0 1 0 103365531 27164672 733 33554432000 4194304 5224576 140723013462656 140723013459656 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6632 733 606 252 0 178 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26528 KiB
Current children cumulated memory: 2932 KiB
[startup+0.209284 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 19879
/proc/meminfo: memFree=28172180/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26528 memory=2932 CPUtime=0.21 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 951 0 0 0 17 4 0 0 20 0 1 0 103365531 27164672 733 33554432000 4194304 5224576 140723013462656 140723013459656 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6632 733 606 252 0 178 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 26528 KiB
Current children cumulated memory: 2932 KiB
[startup+0.308835 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 19879
/proc/meminfo: memFree=28172180/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26528 memory=2932 CPUtime=0.31 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 953 0 0 0 25 6 0 0 20 0 1 0 103365531 27164672 733 33554432000 4194304 5224576 140723013462656 140723013459656 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6632 733 606 252 0 178 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 26528 KiB
Current children cumulated memory: 2932 KiB
[startup+0.700268 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19879
/proc/meminfo: memFree=28172148/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26528 memory=2932 CPUtime=0.69 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 959 0 0 0 53 16 0 0 20 0 1 0 103365531 27164672 733 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6632 733 606 252 0 178 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 26528 KiB
Current children cumulated memory: 2932 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19879
/proc/meminfo: memFree=28172148/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26528 memory=3196 CPUtime=1.49 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 966 0 0 0 116 33 0 0 20 0 1 0 103365531 27164672 799 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6632 799 640 252 0 178 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 26528 KiB
Current children cumulated memory: 3196 KiB
[startup+3.10898 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19879
/proc/meminfo: memFree=28171892/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26660 memory=3224 CPUtime=3.1 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 1076 0 0 0 239 71 0 0 20 0 1 0 103365531 27299840 806 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6665 806 640 252 0 211 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 26660 KiB
Current children cumulated memory: 3224 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19879
/proc/meminfo: memFree=28171776/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26660 memory=3252 CPUtime=6.29 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 1191 0 0 0 479 150 0 0 20 0 1 0 103365531 27299840 813 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6665 813 640 252 0 211 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 26660 KiB
Current children cumulated memory: 3252 KiB
[startup+12.7003 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 19879
/proc/meminfo: memFree=28171784/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26660 memory=3268 CPUtime=12.69 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 1309 0 0 0 974 295 0 0 20 0 1 0 103365531 27299840 817 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6665 817 640 252 0 211 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 26660 KiB
Current children cumulated memory: 3268 KiB
[startup+25.5003 s]
/proc/loadavg: 2.07 2.03 2.05 3/188 19879
/proc/meminfo: memFree=28171784/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26660 memory=3312 CPUtime=25.49 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 1560 0 0 0 1959 590 0 0 20 0 1 0 103365531 27299840 828 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6665 828 640 252 0 211 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 26660 KiB
Current children cumulated memory: 3312 KiB
[startup+51.1089 s]
/proc/loadavg: 2.13 2.04 2.05 3/188 19879
/proc/meminfo: memFree=28172032/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26660 memory=3328 CPUtime=51.09 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 1699 0 0 0 3910 1199 0 0 20 0 1 0 103365531 27299840 832 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6665 832 640 252 0 211 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 26660 KiB
Current children cumulated memory: 3328 KiB
[startup+102.3 s]
/proc/loadavg: 2.13 2.07 2.06 3/187 19881
/proc/meminfo: memFree=28171044/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26660 memory=3372 CPUtime=102.28 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 1839 0 0 0 7899 2329 0 0 20 0 1 0 103365531 27299840 843 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6665 843 645 252 0 211 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 26660 KiB
Current children cumulated memory: 3372 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/187 19882
/proc/meminfo: memFree=28171380/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26792 memory=3388 CPUtime=162.28 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 1983 0 0 0 12553 3675 0 0 20 0 1 0 103365531 27435008 847 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6698 847 645 252 0 244 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3388 KiB
[startup+222.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/187 19883
/proc/meminfo: memFree=28171612/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26792 memory=3404 CPUtime=222.28 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 2129 0 0 0 17185 5043 0 0 20 0 1 0 103365531 27435008 851 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6698 851 645 252 0 244 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3404 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/187 19885
/proc/meminfo: memFree=28171288/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26792 memory=3416 CPUtime=282.28 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 2275 0 0 0 21958 6270 0 0 20 0 1 0 103365531 27435008 854 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6698 854 645 252 0 244 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3416 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 19886
/proc/meminfo: memFree=28171344/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26792 memory=3420 CPUtime=342.26 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 2423 0 0 0 26849 7377 0 0 20 0 1 0 103365531 27435008 855 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6698 855 645 252 0 244 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3420 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 19895
/proc/meminfo: memFree=28170772/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26792 memory=3428 CPUtime=402.26 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 2572 0 0 0 31711 8515 0 0 20 0 1 0 103365531 27435008 857 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6698 857 645 252 0 244 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3428 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 19919
/proc/meminfo: memFree=28169384/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26792 memory=3432 CPUtime=462.26 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 2722 0 0 0 36647 9579 0 0 20 0 1 0 103365531 27435008 858 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6698 858 645 252 0 244 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3432 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 19920
/proc/meminfo: memFree=28170508/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26792 memory=3436 CPUtime=522.25 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 2873 0 0 0 41599 10626 0 0 20 0 1 0 103365531 27435008 859 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6698 859 645 252 0 244 0
Current children cumulated CPU time: 522.25 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3436 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 19921
/proc/meminfo: memFree=28170580/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26792 memory=3440 CPUtime=582.26 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 3025 0 0 0 46591 11635 0 0 20 0 1 0 103365531 27435008 860 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6698 860 645 252 0 244 0
Current children cumulated CPU time: 582.26 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3440 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 19922
/proc/meminfo: memFree=28170652/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26792 memory=3444 CPUtime=642.25 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 3178 0 0 0 51520 12705 0 0 20 0 1 0 103365531 27435008 861 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6698 861 645 252 0 244 0
Current children cumulated CPU time: 642.25 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3444 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19923
/proc/meminfo: memFree=28170744/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26792 memory=3448 CPUtime=702.25 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 3332 0 0 0 56418 13807 0 0 20 0 1 0 103365531 27435008 862 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6698 862 645 252 0 244 0
Current children cumulated CPU time: 702.25 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3448 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19924
/proc/meminfo: memFree=28170588/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26792 memory=3452 CPUtime=762.23 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 3487 0 0 0 61333 14890 0 0 20 0 1 0 103365531 27435008 863 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6698 863 645 252 0 244 0
Current children cumulated CPU time: 762.23 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3452 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20047
/proc/meminfo: memFree=28170032/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26792 memory=3456 CPUtime=822.23 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 3641 0 0 0 66296 15927 0 0 20 0 1 0 103365531 27435008 864 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6698 864 645 252 0 244 0
Current children cumulated CPU time: 822.23 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3456 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20048
/proc/meminfo: memFree=28169968/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26792 memory=3456 CPUtime=882.23 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 3797 0 0 0 71241 16982 0 0 20 0 1 0 103365531 27435008 864 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6698 864 645 252 0 244 0
Current children cumulated CPU time: 882.23 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3456 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20049
/proc/meminfo: memFree=28169652/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26792 memory=3460 CPUtime=942.22 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 3954 0 0 0 76161 18061 0 0 20 0 1 0 103365531 27435008 865 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6698 865 645 252 0 244 0
Current children cumulated CPU time: 942.22 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3460 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 20059
/proc/meminfo: memFree=28168880/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26792 memory=3464 CPUtime=1002.22 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 4110 0 0 0 81109 19113 0 0 20 0 1 0 103365531 27435008 866 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6698 866 645 252 0 244 0
Current children cumulated CPU time: 1002.22 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3464 KiB
[startup+1004.97 s]
# the end of solver process 19878 was just reported to runsolver
# cumulated CPU time of all completed processes: user=813.287 s, system=191.608 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1003.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 20059
/proc/meminfo: memFree=28168880/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26792 memory=3464 CPUtime=1003.12 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 4110 0 0 0 81181 19131 0 0 20 0 1 0 103365531 27435008 866 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6698 866 645 252 0 244 0
Current children cumulated CPU time: 1003.12 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3464 KiB
[startup+1004 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 20059
/proc/meminfo: memFree=28168880/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26792 memory=3464 CPUtime=1003.93 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 4110 0 0 0 81248 19145 0 0 20 0 1 0 103365531 27435008 866 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6698 866 645 252 0 244 0
Current children cumulated CPU time: 1003.93 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3464 KiB
[startup+1004.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 20059
/proc/meminfo: memFree=28168880/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26792 memory=3464 CPUtime=1004.32 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 4110 0 0 0 81281 19151 0 0 20 0 1 0 103365531 27435008 866 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6698 866 645 252 0 244 0
Current children cumulated CPU time: 1004.32 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3464 KiB
[startup+1004.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 20059
/proc/meminfo: memFree=28168880/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26792 memory=3464 CPUtime=1004.72 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 4110 0 0 0 81314 19158 0 0 20 0 1 0 103365531 27435008 866 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6698 866 645 252 0 244 0
Current children cumulated CPU time: 1004.72 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3464 KiB
[startup+1004.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 20059
/proc/meminfo: memFree=28168880/32770624 swapFree=67108860/67108860
[pid=19878] ppid=19875 vsize=26792 memory=3464 CPUtime=1004.82 cores=0,2,4,6
/proc/19878/stat : 19878 (minimacht) R 19875 19878 18169 0 -1 4202496 4110 0 0 0 81323 19159 0 0 20 0 1 0 103365531 27435008 866 33554432000 4194304 5224576 140723013462656 140723013461208 139994877546876 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 38760448 140723013469363 140723013469445 140723013469445 140723013472203 0
/proc/19878/statm: 6698 866 645 252 0 244 0
Current children cumulated CPU time: 1004.82 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3464 KiB
Child status: 0
Real time (s): 1004.97
CPU time (s): 1004.9
CPU user time (s): 813.287
CPU system time (s): 191.608
CPU usage (%): 99.993
Max. virtual memory (cumulated for all children) (KiB): 26792
Max. memory (cumulated for all children) (KiB): 3464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 813.287
system time used= 191.608
maximum resident set size= 3484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4142
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= 6
involuntary context switches= 1258
# summary of solver processes directly reported to runsolver:
# pid: 19878
# total CPU time (s): 1004.9
# total CPU user time (s): 813.287
# total CPU system time (s): 191.608
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.72623 second user time and 5.22664 second system time
The end