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 (13223 MiB free)
memory of node 1: 16384 MiB (14179 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300761-1532853661/watcher-4300761-1532853661 -o /tmp/evaluation-result-4300761-1532853661/solver-4300761-1532853661 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532843156-14542 --watchdog 2580 minimacht 2520 HOME/instance-4300761-1532853661.xml
running on 4 cores: 1,3,5,7
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
solver pid=16274, runsolver pid=16271
Current StackSize limit: 8192 KiB
[startup+0.101071 s]*
/proc/loadavg: 1.92 2.00 2.04 3/191 16275
/proc/meminfo: memFree=28059592/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27052 memory=3616 CPUtime=0.09 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 1088 0 0 0 9 0 0 0 20 0 1 0 102929318 27701248 904 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6763 904 635 252 0 309 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27052 KiB
Current children cumulated memory: 3616 KiB
[startup+0.209577 s]*
/proc/loadavg: 1.92 2.00 2.04 3/191 16275
/proc/meminfo: memFree=28059592/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27052 memory=3616 CPUtime=0.2 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 1091 0 0 0 20 0 0 0 20 0 1 0 102929318 27701248 904 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6763 904 635 252 0 309 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27052 KiB
Current children cumulated memory: 3616 KiB
[startup+0.309042 s]*
/proc/loadavg: 1.92 2.00 2.04 3/191 16275
/proc/meminfo: memFree=28050820/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27052 memory=3616 CPUtime=0.3 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 1094 0 0 0 29 1 0 0 20 0 1 0 102929318 27701248 904 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6763 904 635 252 0 309 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27052 KiB
Current children cumulated memory: 3616 KiB
[startup+0.700231 s]
/proc/loadavg: 1.92 2.00 2.04 3/191 16275
/proc/meminfo: memFree=28058936/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27052 memory=3616 CPUtime=0.68 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 1098 0 0 0 66 2 0 0 20 0 1 0 102929318 27701248 904 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6763 904 635 252 0 309 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 27052 KiB
Current children cumulated memory: 3616 KiB
[startup+1.50023 s]
/proc/loadavg: 1.92 2.00 2.04 3/191 16275
/proc/meminfo: memFree=28058936/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27052 memory=3616 CPUtime=1.48 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 1102 0 0 0 145 3 0 0 20 0 1 0 102929318 27701248 904 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6763 904 635 252 0 309 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 27052 KiB
Current children cumulated memory: 3616 KiB
[startup+3.10914 s]
/proc/loadavg: 1.93 2.00 2.04 3/191 16275
/proc/meminfo: memFree=28058700/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27052 memory=3768 CPUtime=3.09 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 1285 0 0 0 303 6 0 0 20 0 1 0 102929318 27701248 942 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6763 942 648 252 0 309 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 27052 KiB
Current children cumulated memory: 3768 KiB
[startup+6.30022 s]
/proc/loadavg: 1.93 2.00 2.04 3/191 16275
/proc/meminfo: memFree=28058700/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27180 memory=3796 CPUtime=6.29 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 1477 0 0 0 615 14 0 0 20 0 1 0 102929318 27832320 949 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6795 949 648 252 0 341 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27180 KiB
Current children cumulated memory: 3796 KiB
[startup+12.7002 s]
/proc/loadavg: 1.85 1.98 2.03 3/191 16275
/proc/meminfo: memFree=28058948/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27180 memory=3804 CPUtime=12.68 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 1669 0 0 0 1243 25 0 0 20 0 1 0 102929318 27832320 951 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6795 951 648 252 0 341 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 27180 KiB
Current children cumulated memory: 3804 KiB
[startup+25.5002 s]
/proc/loadavg: 1.89 1.98 2.03 3/191 16275
/proc/meminfo: memFree=28059360/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27180 memory=3828 CPUtime=25.49 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 2059 0 0 0 2501 48 0 0 20 0 1 0 102929318 27832320 957 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6795 957 648 252 0 341 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27180 KiB
Current children cumulated memory: 3828 KiB
[startup+51.1091 s]
/proc/loadavg: 1.99 2.00 2.04 3/191 16275
/proc/meminfo: memFree=28059552/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27180 memory=3844 CPUtime=51.09 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 2261 0 0 0 5012 97 0 0 20 0 1 0 102929318 27832320 961 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6795 961 648 252 0 341 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 27180 KiB
Current children cumulated memory: 3844 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/191 16276
/proc/meminfo: memFree=28058972/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27180 memory=3864 CPUtime=102.28 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 2472 0 0 0 10012 216 0 0 20 0 1 0 102929318 27832320 966 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6795 966 648 252 0 341 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27180 KiB
Current children cumulated memory: 3864 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/192 16278
/proc/meminfo: memFree=28058984/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27180 memory=3888 CPUtime=162.29 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 2685 0 0 0 15893 336 0 0 20 0 1 0 102929318 27832320 972 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6795 972 648 252 0 341 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 27180 KiB
Current children cumulated memory: 3888 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/192 16279
/proc/meminfo: memFree=28058908/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27180 memory=3900 CPUtime=222.28 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 2900 0 0 0 21782 446 0 0 20 0 1 0 102929318 27832320 975 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6795 975 648 252 0 341 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 27180 KiB
Current children cumulated memory: 3900 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/191 16280
/proc/meminfo: memFree=28058696/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27180 memory=3912 CPUtime=282.29 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 3116 0 0 0 27656 573 0 0 20 0 1 0 102929318 27832320 978 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6795 978 648 252 0 341 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 27180 KiB
Current children cumulated memory: 3912 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/191 16281
/proc/meminfo: memFree=28058088/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27312 memory=3940 CPUtime=342.29 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 3344 0 0 0 33519 710 0 0 20 0 1 0 102929318 27967488 985 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6828 985 653 252 0 374 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 27312 KiB
Current children cumulated memory: 3940 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/191 16282
/proc/meminfo: memFree=28058244/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27312 memory=3948 CPUtime=402.29 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 3565 0 0 0 39367 862 0 0 20 0 1 0 102929318 27967488 987 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6828 987 653 252 0 374 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 27312 KiB
Current children cumulated memory: 3948 KiB
[startup+462.3 s]
/proc/loadavg: 2.12 2.03 2.05 3/190 16283
/proc/meminfo: memFree=28058540/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27312 memory=3956 CPUtime=462.28 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 3787 0 0 0 45243 985 0 0 20 0 1 0 102929318 27967488 989 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6828 989 653 252 0 374 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 27312 KiB
Current children cumulated memory: 3956 KiB
[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/190 16284
/proc/meminfo: memFree=28058440/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27312 memory=3960 CPUtime=522.28 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 4010 0 0 0 51123 1105 0 0 20 0 1 0 102929318 27967488 990 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6828 990 653 252 0 374 0
Current children cumulated CPU time: 522.28 s
Current children cumulated vsize: 27312 KiB
Current children cumulated memory: 3960 KiB
[startup+582.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/190 16292
/proc/meminfo: memFree=28057896/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27312 memory=3964 CPUtime=582.28 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 4232 0 0 0 56998 1230 0 0 20 0 1 0 102929318 27967488 991 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6828 991 653 252 0 374 0
Current children cumulated CPU time: 582.28 s
Current children cumulated vsize: 27312 KiB
Current children cumulated memory: 3964 KiB
[startup+642.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/190 16293
/proc/meminfo: memFree=28057524/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27312 memory=3972 CPUtime=642.29 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 4460 0 0 0 62853 1376 0 0 20 0 1 0 102929318 27967488 993 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6828 993 653 252 0 374 0
Current children cumulated CPU time: 642.29 s
Current children cumulated vsize: 27312 KiB
Current children cumulated memory: 3972 KiB
[startup+702.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/191 16295
/proc/meminfo: memFree=28057540/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27312 memory=3972 CPUtime=702.28 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 4684 0 0 0 68734 1494 0 0 20 0 1 0 102929318 27967488 993 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6828 993 653 252 0 374 0
Current children cumulated CPU time: 702.28 s
Current children cumulated vsize: 27312 KiB
Current children cumulated memory: 3972 KiB
[startup+762.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/191 16296
/proc/meminfo: memFree=28057576/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27312 memory=3976 CPUtime=762.29 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 4911 0 0 0 74616 1613 0 0 20 0 1 0 102929318 27967488 994 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6828 994 653 252 0 374 0
Current children cumulated CPU time: 762.29 s
Current children cumulated vsize: 27312 KiB
Current children cumulated memory: 3976 KiB
[startup+786.519 s]
# the end of solver process 16274 was just reported to runsolver
# cumulated CPU time of all completed processes: user=769.802 s, system=16.7089 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+768 s]*
/proc/loadavg: 2.03 2.04 2.05 3/191 16296
/proc/meminfo: memFree=28057576/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27312 memory=3976 CPUtime=767.99 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 4911 0 0 0 75173 1626 0 0 20 0 1 0 102929318 27967488 994 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6828 994 653 252 0 374 0
Current children cumulated CPU time: 767.99 s
Current children cumulated vsize: 27312 KiB
Current children cumulated memory: 3976 KiB
[startup+774.4 s]
/proc/loadavg: 2.03 2.04 2.05 3/191 16296
/proc/meminfo: memFree=28057576/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27312 memory=3976 CPUtime=774.39 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 4911 0 0 0 75799 1640 0 0 20 0 1 0 102929318 27967488 994 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6828 994 653 252 0 374 0
Current children cumulated CPU time: 774.39 s
Current children cumulated vsize: 27312 KiB
Current children cumulated memory: 3976 KiB
[startup+780.8 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 16296
/proc/meminfo: memFree=28057576/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27312 memory=3976 CPUtime=780.78 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 5136 0 0 0 76423 1655 0 0 20 0 1 0 102929318 27967488 994 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6828 994 653 252 0 374 0
Current children cumulated CPU time: 780.78 s
Current children cumulated vsize: 27312 KiB
Current children cumulated memory: 3976 KiB
[startup+784 s]*
/proc/loadavg: 2.02 2.04 2.05 3/191 16297
/proc/meminfo: memFree=28057824/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27312 memory=3976 CPUtime=783.99 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 5136 0 0 0 76736 1663 0 0 20 0 1 0 102929318 27967488 994 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6828 994 653 252 0 374 0
Current children cumulated CPU time: 783.99 s
Current children cumulated vsize: 27312 KiB
Current children cumulated memory: 3976 KiB
[startup+785.6 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 16297
/proc/meminfo: memFree=28057824/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27312 memory=3976 CPUtime=785.58 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 5136 0 0 0 76891 1667 0 0 20 0 1 0 102929318 27967488 994 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6828 994 653 252 0 374 0
Current children cumulated CPU time: 785.58 s
Current children cumulated vsize: 27312 KiB
Current children cumulated memory: 3976 KiB
[startup+786 s]*
/proc/loadavg: 2.02 2.04 2.05 3/191 16297
/proc/meminfo: memFree=28057824/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27312 memory=3976 CPUtime=785.99 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 5136 0 0 0 76931 1668 0 0 20 0 1 0 102929318 27967488 994 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6828 994 653 252 0 374 0
Current children cumulated CPU time: 785.99 s
Current children cumulated vsize: 27312 KiB
Current children cumulated memory: 3976 KiB
[startup+786.4 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 16297
/proc/meminfo: memFree=28057824/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27312 memory=3976 CPUtime=786.38 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 5136 0 0 0 76968 1670 0 0 20 0 1 0 102929318 27967488 994 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6828 994 653 252 0 374 0
Current children cumulated CPU time: 786.38 s
Current children cumulated vsize: 27312 KiB
Current children cumulated memory: 3976 KiB
[startup+786.5 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 16297
/proc/meminfo: memFree=28057824/32770624 swapFree=67108744/67108860
[pid=16274] ppid=16271 vsize=27312 memory=3976 CPUtime=786.48 cores=1,3,5,7
/proc/16274/stat : 16274 (minimacht) R 16271 16274 14510 0 -1 4202496 5136 0 0 0 76978 1670 0 0 20 0 1 0 102929318 27967488 994 33554432000 4194304 5224576 140729139051696 140729139049816 140612058169724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 30593024 140729139057843 140729139057925 140729139057925 140729139060683 0
/proc/16274/statm: 6828 994 653 252 0 374 0
Current children cumulated CPU time: 786.48 s
Current children cumulated vsize: 27312 KiB
Current children cumulated memory: 3976 KiB
Child status: 0
Real time (s): 786.519
CPU time (s): 786.511
CPU user time (s): 769.802
CPU system time (s): 16.7089
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 27312
Max. memory (cumulated for all children) (KiB): 3976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 769.802
system time used= 16.7089
maximum resident set size= 4000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5216
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= 274
# summary of solver processes directly reported to runsolver:
# pid: 16274
# total CPU time (s): 786.511
# total CPU user time (s): 769.802
# total CPU system time (s): 16.7089
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.02303 second user time and 4.8994 second system time
The end