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: 63931 MiB (61088 MiB free)
  memory of node 1: 64510 MiB (63181 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438279-1722961428/watcher-4438279-1722961428 -o /tmp/evaluation-result-4438279-1722961428/solver-4438279-1722961428 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722959025-338388 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438279-1722961428.opb 3600 HOME 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=339726, runsolver pid=339723
Current StackSize limit: 8192 KiB


[startup+0.100089 s]*
/proc/loadavg: 4.14 4.13 4.09 5/266 339730
/proc/meminfo: memFree=127226620/131524600 swapFree=131071996/131071996
[pid=339726] ppid=339723 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/339726/stat : 339726 (Hybrid-CASHWMax) S 339723 339726 338375 0 -1 4194304 246 100 0 0 0 0 0 0 20 0 1 0 62742071 10170368 692 134679101440 94915782668288 94915783747608 140728629801920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94915785846064 94915785893252 94915800502272 140728629810128 140728629810286 140728629810286 140728629817301 0
/proc/339726/statm: 2483 692 614 264 0 134 0
[pid=339729] ppid=339726 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/339729/stat : 339729 (timeout) S 339726 339729 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62742071 8867840 245 134679101440 94345701965824 94345702000840 140736129456976 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94345704098256 94345704100388 94345718996992 140736129459212 140736129459357 140736129459357 140736129466343 0
/proc/339729/statm: 2165 245 221 9 0 87 0
[pid=339730] ppid=339729 vsize=44860 memory=35996 CPUtime=0.1 cores=5,7
/proc/339730/stat : 339730 (CASHWMaxSAT-Dis) R 339729 339729 338375 0 -1 4194304 6756 0 0 0 9 1 0 0 20 0 1 0 62742071 45936640 8999 134679101440 4194304 14093885 140727700434960 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40513536 140727700440082 140727700440214 140727700440214 140727700447200 0
/proc/339730/statm: 11215 8999 2494 2417 0 8317 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 63452 KiB
Current children cumulated memory: 39744 KiB

[startup+0.206158 s]*
/proc/loadavg: 4.14 4.13 4.09 5/266 339730
/proc/meminfo: memFree=127224436/131524600 swapFree=131071996/131071996
[pid=339726] ppid=339723 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/339726/stat : 339726 (Hybrid-CASHWMax) S 339723 339726 338375 0 -1 4194304 246 100 0 0 0 0 0 0 20 0 1 0 62742071 10170368 692 134679101440 94915782668288 94915783747608 140728629801920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94915785846064 94915785893252 94915800502272 140728629810128 140728629810286 140728629810286 140728629817301 0
/proc/339726/statm: 2483 692 614 264 0 134 0
[pid=339729] ppid=339726 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/339729/stat : 339729 (timeout) S 339726 339729 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62742071 8867840 245 134679101440 94345701965824 94345702000840 140736129456976 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94345704098256 94345704100388 94345718996992 140736129459212 140736129459357 140736129459357 140736129466343 0
/proc/339729/statm: 2165 245 221 9 0 87 0
[pid=339730] ppid=339729 vsize=46464 memory=37616 CPUtime=0.2 cores=5,7
/proc/339730/stat : 339730 (CASHWMaxSAT-Dis) R 339729 339729 338375 0 -1 4194304 7131 0 0 0 19 1 0 0 20 0 1 0 62742071 47579136 9404 134679101440 4194304 14093885 140727700434960 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40513536 140727700440082 140727700440214 140727700440214 140727700447200 0
/proc/339730/statm: 11616 9404 2510 2417 0 8718 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 65056 KiB
Current children cumulated memory: 41364 KiB

[startup+0.306061 s]*
/proc/loadavg: 4.14 4.13 4.09 5/266 339730
/proc/meminfo: memFree=127224268/131524600 swapFree=131071996/131071996
[pid=339726] ppid=339723 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/339726/stat : 339726 (Hybrid-CASHWMax) S 339723 339726 338375 0 -1 4194304 246 100 0 0 0 0 0 0 20 0 1 0 62742071 10170368 692 134679101440 94915782668288 94915783747608 140728629801920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94915785846064 94915785893252 94915800502272 140728629810128 140728629810286 140728629810286 140728629817301 0
/proc/339726/statm: 2483 692 614 264 0 134 0
[pid=339729] ppid=339726 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/339729/stat : 339729 (timeout) S 339726 339729 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62742071 8867840 245 134679101440 94345701965824 94345702000840 140736129456976 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94345704098256 94345704100388 94345718996992 140736129459212 140736129459357 140736129459357 140736129466343 0
/proc/339729/statm: 2165 245 221 9 0 87 0
[pid=339730] ppid=339729 vsize=46464 memory=37616 CPUtime=0.3 cores=5,7
/proc/339730/stat : 339730 (CASHWMaxSAT-Dis) R 339729 339729 338375 0 -1 4194304 7132 0 0 0 29 1 0 0 20 0 1 0 62742071 47579136 9404 134679101440 4194304 14093885 140727700434960 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40513536 140727700440082 140727700440214 140727700440214 140727700447200 0
/proc/339730/statm: 11616 9404 2510 2417 0 8718 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 65056 KiB
Current children cumulated memory: 41364 KiB

[startup+0.700239 s]
/proc/loadavg: 4.14 4.13 4.09 5/266 339730
/proc/meminfo: memFree=127221104/131524600 swapFree=131071996/131071996
[pid=339726] ppid=339723 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/339726/stat : 339726 (Hybrid-CASHWMax) S 339723 339726 338375 0 -1 4194304 246 100 0 0 0 0 0 0 20 0 1 0 62742071 10170368 692 134679101440 94915782668288 94915783747608 140728629801920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94915785846064 94915785893252 94915800502272 140728629810128 140728629810286 140728629810286 140728629817301 0
/proc/339726/statm: 2483 692 614 264 0 134 0
[pid=339729] ppid=339726 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/339729/stat : 339729 (timeout) S 339726 339729 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62742071 8867840 245 134679101440 94345701965824 94345702000840 140736129456976 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94345704098256 94345704100388 94345718996992 140736129459212 140736129459357 140736129459357 140736129466343 0
/proc/339729/statm: 2165 245 221 9 0 87 0
[pid=339730] ppid=339729 vsize=50900 memory=41600 CPUtime=0.69 cores=5,7
/proc/339730/stat : 339730 (CASHWMaxSAT-Dis) R 339729 339729 338375 0 -1 4194304 8116 0 0 0 68 1 0 0 20 0 1 0 62742071 52121600 10400 134679101440 4194304 14093885 140727700434960 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40513536 140727700440082 140727700440214 140727700440214 140727700447200 0
/proc/339730/statm: 12725 10400 2526 2417 0 9827 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 69492 KiB
Current children cumulated memory: 45348 KiB

[startup+1.50025 s]
/proc/loadavg: 4.14 4.13 4.09 5/266 339730
/proc/meminfo: memFree=127219764/131524600 swapFree=131071996/131071996
[pid=339726] ppid=339723 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/339726/stat : 339726 (Hybrid-CASHWMax) S 339723 339726 338375 0 -1 4194304 246 100 0 0 0 0 0 0 20 0 1 0 62742071 10170368 692 134679101440 94915782668288 94915783747608 140728629801920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94915785846064 94915785893252 94915800502272 140728629810128 140728629810286 140728629810286 140728629817301 0
/proc/339726/statm: 2483 692 614 264 0 134 0
[pid=339729] ppid=339726 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/339729/stat : 339729 (timeout) S 339726 339729 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62742071 8867840 245 134679101440 94345701965824 94345702000840 140736129456976 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94345704098256 94345704100388 94345718996992 140736129459212 140736129459357 140736129459357 140736129466343 0
/proc/339729/statm: 2165 245 221 9 0 87 0
[pid=339730] ppid=339729 vsize=52964 memory=43448 CPUtime=1.48 cores=5,7
/proc/339730/stat : 339730 (CASHWMaxSAT-Dis) R 339729 339729 338375 0 -1 4194304 8619 0 0 0 147 1 0 0 20 0 1 0 62742071 54235136 10862 134679101440 4194304 14093885 140727700434960 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40513536 140727700440082 140727700440214 140727700440214 140727700447200 0
/proc/339730/statm: 13241 10862 2526 2417 0 10343 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 71556 KiB
Current children cumulated memory: 47196 KiB

[startup+3.10593 s]
/proc/loadavg: 4.14 4.13 4.09 5/266 339731
/proc/meminfo: memFree=127198444/131524600 swapFree=131071996/131071996
[pid=339726] ppid=339723 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/339726/stat : 339726 (Hybrid-CASHWMax) S 339723 339726 338375 0 -1 4194304 246 100 0 0 0 0 0 0 20 0 1 0 62742071 10170368 692 134679101440 94915782668288 94915783747608 140728629801920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94915785846064 94915785893252 94915800502272 140728629810128 140728629810286 140728629810286 140728629817301 0
/proc/339726/statm: 2483 692 614 264 0 134 0
[pid=339729] ppid=339726 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/339729/stat : 339729 (timeout) S 339726 339729 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62742071 8867840 245 134679101440 94345701965824 94345702000840 140736129456976 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94345704098256 94345704100388 94345718996992 140736129459212 140736129459357 140736129459357 140736129466343 0
/proc/339729/statm: 2165 245 221 9 0 87 0
[pid=339730] ppid=339729 vsize=79568 memory=69056 CPUtime=3.08 cores=5,7
/proc/339730/stat : 339730 (CASHWMaxSAT-Dis) R 339729 339729 338375 0 -1 4194304 14997 0 0 0 306 2 0 0 20 0 1 0 62742071 81477632 17264 134679101440 4194304 14093885 140727700434960 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40513536 140727700440082 140727700440214 140727700440214 140727700447200 0
/proc/339730/statm: 19892 17264 2526 2417 0 16994 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 98160 KiB
Current children cumulated memory: 72804 KiB

[startup+6.30024 s]
/proc/loadavg: 4.13 4.12 4.09 5/266 339731
/proc/meminfo: memFree=127152924/131524600 swapFree=131071996/131071996
[pid=339726] ppid=339723 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/339726/stat : 339726 (Hybrid-CASHWMax) S 339723 339726 338375 0 -1 4194304 246 100 0 0 0 0 0 0 20 0 1 0 62742071 10170368 692 134679101440 94915782668288 94915783747608 140728629801920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94915785846064 94915785893252 94915800502272 140728629810128 140728629810286 140728629810286 140728629817301 0
/proc/339726/statm: 2483 692 614 264 0 134 0
[pid=339729] ppid=339726 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/339729/stat : 339729 (timeout) S 339726 339729 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62742071 8867840 245 134679101440 94345701965824 94345702000840 140736129456976 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94345704098256 94345704100388 94345718996992 140736129459212 140736129459357 140736129459357 140736129466343 0
/proc/339729/statm: 2165 245 221 9 0 87 0
[pid=339730] ppid=339729 vsize=121848 memory=109712 CPUtime=6.27 cores=5,7
/proc/339730/stat : 339730 (CASHWMaxSAT-Dis) R 339729 339729 338375 0 -1 4194304 25176 0 0 0 623 4 0 0 20 0 1 0 62742071 124772352 27428 134679101440 4194304 14093885 140727700434960 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40513536 140727700440082 140727700440214 140727700440214 140727700447200 0
/proc/339730/statm: 30462 27428 2526 2417 0 27564 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 140440 KiB
Current children cumulated memory: 113460 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 339733
/proc/meminfo: memFree=127113648/131524600 swapFree=131071996/131071996
[pid=339726] ppid=339723 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/339726/stat : 339726 (Hybrid-CASHWMax) S 339723 339726 338375 0 -1 4194304 246 100 0 0 0 0 0 0 20 0 1 0 62742071 10170368 692 134679101440 94915782668288 94915783747608 140728629801920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94915785846064 94915785893252 94915800502272 140728629810128 140728629810286 140728629810286 140728629817301 0
/proc/339726/statm: 2483 692 614 264 0 134 0
[pid=339729] ppid=339726 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/339729/stat : 339729 (timeout) S 339726 339729 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62742071 8867840 245 134679101440 94345701965824 94345702000840 140736129456976 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94345704098256 94345704100388 94345718996992 140736129459212 140736129459357 140736129459357 140736129466343 0
/proc/339729/statm: 2165 245 221 9 0 87 0
[pid=339730] ppid=339729 vsize=163732 memory=147728 CPUtime=12.66 cores=5,7
/proc/339730/stat : 339730 (CASHWMaxSAT-Dis) R 339729 339729 338375 0 -1 4194304 34637 0 0 0 1261 5 0 0 20 0 1 0 62742071 167661568 36932 134679101440 4194304 14093885 140727700434960 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40513536 140727700440082 140727700440214 140727700440214 140727700447200 0
/proc/339730/statm: 40933 36932 2526 2417 0 38035 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 182324 KiB
Current children cumulated memory: 151476 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 339734
/proc/meminfo: memFree=127111980/131524600 swapFree=131071996/131071996
[pid=339726] ppid=339723 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/339726/stat : 339726 (Hybrid-CASHWMax) S 339723 339726 338375 0 -1 4194304 246 100 0 0 0 0 0 0 20 0 1 0 62742071 10170368 692 134679101440 94915782668288 94915783747608 140728629801920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94915785846064 94915785893252 94915800502272 140728629810128 140728629810286 140728629810286 140728629817301 0
/proc/339726/statm: 2483 692 614 264 0 134 0
[pid=339729] ppid=339726 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/339729/stat : 339729 (timeout) S 339726 339729 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62742071 8867840 245 134679101440 94345701965824 94345702000840 140736129456976 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94345704098256 94345704100388 94345718996992 140736129459212 140736129459357 140736129459357 140736129466343 0
/proc/339729/statm: 2165 245 221 9 0 87 0
[pid=339730] ppid=339729 vsize=163732 memory=147992 CPUtime=25.42 cores=5,7
/proc/339730/stat : 339730 (CASHWMaxSAT-Dis) R 339729 339729 338375 0 -1 4194304 34729 0 0 0 2537 5 0 0 20 0 1 0 62742071 167661568 36998 134679101440 4194304 14093885 140727700434960 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40513536 140727700440082 140727700440214 140727700440214 140727700447200 0
/proc/339730/statm: 40933 36998 2526 2417 0 38035 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 182324 KiB
Current children cumulated memory: 151740 KiB

[startup+51.1062 s]
/proc/loadavg: 4.06 4.10 4.09 5/265 339738
/proc/meminfo: memFree=127081740/131524600 swapFree=131071996/131071996
[pid=339726] ppid=339723 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/339726/stat : 339726 (Hybrid-CASHWMax) S 339723 339726 338375 0 -1 4194304 246 100 0 0 0 0 0 0 20 0 1 0 62742071 10170368 692 134679101440 94915782668288 94915783747608 140728629801920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94915785846064 94915785893252 94915800502272 140728629810128 140728629810286 140728629810286 140728629817301 0
/proc/339726/statm: 2483 692 614 264 0 134 0
[pid=339729] ppid=339726 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/339729/stat : 339729 (timeout) S 339726 339729 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62742071 8867840 245 134679101440 94345701965824 94345702000840 140736129456976 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94345704098256 94345704100388 94345718996992 140736129459212 140736129459357 140736129459357 140736129466343 0
/proc/339729/statm: 2165 245 221 9 0 87 0
[pid=339730] ppid=339729 vsize=197008 memory=178068 CPUtime=50.97 cores=5,7
/proc/339730/stat : 339730 (CASHWMaxSAT-Dis) R 339729 339729 338375 0 -1 4194304 42225 0 0 0 5089 8 0 0 20 0 1 0 62742071 201736192 44517 134679101440 4194304 14093885 140727700434960 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 40513536 140727700440082 140727700440214 140727700440214 140727700447200 0
/proc/339730/statm: 49252 44517 2526 2417 0 46354 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 215600 KiB
Current children cumulated memory: 181816 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 340132
/proc/meminfo: memFree=127029100/131524600 swapFree=131071996/131071996
[pid=339726] ppid=339723 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/339726/stat : 339726 (Hybrid-CASHWMax) S 339723 339726 338375 0 -1 4194304 246 100 0 0 0 0 0 0 20 0 1 0 62742071 10170368 692 134679101440 94915782668288 94915783747608 140728629801920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94915785846064 94915785893252 94915800502272 140728629810128 140728629810286 140728629810286 140728629817301 0

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

/proc/340805/statm: 69541 55380 748 737 0 68629 0
Current children cumulated CPU time: 3393.71 s
Current children cumulated vsize: 296756 KiB
Current children cumulated memory: 225364 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.13 4.11 5/265 341753
/proc/meminfo: memFree=127782696/131524600 swapFree=131071996/131071996
[pid=339726] ppid=339723 vsize=9932 memory=2832 CPUtime=1793.46 cores=5,7
/proc/339726/stat : 339726 (Hybrid-CASHWMax) S 339723 339726 338375 0 -1 4194304 278 92453 0 0 0 0 179312 34 20 0 1 0 62742071 10170368 708 134679101440 94915782668288 94915783747608 140728629801920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94915785846064 94915785893252 94915800502272 140728629810128 140728629810286 140728629810286 140728629817301 0
/proc/339726/statm: 2483 708 614 264 0 134 0
[pid=340804] ppid=339726 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/340804/stat : 340804 (timeout) S 339726 340804 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62921871 8867840 253 134679101440 94366800560128 94366800595144 140721152037936 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94366802692560 94366802694692 94366832381952 140721152041972 140721152042141 140721152042141 140721152049127 0
/proc/340804/statm: 2165 253 229 9 0 87 0
[pid=340805] ppid=340804 vsize=279892 memory=222916 CPUtime=1660.11 cores=5,7
/proc/340805/stat : 340805 (Exact) R 340804 340804 338375 0 -1 4194304 29132 0 0 0 166001 10 0 0 20 0 1 0 62921871 286609408 55729 134679101440 4194304 7210733 140728884319744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 24715264 140728884327440 140728884327590 140728884327590 140728884334576 0
/proc/340805/statm: 69973 55729 748 737 0 69061 0
Current children cumulated CPU time: 3453.57 s
Current children cumulated vsize: 298484 KiB
Current children cumulated memory: 226760 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.12 4.10 5/265 341763
/proc/meminfo: memFree=127756344/131524600 swapFree=131071996/131071996
[pid=339726] ppid=339723 vsize=9932 memory=2832 CPUtime=1793.46 cores=5,7
/proc/339726/stat : 339726 (Hybrid-CASHWMax) S 339723 339726 338375 0 -1 4194304 278 92453 0 0 0 0 179312 34 20 0 1 0 62742071 10170368 708 134679101440 94915782668288 94915783747608 140728629801920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94915785846064 94915785893252 94915800502272 140728629810128 140728629810286 140728629810286 140728629817301 0
/proc/339726/statm: 2483 708 614 264 0 134 0
[pid=340804] ppid=339726 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/340804/stat : 340804 (timeout) S 339726 340804 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62921871 8867840 253 134679101440 94366800560128 94366800595144 140721152037936 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94366802692560 94366802694692 94366832381952 140721152041972 140721152042141 140721152042141 140721152049127 0
/proc/340804/statm: 2165 253 229 9 0 87 0
[pid=340805] ppid=340804 vsize=280468 memory=223740 CPUtime=1719.97 cores=5,7
/proc/340805/stat : 340805 (Exact) R 340804 340804 338375 0 -1 4194304 29377 0 0 0 171987 10 0 0 20 0 1 0 62921871 287199232 55935 134679101440 4194304 7210733 140728884319744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 24715264 140728884327440 140728884327590 140728884327590 140728884334576 0
/proc/340805/statm: 70117 55935 748 737 0 69205 0
Current children cumulated CPU time: 3513.43 s
Current children cumulated vsize: 299060 KiB
Current children cumulated memory: 227584 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.11 4.10 5/265 341773
/proc/meminfo: memFree=127753744/131524600 swapFree=131071996/131071996
[pid=339726] ppid=339723 vsize=9932 memory=2832 CPUtime=1793.46 cores=5,7
/proc/339726/stat : 339726 (Hybrid-CASHWMax) S 339723 339726 338375 0 -1 4194304 278 92453 0 0 0 0 179312 34 20 0 1 0 62742071 10170368 708 134679101440 94915782668288 94915783747608 140728629801920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94915785846064 94915785893252 94915800502272 140728629810128 140728629810286 140728629810286 140728629817301 0
/proc/339726/statm: 2483 708 614 264 0 134 0
[pid=340804] ppid=339726 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/340804/stat : 340804 (timeout) S 339726 340804 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62921871 8867840 253 134679101440 94366800560128 94366800595144 140721152037936 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94366802692560 94366802694692 94366832381952 140721152041972 140721152042141 140721152042141 140721152049127 0
/proc/340804/statm: 2165 253 229 9 0 87 0
[pid=340805] ppid=340804 vsize=280916 memory=224092 CPUtime=1779.84 cores=5,7
/proc/340805/stat : 340805 (Exact) R 340804 340804 338375 0 -1 4194304 29503 0 0 0 177974 10 0 0 20 0 1 0 62921871 287657984 56023 134679101440 4194304 7210733 140728884319744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 24715264 140728884327440 140728884327590 140728884327590 140728884334576 0
/proc/340805/statm: 70229 56023 748 737 0 69317 0
Current children cumulated CPU time: 3573.3 s
Current children cumulated vsize: 299508 KiB
Current children cumulated memory: 227936 KiB

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

# cumulated CPU time of all completed processes:  user=3586.56 s, system=0.465717 s

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

[startup+3584 s]*
/proc/loadavg: 4.06 4.11 4.10 5/265 341773
/proc/meminfo: memFree=127753736/131524600 swapFree=131071996/131071996
[pid=339726] ppid=339723 vsize=9932 memory=2832 CPUtime=1793.46 cores=5,7
/proc/339726/stat : 339726 (Hybrid-CASHWMax) S 339723 339726 338375 0 -1 4194304 278 92453 0 0 0 0 179312 34 20 0 1 0 62742071 10170368 708 134679101440 94915782668288 94915783747608 140728629801920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94915785846064 94915785893252 94915800502272 140728629810128 140728629810286 140728629810286 140728629817301 0
/proc/339726/statm: 2483 708 614 264 0 134 0
[pid=340804] ppid=339726 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/340804/stat : 340804 (timeout) S 339726 340804 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62921871 8867840 253 134679101440 94366800560128 94366800595144 140721152037936 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94366802692560 94366802694692 94366832381952 140721152041972 140721152042141 140721152042141 140721152049127 0
/proc/340804/statm: 2165 253 229 9 0 87 0
[pid=340805] ppid=340804 vsize=280916 memory=224092 CPUtime=1781.54 cores=5,7
/proc/340805/stat : 340805 (Exact) R 340804 340804 338375 0 -1 4194304 29503 0 0 0 178144 10 0 0 20 0 1 0 62921871 287657984 56023 134679101440 4194304 7210733 140728884319744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 24715264 140728884327440 140728884327590 140728884327590 140728884334576 0
/proc/340805/statm: 70229 56023 748 737 0 69317 0
Current children cumulated CPU time: 3575 s
Current children cumulated vsize: 299508 KiB
Current children cumulated memory: 227936 KiB

[startup+3590.4 s]
/proc/loadavg: 4.06 4.11 4.10 5/265 341773
/proc/meminfo: memFree=127751024/131524600 swapFree=131071996/131071996
[pid=339726] ppid=339723 vsize=9932 memory=2832 CPUtime=1793.46 cores=5,7
/proc/339726/stat : 339726 (Hybrid-CASHWMax) S 339723 339726 338375 0 -1 4194304 278 92453 0 0 0 0 179312 34 20 0 1 0 62742071 10170368 708 134679101440 94915782668288 94915783747608 140728629801920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94915785846064 94915785893252 94915800502272 140728629810128 140728629810286 140728629810286 140728629817301 0
/proc/339726/statm: 2483 708 614 264 0 134 0
[pid=340804] ppid=339726 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/340804/stat : 340804 (timeout) S 339726 340804 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62921871 8867840 253 134679101440 94366800560128 94366800595144 140721152037936 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94366802692560 94366802694692 94366832381952 140721152041972 140721152042141 140721152042141 140721152049127 0
/proc/340804/statm: 2165 253 229 9 0 87 0
[pid=340805] ppid=340804 vsize=280916 memory=224092 CPUtime=1787.92 cores=5,7
/proc/340805/stat : 340805 (Exact) R 340804 340804 338375 0 -1 4194304 29503 0 0 0 178782 10 0 0 20 0 1 0 62921871 287657984 56023 134679101440 4194304 7210733 140728884319744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 24715264 140728884327440 140728884327590 140728884327590 140728884334576 0
/proc/340805/statm: 70229 56023 748 737 0 69317 0
Current children cumulated CPU time: 3581.38 s
Current children cumulated vsize: 299508 KiB
Current children cumulated memory: 227936 KiB

[startup+3593.6 s]
/proc/loadavg: 4.13 4.12 4.10 5/265 341774
/proc/meminfo: memFree=127751020/131524600 swapFree=131071996/131071996
[pid=339726] ppid=339723 vsize=9932 memory=2832 CPUtime=1793.46 cores=5,7
/proc/339726/stat : 339726 (Hybrid-CASHWMax) S 339723 339726 338375 0 -1 4194304 278 92453 0 0 0 0 179312 34 20 0 1 0 62742071 10170368 708 134679101440 94915782668288 94915783747608 140728629801920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94915785846064 94915785893252 94915800502272 140728629810128 140728629810286 140728629810286 140728629817301 0
/proc/339726/statm: 2483 708 614 264 0 134 0
[pid=340804] ppid=339726 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/340804/stat : 340804 (timeout) S 339726 340804 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62921871 8867840 253 134679101440 94366800560128 94366800595144 140721152037936 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94366802692560 94366802694692 94366832381952 140721152041972 140721152042141 140721152042141 140721152049127 0
/proc/340804/statm: 2165 253 229 9 0 87 0
[pid=340805] ppid=340804 vsize=280916 memory=224092 CPUtime=1791.11 cores=5,7
/proc/340805/stat : 340805 (Exact) R 340804 340804 338375 0 -1 4194304 29503 0 0 0 179101 10 0 0 20 0 1 0 62921871 287657984 56023 134679101440 4194304 7210733 140728884319744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 24715264 140728884327440 140728884327590 140728884327590 140728884334576 0
/proc/340805/statm: 70229 56023 748 737 0 69317 0
Current children cumulated CPU time: 3584.57 s
Current children cumulated vsize: 299508 KiB
Current children cumulated memory: 227936 KiB

[startup+3595.2 s]
/proc/loadavg: 4.13 4.12 4.10 5/265 341774
/proc/meminfo: memFree=127751072/131524600 swapFree=131071996/131071996
[pid=339726] ppid=339723 vsize=9932 memory=2832 CPUtime=1793.46 cores=5,7
/proc/339726/stat : 339726 (Hybrid-CASHWMax) S 339723 339726 338375 0 -1 4194304 278 92453 0 0 0 0 179312 34 20 0 1 0 62742071 10170368 708 134679101440 94915782668288 94915783747608 140728629801920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94915785846064 94915785893252 94915800502272 140728629810128 140728629810286 140728629810286 140728629817301 0
/proc/339726/statm: 2483 708 614 264 0 134 0
[pid=340804] ppid=339726 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/340804/stat : 340804 (timeout) S 339726 340804 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62921871 8867840 253 134679101440 94366800560128 94366800595144 140721152037936 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94366802692560 94366802694692 94366832381952 140721152041972 140721152042141 140721152042141 140721152049127 0
/proc/340804/statm: 2165 253 229 9 0 87 0
[pid=340805] ppid=340804 vsize=280916 memory=224092 CPUtime=1792.71 cores=5,7
/proc/340805/stat : 340805 (Exact) R 340804 340804 338375 0 -1 4194304 29503 0 0 0 179261 10 0 0 20 0 1 0 62921871 287657984 56023 134679101440 4194304 7210733 140728884319744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 24715264 140728884327440 140728884327590 140728884327590 140728884334576 0
/proc/340805/statm: 70229 56023 748 737 0 69317 0
Current children cumulated CPU time: 3586.17 s
Current children cumulated vsize: 299508 KiB
Current children cumulated memory: 227936 KiB

[startup+3595.6 s]
/proc/loadavg: 4.13 4.12 4.10 5/265 341774
/proc/meminfo: memFree=127751072/131524600 swapFree=131071996/131071996
[pid=339726] ppid=339723 vsize=9932 memory=2832 CPUtime=1793.46 cores=5,7
/proc/339726/stat : 339726 (Hybrid-CASHWMax) S 339723 339726 338375 0 -1 4194304 278 92453 0 0 0 0 179312 34 20 0 1 0 62742071 10170368 708 134679101440 94915782668288 94915783747608 140728629801920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94915785846064 94915785893252 94915800502272 140728629810128 140728629810286 140728629810286 140728629817301 0
/proc/339726/statm: 2483 708 614 264 0 134 0
[pid=340804] ppid=339726 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/340804/stat : 340804 (timeout) S 339726 340804 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62921871 8867840 253 134679101440 94366800560128 94366800595144 140721152037936 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94366802692560 94366802694692 94366832381952 140721152041972 140721152042141 140721152042141 140721152049127 0
/proc/340804/statm: 2165 253 229 9 0 87 0
[pid=340805] ppid=340804 vsize=280916 memory=224092 CPUtime=1793.11 cores=5,7
/proc/340805/stat : 340805 (Exact) R 340804 340804 338375 0 -1 4194304 29503 0 0 0 179301 10 0 0 20 0 1 0 62921871 287657984 56023 134679101440 4194304 7210733 140728884319744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 24715264 140728884327440 140728884327590 140728884327590 140728884334576 0
/proc/340805/statm: 70229 56023 748 737 0 69317 0
Current children cumulated CPU time: 3586.57 s
Current children cumulated vsize: 299508 KiB
Current children cumulated memory: 227936 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.12 4.10 5/265 341774
/proc/meminfo: memFree=127751072/131524600 swapFree=131071996/131071996
[pid=339726] ppid=339723 vsize=9932 memory=2832 CPUtime=1793.46 cores=5,7
/proc/339726/stat : 339726 (Hybrid-CASHWMax) S 339723 339726 338375 0 -1 4194304 278 92453 0 0 0 0 179312 34 20 0 1 0 62742071 10170368 708 134679101440 94915782668288 94915783747608 140728629801920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94915785846064 94915785893252 94915800502272 140728629810128 140728629810286 140728629810286 140728629817301 0
/proc/339726/statm: 2483 708 614 264 0 134 0
[pid=340804] ppid=339726 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/340804/stat : 340804 (timeout) S 339726 340804 338375 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62921871 8867840 253 134679101440 94366800560128 94366800595144 140721152037936 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94366802692560 94366802694692 94366832381952 140721152041972 140721152042141 140721152042141 140721152049127 0
/proc/340804/statm: 2165 253 229 9 0 87 0
[pid=340805] ppid=340804 vsize=280916 memory=224092 CPUtime=1793.51 cores=5,7
/proc/340805/stat : 340805 (Exact) R 340804 340804 338375 0 -1 4194304 29503 0 0 0 179341 10 0 0 20 0 1 0 62921871 287657984 56023 134679101440 4194304 7210733 140728884319744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 24715264 140728884327440 140728884327590 140728884327590 140728884334576 0
/proc/340805/statm: 70229 56023 748 737 0 69317 0
Current children cumulated CPU time: 3586.97 s
Current children cumulated vsize: 299508 KiB
Current children cumulated memory: 227936 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3587.03
CPU user time (s): 3586.56
CPU system time (s): 0.465717
CPU usage (%): 99.7497
Max. virtual memory (cumulated for all children) (KiB): 412808
Max. memory (cumulated for all children) (KiB): 387524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.56
system time used= 0.465717
maximum resident set size= 383788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125233
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 137
involuntary context switches= 1823


# summary of solver processes directly reported to runsolver:
#   pid: 339726
#   total CPU time (s): 3587.03
#   total CPU user time (s): 3586.56
#   total CPU system time (s): 0.465717

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.75596 second user time and 17.6136 second system time

The end