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 (60611 MiB free)
  memory of node 1: 64473 MiB (62656 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437900-1722963591/watcher-4437900-1722963591 -o /tmp/evaluation-result-4437900-1722963591/solver-4437900-1722963591 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722959085-338182 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437900-1722963591.opb 3600 HOME 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=341219, runsolver pid=341216
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 4.15 4.20 4.18 5/259 341223
/proc/meminfo: memFree=126208828/131524600 swapFree=131071996/131071996
[pid=341219] ppid=341216 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/341219/stat : 341219 (Hybrid-CASHWMax) S 341216 341219 338172 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 62959344 10170368 671 134679101440 94331927457792 94331928537112 140727636498736 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94331930635568 94331930682756 94331943329792 140727636501454 140727636501613 140727636501613 140727636508628 0
/proc/341219/statm: 2483 671 592 264 0 134 0
[pid=341222] ppid=341219 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/341222/stat : 341222 (timeout) S 341219 341222 338172 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62959345 8867840 258 134679101440 94005775462400 94005775497416 140731500394064 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94005777594832 94005777596964 94005806587904 140731500397566 140731500397725 140731500397725 140731500404711 0
/proc/341222/statm: 2165 258 234 9 0 87 0
[pid=341223] ppid=341222 vsize=34808 memory=20480 CPUtime=0.09 cores=0,2
/proc/341223/stat : 341223 (CASHWMaxSAT-Dis) R 341222 341222 338172 0 -1 4194304 4664 0 0 0 9 0 0 0 20 0 1 0 62959345 35643392 5120 134679101440 4194304 15356333 140731279834784 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 43462656 140731279836163 140731279836309 140731279836309 140731279843295 0
/proc/341223/statm: 8702 5120 1034 2726 0 5450 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53400 KiB
Current children cumulated memory: 24196 KiB

[startup+0.205915 s]*
/proc/loadavg: 4.15 4.20 4.18 5/259 341223
/proc/meminfo: memFree=126198552/131524600 swapFree=131071996/131071996
[pid=341219] ppid=341216 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/341219/stat : 341219 (Hybrid-CASHWMax) S 341216 341219 338172 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 62959344 10170368 671 134679101440 94331927457792 94331928537112 140727636498736 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94331930635568 94331930682756 94331943329792 140727636501454 140727636501613 140727636501613 140727636508628 0
/proc/341219/statm: 2483 671 592 264 0 134 0
[pid=341222] ppid=341219 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/341222/stat : 341222 (timeout) S 341219 341222 338172 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62959345 8867840 258 134679101440 94005775462400 94005775497416 140731500394064 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94005777594832 94005777596964 94005806587904 140731500397566 140731500397725 140731500397725 140731500404711 0
/proc/341222/statm: 2165 258 234 9 0 87 0
[pid=341223] ppid=341222 vsize=45444 memory=31040 CPUtime=0.2 cores=0,2
/proc/341223/stat : 341223 (CASHWMaxSAT-Dis) R 341222 341222 338172 0 -1 4194304 7347 0 0 0 20 0 0 0 20 0 1 0 62959345 46534656 7760 134679101440 4194304 15356333 140731279834784 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 43462656 140731279836163 140731279836309 140731279836309 140731279843295 0
/proc/341223/statm: 11361 7760 1034 2726 0 8109 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 64036 KiB
Current children cumulated memory: 34756 KiB

[startup+0.305736 s]*
/proc/loadavg: 4.15 4.20 4.18 5/259 341223
/proc/meminfo: memFree=126185068/131524600 swapFree=131071996/131071996
[pid=341219] ppid=341216 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/341219/stat : 341219 (Hybrid-CASHWMax) S 341216 341219 338172 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 62959344 10170368 671 134679101440 94331927457792 94331928537112 140727636498736 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94331930635568 94331930682756 94331943329792 140727636501454 140727636501613 140727636501613 140727636508628 0
/proc/341219/statm: 2483 671 592 264 0 134 0
[pid=341222] ppid=341219 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/341222/stat : 341222 (timeout) S 341219 341222 338172 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62959345 8867840 258 134679101440 94005775462400 94005775497416 140731500394064 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94005777594832 94005777596964 94005806587904 140731500397566 140731500397725 140731500397725 140731500404711 0
/proc/341222/statm: 2165 258 234 9 0 87 0
[pid=341223] ppid=341222 vsize=58508 memory=44028 CPUtime=0.3 cores=0,2
/proc/341223/stat : 341223 (CASHWMaxSAT-Dis) R 341222 341222 338172 0 -1 4194304 10028 0 0 0 29 1 0 0 20 0 1 0 62959345 59912192 11007 134679101440 4194304 15356333 140731279834784 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 43462656 140731279836163 140731279836309 140731279836309 140731279843295 0
/proc/341223/statm: 14627 11007 1066 2726 0 11375 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 77100 KiB
Current children cumulated memory: 47744 KiB

[startup+0.7003 s]
/proc/loadavg: 4.15 4.20 4.18 5/259 341223
/proc/meminfo: memFree=126159124/131524600 swapFree=131071996/131071996
[pid=341219] ppid=341216 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/341219/stat : 341219 (Hybrid-CASHWMax) S 341216 341219 338172 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 62959344 10170368 671 134679101440 94331927457792 94331928537112 140727636498736 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94331930635568 94331930682756 94331943329792 140727636501454 140727636501613 140727636501613 140727636508628 0
/proc/341219/statm: 2483 671 592 264 0 134 0
[pid=341222] ppid=341219 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/341222/stat : 341222 (timeout) S 341219 341222 338172 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62959345 8867840 258 134679101440 94005775462400 94005775497416 140731500394064 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94005777594832 94005777596964 94005806587904 140731500397566 140731500397725 140731500397725 140731500404711 0
/proc/341222/statm: 2165 258 234 9 0 87 0
[pid=341223] ppid=341222 vsize=150336 memory=129232 CPUtime=0.68 cores=0,2
/proc/341223/stat : 341223 (CASHWMaxSAT-Dis) R 341222 341222 338172 0 -1 4194304 24617 0 0 0 65 3 0 0 20 0 1 0 62959345 153944064 32308 134679101440 4194304 15356333 140731279834784 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 43462656 140731279836163 140731279836309 140731279836309 140731279843295 0
/proc/341223/statm: 37584 32308 1066 2726 0 34332 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 168928 KiB
Current children cumulated memory: 132948 KiB

[startup+1.50025 s]
/proc/loadavg: 4.15 4.20 4.18 5/257 341229
/proc/meminfo: memFree=126066880/131524600 swapFree=131071996/131071996
[pid=341219] ppid=341216 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/341219/stat : 341219 (Hybrid-CASHWMax) S 341216 341219 338172 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 62959344 10170368 671 134679101440 94331927457792 94331928537112 140727636498736 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94331930635568 94331930682756 94331943329792 140727636501454 140727636501613 140727636501613 140727636508628 0
/proc/341219/statm: 2483 671 592 264 0 134 0
[pid=341222] ppid=341219 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/341222/stat : 341222 (timeout) S 341219 341222 338172 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62959345 8867840 258 134679101440 94005775462400 94005775497416 140731500394064 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94005777594832 94005777596964 94005806587904 140731500397566 140731500397725 140731500397725 140731500404711 0
/proc/341222/statm: 2165 258 234 9 0 87 0
[pid=341223] ppid=341222 vsize=198664 memory=171724 CPUtime=1.48 cores=0,2
/proc/341223/stat : 341223 (CASHWMaxSAT-Dis) R 341222 341222 338172 0 -1 4194304 33221 0 0 0 143 5 0 0 20 0 1 0 62959345 203431936 42931 134679101440 4194304 15356333 140731279834784 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 43462656 140731279836163 140731279836309 140731279836309 140731279843295 0
/proc/341223/statm: 49666 42931 1146 2726 0 46414 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 217256 KiB
Current children cumulated memory: 175440 KiB

[startup+3.10595 s]
/proc/loadavg: 4.14 4.19 4.18 5/263 341258
/proc/meminfo: memFree=125868648/131524600 swapFree=131071996/131071996
[pid=341219] ppid=341216 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/341219/stat : 341219 (Hybrid-CASHWMax) S 341216 341219 338172 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 62959344 10170368 671 134679101440 94331927457792 94331928537112 140727636498736 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94331930635568 94331930682756 94331943329792 140727636501454 140727636501613 140727636501613 140727636508628 0
/proc/341219/statm: 2483 671 592 264 0 134 0
[pid=341222] ppid=341219 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/341222/stat : 341222 (timeout) S 341219 341222 338172 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62959345 8867840 258 134679101440 94005775462400 94005775497416 140731500394064 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94005777594832 94005777596964 94005806587904 140731500397566 140731500397725 140731500397725 140731500404711 0
/proc/341222/statm: 2165 258 234 9 0 87 0
[pid=341223] ppid=341222 vsize=217492 memory=191132 CPUtime=3.08 cores=0,2
/proc/341223/stat : 341223 (CASHWMaxSAT-Dis) R 341222 341222 338172 0 -1 4194304 33460 0 0 0 303 5 0 0 20 0 1 0 62959345 222711808 47783 134679101440 4194304 15356333 140731279834784 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 43462656 140731279836163 140731279836309 140731279836309 140731279843295 0
/proc/341223/statm: 54373 47783 1146 2726 0 51121 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 236084 KiB
Current children cumulated memory: 194848 KiB

[startup+6.30029 s]
/proc/loadavg: 4.14 4.19 4.18 5/267 341293
/proc/meminfo: memFree=125254064/131524600 swapFree=131071996/131071996
[pid=341219] ppid=341216 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/341219/stat : 341219 (Hybrid-CASHWMax) S 341216 341219 338172 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 62959344 10170368 671 134679101440 94331927457792 94331928537112 140727636498736 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94331930635568 94331930682756 94331943329792 140727636501454 140727636501613 140727636501613 140727636508628 0
/proc/341219/statm: 2483 671 592 264 0 134 0
[pid=341222] ppid=341219 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/341222/stat : 341222 (timeout) S 341219 341222 338172 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62959345 8867840 258 134679101440 94005775462400 94005775497416 140731500394064 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94005777594832 94005777596964 94005806587904 140731500397566 140731500397725 140731500397725 140731500404711 0
/proc/341222/statm: 2165 258 234 9 0 87 0
[pid=341223] ppid=341222 vsize=254488 memory=228180 CPUtime=6.27 cores=0,2
/proc/341223/stat : 341223 (CASHWMaxSAT-Dis) R 341222 341222 338172 0 -1 4194304 39653 0 0 0 619 8 0 0 20 0 1 0 62959345 260595712 57045 134679101440 4194304 15356333 140731279834784 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 43462656 140731279836163 140731279836309 140731279836309 140731279843295 0
/proc/341223/statm: 63622 57045 1146 2726 0 60370 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 273080 KiB
Current children cumulated memory: 231896 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.19 4.18 5/267 341345
/proc/meminfo: memFree=124181376/131524600 swapFree=131071996/131071996
[pid=341219] ppid=341216 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/341219/stat : 341219 (Hybrid-CASHWMax) S 341216 341219 338172 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 62959344 10170368 671 134679101440 94331927457792 94331928537112 140727636498736 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94331930635568 94331930682756 94331943329792 140727636501454 140727636501613 140727636501613 140727636508628 0
/proc/341219/statm: 2483 671 592 264 0 134 0
[pid=341222] ppid=341219 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/341222/stat : 341222 (timeout) S 341219 341222 338172 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62959345 8867840 258 134679101440 94005775462400 94005775497416 140731500394064 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94005777594832 94005777596964 94005806587904 140731500397566 140731500397725 140731500397725 140731500404711 0
/proc/341222/statm: 2165 258 234 9 0 87 0
[pid=341223] ppid=341222 vsize=244352 memory=220464 CPUtime=12.64 cores=0,2
/proc/341223/stat : 341223 (CASHWMaxSAT-Dis) R 341222 341222 338172 0 -1 4194304 40944 0 0 0 1256 8 0 0 20 0 1 0 62959345 250216448 55116 134679101440 4194304 15356333 140731279834784 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 43462656 140731279836163 140731279836309 140731279836309 140731279843295 0
/proc/341223/statm: 61088 55116 1146 2726 0 57836 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 262944 KiB
Current children cumulated memory: 224180 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.18 4.18 5/267 341347
/proc/meminfo: memFree=123916420/131524600 swapFree=131071996/131071996
[pid=341219] ppid=341216 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/341219/stat : 341219 (Hybrid-CASHWMax) S 341216 341219 338172 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 62959344 10170368 671 134679101440 94331927457792 94331928537112 140727636498736 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94331930635568 94331930682756 94331943329792 140727636501454 140727636501613 140727636501613 140727636508628 0
/proc/341219/statm: 2483 671 592 264 0 134 0
[pid=341222] ppid=341219 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/341222/stat : 341222 (timeout) S 341219 341222 338172 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62959345 8867840 258 134679101440 94005775462400 94005775497416 140731500394064 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94005777594832 94005777596964 94005806587904 140731500397566 140731500397725 140731500397725 140731500404711 0
/proc/341222/statm: 2165 258 234 9 0 87 0
[pid=341223] ppid=341222 vsize=244352 memory=220760 CPUtime=25.38 cores=0,2
/proc/341223/stat : 341223 (CASHWMaxSAT-Dis) R 341222 341222 338172 0 -1 4194304 41080 0 0 0 2530 8 0 0 20 0 1 0 62959345 250216448 55190 134679101440 4194304 15356333 140731279834784 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 43462656 140731279836163 140731279836309 140731279836309 140731279843295 0
/proc/341223/statm: 61088 55190 1146 2726 0 57836 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 262944 KiB
Current children cumulated memory: 224476 KiB

[startup+51.1061 s]
/proc/loadavg: 4.14 4.18 4.18 5/266 341353
/proc/meminfo: memFree=123731888/131524600 swapFree=131071996/131071996
[pid=341219] ppid=341216 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/341219/stat : 341219 (Hybrid-CASHWMax) S 341216 341219 338172 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 62959344 10170368 671 134679101440 94331927457792 94331928537112 140727636498736 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94331930635568 94331930682756 94331943329792 140727636501454 140727636501613 140727636501613 140727636508628 0
/proc/341219/statm: 2483 671 592 264 0 134 0
[pid=341222] ppid=341219 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/341222/stat : 341222 (timeout) S 341219 341222 338172 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 62959345 8867840 258 134679101440 94005775462400 94005775497416 140731500394064 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94005777594832 94005777596964 94005806587904 140731500397566 140731500397725 140731500397725 140731500404711 0
/proc/341222/statm: 2165 258 234 9 0 87 0
[pid=341223] ppid=341222 vsize=244352 memory=220780 CPUtime=50.88 cores=0,2
/proc/341223/stat : 341223 (CASHWMaxSAT-Dis) R 341222 341222 338172 0 -1 4194304 41177 0 0 0 5080 8 0 0 20 0 1 0 62959345 250216448 55195 134679101440 4194304 15356333 140731279834784 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 43462656 140731279836163 140731279836309 140731279836309 140731279843295 0
/proc/341223/statm: 61088 55195 1146 2726 0 57836 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 262944 KiB
Current children cumulated memory: 224496 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/266 341374
/proc/meminfo: memFree=123673432/131524600 swapFree=131071996/131071996
[pid=341219] ppid=341216 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/341219/stat : 341219 (Hybrid-CASHWMax) S 341216 341219 338172 0 -1 4194304 243 105 0 0 0 0 0 0 20 0 1 0 62959344 10170368 671 134679101440 94331927457792 94331928537112 140727636498736 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94331930635568 94331930682756 94331943329792 140727636501454 140727636501613 140727636501613 140727636508628 0

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

/proc/342232/statm: 10192 6955 804 745 0 9257 0
Current children cumulated CPU time: 3389.69 s
Current children cumulated vsize: 59360 KiB
Current children cumulated memory: 31472 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/264 342979
/proc/meminfo: memFree=126231172/131524600 swapFree=131071996/131071996
[pid=341219] ppid=341216 vsize=9932 memory=2736 CPUtime=1791.06 cores=0,2
/proc/341219/stat : 341219 (Hybrid-CASHWMax) S 341216 341219 338172 0 -1 4194304 274 78096 0 0 0 0 179069 37 20 0 1 0 62959344 10170368 684 134679101440 94331927457792 94331928537112 140727636498736 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94331930635568 94331930682756 94331943329792 140727636501454 140727636501613 140727636501613 140727636508628 0
/proc/341219/statm: 2483 684 592 264 0 134 0
[pid=342231] ppid=341219 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/342231/stat : 342231 (timeout) S 341219 342231 338172 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63139145 8867840 229 134679101440 94658594361344 94658594396360 140729851389056 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94658596493776 94658596495908 94658623660032 140729851397108 140729851397277 140729851397277 140729851404263 0
/proc/342231/statm: 2165 229 205 9 0 87 0
[pid=342232] ppid=342231 vsize=40836 memory=27888 CPUtime=1658.43 cores=0,2
/proc/342232/stat : 342232 (Exact) R 342231 342231 338172 0 -1 4194304 42797 0 0 0 165826 17 0 0 20 0 1 0 63139145 41816064 6972 134679101440 4194304 7243121 140733479681536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 44515328 140733479687184 140733479687334 140733479687334 140733479694320 0
/proc/342232/statm: 10209 6972 804 745 0 9274 0
Current children cumulated CPU time: 3449.49 s
Current children cumulated vsize: 59428 KiB
Current children cumulated memory: 31540 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/266 343160
/proc/meminfo: memFree=126230140/131524600 swapFree=131071996/131071996
[pid=341219] ppid=341216 vsize=9932 memory=2736 CPUtime=1791.06 cores=0,2
/proc/341219/stat : 341219 (Hybrid-CASHWMax) S 341216 341219 338172 0 -1 4194304 274 78096 0 0 0 0 179069 37 20 0 1 0 62959344 10170368 684 134679101440 94331927457792 94331928537112 140727636498736 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94331930635568 94331930682756 94331943329792 140727636501454 140727636501613 140727636501613 140727636508628 0
/proc/341219/statm: 2483 684 592 264 0 134 0
[pid=342231] ppid=341219 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/342231/stat : 342231 (timeout) S 341219 342231 338172 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63139145 8867840 229 134679101440 94658594361344 94658594396360 140729851389056 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94658596493776 94658596495908 94658623660032 140729851397108 140729851397277 140729851397277 140729851404263 0
/proc/342231/statm: 2165 229 205 9 0 87 0
[pid=342232] ppid=342231 vsize=40836 memory=27888 CPUtime=1718.23 cores=0,2
/proc/342232/stat : 342232 (Exact) R 342231 342231 338172 0 -1 4194304 44111 0 0 0 171805 18 0 0 20 0 1 0 63139145 41816064 6972 134679101440 4194304 7243121 140733479681536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 44515328 140733479687184 140733479687334 140733479687334 140733479694320 0
/proc/342232/statm: 10209 6972 804 745 0 9274 0
Current children cumulated CPU time: 3509.29 s
Current children cumulated vsize: 59428 KiB
Current children cumulated memory: 31540 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/266 343170
/proc/meminfo: memFree=126230028/131524600 swapFree=131071996/131071996
[pid=341219] ppid=341216 vsize=9932 memory=2736 CPUtime=1791.06 cores=0,2
/proc/341219/stat : 341219 (Hybrid-CASHWMax) S 341216 341219 338172 0 -1 4194304 274 78096 0 0 0 0 179069 37 20 0 1 0 62959344 10170368 684 134679101440 94331927457792 94331928537112 140727636498736 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94331930635568 94331930682756 94331943329792 140727636501454 140727636501613 140727636501613 140727636508628 0
/proc/341219/statm: 2483 684 592 264 0 134 0
[pid=342231] ppid=341219 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/342231/stat : 342231 (timeout) S 341219 342231 338172 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63139145 8867840 229 134679101440 94658594361344 94658594396360 140729851389056 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94658596493776 94658596495908 94658623660032 140729851397108 140729851397277 140729851397277 140729851404263 0
/proc/342231/statm: 2165 229 205 9 0 87 0
[pid=342232] ppid=342231 vsize=40832 memory=27884 CPUtime=1778.02 cores=0,2
/proc/342232/stat : 342232 (Exact) R 342231 342231 338172 0 -1 4194304 45424 0 0 0 177784 18 0 0 20 0 1 0 63139145 41811968 6971 134679101440 4194304 7243121 140733479681536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 44515328 140733479687184 140733479687334 140733479687334 140733479694320 0
/proc/342232/statm: 10208 6971 804 745 0 9273 0
Current children cumulated CPU time: 3569.08 s
Current children cumulated vsize: 59424 KiB
Current children cumulated memory: 31536 KiB

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

# cumulated CPU time of all completed processes:  user=3582.22 s, system=0.572739 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.12 4.09 5/266 343170
/proc/meminfo: memFree=126230032/131524600 swapFree=131071996/131071996
[pid=341219] ppid=341216 vsize=9932 memory=2736 CPUtime=1791.06 cores=0,2
/proc/341219/stat : 341219 (Hybrid-CASHWMax) S 341216 341219 338172 0 -1 4194304 274 78096 0 0 0 0 179069 37 20 0 1 0 62959344 10170368 684 134679101440 94331927457792 94331928537112 140727636498736 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94331930635568 94331930682756 94331943329792 140727636501454 140727636501613 140727636501613 140727636508628 0
/proc/341219/statm: 2483 684 592 264 0 134 0
[pid=342231] ppid=341219 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/342231/stat : 342231 (timeout) S 341219 342231 338172 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63139145 8867840 229 134679101440 94658594361344 94658594396360 140729851389056 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94658596493776 94658596495908 94658623660032 140729851397108 140729851397277 140729851397277 140729851404263 0
/proc/342231/statm: 2165 229 205 9 0 87 0
[pid=342232] ppid=342231 vsize=40832 memory=27884 CPUtime=1779.72 cores=0,2
/proc/342232/stat : 342232 (Exact) R 342231 342231 338172 0 -1 4194304 45424 0 0 0 177954 18 0 0 20 0 1 0 63139145 41811968 6971 134679101440 4194304 7243121 140733479681536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 44515328 140733479687184 140733479687334 140733479687334 140733479694320 0
/proc/342232/statm: 10208 6971 804 745 0 9273 0
Current children cumulated CPU time: 3570.78 s
Current children cumulated vsize: 59424 KiB
Current children cumulated memory: 31536 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/266 343171
/proc/meminfo: memFree=126229916/131524600 swapFree=131071996/131071996
[pid=341219] ppid=341216 vsize=9932 memory=2736 CPUtime=1791.06 cores=0,2
/proc/341219/stat : 341219 (Hybrid-CASHWMax) S 341216 341219 338172 0 -1 4194304 274 78096 0 0 0 0 179069 37 20 0 1 0 62959344 10170368 684 134679101440 94331927457792 94331928537112 140727636498736 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94331930635568 94331930682756 94331943329792 140727636501454 140727636501613 140727636501613 140727636508628 0
/proc/341219/statm: 2483 684 592 264 0 134 0
[pid=342231] ppid=341219 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/342231/stat : 342231 (timeout) S 341219 342231 338172 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63139145 8867840 229 134679101440 94658594361344 94658594396360 140729851389056 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94658596493776 94658596495908 94658623660032 140729851397108 140729851397277 140729851397277 140729851404263 0
/proc/342231/statm: 2165 229 205 9 0 87 0
[pid=342232] ppid=342231 vsize=40832 memory=27884 CPUtime=1786.09 cores=0,2
/proc/342232/stat : 342232 (Exact) R 342231 342231 338172 0 -1 4194304 45511 0 0 0 178591 18 0 0 20 0 1 0 63139145 41811968 6971 134679101440 4194304 7243121 140733479681536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 44515328 140733479687184 140733479687334 140733479687334 140733479694320 0
/proc/342232/statm: 10208 6971 804 745 0 9273 0
Current children cumulated CPU time: 3577.15 s
Current children cumulated vsize: 59424 KiB
Current children cumulated memory: 31536 KiB

[startup+3593.6 s]
/proc/loadavg: 4.13 4.12 4.09 5/267 343172
/proc/meminfo: memFree=126229888/131524600 swapFree=131071996/131071996
[pid=341219] ppid=341216 vsize=9932 memory=2736 CPUtime=1791.06 cores=0,2
/proc/341219/stat : 341219 (Hybrid-CASHWMax) S 341216 341219 338172 0 -1 4194304 274 78096 0 0 0 0 179069 37 20 0 1 0 62959344 10170368 684 134679101440 94331927457792 94331928537112 140727636498736 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94331930635568 94331930682756 94331943329792 140727636501454 140727636501613 140727636501613 140727636508628 0
/proc/341219/statm: 2483 684 592 264 0 134 0
[pid=342231] ppid=341219 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/342231/stat : 342231 (timeout) S 341219 342231 338172 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63139145 8867840 229 134679101440 94658594361344 94658594396360 140729851389056 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94658596493776 94658596495908 94658623660032 140729851397108 140729851397277 140729851397277 140729851404263 0
/proc/342231/statm: 2165 229 205 9 0 87 0
[pid=342232] ppid=342231 vsize=40828 memory=27880 CPUtime=1789.28 cores=0,2
/proc/342232/stat : 342232 (Exact) R 342231 342231 338172 0 -1 4194304 45597 0 0 0 178910 18 0 0 20 0 1 0 63139145 41807872 6970 134679101440 4194304 7243121 140733479681536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 44515328 140733479687184 140733479687334 140733479687334 140733479694320 0
/proc/342232/statm: 10207 6970 804 745 0 9272 0
Current children cumulated CPU time: 3580.34 s
Current children cumulated vsize: 59420 KiB
Current children cumulated memory: 31532 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 343172
/proc/meminfo: memFree=126229880/131524600 swapFree=131071996/131071996
[pid=341219] ppid=341216 vsize=9932 memory=2736 CPUtime=1791.06 cores=0,2
/proc/341219/stat : 341219 (Hybrid-CASHWMax) S 341216 341219 338172 0 -1 4194304 274 78096 0 0 0 0 179069 37 20 0 1 0 62959344 10170368 684 134679101440 94331927457792 94331928537112 140727636498736 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94331930635568 94331930682756 94331943329792 140727636501454 140727636501613 140727636501613 140727636508628 0
/proc/341219/statm: 2483 684 592 264 0 134 0
[pid=342231] ppid=341219 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/342231/stat : 342231 (timeout) S 341219 342231 338172 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63139145 8867840 229 134679101440 94658594361344 94658594396360 140729851389056 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94658596493776 94658596495908 94658623660032 140729851397108 140729851397277 140729851397277 140729851404263 0
/proc/342231/statm: 2165 229 205 9 0 87 0
[pid=342232] ppid=342231 vsize=40832 memory=27884 CPUtime=1790.88 cores=0,2
/proc/342232/stat : 342232 (Exact) R 342231 342231 338172 0 -1 4194304 45685 0 0 0 179070 18 0 0 20 0 1 0 63139145 41811968 6971 134679101440 4194304 7243121 140733479681536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 44515328 140733479687184 140733479687334 140733479687334 140733479694320 0
/proc/342232/statm: 10208 6971 804 745 0 9273 0
Current children cumulated CPU time: 3581.94 s
Current children cumulated vsize: 59424 KiB
Current children cumulated memory: 31536 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 343172
/proc/meminfo: memFree=126229880/131524600 swapFree=131071996/131071996
[pid=341219] ppid=341216 vsize=9932 memory=2736 CPUtime=1791.06 cores=0,2
/proc/341219/stat : 341219 (Hybrid-CASHWMax) S 341216 341219 338172 0 -1 4194304 274 78096 0 0 0 0 179069 37 20 0 1 0 62959344 10170368 684 134679101440 94331927457792 94331928537112 140727636498736 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94331930635568 94331930682756 94331943329792 140727636501454 140727636501613 140727636501613 140727636508628 0
/proc/341219/statm: 2483 684 592 264 0 134 0
[pid=342231] ppid=341219 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/342231/stat : 342231 (timeout) S 341219 342231 338172 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63139145 8867840 229 134679101440 94658594361344 94658594396360 140729851389056 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94658596493776 94658596495908 94658623660032 140729851397108 140729851397277 140729851397277 140729851404263 0
/proc/342231/statm: 2165 229 205 9 0 87 0
[pid=342232] ppid=342231 vsize=40832 memory=27884 CPUtime=1791.27 cores=0,2
/proc/342232/stat : 342232 (Exact) R 342231 342231 338172 0 -1 4194304 45685 0 0 0 179109 18 0 0 20 0 1 0 63139145 41811968 6971 134679101440 4194304 7243121 140733479681536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 44515328 140733479687184 140733479687334 140733479687334 140733479694320 0
/proc/342232/statm: 10208 6971 804 745 0 9273 0
Current children cumulated CPU time: 3582.33 s
Current children cumulated vsize: 59424 KiB
Current children cumulated memory: 31536 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.12 4.09 5/267 343172
/proc/meminfo: memFree=126229888/131524600 swapFree=131071996/131071996
[pid=341219] ppid=341216 vsize=9932 memory=2736 CPUtime=1791.06 cores=0,2
/proc/341219/stat : 341219 (Hybrid-CASHWMax) S 341216 341219 338172 0 -1 4194304 274 78096 0 0 0 0 179069 37 20 0 1 0 62959344 10170368 684 134679101440 94331927457792 94331928537112 140727636498736 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94331930635568 94331930682756 94331943329792 140727636501454 140727636501613 140727636501613 140727636508628 0
/proc/341219/statm: 2483 684 592 264 0 134 0
[pid=342231] ppid=341219 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/342231/stat : 342231 (timeout) S 341219 342231 338172 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63139145 8867840 229 134679101440 94658594361344 94658594396360 140729851389056 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94658596493776 94658596495908 94658623660032 140729851397108 140729851397277 140729851397277 140729851404263 0
/proc/342231/statm: 2165 229 205 9 0 87 0
[pid=342232] ppid=342231 vsize=40832 memory=27884 CPUtime=1791.68 cores=0,2
/proc/342232/stat : 342232 (Exact) R 342231 342231 338172 0 -1 4194304 45685 0 0 0 179150 18 0 0 20 0 1 0 63139145 41811968 6971 134679101440 4194304 7243121 140733479681536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 44515328 140733479687184 140733479687334 140733479687334 140733479694320 0
/proc/342232/statm: 10208 6971 804 745 0 9273 0
Current children cumulated CPU time: 3582.74 s
Current children cumulated vsize: 59424 KiB
Current children cumulated memory: 31536 KiB

Child status: 0

Real time (s): 3596.02
CPU time (s): 3582.79
CPU user time (s): 3582.22
CPU system time (s): 0.572739
CPU usage (%): 99.632
Max. virtual memory (cumulated for all children) (KiB): 362732
Max. memory (cumulated for all children) (KiB): 314476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.22
system time used= 0.572739
maximum resident set size= 319016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127072
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114
involuntary context switches= 24572


# summary of solver processes directly reported to runsolver:
#   pid: 341219
#   total CPU time (s): 3582.79
#   total CPU user time (s): 3582.22
#   total CPU system time (s): 0.572739

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.85822 second user time and 16.7989 second system time

The end