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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458000-1722989821/watcher-4458000-1722989821 -o /tmp/evaluation-result-4458000-1722989821/solver-4458000-1722989821 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722982519-360320 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4458000-1722989821.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
Current StackSize limit: 8192 KiB

solver pid=365252, runsolver pid=365249

[startup+0.100582 s]*
/proc/loadavg: 4.15 4.14 4.11 5/264 365256
/proc/meminfo: memFree=124283096/131524600 swapFree=131071996/131071996
[pid=365252] ppid=365249 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/365252/stat : 365252 (Hybrid-CASHWMax) S 365249 365252 360310 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 65581980 10170368 674 134679101440 93929024479232 93929025558552 140727826671920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93929027657008 93929027704196 93929060036608 140727826674638 140727826674797 140727826674797 140727826681812 0
/proc/365252/statm: 2483 674 596 264 0 134 0
[pid=365255] ppid=365252 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/365255/stat : 365255 (timeout) S 365252 365255 360310 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65581981 8867840 255 134679101440 93893372395520 93893372430536 140722266964976 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93893374527952 93893374530084 93893383766016 140722266969086 140722266969245 140722266969245 140722266976231 0
/proc/365255/statm: 2165 255 231 9 0 87 0
[pid=365256] ppid=365255 vsize=55804 memory=45592 CPUtime=0.09 cores=0,2
/proc/365256/stat : 365256 (CASHWMaxSAT-Dis) R 365255 365255 360310 0 -1 4194304 9888 0 0 0 7 2 0 0 20 0 1 0 65581981 57143296 11398 134679101440 4194304 15356333 140733427191024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 50102272 140733427196931 140733427197077 140733427197077 140733427204063 0
/proc/365256/statm: 13951 11398 2378 2726 0 10699 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74396 KiB
Current children cumulated memory: 49308 KiB

[startup+0.206039 s]*
/proc/loadavg: 4.15 4.14 4.11 5/264 365256
/proc/meminfo: memFree=124228036/131524600 swapFree=131071996/131071996
[pid=365252] ppid=365249 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/365252/stat : 365252 (Hybrid-CASHWMax) S 365249 365252 360310 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 65581980 10170368 674 134679101440 93929024479232 93929025558552 140727826671920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93929027657008 93929027704196 93929060036608 140727826674638 140727826674797 140727826674797 140727826681812 0
/proc/365252/statm: 2483 674 596 264 0 134 0
[pid=365255] ppid=365252 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/365255/stat : 365255 (timeout) S 365252 365255 360310 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65581981 8867840 255 134679101440 93893372395520 93893372430536 140722266964976 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93893374527952 93893374530084 93893383766016 140722266969086 140722266969245 140722266969245 140722266976231 0
/proc/365255/statm: 2165 255 231 9 0 87 0
[pid=365256] ppid=365255 vsize=112780 memory=100936 CPUtime=0.2 cores=0,2
/proc/365256/stat : 365256 (CASHWMaxSAT-Dis) R 365255 365255 360310 0 -1 4194304 23521 0 0 0 16 4 0 0 20 0 1 0 65581981 115486720 25234 134679101440 4194304 15356333 140733427191024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 50102272 140733427196931 140733427197077 140733427197077 140733427204063 0
/proc/365256/statm: 28195 25234 2634 2726 0 24943 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 131372 KiB
Current children cumulated memory: 104652 KiB

[startup+0.305782 s]*
/proc/loadavg: 4.15 4.14 4.11 5/264 365256
/proc/meminfo: memFree=124212748/131524600 swapFree=131071996/131071996
[pid=365252] ppid=365249 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/365252/stat : 365252 (Hybrid-CASHWMax) S 365249 365252 360310 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 65581980 10170368 674 134679101440 93929024479232 93929025558552 140727826671920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93929027657008 93929027704196 93929060036608 140727826674638 140727826674797 140727826674797 140727826681812 0
/proc/365252/statm: 2483 674 596 264 0 134 0
[pid=365255] ppid=365252 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/365255/stat : 365255 (timeout) S 365252 365255 360310 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65581981 8867840 255 134679101440 93893372395520 93893372430536 140722266964976 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93893374527952 93893374530084 93893383766016 140722266969086 140722266969245 140722266969245 140722266976231 0
/proc/365255/statm: 2165 255 231 9 0 87 0
[pid=365256] ppid=365255 vsize=130332 memory=118624 CPUtime=0.29 cores=0,2
/proc/365256/stat : 365256 (CASHWMaxSAT-Dis) R 365255 365255 360310 0 -1 4194304 27952 0 0 0 25 4 0 0 20 0 1 0 65581981 133459968 29656 134679101440 4194304 15356333 140733427191024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 50102272 140733427196931 140733427197077 140733427197077 140733427204063 0
/proc/365256/statm: 32583 29656 2634 2726 0 29331 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 148924 KiB
Current children cumulated memory: 122340 KiB

[startup+0.700295 s]
/proc/loadavg: 4.15 4.14 4.11 5/264 365256
/proc/meminfo: memFree=124193120/131524600 swapFree=131071996/131071996
[pid=365252] ppid=365249 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/365252/stat : 365252 (Hybrid-CASHWMax) S 365249 365252 360310 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 65581980 10170368 674 134679101440 93929024479232 93929025558552 140727826671920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93929027657008 93929027704196 93929060036608 140727826674638 140727826674797 140727826674797 140727826681812 0
/proc/365252/statm: 2483 674 596 264 0 134 0
[pid=365255] ppid=365252 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/365255/stat : 365255 (timeout) S 365252 365255 360310 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65581981 8867840 255 134679101440 93893372395520 93893372430536 140722266964976 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93893374527952 93893374530084 93893383766016 140722266969086 140722266969245 140722266969245 140722266976231 0
/proc/365255/statm: 2165 255 231 9 0 87 0
[pid=365256] ppid=365255 vsize=178632 memory=165692 CPUtime=0.68 cores=0,2
/proc/365256/stat : 365256 (CASHWMaxSAT-Dis) R 365255 365255 360310 0 -1 4194304 37161 0 0 0 63 5 0 0 20 0 1 0 65581981 182919168 41423 134679101440 4194304 15356333 140733427191024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 50102272 140733427196931 140733427197077 140733427197077 140733427204063 0
/proc/365256/statm: 44658 41423 2666 2726 0 41406 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 197224 KiB
Current children cumulated memory: 169408 KiB

[startup+1.50028 s]
/proc/loadavg: 4.15 4.14 4.11 5/264 365256
/proc/meminfo: memFree=124115320/131524600 swapFree=131071996/131071996
[pid=365252] ppid=365249 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/365252/stat : 365252 (Hybrid-CASHWMax) S 365249 365252 360310 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 65581980 10170368 674 134679101440 93929024479232 93929025558552 140727826671920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93929027657008 93929027704196 93929060036608 140727826674638 140727826674797 140727826674797 140727826681812 0
/proc/365252/statm: 2483 674 596 264 0 134 0
[pid=365255] ppid=365252 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/365255/stat : 365255 (timeout) S 365252 365255 360310 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65581981 8867840 255 134679101440 93893372395520 93893372430536 140722266964976 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93893374527952 93893374530084 93893383766016 140722266969086 140722266969245 140722266969245 140722266976231 0
/proc/365255/statm: 2165 255 231 9 0 87 0
[pid=365256] ppid=365255 vsize=304704 memory=288124 CPUtime=1.47 cores=0,2
/proc/365256/stat : 365256 (CASHWMaxSAT-Dis) R 365255 365255 360310 0 -1 4194304 70520 0 0 0 138 9 0 0 20 0 1 0 65581981 312016896 72031 134679101440 4194304 15356333 140733427191024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 50102272 140733427196931 140733427197077 140733427197077 140733427204063 0
/proc/365256/statm: 76176 72031 2778 2726 0 72924 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 323296 KiB
Current children cumulated memory: 291840 KiB

[startup+3.10574 s]
/proc/loadavg: 4.14 4.14 4.11 5/264 365258
/proc/meminfo: memFree=124037640/131524600 swapFree=131071996/131071996
[pid=365252] ppid=365249 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/365252/stat : 365252 (Hybrid-CASHWMax) S 365249 365252 360310 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 65581980 10170368 674 134679101440 93929024479232 93929025558552 140727826671920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93929027657008 93929027704196 93929060036608 140727826674638 140727826674797 140727826674797 140727826681812 0
/proc/365252/statm: 2483 674 596 264 0 134 0
[pid=365255] ppid=365252 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/365255/stat : 365255 (timeout) S 365252 365255 360310 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65581981 8867840 255 134679101440 93893372395520 93893372430536 140722266964976 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93893374527952 93893374530084 93893383766016 140722266969086 140722266969245 140722266969245 140722266976231 0
/proc/365255/statm: 2165 255 231 9 0 87 0
[pid=365256] ppid=365255 vsize=308088 memory=291528 CPUtime=3.08 cores=0,2
/proc/365256/stat : 365256 (CASHWMaxSAT-Dis) R 365255 365255 360310 0 -1 4194304 71381 0 0 0 298 10 0 0 20 0 1 0 65581981 315482112 72882 134679101440 4194304 15356333 140733427191024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 50102272 140733427196931 140733427197077 140733427197077 140733427204063 0
/proc/365256/statm: 77022 72882 2778 2726 0 73770 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 326680 KiB
Current children cumulated memory: 295244 KiB

[startup+6.30026 s]
/proc/loadavg: 4.14 4.14 4.11 5/264 365258
/proc/meminfo: memFree=124039888/131524600 swapFree=131071996/131071996
[pid=365252] ppid=365249 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/365252/stat : 365252 (Hybrid-CASHWMax) S 365249 365252 360310 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 65581980 10170368 674 134679101440 93929024479232 93929025558552 140727826671920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93929027657008 93929027704196 93929060036608 140727826674638 140727826674797 140727826674797 140727826681812 0
/proc/365252/statm: 2483 674 596 264 0 134 0
[pid=365255] ppid=365252 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/365255/stat : 365255 (timeout) S 365252 365255 360310 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65581981 8867840 255 134679101440 93893372395520 93893372430536 140722266964976 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93893374527952 93893374530084 93893383766016 140722266969086 140722266969245 140722266969245 140722266976231 0
/proc/365255/statm: 2165 255 231 9 0 87 0
[pid=365256] ppid=365255 vsize=305560 memory=289352 CPUtime=6.26 cores=0,2
/proc/365256/stat : 365256 (CASHWMaxSAT-Dis) R 365255 365255 360310 0 -1 4194304 72563 0 0 0 616 10 0 0 20 0 1 0 65581981 312893440 72338 134679101440 4194304 15356333 140733427191024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 50102272 140733427196931 140733427197077 140733427197077 140733427204063 0
/proc/365256/statm: 76390 72338 2778 2726 0 73138 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 324152 KiB
Current children cumulated memory: 293068 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.14 4.11 5/264 365315
/proc/meminfo: memFree=124571100/131524600 swapFree=131071996/131071996
[pid=365252] ppid=365249 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/365252/stat : 365252 (Hybrid-CASHWMax) S 365249 365252 360310 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 65581980 10170368 674 134679101440 93929024479232 93929025558552 140727826671920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93929027657008 93929027704196 93929060036608 140727826674638 140727826674797 140727826674797 140727826681812 0
/proc/365252/statm: 2483 674 596 264 0 134 0
[pid=365255] ppid=365252 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/365255/stat : 365255 (timeout) S 365252 365255 360310 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65581981 8867840 255 134679101440 93893372395520 93893372430536 140722266964976 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93893374527952 93893374530084 93893383766016 140722266969086 140722266969245 140722266969245 140722266976231 0
/proc/365255/statm: 2165 255 231 9 0 87 0
[pid=365256] ppid=365255 vsize=320672 memory=290144 CPUtime=12.64 cores=0,2
/proc/365256/stat : 365256 (CASHWMaxSAT-Dis) R 365255 365255 360310 0 -1 4194304 72799 0 0 0 1253 11 0 0 20 0 1 0 65581981 328368128 72536 134679101440 4194304 15356333 140733427191024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 50102272 140733427196931 140733427197077 140733427197077 140733427204063 0
/proc/365256/statm: 80168 72536 2778 2726 0 76916 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 339264 KiB
Current children cumulated memory: 293860 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.13 4.11 5/265 365390
/proc/meminfo: memFree=124971948/131524600 swapFree=131071996/131071996
[pid=365252] ppid=365249 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/365252/stat : 365252 (Hybrid-CASHWMax) S 365249 365252 360310 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 65581980 10170368 674 134679101440 93929024479232 93929025558552 140727826671920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93929027657008 93929027704196 93929060036608 140727826674638 140727826674797 140727826674797 140727826681812 0
/proc/365252/statm: 2483 674 596 264 0 134 0
[pid=365255] ppid=365252 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/365255/stat : 365255 (timeout) S 365252 365255 360310 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65581981 8867840 255 134679101440 93893372395520 93893372430536 140722266964976 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93893374527952 93893374530084 93893383766016 140722266969086 140722266969245 140722266969245 140722266976231 0
/proc/365255/statm: 2165 255 231 9 0 87 0
[pid=365256] ppid=365255 vsize=451516 memory=404892 CPUtime=25.38 cores=0,2
/proc/365256/stat : 365256 (CASHWMaxSAT-Dis) R 365255 365255 360310 0 -1 4194304 101065 0 0 0 2522 16 0 0 20 0 1 0 65581981 462352384 101223 134679101440 4194304 15356333 140733427191024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 50102272 140733427196931 140733427197077 140733427197077 140733427204063 0
/proc/365256/statm: 112879 101223 2778 2726 0 109627 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 470108 KiB
Current children cumulated memory: 408608 KiB

[startup+51.1056 s]
/proc/loadavg: 4.21 4.15 4.12 5/265 365395
/proc/meminfo: memFree=124939720/131524600 swapFree=131071996/131071996
[pid=365252] ppid=365249 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/365252/stat : 365252 (Hybrid-CASHWMax) S 365249 365252 360310 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 65581980 10170368 674 134679101440 93929024479232 93929025558552 140727826671920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93929027657008 93929027704196 93929060036608 140727826674638 140727826674797 140727826674797 140727826681812 0
/proc/365252/statm: 2483 674 596 264 0 134 0
[pid=365255] ppid=365252 vsize=8660 memory=1020 CPUtime=0 cores=0,2
/proc/365255/stat : 365255 (timeout) S 365252 365255 360310 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65581981 8867840 255 134679101440 93893372395520 93893372430536 140722266964976 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 93893374527952 93893374530084 93893383766016 140722266969086 140722266969245 140722266969245 140722266976231 0
/proc/365255/statm: 2165 255 231 9 0 87 0
[pid=365256] ppid=365255 vsize=457148 memory=410416 CPUtime=50.89 cores=0,2
/proc/365256/stat : 365256 (CASHWMaxSAT-Dis) R 365255 365255 360310 0 -1 4194304 102396 0 0 0 5072 17 0 0 20 0 1 0 65581981 468119552 102604 134679101440 4194304 15356333 140733427191024 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 50102272 140733427196931 140733427197077 140733427197077 140733427204063 0
/proc/365256/statm: 114287 102604 2778 2726 0 111035 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 475740 KiB
Current children cumulated memory: 414132 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/265 365404
/proc/meminfo: memFree=124866852/131524600 swapFree=131071996/131071996
[pid=365252] ppid=365249 vsize=9932 memory=2696 CPUtime=0 cores=0,2
/proc/365252/stat : 365252 (Hybrid-CASHWMax) S 365249 365252 360310 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 65581980 10170368 674 134679101440 93929024479232 93929025558552 140727826671920 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93929027657008 93929027704196 93929060036608 140727826674638 140727826674797 140727826674797 140727826681812 0

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

/proc/366405/statm: 103104 93867 804 745 0 102169 0
Current children cumulated CPU time: 3390.9 s
Current children cumulated vsize: 431008 KiB
Current children cumulated memory: 379244 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.20 4.13 5/266 367295
/proc/meminfo: memFree=125012100/131524600 swapFree=131071996/131071996
[pid=365252] ppid=365249 vsize=9932 memory=2752 CPUtime=1791.84 cores=0,2
/proc/365252/stat : 365252 (Hybrid-CASHWMax) S 365249 365252 360310 0 -1 4194304 274 191809 0 0 0 0 179132 52 20 0 1 0 65581980 10170368 688 134679101440 93929024479232 93929025558552 140727826671920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93929027657008 93929027704196 93929060036608 140727826674638 140727826674797 140727826674797 140727826681812 0
/proc/365252/statm: 2483 688 596 264 0 134 0
[pid=366404] ppid=365252 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/366404/stat : 366404 (timeout) S 365252 366404 360310 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65761781 8867840 256 134679101440 94178974515200 94178974550216 140736608677904 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94178976647632 94178976649764 94178995699712 140736608687092 140736608687261 140736608687261 140736608694247 0
/proc/366404/statm: 2165 256 231 9 0 87 0
[pid=366405] ppid=366404 vsize=414656 memory=381348 CPUtime=1658.86 cores=0,2
/proc/366405/stat : 366405 (Exact) R 366404 366404 360310 0 -1 4194304 58600 0 0 0 165862 24 0 0 20 0 1 0 65761781 424607744 95337 134679101440 4194304 7243121 140727402560608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 43311104 140727402562576 140727402562726 140727402562726 140727402569712 0
/proc/366405/statm: 103664 95337 804 745 0 102729 0
Current children cumulated CPU time: 3450.7 s
Current children cumulated vsize: 433248 KiB
Current children cumulated memory: 385124 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.18 4.12 5/264 367305
/proc/meminfo: memFree=125004880/131524600 swapFree=131071996/131071996
[pid=365252] ppid=365249 vsize=9932 memory=2752 CPUtime=1791.84 cores=0,2
/proc/365252/stat : 365252 (Hybrid-CASHWMax) S 365249 365252 360310 0 -1 4194304 274 191809 0 0 0 0 179132 52 20 0 1 0 65581980 10170368 688 134679101440 93929024479232 93929025558552 140727826671920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93929027657008 93929027704196 93929060036608 140727826674638 140727826674797 140727826674797 140727826681812 0
/proc/365252/statm: 2483 688 596 264 0 134 0
[pid=366404] ppid=365252 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/366404/stat : 366404 (timeout) S 365252 366404 360310 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65761781 8867840 256 134679101440 94178974515200 94178974550216 140736608677904 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94178976647632 94178976649764 94178995699712 140736608687092 140736608687261 140736608687261 140736608694247 0
/proc/366404/statm: 2165 256 231 9 0 87 0
[pid=366405] ppid=366404 vsize=418800 memory=384324 CPUtime=1718.68 cores=0,2
/proc/366405/stat : 366405 (Exact) R 366404 366404 360310 0 -1 4194304 59527 0 0 0 171843 25 0 0 20 0 1 0 65761781 428851200 96081 134679101440 4194304 7243121 140727402560608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 43311104 140727402562576 140727402562726 140727402562726 140727402569712 0
/proc/366405/statm: 104700 96081 804 745 0 103765 0
Current children cumulated CPU time: 3510.52 s
Current children cumulated vsize: 437392 KiB
Current children cumulated memory: 388100 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.19 4.13 5/264 367315
/proc/meminfo: memFree=124997000/131524600 swapFree=131071996/131071996
[pid=365252] ppid=365249 vsize=9932 memory=2752 CPUtime=1791.84 cores=0,2
/proc/365252/stat : 365252 (Hybrid-CASHWMax) S 365249 365252 360310 0 -1 4194304 274 191809 0 0 0 0 179132 52 20 0 1 0 65581980 10170368 688 134679101440 93929024479232 93929025558552 140727826671920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93929027657008 93929027704196 93929060036608 140727826674638 140727826674797 140727826674797 140727826681812 0
/proc/365252/statm: 2483 688 596 264 0 134 0
[pid=366404] ppid=365252 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/366404/stat : 366404 (timeout) S 365252 366404 360310 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65761781 8867840 256 134679101440 94178974515200 94178974550216 140736608677904 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94178976647632 94178976649764 94178995699712 140736608687092 140736608687261 140736608687261 140736608694247 0
/proc/366404/statm: 2165 256 231 9 0 87 0
[pid=366405] ppid=366404 vsize=420524 memory=385472 CPUtime=1778.49 cores=0,2
/proc/366405/stat : 366405 (Exact) R 366404 366404 360310 0 -1 4194304 60024 0 0 0 177824 25 0 0 20 0 1 0 65761781 430616576 96368 134679101440 4194304 7243121 140727402560608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 43311104 140727402562576 140727402562726 140727402562726 140727402569712 0
/proc/366405/statm: 105131 96368 804 745 0 104196 0
Current children cumulated CPU time: 3570.33 s
Current children cumulated vsize: 439116 KiB
Current children cumulated memory: 389248 KiB

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

# cumulated CPU time of all completed processes:  user=3583.24 s, system=0.787941 s

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

[startup+3584 s]*
/proc/loadavg: 4.17 4.18 4.12 5/264 367317
/proc/meminfo: memFree=124996244/131524600 swapFree=131071996/131071996
[pid=365252] ppid=365249 vsize=9932 memory=2752 CPUtime=1791.84 cores=0,2
/proc/365252/stat : 365252 (Hybrid-CASHWMax) S 365249 365252 360310 0 -1 4194304 274 191809 0 0 0 0 179132 52 20 0 1 0 65581980 10170368 688 134679101440 93929024479232 93929025558552 140727826671920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93929027657008 93929027704196 93929060036608 140727826674638 140727826674797 140727826674797 140727826681812 0
/proc/365252/statm: 2483 688 596 264 0 134 0
[pid=366404] ppid=365252 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/366404/stat : 366404 (timeout) S 365252 366404 360310 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65761781 8867840 256 134679101440 94178974515200 94178974550216 140736608677904 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94178976647632 94178976649764 94178995699712 140736608687092 140736608687261 140736608687261 140736608694247 0
/proc/366404/statm: 2165 256 231 9 0 87 0
[pid=366405] ppid=366404 vsize=421232 memory=386264 CPUtime=1780.18 cores=0,2
/proc/366405/stat : 366405 (Exact) R 366404 366404 360310 0 -1 4194304 60189 0 0 0 177993 25 0 0 20 0 1 0 65761781 431341568 96566 134679101440 4194304 7243121 140727402560608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 43311104 140727402562576 140727402562726 140727402562726 140727402569712 0
/proc/366405/statm: 105308 96566 804 745 0 104373 0
Current children cumulated CPU time: 3572.02 s
Current children cumulated vsize: 439824 KiB
Current children cumulated memory: 390040 KiB

[startup+3590.4 s]
/proc/loadavg: 4.16 4.18 4.12 5/264 367317
/proc/meminfo: memFree=124996024/131524600 swapFree=131071996/131071996
[pid=365252] ppid=365249 vsize=9932 memory=2752 CPUtime=1791.84 cores=0,2
/proc/365252/stat : 365252 (Hybrid-CASHWMax) S 365249 365252 360310 0 -1 4194304 274 191809 0 0 0 0 179132 52 20 0 1 0 65581980 10170368 688 134679101440 93929024479232 93929025558552 140727826671920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93929027657008 93929027704196 93929060036608 140727826674638 140727826674797 140727826674797 140727826681812 0
/proc/365252/statm: 2483 688 596 264 0 134 0
[pid=366404] ppid=365252 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/366404/stat : 366404 (timeout) S 365252 366404 360310 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65761781 8867840 256 134679101440 94178974515200 94178974550216 140736608677904 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94178976647632 94178976649764 94178995699712 140736608687092 140736608687261 140736608687261 140736608694247 0
/proc/366404/statm: 2165 256 231 9 0 87 0
[pid=366405] ppid=366404 vsize=421232 memory=386264 CPUtime=1786.56 cores=0,2
/proc/366405/stat : 366405 (Exact) R 366404 366404 360310 0 -1 4194304 60189 0 0 0 178631 25 0 0 20 0 1 0 65761781 431341568 96566 134679101440 4194304 7243121 140727402560608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 43311104 140727402562576 140727402562726 140727402562726 140727402569712 0
/proc/366405/statm: 105308 96566 804 745 0 104373 0
Current children cumulated CPU time: 3578.4 s
Current children cumulated vsize: 439824 KiB
Current children cumulated memory: 390040 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.18 4.12 5/264 367318
/proc/meminfo: memFree=124995612/131524600 swapFree=131071996/131071996
[pid=365252] ppid=365249 vsize=9932 memory=2752 CPUtime=1791.84 cores=0,2
/proc/365252/stat : 365252 (Hybrid-CASHWMax) S 365249 365252 360310 0 -1 4194304 274 191809 0 0 0 0 179132 52 20 0 1 0 65581980 10170368 688 134679101440 93929024479232 93929025558552 140727826671920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93929027657008 93929027704196 93929060036608 140727826674638 140727826674797 140727826674797 140727826681812 0
/proc/365252/statm: 2483 688 596 264 0 134 0
[pid=366404] ppid=365252 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/366404/stat : 366404 (timeout) S 365252 366404 360310 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65761781 8867840 256 134679101440 94178974515200 94178974550216 140736608677904 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94178976647632 94178976649764 94178995699712 140736608687092 140736608687261 140736608687261 140736608694247 0
/proc/366404/statm: 2165 256 231 9 0 87 0
[pid=366405] ppid=366404 vsize=421600 memory=386604 CPUtime=1789.75 cores=0,2
/proc/366405/stat : 366405 (Exact) R 366404 366404 360310 0 -1 4194304 60328 0 0 0 178950 25 0 0 20 0 1 0 65761781 431718400 96651 134679101440 4194304 7243121 140727402560608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 43311104 140727402562576 140727402562726 140727402562726 140727402569712 0
/proc/366405/statm: 105400 96651 804 745 0 104465 0
Current children cumulated CPU time: 3581.59 s
Current children cumulated vsize: 440192 KiB
Current children cumulated memory: 390380 KiB

[startup+3595.2 s]
/proc/loadavg: 4.15 4.18 4.12 5/264 367318
/proc/meminfo: memFree=124995612/131524600 swapFree=131071996/131071996
[pid=365252] ppid=365249 vsize=9932 memory=2752 CPUtime=1791.84 cores=0,2
/proc/365252/stat : 365252 (Hybrid-CASHWMax) S 365249 365252 360310 0 -1 4194304 274 191809 0 0 0 0 179132 52 20 0 1 0 65581980 10170368 688 134679101440 93929024479232 93929025558552 140727826671920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93929027657008 93929027704196 93929060036608 140727826674638 140727826674797 140727826674797 140727826681812 0
/proc/365252/statm: 2483 688 596 264 0 134 0
[pid=366404] ppid=365252 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/366404/stat : 366404 (timeout) S 365252 366404 360310 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65761781 8867840 256 134679101440 94178974515200 94178974550216 140736608677904 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94178976647632 94178976649764 94178995699712 140736608687092 140736608687261 140736608687261 140736608694247 0
/proc/366404/statm: 2165 256 231 9 0 87 0
[pid=366405] ppid=366404 vsize=421600 memory=386604 CPUtime=1791.34 cores=0,2
/proc/366405/stat : 366405 (Exact) R 366404 366404 360310 0 -1 4194304 60328 0 0 0 179109 25 0 0 20 0 1 0 65761781 431718400 96651 134679101440 4194304 7243121 140727402560608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 43311104 140727402562576 140727402562726 140727402562726 140727402569712 0
/proc/366405/statm: 105400 96651 804 745 0 104465 0
Current children cumulated CPU time: 3583.18 s
Current children cumulated vsize: 440192 KiB
Current children cumulated memory: 390380 KiB

[startup+3595.6 s]
/proc/loadavg: 4.15 4.18 4.12 5/264 367318
/proc/meminfo: memFree=124995612/131524600 swapFree=131071996/131071996
[pid=365252] ppid=365249 vsize=9932 memory=2752 CPUtime=1791.84 cores=0,2
/proc/365252/stat : 365252 (Hybrid-CASHWMax) S 365249 365252 360310 0 -1 4194304 274 191809 0 0 0 0 179132 52 20 0 1 0 65581980 10170368 688 134679101440 93929024479232 93929025558552 140727826671920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93929027657008 93929027704196 93929060036608 140727826674638 140727826674797 140727826674797 140727826681812 0
/proc/365252/statm: 2483 688 596 264 0 134 0
[pid=366404] ppid=365252 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/366404/stat : 366404 (timeout) S 365252 366404 360310 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65761781 8867840 256 134679101440 94178974515200 94178974550216 140736608677904 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94178976647632 94178976649764 94178995699712 140736608687092 140736608687261 140736608687261 140736608694247 0
/proc/366404/statm: 2165 256 231 9 0 87 0
[pid=366405] ppid=366404 vsize=421600 memory=386604 CPUtime=1791.74 cores=0,2
/proc/366405/stat : 366405 (Exact) R 366404 366404 360310 0 -1 4194304 60328 0 0 0 179149 25 0 0 20 0 1 0 65761781 431718400 96651 134679101440 4194304 7243121 140727402560608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 43311104 140727402562576 140727402562726 140727402562726 140727402569712 0
/proc/366405/statm: 105400 96651 804 745 0 104465 0
Current children cumulated CPU time: 3583.58 s
Current children cumulated vsize: 440192 KiB
Current children cumulated memory: 390380 KiB

[startup+3596 s]*
/proc/loadavg: 4.15 4.18 4.12 5/264 367318
/proc/meminfo: memFree=124995604/131524600 swapFree=131071996/131071996
[pid=365252] ppid=365249 vsize=9932 memory=2752 CPUtime=1791.84 cores=0,2
/proc/365252/stat : 365252 (Hybrid-CASHWMax) S 365249 365252 360310 0 -1 4194304 274 191809 0 0 0 0 179132 52 20 0 1 0 65581980 10170368 688 134679101440 93929024479232 93929025558552 140727826671920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93929027657008 93929027704196 93929060036608 140727826674638 140727826674797 140727826674797 140727826681812 0
/proc/365252/statm: 2483 688 596 264 0 134 0
[pid=366404] ppid=365252 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/366404/stat : 366404 (timeout) S 365252 366404 360310 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65761781 8867840 256 134679101440 94178974515200 94178974550216 140736608677904 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94178976647632 94178976649764 94178995699712 140736608687092 140736608687261 140736608687261 140736608694247 0
/proc/366404/statm: 2165 256 231 9 0 87 0
[pid=366405] ppid=366404 vsize=421600 memory=386604 CPUtime=1792.15 cores=0,2
/proc/366405/stat : 366405 (Exact) R 366404 366404 360310 0 -1 4194304 60328 0 0 0 179190 25 0 0 20 0 1 0 65761781 431718400 96651 134679101440 4194304 7243121 140727402560608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 43311104 140727402562576 140727402562726 140727402562726 140727402569712 0
/proc/366405/statm: 105400 96651 804 745 0 104465 0
Current children cumulated CPU time: 3583.99 s
Current children cumulated vsize: 440192 KiB
Current children cumulated memory: 390380 KiB

Child status: 0

Real time (s): 3596.02
CPU time (s): 3584.03
CPU user time (s): 3583.24
CPU system time (s): 0.787941
CPU usage (%): 99.6665
Max. virtual memory (cumulated for all children) (KiB): 792948
Max. memory (cumulated for all children) (KiB): 771596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.24
system time used= 0.787941
maximum resident set size= 767880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255441
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= 147
involuntary context switches= 24576


# summary of solver processes directly reported to runsolver:
#   pid: 365252
#   total CPU time (s): 3584.03
#   total CPU user time (s): 3583.24
#   total CPU system time (s): 0.787941

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.45978 second user time and 19.6997 second system time

The end