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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=340752, runsolver pid=340749

[startup+0.100937 s]*
/proc/loadavg: 4.18 4.14 4.10 5/252 340756
/proc/meminfo: memFree=117910860/131655788 swapFree=131071216/131071996
[pid=340752] ppid=340749 vsize=9932 memory=2588 CPUtime=0 cores=4,6
/proc/340752/stat : 340752 (Hybrid-CASHWMax) S 340749 340752 338667 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62568268 10170368 647 134679101440 94447686180864 94447687260184 140730334509152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447689358640 94447689405828 94447696977920 140730334516174 140730334516333 140730334516333 140730334523348 0
/proc/340752/statm: 2483 647 567 264 0 134 0
[pid=340755] ppid=340752 vsize=8660 memory=1000 CPUtime=0 cores=4,6
/proc/340755/stat : 340755 (timeout) S 340752 340755 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62568269 8867840 250 134679101440 94625285541888 94625285576904 140720692842576 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94625287674320 94625287676452 94625313492992 140720692847614 140720692847773 140720692847773 140720692854759 0
/proc/340755/statm: 2165 250 225 9 0 87 0
[pid=340756] ppid=340755 vsize=28272 memory=19400 CPUtime=0.1 cores=4,6
/proc/340756/stat : 340756 (CASHWMaxSAT-Dis) R 340755 340755 338667 0 -1 4194304 2917 0 0 0 9 1 0 0 20 0 1 0 62568269 28950528 4850 134679101440 4194304 15356333 140729531724080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23064576 140729531732995 140729531733141 140729531733141 140729531740127 0
/proc/340756/statm: 7068 4850 2378 2726 0 3816 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46864 KiB
Current children cumulated memory: 22988 KiB

[startup+0.21379 s]*
/proc/loadavg: 4.18 4.14 4.10 5/252 340756
/proc/meminfo: memFree=117897560/131655788 swapFree=131071216/131071996
[pid=340752] ppid=340749 vsize=9932 memory=2588 CPUtime=0 cores=4,6
/proc/340752/stat : 340752 (Hybrid-CASHWMax) S 340749 340752 338667 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62568268 10170368 647 134679101440 94447686180864 94447687260184 140730334509152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447689358640 94447689405828 94447696977920 140730334516174 140730334516333 140730334516333 140730334523348 0
/proc/340752/statm: 2483 647 567 264 0 134 0
[pid=340755] ppid=340752 vsize=8660 memory=1000 CPUtime=0 cores=4,6
/proc/340755/stat : 340755 (timeout) S 340752 340755 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62568269 8867840 250 134679101440 94625285541888 94625285576904 140720692842576 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94625287674320 94625287676452 94625313492992 140720692847614 140720692847773 140720692847773 140720692854759 0
/proc/340755/statm: 2165 250 225 9 0 87 0
[pid=340756] ppid=340755 vsize=41440 memory=32544 CPUtime=0.21 cores=4,6
/proc/340756/stat : 340756 (CASHWMaxSAT-Dis) R 340755 340755 338667 0 -1 4194304 5980 0 0 0 19 2 0 0 20 0 1 0 62568269 42434560 8136 134679101440 4194304 15356333 140729531724080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23064576 140729531732995 140729531733141 140729531733141 140729531740127 0
/proc/340756/statm: 10360 8136 2698 2726 0 7108 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 60032 KiB
Current children cumulated memory: 36132 KiB

[startup+0.313763 s]*
/proc/loadavg: 4.18 4.14 4.10 5/252 340756
/proc/meminfo: memFree=117891708/131655788 swapFree=131071216/131071996
[pid=340752] ppid=340749 vsize=9932 memory=2588 CPUtime=0 cores=4,6
/proc/340752/stat : 340752 (Hybrid-CASHWMax) S 340749 340752 338667 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62568268 10170368 647 134679101440 94447686180864 94447687260184 140730334509152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447689358640 94447689405828 94447696977920 140730334516174 140730334516333 140730334516333 140730334523348 0
/proc/340752/statm: 2483 647 567 264 0 134 0
[pid=340755] ppid=340752 vsize=8660 memory=1000 CPUtime=0 cores=4,6
/proc/340755/stat : 340755 (timeout) S 340752 340755 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62568269 8867840 250 134679101440 94625285541888 94625285576904 140720692842576 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94625287674320 94625287676452 94625313492992 140720692847614 140720692847773 140720692847773 140720692854759 0
/proc/340755/statm: 2165 250 225 9 0 87 0
[pid=340756] ppid=340755 vsize=44488 memory=35604 CPUtime=0.3 cores=4,6
/proc/340756/stat : 340756 (CASHWMaxSAT-Dis) R 340755 340755 338667 0 -1 4194304 6739 0 0 0 28 2 0 0 20 0 1 0 62568269 45555712 8901 134679101440 4194304 15356333 140729531724080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23064576 140729531732995 140729531733141 140729531733141 140729531740127 0
/proc/340756/statm: 11122 8901 2746 2726 0 7870 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 63080 KiB
Current children cumulated memory: 39192 KiB

[startup+0.700488 s]
/proc/loadavg: 4.18 4.14 4.10 5/252 340756
/proc/meminfo: memFree=117890540/131655788 swapFree=131071216/131071996
[pid=340752] ppid=340749 vsize=9932 memory=2588 CPUtime=0 cores=4,6
/proc/340752/stat : 340752 (Hybrid-CASHWMax) S 340749 340752 338667 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62568268 10170368 647 134679101440 94447686180864 94447687260184 140730334509152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447689358640 94447689405828 94447696977920 140730334516174 140730334516333 140730334516333 140730334523348 0
/proc/340752/statm: 2483 647 567 264 0 134 0
[pid=340755] ppid=340752 vsize=8660 memory=1000 CPUtime=0 cores=4,6
/proc/340755/stat : 340755 (timeout) S 340752 340755 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62568269 8867840 250 134679101440 94625285541888 94625285576904 140720692842576 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94625287674320 94625287676452 94625313492992 140720692847614 140720692847773 140720692847773 140720692854759 0
/proc/340755/statm: 2165 250 225 9 0 87 0
[pid=340756] ppid=340755 vsize=45292 memory=36388 CPUtime=0.67 cores=4,6
/proc/340756/stat : 340756 (CASHWMaxSAT-Dis) R 340755 340755 338667 0 -1 4194304 6933 0 0 0 65 2 0 0 20 0 1 0 62568269 46379008 9097 134679101440 4194304 15356333 140729531724080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23064576 140729531732995 140729531733141 140729531733141 140729531740127 0
/proc/340756/statm: 11323 9097 2746 2726 0 8071 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 63884 KiB
Current children cumulated memory: 39976 KiB

[startup+1.50051 s]
/proc/loadavg: 4.18 4.14 4.10 5/252 340756
/proc/meminfo: memFree=117886816/131655788 swapFree=131071216/131071996
[pid=340752] ppid=340749 vsize=9932 memory=2588 CPUtime=0 cores=4,6
/proc/340752/stat : 340752 (Hybrid-CASHWMax) S 340749 340752 338667 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62568268 10170368 647 134679101440 94447686180864 94447687260184 140730334509152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447689358640 94447689405828 94447696977920 140730334516174 140730334516333 140730334516333 140730334523348 0
/proc/340752/statm: 2483 647 567 264 0 134 0
[pid=340755] ppid=340752 vsize=8660 memory=1000 CPUtime=0 cores=4,6
/proc/340755/stat : 340755 (timeout) S 340752 340755 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62568269 8867840 250 134679101440 94625285541888 94625285576904 140720692842576 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94625287674320 94625287676452 94625313492992 140720692847614 140720692847773 140720692847773 140720692854759 0
/proc/340755/statm: 2165 250 225 9 0 87 0
[pid=340756] ppid=340755 vsize=50936 memory=41424 CPUtime=1.48 cores=4,6
/proc/340756/stat : 340756 (CASHWMaxSAT-Dis) R 340755 340755 338667 0 -1 4194304 8182 0 0 0 145 3 0 0 20 0 1 0 62568269 52158464 10356 134679101440 4194304 15356333 140729531724080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23064576 140729531732995 140729531733141 140729531733141 140729531740127 0
/proc/340756/statm: 12734 10356 2762 2726 0 9482 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 69528 KiB
Current children cumulated memory: 45012 KiB

[startup+3.11344 s]
/proc/loadavg: 4.16 4.14 4.10 5/252 340756
/proc/meminfo: memFree=117873204/131655788 swapFree=131071216/131071996
[pid=340752] ppid=340749 vsize=9932 memory=2588 CPUtime=0 cores=4,6
/proc/340752/stat : 340752 (Hybrid-CASHWMax) S 340749 340752 338667 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62568268 10170368 647 134679101440 94447686180864 94447687260184 140730334509152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447689358640 94447689405828 94447696977920 140730334516174 140730334516333 140730334516333 140730334523348 0
/proc/340752/statm: 2483 647 567 264 0 134 0
[pid=340755] ppid=340752 vsize=8660 memory=1000 CPUtime=0 cores=4,6
/proc/340755/stat : 340755 (timeout) S 340752 340755 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62568269 8867840 250 134679101440 94625285541888 94625285576904 140720692842576 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94625287674320 94625287676452 94625313492992 140720692847614 140720692847773 140720692847773 140720692854759 0
/proc/340755/statm: 2165 250 225 9 0 87 0
[pid=340756] ppid=340755 vsize=64500 memory=54096 CPUtime=3.08 cores=4,6
/proc/340756/stat : 340756 (CASHWMaxSAT-Dis) R 340755 340755 338667 0 -1 4194304 11337 0 0 0 305 3 0 0 20 0 1 0 62568269 66048000 13524 134679101440 4194304 15356333 140729531724080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23064576 140729531732995 140729531733141 140729531733141 140729531740127 0
/proc/340756/statm: 16125 13524 2762 2726 0 12873 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 83092 KiB
Current children cumulated memory: 57684 KiB

[startup+6.30048 s]
/proc/loadavg: 4.16 4.14 4.10 5/252 340758
/proc/meminfo: memFree=117842456/131655788 swapFree=131071216/131071996
[pid=340752] ppid=340749 vsize=9932 memory=2588 CPUtime=0 cores=4,6
/proc/340752/stat : 340752 (Hybrid-CASHWMax) S 340749 340752 338667 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62568268 10170368 647 134679101440 94447686180864 94447687260184 140730334509152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447689358640 94447689405828 94447696977920 140730334516174 140730334516333 140730334516333 140730334523348 0
/proc/340752/statm: 2483 647 567 264 0 134 0
[pid=340755] ppid=340752 vsize=8660 memory=1000 CPUtime=0 cores=4,6
/proc/340755/stat : 340755 (timeout) S 340752 340755 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62568269 8867840 250 134679101440 94625285541888 94625285576904 140720692842576 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94625287674320 94625287676452 94625313492992 140720692847614 140720692847773 140720692847773 140720692854759 0
/proc/340755/statm: 2165 250 225 9 0 87 0
[pid=340756] ppid=340755 vsize=108016 memory=96336 CPUtime=6.26 cores=4,6
/proc/340756/stat : 340756 (CASHWMaxSAT-Dis) R 340755 340755 338667 0 -1 4194304 21910 0 0 0 621 5 0 0 20 0 1 0 62568269 110608384 24084 134679101440 4194304 15356333 140729531724080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23064576 140729531732995 140729531733141 140729531733141 140729531740127 0
/proc/340756/statm: 27004 24084 2762 2726 0 23752 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 126608 KiB
Current children cumulated memory: 99924 KiB

[startup+12.7005 s]
/proc/loadavg: 4.15 4.14 4.10 5/252 340758
/proc/meminfo: memFree=117786252/131655788 swapFree=131071216/131071996
[pid=340752] ppid=340749 vsize=9932 memory=2588 CPUtime=0 cores=4,6
/proc/340752/stat : 340752 (Hybrid-CASHWMax) S 340749 340752 338667 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62568268 10170368 647 134679101440 94447686180864 94447687260184 140730334509152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447689358640 94447689405828 94447696977920 140730334516174 140730334516333 140730334516333 140730334523348 0
/proc/340752/statm: 2483 647 567 264 0 134 0
[pid=340755] ppid=340752 vsize=8660 memory=1000 CPUtime=0 cores=4,6
/proc/340755/stat : 340755 (timeout) S 340752 340755 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62568269 8867840 250 134679101440 94625285541888 94625285576904 140720692842576 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94625287674320 94625287676452 94625313492992 140720692847614 140720692847773 140720692847773 140720692854759 0
/proc/340755/statm: 2165 250 225 9 0 87 0
[pid=340756] ppid=340755 vsize=156024 memory=140004 CPUtime=12.64 cores=4,6
/proc/340756/stat : 340756 (CASHWMaxSAT-Dis) R 340755 340755 338667 0 -1 4194304 33074 0 0 0 1258 6 0 0 20 0 1 0 62568269 159768576 35001 134679101440 4194304 15356333 140729531724080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23064576 140729531732995 140729531733141 140729531733141 140729531740127 0
/proc/340756/statm: 39006 35001 2762 2726 0 35754 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 174616 KiB
Current children cumulated memory: 143592 KiB

[startup+25.5005 s]
/proc/loadavg: 4.12 4.13 4.09 5/252 340759
/proc/meminfo: memFree=117785332/131655788 swapFree=131071216/131071996
[pid=340752] ppid=340749 vsize=9932 memory=2588 CPUtime=0 cores=4,6
/proc/340752/stat : 340752 (Hybrid-CASHWMax) S 340749 340752 338667 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62568268 10170368 647 134679101440 94447686180864 94447687260184 140730334509152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447689358640 94447689405828 94447696977920 140730334516174 140730334516333 140730334516333 140730334523348 0
/proc/340752/statm: 2483 647 567 264 0 134 0
[pid=340755] ppid=340752 vsize=8660 memory=1000 CPUtime=0 cores=4,6
/proc/340755/stat : 340755 (timeout) S 340752 340755 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62568269 8867840 250 134679101440 94625285541888 94625285576904 140720692842576 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94625287674320 94625287676452 94625313492992 140720692847614 140720692847773 140720692847773 140720692854759 0
/proc/340755/statm: 2165 250 225 9 0 87 0
[pid=340756] ppid=340755 vsize=156024 memory=140796 CPUtime=25.41 cores=4,6
/proc/340756/stat : 340756 (CASHWMaxSAT-Dis) R 340755 340755 338667 0 -1 4194304 33301 0 0 0 2534 7 0 0 20 0 1 0 62568269 159768576 35199 134679101440 4194304 15356333 140729531724080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23064576 140729531732995 140729531733141 140729531733141 140729531740127 0
/proc/340756/statm: 39006 35199 2762 2726 0 35754 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 174616 KiB
Current children cumulated memory: 144384 KiB

[startup+51.1134 s]
/proc/loadavg: 4.22 4.15 4.10 5/251 340764
/proc/meminfo: memFree=117748472/131655788 swapFree=131071216/131071996
[pid=340752] ppid=340749 vsize=9932 memory=2588 CPUtime=0 cores=4,6
/proc/340752/stat : 340752 (Hybrid-CASHWMax) S 340749 340752 338667 0 -1 4194304 243 101 0 0 0 0 0 0 20 0 1 0 62568268 10170368 647 134679101440 94447686180864 94447687260184 140730334509152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447689358640 94447689405828 94447696977920 140730334516174 140730334516333 140730334516333 140730334523348 0
/proc/340752/statm: 2483 647 567 264 0 134 0
[pid=340755] ppid=340752 vsize=8660 memory=1000 CPUtime=0 cores=4,6
/proc/340755/stat : 340755 (timeout) S 340752 340755 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62568269 8867840 250 134679101440 94625285541888 94625285576904 140720692842576 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94625287674320 94625287676452 94625313492992 140720692847614 140720692847773 140720692847773 140720692854759 0
/proc/340755/statm: 2165 250 225 9 0 87 0
[pid=340756] ppid=340755 vsize=188464 memory=171932 CPUtime=50.96 cores=4,6
/proc/340756/stat : 340756 (CASHWMaxSAT-Dis) R 340755 340755 338667 0 -1 4194304 41050 0 0 0 5085 11 0 0 20 0 1 0 62568269 192987136 42983 134679101440 4194304 15356333 140729531724080 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 23064576 140729531732995 140729531733141 140729531733141 140729531740127 0
/proc/340756/statm: 47116 42983 2762 2726 0 43864 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 207056 KiB
Current children cumulated memory: 175520 KiB

[startup+102.301 s]
/proc/loadavg: 4.21 4.16 4.10 5/251 340773
/proc/meminfo: memFree=117673868/131655788 swapFree=131071216/131071996
[pid=340752] ppid=340749 vsize=9932 memory=2588 CPUtime=0 cores=4,6

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

/proc/341740/statm: 66672 49123 820 745 0 65737 0
Current children cumulated CPU time: 3392.63 s
Current children cumulated vsize: 285280 KiB
Current children cumulated memory: 200124 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.37 4.27 5/251 342894
/proc/meminfo: memFree=117570704/131655788 swapFree=131071216/131071996
[pid=340752] ppid=340749 vsize=9932 memory=2636 CPUtime=1793.04 cores=4,6
/proc/340752/stat : 340752 (Hybrid-CASHWMax) S 340749 340752 338667 0 -1 4194304 275 101164 0 0 0 0 179268 36 20 0 1 0 62568268 10170368 659 134679101440 94447686180864 94447687260184 140730334509152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447689358640 94447689405828 94447696977920 140730334516174 140730334516333 140730334516333 140730334523348 0
/proc/340752/statm: 2483 659 567 264 0 134 0
[pid=341739] ppid=340752 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/341739/stat : 341739 (timeout) S 340752 341739 338667 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62748069 8867840 249 134679101440 94840959447040 94840959482056 140724353416944 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94840961579472 94840961581604 94840990388224 140724353418228 140724353418397 140724353418397 140724353425383 0
/proc/341739/statm: 2165 249 225 9 0 87 0
[pid=341740] ppid=341739 vsize=267712 memory=197476 CPUtime=1659.41 cores=4,6
/proc/341740/stat : 341740 (Exact) R 341739 341739 338667 0 -1 4194304 26665 0 0 0 165925 16 0 0 20 0 1 0 62748069 274137088 49369 134679101440 4194304 7243121 140727038606000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 41930752 140727038612496 140727038612646 140727038612646 140727038619632 0
/proc/341740/statm: 66928 49369 820 745 0 65993 0
Current children cumulated CPU time: 3452.45 s
Current children cumulated vsize: 286304 KiB
Current children cumulated memory: 201108 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.31 4.26 5/251 342904
/proc/meminfo: memFree=117560712/131655788 swapFree=131071216/131071996
[pid=340752] ppid=340749 vsize=9932 memory=2636 CPUtime=1793.04 cores=4,6
/proc/340752/stat : 340752 (Hybrid-CASHWMax) S 340749 340752 338667 0 -1 4194304 275 101164 0 0 0 0 179268 36 20 0 1 0 62568268 10170368 659 134679101440 94447686180864 94447687260184 140730334509152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447689358640 94447689405828 94447696977920 140730334516174 140730334516333 140730334516333 140730334523348 0
/proc/340752/statm: 2483 659 567 264 0 134 0
[pid=341739] ppid=340752 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/341739/stat : 341739 (timeout) S 340752 341739 338667 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62748069 8867840 249 134679101440 94840959447040 94840959482056 140724353416944 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94840961579472 94840961581604 94840990388224 140724353418228 140724353418397 140724353418397 140724353425383 0
/proc/341739/statm: 2165 249 225 9 0 87 0
[pid=341740] ppid=341739 vsize=267904 memory=197832 CPUtime=1719.22 cores=4,6
/proc/341740/stat : 341740 (Exact) R 341739 341739 338667 0 -1 4194304 26812 0 0 0 171906 16 0 0 20 0 1 0 62748069 274333696 49458 134679101440 4194304 7243121 140727038606000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 41930752 140727038612496 140727038612646 140727038612646 140727038619632 0
/proc/341740/statm: 66976 49458 820 745 0 66041 0
Current children cumulated CPU time: 3512.26 s
Current children cumulated vsize: 286496 KiB
Current children cumulated memory: 201464 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.27 4.24 5/251 342914
/proc/meminfo: memFree=117559228/131655788 swapFree=131071216/131071996
[pid=340752] ppid=340749 vsize=9932 memory=2636 CPUtime=1793.04 cores=4,6
/proc/340752/stat : 340752 (Hybrid-CASHWMax) S 340749 340752 338667 0 -1 4194304 275 101164 0 0 0 0 179268 36 20 0 1 0 62568268 10170368 659 134679101440 94447686180864 94447687260184 140730334509152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447689358640 94447689405828 94447696977920 140730334516174 140730334516333 140730334516333 140730334523348 0
/proc/340752/statm: 2483 659 567 264 0 134 0
[pid=341739] ppid=340752 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/341739/stat : 341739 (timeout) S 340752 341739 338667 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62748069 8867840 249 134679101440 94840959447040 94840959482056 140724353416944 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94840961579472 94840961581604 94840990388224 140724353418228 140724353418397 140724353418397 140724353425383 0
/proc/341739/statm: 2165 249 225 9 0 87 0
[pid=341740] ppid=341739 vsize=268356 memory=198164 CPUtime=1779.03 cores=4,6
/proc/341740/stat : 341740 (Exact) R 341739 341739 338667 0 -1 4194304 26989 0 0 0 177887 16 0 0 20 0 1 0 62748069 274796544 49541 134679101440 4194304 7243121 140727038606000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 41930752 140727038612496 140727038612646 140727038612646 140727038619632 0
/proc/341740/statm: 67089 49541 820 745 0 66154 0
Current children cumulated CPU time: 3572.07 s
Current children cumulated vsize: 286948 KiB
Current children cumulated memory: 201796 KiB

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

# cumulated CPU time of all completed processes:  user=3585.24 s, system=0.554236 s

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

[startup+3584 s]*
/proc/loadavg: 4.06 4.26 4.24 5/251 342914
/proc/meminfo: memFree=117559232/131655788 swapFree=131071216/131071996
[pid=340752] ppid=340749 vsize=9932 memory=2636 CPUtime=1793.04 cores=4,6
/proc/340752/stat : 340752 (Hybrid-CASHWMax) S 340749 340752 338667 0 -1 4194304 275 101164 0 0 0 0 179268 36 20 0 1 0 62568268 10170368 659 134679101440 94447686180864 94447687260184 140730334509152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447689358640 94447689405828 94447696977920 140730334516174 140730334516333 140730334516333 140730334523348 0
/proc/340752/statm: 2483 659 567 264 0 134 0
[pid=341739] ppid=340752 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/341739/stat : 341739 (timeout) S 340752 341739 338667 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62748069 8867840 249 134679101440 94840959447040 94840959482056 140724353416944 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94840961579472 94840961581604 94840990388224 140724353418228 140724353418397 140724353418397 140724353425383 0
/proc/341739/statm: 2165 249 225 9 0 87 0
[pid=341740] ppid=341739 vsize=268356 memory=198164 CPUtime=1780.73 cores=4,6
/proc/341740/stat : 341740 (Exact) R 341739 341739 338667 0 -1 4194304 26989 0 0 0 178057 16 0 0 20 0 1 0 62748069 274796544 49541 134679101440 4194304 7243121 140727038606000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 41930752 140727038612496 140727038612646 140727038612646 140727038619632 0
/proc/341740/statm: 67089 49541 820 745 0 66154 0
Current children cumulated CPU time: 3573.77 s
Current children cumulated vsize: 286948 KiB
Current children cumulated memory: 201796 KiB

[startup+3590.4 s]
/proc/loadavg: 4.06 4.26 4.24 5/251 342917
/proc/meminfo: memFree=117648312/131655788 swapFree=131071216/131071996
[pid=340752] ppid=340749 vsize=9932 memory=2636 CPUtime=1793.04 cores=4,6
/proc/340752/stat : 340752 (Hybrid-CASHWMax) S 340749 340752 338667 0 -1 4194304 275 101164 0 0 0 0 179268 36 20 0 1 0 62568268 10170368 659 134679101440 94447686180864 94447687260184 140730334509152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447689358640 94447689405828 94447696977920 140730334516174 140730334516333 140730334516333 140730334523348 0
/proc/340752/statm: 2483 659 567 264 0 134 0
[pid=341739] ppid=340752 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/341739/stat : 341739 (timeout) S 340752 341739 338667 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62748069 8867840 249 134679101440 94840959447040 94840959482056 140724353416944 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94840961579472 94840961581604 94840990388224 140724353418228 140724353418397 140724353418397 140724353425383 0
/proc/341739/statm: 2165 249 225 9 0 87 0
[pid=341740] ppid=341739 vsize=268612 memory=198428 CPUtime=1787.1 cores=4,6
/proc/341740/stat : 341740 (Exact) R 341739 341739 338667 0 -1 4194304 27053 0 0 0 178694 16 0 0 20 0 1 0 62748069 275058688 49607 134679101440 4194304 7243121 140727038606000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 41930752 140727038612496 140727038612646 140727038612646 140727038619632 0
/proc/341740/statm: 67153 49607 820 745 0 66218 0
Current children cumulated CPU time: 3580.14 s
Current children cumulated vsize: 287204 KiB
Current children cumulated memory: 202060 KiB

[startup+3593.6 s]
/proc/loadavg: 4.06 4.26 4.24 5/248 342934
/proc/meminfo: memFree=117860532/131655788 swapFree=131071216/131071996
[pid=340752] ppid=340749 vsize=9932 memory=2636 CPUtime=1793.04 cores=4,6
/proc/340752/stat : 340752 (Hybrid-CASHWMax) S 340749 340752 338667 0 -1 4194304 275 101164 0 0 0 0 179268 36 20 0 1 0 62568268 10170368 659 134679101440 94447686180864 94447687260184 140730334509152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447689358640 94447689405828 94447696977920 140730334516174 140730334516333 140730334516333 140730334523348 0
/proc/340752/statm: 2483 659 567 264 0 134 0
[pid=341739] ppid=340752 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/341739/stat : 341739 (timeout) S 340752 341739 338667 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62748069 8867840 249 134679101440 94840959447040 94840959482056 140724353416944 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94840961579472 94840961581604 94840990388224 140724353418228 140724353418397 140724353418397 140724353425383 0
/proc/341739/statm: 2165 249 225 9 0 87 0
[pid=341740] ppid=341739 vsize=268612 memory=198428 CPUtime=1790.29 cores=4,6
/proc/341740/stat : 341740 (Exact) R 341739 341739 338667 0 -1 4194304 27053 0 0 0 179013 16 0 0 20 0 1 0 62748069 275058688 49607 134679101440 4194304 7243121 140727038606000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 41930752 140727038612496 140727038612646 140727038612646 140727038619632 0
/proc/341740/statm: 67153 49607 820 745 0 66218 0
Current children cumulated CPU time: 3583.33 s
Current children cumulated vsize: 287204 KiB
Current children cumulated memory: 202060 KiB

[startup+3595.2 s]
/proc/loadavg: 4.29 4.30 4.26 5/252 342969
/proc/meminfo: memFree=117697352/131655788 swapFree=131071216/131071996
[pid=340752] ppid=340749 vsize=9932 memory=2636 CPUtime=1793.04 cores=4,6
/proc/340752/stat : 340752 (Hybrid-CASHWMax) S 340749 340752 338667 0 -1 4194304 275 101164 0 0 0 0 179268 36 20 0 1 0 62568268 10170368 659 134679101440 94447686180864 94447687260184 140730334509152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447689358640 94447689405828 94447696977920 140730334516174 140730334516333 140730334516333 140730334523348 0
/proc/340752/statm: 2483 659 567 264 0 134 0
[pid=341739] ppid=340752 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/341739/stat : 341739 (timeout) S 340752 341739 338667 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62748069 8867840 249 134679101440 94840959447040 94840959482056 140724353416944 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94840961579472 94840961581604 94840990388224 140724353418228 140724353418397 140724353418397 140724353425383 0
/proc/341739/statm: 2165 249 225 9 0 87 0
[pid=341740] ppid=341739 vsize=268612 memory=198428 CPUtime=1791.89 cores=4,6
/proc/341740/stat : 341740 (Exact) R 341739 341739 338667 0 -1 4194304 27053 0 0 0 179173 16 0 0 20 0 1 0 62748069 275058688 49607 134679101440 4194304 7243121 140727038606000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 41930752 140727038612496 140727038612646 140727038612646 140727038619632 0
/proc/341740/statm: 67153 49607 820 745 0 66218 0
Current children cumulated CPU time: 3584.93 s
Current children cumulated vsize: 287204 KiB
Current children cumulated memory: 202060 KiB

[startup+3595.6 s]
/proc/loadavg: 4.29 4.30 4.26 5/252 342969
/proc/meminfo: memFree=117697352/131655788 swapFree=131071216/131071996
[pid=340752] ppid=340749 vsize=9932 memory=2636 CPUtime=1793.04 cores=4,6
/proc/340752/stat : 340752 (Hybrid-CASHWMax) S 340749 340752 338667 0 -1 4194304 275 101164 0 0 0 0 179268 36 20 0 1 0 62568268 10170368 659 134679101440 94447686180864 94447687260184 140730334509152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447689358640 94447689405828 94447696977920 140730334516174 140730334516333 140730334516333 140730334523348 0
/proc/340752/statm: 2483 659 567 264 0 134 0
[pid=341739] ppid=340752 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/341739/stat : 341739 (timeout) S 340752 341739 338667 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62748069 8867840 249 134679101440 94840959447040 94840959482056 140724353416944 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94840961579472 94840961581604 94840990388224 140724353418228 140724353418397 140724353418397 140724353425383 0
/proc/341739/statm: 2165 249 225 9 0 87 0
[pid=341740] ppid=341739 vsize=268612 memory=198428 CPUtime=1792.28 cores=4,6
/proc/341740/stat : 341740 (Exact) R 341739 341739 338667 0 -1 4194304 27053 0 0 0 179212 16 0 0 20 0 1 0 62748069 275058688 49607 134679101440 4194304 7243121 140727038606000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 41930752 140727038612496 140727038612646 140727038612646 140727038619632 0
/proc/341740/statm: 67153 49607 820 745 0 66218 0
Current children cumulated CPU time: 3585.32 s
Current children cumulated vsize: 287204 KiB
Current children cumulated memory: 202060 KiB

[startup+3596 s]*
/proc/loadavg: 4.29 4.30 4.26 5/252 342970
/proc/meminfo: memFree=117697132/131655788 swapFree=131071216/131071996
[pid=340752] ppid=340749 vsize=9932 memory=2636 CPUtime=1793.04 cores=4,6
/proc/340752/stat : 340752 (Hybrid-CASHWMax) S 340749 340752 338667 0 -1 4194304 275 101164 0 0 0 0 179268 36 20 0 1 0 62568268 10170368 659 134679101440 94447686180864 94447687260184 140730334509152 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94447689358640 94447689405828 94447696977920 140730334516174 140730334516333 140730334516333 140730334523348 0
/proc/340752/statm: 2483 659 567 264 0 134 0
[pid=341739] ppid=340752 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/341739/stat : 341739 (timeout) R 340752 341739 338667 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 62748069 8867840 249 134679101440 94840959447040 94840959482056 140724353416944 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94840961579472 94840961581604 94840990388224 140724353418228 140724353418397 140724353418397 140724353425383 0
/proc/341739/statm: 2165 249 225 9 0 87 0
[pid=341740] ppid=341739 vsize=268612 memory=198428 CPUtime=1792.7 cores=4,6
/proc/341740/stat : 341740 (Exact) R 341739 341739 338667 0 -1 4194304 27053 0 0 0 179254 16 0 0 20 0 1 0 62748069 275058688 49607 134679101440 4194304 7243121 140727038606000 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 41930752 140727038612496 140727038612646 140727038612646 140727038619632 0
/proc/341740/statm: 67153 49607 820 745 0 66218 0
Current children cumulated CPU time: 3585.74 s
Current children cumulated vsize: 287204 KiB
Current children cumulated memory: 202060 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3585.8
CPU user time (s): 3585.24
CPU system time (s): 0.554236
CPU usage (%): 99.7153
Max. virtual memory (cumulated for all children) (KiB): 420652
Max. memory (cumulated for all children) (KiB): 381184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.24
system time used= 0.554236
maximum resident set size= 377860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131491
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 156
involuntary context switches= 3001


# summary of solver processes directly reported to runsolver:
#   pid: 340752
#   total CPU time (s): 3585.8
#   total CPU user time (s): 3585.24
#   total CPU system time (s): 0.554236

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0139 second user time and 40.4524 second system time

The end