runsolver version 3.4.2 (svn: 4680) 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: 63968 MiB (58981 MiB free)
  memory of node 1: 64473 MiB (63416 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436646-1722951806/watcher-4436646-1722951806 -o /tmp/evaluation-result-4436646-1722951806/solver-4436646-1722951806 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722948202-339225 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436646-1722951806.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=341442, runsolver pid=341439

[startup+0.100468 s]*
/proc/loadavg: 4.11 4.36 4.16 5/267 341459
/proc/meminfo: memFree=125266012/131524600 swapFree=131071996/131071996
[pid=341442] ppid=341439 vsize=9932 memory=2632 CPUtime=0 cores=1,3
/proc/341442/stat : 341442 (Hybrid-LSMabSP+) S 341439 341442 339213 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 61780496 10170368 658 134679101440 94088507748352 94088508827672 140736403463264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94088510926128 94088510973316 94088531976192 140736403465166 140736403465325 140736403465325 140736403472340 0
/proc/341442/statm: 2483 658 578 264 0 134 0
[pid=341445] ppid=341442 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/341445/stat : 341445 (timeout) S 341442 341445 339213 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61780496 8867840 230 134679101440 93982454820864 93982454855880 140725666610176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93982456953296 93982456955428 93982483660800 140725666616345 140725666616477 140725666616477 140725666623463 0
/proc/341445/statm: 2165 230 205 9 0 87 0
[pid=341446] ppid=341445 vsize=38000 memory=19692 CPUtime=0.09 cores=1,3
/proc/341446/stat : 341446 (CASHWMaxSAT-Dis) R 341445 341445 339213 0 -1 4194304 4250 0 0 0 9 0 0 0 20 0 1 0 61780496 38912000 4923 134679101440 4194304 14093885 140720555967152 0 0 0 0 0 19490 0 0 0 17 3 0 0 0 0 0 15976432 16051504 43835392 140720555975711 140720555975830 140720555975830 140720555982816 0
/proc/341446/statm: 9500 4923 750 2417 0 6602 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56592 KiB
Current children cumulated memory: 23244 KiB

[startup+0.206451 s]*
/proc/loadavg: 4.11 4.36 4.16 5/267 341459
/proc/meminfo: memFree=125237872/131524600 swapFree=131071996/131071996
[pid=341442] ppid=341439 vsize=9932 memory=2632 CPUtime=0 cores=1,3
/proc/341442/stat : 341442 (Hybrid-LSMabSP+) S 341439 341442 339213 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 61780496 10170368 658 134679101440 94088507748352 94088508827672 140736403463264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94088510926128 94088510973316 94088531976192 140736403465166 140736403465325 140736403465325 140736403472340 0
/proc/341442/statm: 2483 658 578 264 0 134 0
[pid=341445] ppid=341442 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/341445/stat : 341445 (timeout) S 341442 341445 339213 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61780496 8867840 230 134679101440 93982454820864 93982454855880 140725666610176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93982456953296 93982456955428 93982483660800 140725666616345 140725666616477 140725666616477 140725666623463 0
/proc/341445/statm: 2165 230 205 9 0 87 0
[pid=341446] ppid=341445 vsize=50724 memory=32168 CPUtime=0.19 cores=1,3
/proc/341446/stat : 341446 (CASHWMaxSAT-Dis) R 341445 341445 339213 0 -1 4194304 7416 0 0 0 18 1 0 0 20 0 1 0 61780496 51941376 8042 134679101440 4194304 14093885 140720555967152 0 0 0 0 0 19490 0 0 0 17 3 0 0 0 0 0 15976432 16051504 43835392 140720555975711 140720555975830 140720555975830 140720555982816 0
/proc/341446/statm: 12681 8042 750 2417 0 9783 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 69316 KiB
Current children cumulated memory: 35720 KiB

[startup+0.305451 s]*
/proc/loadavg: 4.11 4.36 4.16 5/267 341459
/proc/meminfo: memFree=125225784/131524600 swapFree=131071996/131071996
[pid=341442] ppid=341439 vsize=9932 memory=2632 CPUtime=0 cores=1,3
/proc/341442/stat : 341442 (Hybrid-LSMabSP+) S 341439 341442 339213 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 61780496 10170368 658 134679101440 94088507748352 94088508827672 140736403463264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94088510926128 94088510973316 94088531976192 140736403465166 140736403465325 140736403465325 140736403472340 0
/proc/341442/statm: 2483 658 578 264 0 134 0
[pid=341445] ppid=341442 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/341445/stat : 341445 (timeout) S 341442 341445 339213 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61780496 8867840 230 134679101440 93982454820864 93982454855880 140725666610176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93982456953296 93982456955428 93982483660800 140725666616345 140725666616477 140725666616477 140725666623463 0
/proc/341445/statm: 2165 230 205 9 0 87 0
[pid=341446] ppid=341445 vsize=62384 memory=43836 CPUtime=0.28 cores=1,3
/proc/341446/stat : 341446 (CASHWMaxSAT-Dis) R 341445 341445 339213 0 -1 4194304 10327 0 0 0 27 1 0 0 20 0 1 0 61780496 63881216 10959 134679101440 4194304 14093885 140720555967152 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43835392 140720555975711 140720555975830 140720555975830 140720555982816 0
/proc/341446/statm: 15596 10959 750 2417 0 12698 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 80976 KiB
Current children cumulated memory: 47388 KiB

[startup+0.700249 s]
/proc/loadavg: 4.11 4.36 4.16 5/267 341459
/proc/meminfo: memFree=125172480/131524600 swapFree=131071996/131071996
[pid=341442] ppid=341439 vsize=9932 memory=2632 CPUtime=0 cores=1,3
/proc/341442/stat : 341442 (Hybrid-LSMabSP+) S 341439 341442 339213 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 61780496 10170368 658 134679101440 94088507748352 94088508827672 140736403463264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94088510926128 94088510973316 94088531976192 140736403465166 140736403465325 140736403465325 140736403472340 0
/proc/341442/statm: 2483 658 578 264 0 134 0
[pid=341445] ppid=341442 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/341445/stat : 341445 (timeout) S 341442 341445 339213 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61780496 8867840 230 134679101440 93982454820864 93982454855880 140725666610176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93982456953296 93982456955428 93982483660800 140725666616345 140725666616477 140725666616477 140725666623463 0
/proc/341445/statm: 2165 230 205 9 0 87 0
[pid=341446] ppid=341445 vsize=121048 memory=99176 CPUtime=0.67 cores=1,3
/proc/341446/stat : 341446 (CASHWMaxSAT-Dis) R 341445 341445 339213 0 -1 4194304 22623 0 0 0 63 4 0 0 20 0 1 0 61780496 123953152 24794 134679101440 4194304 14093885 140720555967152 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43835392 140720555975711 140720555975830 140720555975830 140720555982816 0
/proc/341446/statm: 30262 24794 782 2417 0 27364 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 139640 KiB
Current children cumulated memory: 102728 KiB

[startup+1.50023 s]
/proc/loadavg: 4.11 4.36 4.16 5/262 341472
/proc/meminfo: memFree=125051636/131524600 swapFree=131071996/131071996
[pid=341442] ppid=341439 vsize=9932 memory=2632 CPUtime=0 cores=1,3
/proc/341442/stat : 341442 (Hybrid-LSMabSP+) S 341439 341442 339213 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 61780496 10170368 658 134679101440 94088507748352 94088508827672 140736403463264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94088510926128 94088510973316 94088531976192 140736403465166 140736403465325 140736403465325 140736403472340 0
/proc/341442/statm: 2483 658 578 264 0 134 0
[pid=341445] ppid=341442 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/341445/stat : 341445 (timeout) S 341442 341445 339213 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61780496 8867840 230 134679101440 93982454820864 93982454855880 140725666610176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93982456953296 93982456955428 93982483660800 140725666616345 140725666616477 140725666616477 140725666623463 0
/proc/341445/statm: 2165 230 205 9 0 87 0
[pid=341446] ppid=341445 vsize=319936 memory=287948 CPUtime=1.47 cores=1,3
/proc/341446/stat : 341446 (CASHWMaxSAT-Dis) R 341445 341445 339213 0 -1 4194304 37624 0 0 0 138 9 0 0 20 0 1 0 61780496 327614464 71987 134679101440 4194304 14093885 140720555967152 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43835392 140720555975711 140720555975830 140720555975830 140720555982816 0
/proc/341446/statm: 79984 71987 782 2417 0 77086 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 338528 KiB
Current children cumulated memory: 291500 KiB

[startup+3.10567 s]
/proc/loadavg: 4.11 4.36 4.16 5/267 341517
/proc/meminfo: memFree=124694780/131524600 swapFree=131071996/131071996
[pid=341442] ppid=341439 vsize=9932 memory=2632 CPUtime=0 cores=1,3
/proc/341442/stat : 341442 (Hybrid-LSMabSP+) S 341439 341442 339213 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 61780496 10170368 658 134679101440 94088507748352 94088508827672 140736403463264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94088510926128 94088510973316 94088531976192 140736403465166 140736403465325 140736403465325 140736403472340 0
/proc/341442/statm: 2483 658 578 264 0 134 0
[pid=341445] ppid=341442 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/341445/stat : 341445 (timeout) S 341442 341445 339213 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61780496 8867840 230 134679101440 93982454820864 93982454855880 140725666610176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93982456953296 93982456955428 93982483660800 140725666616345 140725666616477 140725666616477 140725666623463 0
/proc/341445/statm: 2165 230 205 9 0 87 0
[pid=341446] ppid=341445 vsize=286252 memory=240372 CPUtime=3.08 cores=1,3
/proc/341446/stat : 341446 (CASHWMaxSAT-Dis) R 341445 341445 339213 0 -1 4194304 38386 0 0 0 298 10 0 0 20 0 1 0 61780496 293122048 60093 134679101440 4194304 14093885 140720555967152 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43835392 140720555975711 140720555975830 140720555975830 140720555982816 0
/proc/341446/statm: 71563 60093 782 2417 0 68665 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 304844 KiB
Current children cumulated memory: 243924 KiB

[startup+6.30029 s]
/proc/loadavg: 4.10 4.35 4.16 7/267 341517
/proc/meminfo: memFree=124392380/131524600 swapFree=131071996/131071996
[pid=341442] ppid=341439 vsize=9932 memory=2632 CPUtime=0 cores=1,3
/proc/341442/stat : 341442 (Hybrid-LSMabSP+) S 341439 341442 339213 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 61780496 10170368 658 134679101440 94088507748352 94088508827672 140736403463264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94088510926128 94088510973316 94088531976192 140736403465166 140736403465325 140736403465325 140736403472340 0
/proc/341442/statm: 2483 658 578 264 0 134 0
[pid=341445] ppid=341442 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/341445/stat : 341445 (timeout) S 341442 341445 339213 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61780496 8867840 230 134679101440 93982454820864 93982454855880 140725666610176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93982456953296 93982456955428 93982483660800 140725666616345 140725666616477 140725666616477 140725666623463 0
/proc/341445/statm: 2165 230 205 9 0 87 0
[pid=341446] ppid=341445 vsize=286252 memory=240372 CPUtime=6.26 cores=1,3
/proc/341446/stat : 341446 (CASHWMaxSAT-Dis) R 341445 341445 339213 0 -1 4194304 38402 0 0 0 616 10 0 0 20 0 1 0 61780496 293122048 60093 134679101440 4194304 14093885 140720555967152 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43835392 140720555975711 140720555975830 140720555975830 140720555982816 0
/proc/341446/statm: 71563 60093 782 2417 0 68665 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 304844 KiB
Current children cumulated memory: 243924 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.35 4.16 5/267 341519
/proc/meminfo: memFree=123292668/131524600 swapFree=131071996/131071996
[pid=341442] ppid=341439 vsize=9932 memory=2632 CPUtime=0 cores=1,3
/proc/341442/stat : 341442 (Hybrid-LSMabSP+) S 341439 341442 339213 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 61780496 10170368 658 134679101440 94088507748352 94088508827672 140736403463264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94088510926128 94088510973316 94088531976192 140736403465166 140736403465325 140736403465325 140736403472340 0
/proc/341442/statm: 2483 658 578 264 0 134 0
[pid=341445] ppid=341442 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/341445/stat : 341445 (timeout) S 341442 341445 339213 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61780496 8867840 230 134679101440 93982454820864 93982454855880 140725666610176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93982456953296 93982456955428 93982483660800 140725666616345 140725666616477 140725666616477 140725666623463 0
/proc/341445/statm: 2165 230 205 9 0 87 0
[pid=341446] ppid=341445 vsize=297260 memory=251508 CPUtime=12.64 cores=1,3
/proc/341446/stat : 341446 (CASHWMaxSAT-Dis) R 341445 341445 339213 0 -1 4194304 38637 0 0 0 1254 10 0 0 20 0 1 0 61780496 304394240 62877 134679101440 4194304 14093885 140720555967152 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43835392 140720555975711 140720555975830 140720555975830 140720555982816 0
/proc/341446/statm: 74315 62877 814 2417 0 71417 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 315852 KiB
Current children cumulated memory: 255060 KiB

[startup+25.5003 s]
/proc/loadavg: 4.22 4.36 4.17 5/267 341520
/proc/meminfo: memFree=120985940/131524600 swapFree=131071996/131071996
[pid=341442] ppid=341439 vsize=9932 memory=2632 CPUtime=0 cores=1,3
/proc/341442/stat : 341442 (Hybrid-LSMabSP+) S 341439 341442 339213 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 61780496 10170368 658 134679101440 94088507748352 94088508827672 140736403463264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94088510926128 94088510973316 94088531976192 140736403465166 140736403465325 140736403465325 140736403472340 0
/proc/341442/statm: 2483 658 578 264 0 134 0
[pid=341445] ppid=341442 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/341445/stat : 341445 (timeout) S 341442 341445 339213 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61780496 8867840 230 134679101440 93982454820864 93982454855880 140725666610176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93982456953296 93982456955428 93982483660800 140725666616345 140725666616477 140725666616477 140725666623463 0
/proc/341445/statm: 2165 230 205 9 0 87 0
[pid=341446] ppid=341445 vsize=297260 memory=251508 CPUtime=25.4 cores=1,3
/proc/341446/stat : 341446 (CASHWMaxSAT-Dis) R 341445 341445 339213 0 -1 4194304 38679 0 0 0 2530 10 0 0 20 0 1 0 61780496 304394240 62877 134679101440 4194304 14093885 140720555967152 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43835392 140720555975711 140720555975830 140720555975830 140720555982816 0
/proc/341446/statm: 74315 62877 814 2417 0 71417 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 315852 KiB
Current children cumulated memory: 255060 KiB

[startup+51.1059 s]
/proc/loadavg: 4.63 4.45 4.20 7/267 341525
/proc/meminfo: memFree=120010976/131524600 swapFree=131071996/131071996
[pid=341442] ppid=341439 vsize=9932 memory=2632 CPUtime=0 cores=1,3
/proc/341442/stat : 341442 (Hybrid-LSMabSP+) S 341439 341442 339213 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 61780496 10170368 658 134679101440 94088507748352 94088508827672 140736403463264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94088510926128 94088510973316 94088531976192 140736403465166 140736403465325 140736403465325 140736403472340 0
/proc/341442/statm: 2483 658 578 264 0 134 0
[pid=341445] ppid=341442 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/341445/stat : 341445 (timeout) S 341442 341445 339213 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61780496 8867840 230 134679101440 93982454820864 93982454855880 140725666610176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93982456953296 93982456955428 93982483660800 140725666616345 140725666616477 140725666616477 140725666623463 0
/proc/341445/statm: 2165 230 205 9 0 87 0
[pid=341446] ppid=341445 vsize=316116 memory=270380 CPUtime=50.93 cores=1,3
/proc/341446/stat : 341446 (CASHWMaxSAT-Dis) R 341445 341445 339213 0 -1 4194304 39942 0 0 0 5082 11 0 0 20 0 1 0 61780496 323702784 67595 134679101440 4194304 14093885 140720555967152 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43835392 140720555975711 140720555975830 140720555975830 140720555982816 0
/proc/341446/statm: 79029 67595 814 2417 0 76131 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 334708 KiB
Current children cumulated memory: 273932 KiB

[startup+102.3 s]
/proc/loadavg: 4.35 4.39 4.19 7/267 341536
/proc/meminfo: memFree=120460452/131524600 swapFree=131071996/131071996
[pid=341442] ppid=341439 vsize=9932 memory=2632 CPUtime=0 cores=1,3
/proc/341442/stat : 341442 (Hybrid-LSMabSP+) S 341439 341442 339213 0 -1 4194304 235 104 0 0 0 0 0 0 20 0 1 0 61780496 10170368 658 134679101440 94088507748352 94088508827672 140736403463264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94088510926128 94088510973316 94088531976192 140736403465166 140736403465325 140736403465325 140736403472340 0

################
# More data... #
################

/proc/342425/statm: 132209 125567 2849 2753 0 128862 0
Current children cumulated CPU time: 3393.19 s
Current children cumulated vsize: 547428 KiB
Current children cumulated memory: 505964 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/265 343350
/proc/meminfo: memFree=124646804/131524600 swapFree=131071996/131071996
[pid=341442] ppid=341439 vsize=9932 memory=2672 CPUtime=1792.48 cores=1,3
/proc/341442/stat : 341442 (Hybrid-LSMabSP+) S 341439 341442 339213 0 -1 4194304 263 322554 0 0 0 0 178640 608 20 0 1 0 61780496 10170368 668 134679101440 94088507748352 94088508827672 140736403463264 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94088510926128 94088510973316 94088531976192 140736403465166 140736403465325 140736403465325 140736403472340 0
/proc/341442/statm: 2483 668 578 264 0 134 0
[pid=342424] ppid=341442 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/342424/stat : 342424 (timeout) S 341442 342424 339213 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61960297 8867840 256 134679101440 94339222974464 94339223009480 140727136260992 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94339225106896 94339225109028 94339257827328 140727136265257 140727136265373 140727136265373 140727136272359 0
/proc/342424/statm: 2165 256 232 9 0 87 0
[pid=342425] ppid=342424 vsize=528836 memory=502268 CPUtime=1660.6 cores=1,3
/proc/342425/stat : 342425 (LS-MabSP) R 342424 342424 339213 0 -1 4194304 116117 0 0 0 164974 1086 0 0 20 0 1 0 61960297 541528064 125567 134679101440 4194304 15467897 140729880075424 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41795584 140729880077372 140729880077475 140729880077475 140729880084461 0
/proc/342425/statm: 132209 125567 2849 2753 0 128862 0
Current children cumulated CPU time: 3453.08 s
Current children cumulated vsize: 547428 KiB
Current children cumulated memory: 505964 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/265 343360
/proc/meminfo: memFree=124645936/131524600 swapFree=131071996/131071996
[pid=341442] ppid=341439 vsize=9932 memory=2672 CPUtime=1792.48 cores=1,3
/proc/341442/stat : 341442 (Hybrid-LSMabSP+) S 341439 341442 339213 0 -1 4194304 263 322554 0 0 0 0 178640 608 20 0 1 0 61780496 10170368 668 134679101440 94088507748352 94088508827672 140736403463264 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94088510926128 94088510973316 94088531976192 140736403465166 140736403465325 140736403465325 140736403472340 0
/proc/341442/statm: 2483 668 578 264 0 134 0
[pid=342424] ppid=341442 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/342424/stat : 342424 (timeout) S 341442 342424 339213 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61960297 8867840 256 134679101440 94339222974464 94339223009480 140727136260992 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94339225106896 94339225109028 94339257827328 140727136265257 140727136265373 140727136265373 140727136272359 0
/proc/342424/statm: 2165 256 232 9 0 87 0
[pid=342425] ppid=342424 vsize=528836 memory=502268 CPUtime=1720.48 cores=1,3
/proc/342425/stat : 342425 (LS-MabSP) R 342424 342424 339213 0 -1 4194304 116137 0 0 0 170877 1171 0 0 20 0 1 0 61960297 541528064 125567 134679101440 4194304 15467897 140729880075424 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41795584 140729880077372 140729880077475 140729880077475 140729880084461 0
/proc/342425/statm: 132209 125567 2849 2753 0 128862 0
Current children cumulated CPU time: 3512.96 s
Current children cumulated vsize: 547428 KiB
Current children cumulated memory: 505964 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.11 5/265 343370
/proc/meminfo: memFree=124645236/131524600 swapFree=131071996/131071996
[pid=341442] ppid=341439 vsize=9932 memory=2672 CPUtime=1792.48 cores=1,3
/proc/341442/stat : 341442 (Hybrid-LSMabSP+) S 341439 341442 339213 0 -1 4194304 263 322554 0 0 0 0 178640 608 20 0 1 0 61780496 10170368 668 134679101440 94088507748352 94088508827672 140736403463264 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94088510926128 94088510973316 94088531976192 140736403465166 140736403465325 140736403465325 140736403472340 0
/proc/341442/statm: 2483 668 578 264 0 134 0
[pid=342424] ppid=341442 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/342424/stat : 342424 (timeout) S 341442 342424 339213 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61960297 8867840 256 134679101440 94339222974464 94339223009480 140727136260992 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94339225106896 94339225109028 94339257827328 140727136265257 140727136265373 140727136265373 140727136272359 0
/proc/342424/statm: 2165 256 232 9 0 87 0
[pid=342425] ppid=342424 vsize=528836 memory=502268 CPUtime=1780.37 cores=1,3
/proc/342425/stat : 342425 (LS-MabSP) R 342424 342424 339213 0 -1 4194304 116157 0 0 0 176776 1261 0 0 20 0 1 0 61960297 541528064 125567 134679101440 4194304 15467897 140729880075424 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41795584 140729880077372 140729880077475 140729880077475 140729880084461 0
/proc/342425/statm: 132209 125567 2849 2753 0 128862 0
Current children cumulated CPU time: 3572.85 s
Current children cumulated vsize: 547428 KiB
Current children cumulated memory: 505964 KiB

[startup+3596.04 s]
# the end of solver process 341442 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3567.68 s, system=18.9095 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3584 s]*
/proc/loadavg: 4.16 4.12 4.11 5/265 343370
/proc/meminfo: memFree=124645196/131524600 swapFree=131071996/131071996
[pid=341442] ppid=341439 vsize=9932 memory=2672 CPUtime=1792.48 cores=1,3
/proc/341442/stat : 341442 (Hybrid-LSMabSP+) S 341439 341442 339213 0 -1 4194304 263 322554 0 0 0 0 178640 608 20 0 1 0 61780496 10170368 668 134679101440 94088507748352 94088508827672 140736403463264 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94088510926128 94088510973316 94088531976192 140736403465166 140736403465325 140736403465325 140736403472340 0
/proc/341442/statm: 2483 668 578 264 0 134 0
[pid=342424] ppid=341442 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/342424/stat : 342424 (timeout) S 341442 342424 339213 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61960297 8867840 256 134679101440 94339222974464 94339223009480 140727136260992 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94339225106896 94339225109028 94339257827328 140727136265257 140727136265373 140727136265373 140727136272359 0
/proc/342424/statm: 2165 256 232 9 0 87 0
[pid=342425] ppid=342424 vsize=528836 memory=502268 CPUtime=1782.06 cores=1,3
/proc/342425/stat : 342425 (LS-MabSP) R 342424 342424 339213 0 -1 4194304 116157 0 0 0 176943 1263 0 0 20 0 1 0 61960297 541528064 125567 134679101440 4194304 15467897 140729880075424 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41795584 140729880077372 140729880077475 140729880077475 140729880084461 0
/proc/342425/statm: 132209 125567 2849 2753 0 128862 0
Current children cumulated CPU time: 3574.54 s
Current children cumulated vsize: 547428 KiB
Current children cumulated memory: 505964 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.10 5/265 343371
/proc/meminfo: memFree=124644932/131524600 swapFree=131071996/131071996
[pid=341442] ppid=341439 vsize=9932 memory=2672 CPUtime=1792.48 cores=1,3
/proc/341442/stat : 341442 (Hybrid-LSMabSP+) S 341439 341442 339213 0 -1 4194304 263 322554 0 0 0 0 178640 608 20 0 1 0 61780496 10170368 668 134679101440 94088507748352 94088508827672 140736403463264 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94088510926128 94088510973316 94088531976192 140736403465166 140736403465325 140736403465325 140736403472340 0
/proc/341442/statm: 2483 668 578 264 0 134 0
[pid=342424] ppid=341442 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/342424/stat : 342424 (timeout) S 341442 342424 339213 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61960297 8867840 256 134679101440 94339222974464 94339223009480 140727136260992 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94339225106896 94339225109028 94339257827328 140727136265257 140727136265373 140727136265373 140727136272359 0
/proc/342424/statm: 2165 256 232 9 0 87 0
[pid=342425] ppid=342424 vsize=528836 memory=502268 CPUtime=1788.44 cores=1,3
/proc/342425/stat : 342425 (LS-MabSP) R 342424 342424 339213 0 -1 4194304 116157 0 0 0 177573 1271 0 0 20 0 1 0 61960297 541528064 125567 134679101440 4194304 15467897 140729880075424 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41795584 140729880077372 140729880077475 140729880077475 140729880084461 0
/proc/342425/statm: 132209 125567 2849 2753 0 128862 0
Current children cumulated CPU time: 3580.92 s
Current children cumulated vsize: 547428 KiB
Current children cumulated memory: 505964 KiB

[startup+3593.6 s]
/proc/loadavg: 4.13 4.12 4.10 7/265 343371
/proc/meminfo: memFree=124644876/131524600 swapFree=131071996/131071996
[pid=341442] ppid=341439 vsize=9932 memory=2672 CPUtime=1792.48 cores=1,3
/proc/341442/stat : 341442 (Hybrid-LSMabSP+) S 341439 341442 339213 0 -1 4194304 263 322554 0 0 0 0 178640 608 20 0 1 0 61780496 10170368 668 134679101440 94088507748352 94088508827672 140736403463264 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94088510926128 94088510973316 94088531976192 140736403465166 140736403465325 140736403465325 140736403472340 0
/proc/341442/statm: 2483 668 578 264 0 134 0
[pid=342424] ppid=341442 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/342424/stat : 342424 (timeout) S 341442 342424 339213 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61960297 8867840 256 134679101440 94339222974464 94339223009480 140727136260992 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94339225106896 94339225109028 94339257827328 140727136265257 140727136265373 140727136265373 140727136272359 0
/proc/342424/statm: 2165 256 232 9 0 87 0
[pid=342425] ppid=342424 vsize=528836 memory=502268 CPUtime=1791.64 cores=1,3
/proc/342425/stat : 342425 (LS-MabSP) R 342424 342424 339213 0 -1 4194304 116157 0 0 0 177887 1277 0 0 20 0 1 0 61960297 541528064 125567 134679101440 4194304 15467897 140729880075424 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41795584 140729880077372 140729880077475 140729880077475 140729880084461 0
/proc/342425/statm: 132209 125567 2849 2753 0 128862 0
Current children cumulated CPU time: 3584.12 s
Current children cumulated vsize: 547428 KiB
Current children cumulated memory: 505964 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.11 4.10 5/265 343371
/proc/meminfo: memFree=124644940/131524600 swapFree=131071996/131071996
[pid=341442] ppid=341439 vsize=9932 memory=2672 CPUtime=1792.48 cores=1,3
/proc/341442/stat : 341442 (Hybrid-LSMabSP+) S 341439 341442 339213 0 -1 4194304 263 322554 0 0 0 0 178640 608 20 0 1 0 61780496 10170368 668 134679101440 94088507748352 94088508827672 140736403463264 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94088510926128 94088510973316 94088531976192 140736403465166 140736403465325 140736403465325 140736403472340 0
/proc/341442/statm: 2483 668 578 264 0 134 0
[pid=342424] ppid=341442 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/342424/stat : 342424 (timeout) S 341442 342424 339213 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61960297 8867840 256 134679101440 94339222974464 94339223009480 140727136260992 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94339225106896 94339225109028 94339257827328 140727136265257 140727136265373 140727136265373 140727136272359 0
/proc/342424/statm: 2165 256 232 9 0 87 0
[pid=342425] ppid=342424 vsize=528836 memory=502268 CPUtime=1793.24 cores=1,3
/proc/342425/stat : 342425 (LS-MabSP) R 342424 342424 339213 0 -1 4194304 116157 0 0 0 178045 1279 0 0 20 0 1 0 61960297 541528064 125567 134679101440 4194304 15467897 140729880075424 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41795584 140729880077372 140729880077475 140729880077475 140729880084461 0
/proc/342425/statm: 132209 125567 2849 2753 0 128862 0
Current children cumulated CPU time: 3585.72 s
Current children cumulated vsize: 547428 KiB
Current children cumulated memory: 505964 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.11 4.10 5/265 343371
/proc/meminfo: memFree=124644940/131524600 swapFree=131071996/131071996
[pid=341442] ppid=341439 vsize=9932 memory=2672 CPUtime=1792.48 cores=1,3
/proc/341442/stat : 341442 (Hybrid-LSMabSP+) S 341439 341442 339213 0 -1 4194304 263 322554 0 0 0 0 178640 608 20 0 1 0 61780496 10170368 668 134679101440 94088507748352 94088508827672 140736403463264 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94088510926128 94088510973316 94088531976192 140736403465166 140736403465325 140736403465325 140736403472340 0
/proc/341442/statm: 2483 668 578 264 0 134 0
[pid=342424] ppid=341442 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/342424/stat : 342424 (timeout) S 341442 342424 339213 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61960297 8867840 256 134679101440 94339222974464 94339223009480 140727136260992 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94339225106896 94339225109028 94339257827328 140727136265257 140727136265373 140727136265373 140727136272359 0
/proc/342424/statm: 2165 256 232 9 0 87 0
[pid=342425] ppid=342424 vsize=528836 memory=502268 CPUtime=1793.63 cores=1,3
/proc/342425/stat : 342425 (LS-MabSP) R 342424 342424 339213 0 -1 4194304 116157 0 0 0 178084 1279 0 0 20 0 1 0 61960297 541528064 125567 134679101440 4194304 15467897 140729880075424 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41795584 140729880077372 140729880077475 140729880077475 140729880084461 0
/proc/342425/statm: 132209 125567 2849 2753 0 128862 0
Current children cumulated CPU time: 3586.11 s
Current children cumulated vsize: 547428 KiB
Current children cumulated memory: 505964 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.11 4.10 6/265 343502
/proc/meminfo: memFree=124939164/131524600 swapFree=131071996/131071996
[pid=341442] ppid=341439 vsize=9932 memory=2672 CPUtime=1792.48 cores=1,3
/proc/341442/stat : 341442 (Hybrid-LSMabSP+) S 341439 341442 339213 0 -1 4194304 263 322554 0 0 0 0 178640 608 20 0 1 0 61780496 10170368 668 134679101440 94088507748352 94088508827672 140736403463264 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94088510926128 94088510973316 94088531976192 140736403465166 140736403465325 140736403465325 140736403472340 0
/proc/341442/statm: 2483 668 578 264 0 134 0
[pid=342424] ppid=341442 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/342424/stat : 342424 (timeout) S 341442 342424 339213 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61960297 8867840 256 134679101440 94339222974464 94339223009480 140727136260992 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94339225106896 94339225109028 94339257827328 140727136265257 140727136265373 140727136265373 140727136272359 0
/proc/342424/statm: 2165 256 232 9 0 87 0
[pid=342425] ppid=342424 vsize=528836 memory=502268 CPUtime=1794.04 cores=1,3
/proc/342425/stat : 342425 (LS-MabSP) R 342424 342424 339213 0 -1 4194304 116157 0 0 0 178124 1280 0 0 20 0 1 0 61960297 541528064 125567 134679101440 4194304 15467897 140729880075424 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 41795584 140729880077372 140729880077475 140729880077475 140729880084461 0
/proc/342425/statm: 132209 125567 2849 2753 0 128862 0
Current children cumulated CPU time: 3586.52 s
Current children cumulated vsize: 547428 KiB
Current children cumulated memory: 505964 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3586.59
CPU user time (s): 3567.68
CPU system time (s): 18.9095
CPU usage (%): 99.7371
Max. virtual memory (cumulated for all children) (KiB): 706380
Max. memory (cumulated for all children) (KiB): 614116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.68
system time used= 18.9095
maximum resident set size= 610424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 442057
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 90
involuntary context switches= 3953


# summary of solver processes directly reported to runsolver:
#   pid: 341442
#   total CPU time (s): 3586.59
#   total CPU user time (s): 3567.68
#   total CPU system time (s): 18.9095

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.37941 second user time and 17.3706 second system time

The end