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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438261-1722959984/watcher-4438261-1722959984 -o /tmp/evaluation-result-4438261-1722959984/solver-4438261-1722959984 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722959025-343694 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438261-1722959984.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=344547, runsolver pid=344544
Current StackSize limit: 8192 KiB


[startup+0.100096 s]*
/proc/loadavg: 4.15 4.13 4.08 5/266 344551
/proc/meminfo: memFree=125927976/131524600 swapFree=131071996/131071996
[pid=344547] ppid=344544 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/344547/stat : 344547 (Hybrid-CASHWMax) S 344544 344547 343681 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 62594001 10170368 683 134679101440 94552007733248 94552008812568 140735406625872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94552010911024 94552010958212 94552011354112 140735406633936 140735406634094 140735406634094 140735406641109 0
/proc/344547/statm: 2483 683 605 264 0 134 0
[pid=344550] ppid=344547 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/344550/stat : 344550 (timeout) S 344547 344550 343681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62594002 8867840 229 134679101440 94200645980160 94200646015176 140722956923696 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94200648112592 94200648114724 94200673374208 140722956932108 140722956932253 140722956932253 140722956939239 0
/proc/344550/statm: 2165 229 205 9 0 87 0
[pid=344551] ppid=344550 vsize=36664 memory=18160 CPUtime=0.09 cores=5,7
/proc/344551/stat : 344551 (CASHWMaxSAT-Dis) R 344550 344550 343681 0 -1 4194304 3901 0 0 0 9 0 0 0 20 0 1 0 62594002 37543936 4540 134679101440 4194304 14093885 140737292639648 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23650304 140737292641298 140737292641430 140737292641430 140737292648416 0
/proc/344551/statm: 9166 4540 750 2417 0 6268 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55256 KiB
Current children cumulated memory: 21808 KiB

[startup+0.205983 s]*
/proc/loadavg: 4.14 4.12 4.08 5/266 344551
/proc/meminfo: memFree=125915376/131524600 swapFree=131071996/131071996
[pid=344547] ppid=344544 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/344547/stat : 344547 (Hybrid-CASHWMax) S 344544 344547 343681 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 62594001 10170368 683 134679101440 94552007733248 94552008812568 140735406625872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94552010911024 94552010958212 94552011354112 140735406633936 140735406634094 140735406634094 140735406641109 0
/proc/344547/statm: 2483 683 605 264 0 134 0
[pid=344550] ppid=344547 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/344550/stat : 344550 (timeout) S 344547 344550 343681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62594002 8867840 229 134679101440 94200645980160 94200646015176 140722956923696 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94200648112592 94200648114724 94200673374208 140722956932108 140722956932253 140722956932253 140722956939239 0
/proc/344550/statm: 2165 229 205 9 0 87 0
[pid=344551] ppid=344550 vsize=50060 memory=30944 CPUtime=0.2 cores=5,7
/proc/344551/stat : 344551 (CASHWMaxSAT-Dis) R 344550 344550 343681 0 -1 4194304 7371 0 0 0 19 1 0 0 20 0 1 0 62594002 51261440 7736 134679101440 4194304 14093885 140737292639648 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23650304 140737292641298 140737292641430 140737292641430 140737292648416 0
/proc/344551/statm: 12515 7736 782 2417 0 9617 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 68652 KiB
Current children cumulated memory: 34592 KiB

[startup+0.305952 s]*
/proc/loadavg: 4.14 4.12 4.08 5/266 344551
/proc/meminfo: memFree=125900664/131524600 swapFree=131071996/131071996
[pid=344547] ppid=344544 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/344547/stat : 344547 (Hybrid-CASHWMax) S 344544 344547 343681 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 62594001 10170368 683 134679101440 94552007733248 94552008812568 140735406625872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94552010911024 94552010958212 94552011354112 140735406633936 140735406634094 140735406634094 140735406641109 0
/proc/344547/statm: 2483 683 605 264 0 134 0
[pid=344550] ppid=344547 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/344550/stat : 344550 (timeout) S 344547 344550 343681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62594002 8867840 229 134679101440 94200645980160 94200646015176 140722956923696 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94200648112592 94200648114724 94200673374208 140722956932108 140722956932253 140722956932253 140722956939239 0
/proc/344550/statm: 2165 229 205 9 0 87 0
[pid=344551] ppid=344550 vsize=66248 memory=45400 CPUtime=0.3 cores=5,7
/proc/344551/stat : 344551 (CASHWMaxSAT-Dis) R 344550 344550 343681 0 -1 4194304 10454 0 0 0 29 1 0 0 20 0 1 0 62594002 67837952 11350 134679101440 4194304 14093885 140737292639648 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23650304 140737292641298 140737292641430 140737292641430 140737292648416 0
/proc/344551/statm: 16562 11350 782 2417 0 13664 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 84840 KiB
Current children cumulated memory: 49048 KiB

[startup+0.70031 s]
/proc/loadavg: 4.14 4.12 4.08 5/266 344551
/proc/meminfo: memFree=125850424/131524600 swapFree=131071996/131071996
[pid=344547] ppid=344544 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/344547/stat : 344547 (Hybrid-CASHWMax) S 344544 344547 343681 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 62594001 10170368 683 134679101440 94552007733248 94552008812568 140735406625872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94552010911024 94552010958212 94552011354112 140735406633936 140735406634094 140735406634094 140735406641109 0
/proc/344547/statm: 2483 683 605 264 0 134 0
[pid=344550] ppid=344547 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/344550/stat : 344550 (timeout) S 344547 344550 343681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62594002 8867840 229 134679101440 94200645980160 94200646015176 140722956923696 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94200648112592 94200648114724 94200673374208 140722956932108 140722956932253 140722956932253 140722956939239 0
/proc/344550/statm: 2165 229 205 9 0 87 0
[pid=344551] ppid=344550 vsize=161832 memory=149276 CPUtime=0.68 cores=5,7
/proc/344551/stat : 344551 (CASHWMaxSAT-Dis) R 344550 344550 343681 0 -1 4194304 34887 0 0 0 63 5 0 0 20 0 1 0 62594002 165715968 37319 134679101440 4194304 14093885 140737292639648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23650304 140737292641298 140737292641430 140737292641430 140737292648416 0
/proc/344551/statm: 40458 37319 2350 2417 0 37560 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 180424 KiB
Current children cumulated memory: 152924 KiB

[startup+1.50031 s]
/proc/loadavg: 4.14 4.12 4.08 5/266 344551
/proc/meminfo: memFree=125790932/131524600 swapFree=131071996/131071996
[pid=344547] ppid=344544 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/344547/stat : 344547 (Hybrid-CASHWMax) S 344544 344547 343681 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 62594001 10170368 683 134679101440 94552007733248 94552008812568 140735406625872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94552010911024 94552010958212 94552011354112 140735406633936 140735406634094 140735406634094 140735406641109 0
/proc/344547/statm: 2483 683 605 264 0 134 0
[pid=344550] ppid=344547 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/344550/stat : 344550 (timeout) S 344547 344550 343681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62594002 8867840 229 134679101440 94200645980160 94200646015176 140722956923696 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94200648112592 94200648114724 94200673374208 140722956932108 140722956932253 140722956932253 140722956939239 0
/proc/344550/statm: 2165 229 205 9 0 87 0
[pid=344551] ppid=344550 vsize=208292 memory=194872 CPUtime=1.48 cores=5,7
/proc/344551/stat : 344551 (CASHWMaxSAT-Dis) R 344550 344550 343681 0 -1 4194304 45601 0 0 0 141 7 0 0 20 0 1 0 62594002 213291008 48718 134679101440 4194304 14093885 140737292639648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23650304 140737292641298 140737292641430 140737292641430 140737292648416 0
/proc/344551/statm: 52073 48718 2526 2417 0 49175 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 226884 KiB
Current children cumulated memory: 198520 KiB

[startup+3.10586 s]
/proc/loadavg: 4.14 4.12 4.08 5/266 344551
/proc/meminfo: memFree=125763236/131524600 swapFree=131071996/131071996
[pid=344547] ppid=344544 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/344547/stat : 344547 (Hybrid-CASHWMax) S 344544 344547 343681 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 62594001 10170368 683 134679101440 94552007733248 94552008812568 140735406625872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94552010911024 94552010958212 94552011354112 140735406633936 140735406634094 140735406634094 140735406641109 0
/proc/344547/statm: 2483 683 605 264 0 134 0
[pid=344550] ppid=344547 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/344550/stat : 344550 (timeout) S 344547 344550 343681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62594002 8867840 229 134679101440 94200645980160 94200646015176 140722956923696 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94200648112592 94200648114724 94200673374208 140722956932108 140722956932253 140722956932253 140722956939239 0
/proc/344550/statm: 2165 229 205 9 0 87 0
[pid=344551] ppid=344550 vsize=209660 memory=196192 CPUtime=3.08 cores=5,7
/proc/344551/stat : 344551 (CASHWMaxSAT-Dis) R 344550 344550 343681 0 -1 4194304 45953 0 0 0 301 7 0 0 20 0 1 0 62594002 214691840 49048 134679101440 4194304 14093885 140737292639648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23650304 140737292641298 140737292641430 140737292641430 140737292648416 0
/proc/344551/statm: 52415 49048 2526 2417 0 49517 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 228252 KiB
Current children cumulated memory: 199840 KiB

[startup+6.30029 s]
/proc/loadavg: 4.13 4.12 4.08 5/266 344552
/proc/meminfo: memFree=125754228/131524600 swapFree=131071996/131071996
[pid=344547] ppid=344544 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/344547/stat : 344547 (Hybrid-CASHWMax) S 344544 344547 343681 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 62594001 10170368 683 134679101440 94552007733248 94552008812568 140735406625872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94552010911024 94552010958212 94552011354112 140735406633936 140735406634094 140735406634094 140735406641109 0
/proc/344547/statm: 2483 683 605 264 0 134 0
[pid=344550] ppid=344547 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/344550/stat : 344550 (timeout) S 344547 344550 343681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62594002 8867840 229 134679101440 94200645980160 94200646015176 140722956923696 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94200648112592 94200648114724 94200673374208 140722956932108 140722956932253 140722956932253 140722956939239 0
/proc/344550/statm: 2165 229 205 9 0 87 0
[pid=344551] ppid=344550 vsize=210912 memory=196712 CPUtime=6.27 cores=5,7
/proc/344551/stat : 344551 (CASHWMaxSAT-Dis) R 344550 344550 343681 0 -1 4194304 46104 0 0 0 620 7 0 0 20 0 1 0 62594002 215973888 49178 134679101440 4194304 14093885 140737292639648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23650304 140737292641298 140737292641430 140737292641430 140737292648416 0
/proc/344551/statm: 52728 49178 2526 2417 0 49830 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 229504 KiB
Current children cumulated memory: 200360 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.12 4.08 5/266 344552
/proc/meminfo: memFree=125756084/131524600 swapFree=131071996/131071996
[pid=344547] ppid=344544 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/344547/stat : 344547 (Hybrid-CASHWMax) S 344544 344547 343681 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 62594001 10170368 683 134679101440 94552007733248 94552008812568 140735406625872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94552010911024 94552010958212 94552011354112 140735406633936 140735406634094 140735406634094 140735406641109 0
/proc/344547/statm: 2483 683 605 264 0 134 0
[pid=344550] ppid=344547 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/344550/stat : 344550 (timeout) S 344547 344550 343681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62594002 8867840 229 134679101440 94200645980160 94200646015176 140722956923696 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94200648112592 94200648114724 94200673374208 140722956932108 140722956932253 140722956932253 140722956939239 0
/proc/344550/statm: 2165 229 205 9 0 87 0
[pid=344551] ppid=344550 vsize=210912 memory=196712 CPUtime=12.65 cores=5,7
/proc/344551/stat : 344551 (CASHWMaxSAT-Dis) R 344550 344550 343681 0 -1 4194304 46106 0 0 0 1258 7 0 0 20 0 1 0 62594002 215973888 49178 134679101440 4194304 14093885 140737292639648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23650304 140737292641298 140737292641430 140737292641430 140737292648416 0
/proc/344551/statm: 52728 49178 2526 2417 0 49830 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 229504 KiB
Current children cumulated memory: 200360 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.11 4.08 5/266 344556
/proc/meminfo: memFree=125684376/131524600 swapFree=131071996/131071996
[pid=344547] ppid=344544 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/344547/stat : 344547 (Hybrid-CASHWMax) S 344544 344547 343681 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 62594001 10170368 683 134679101440 94552007733248 94552008812568 140735406625872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94552010911024 94552010958212 94552011354112 140735406633936 140735406634094 140735406634094 140735406641109 0
/proc/344547/statm: 2483 683 605 264 0 134 0
[pid=344550] ppid=344547 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/344550/stat : 344550 (timeout) S 344547 344550 343681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62594002 8867840 229 134679101440 94200645980160 94200646015176 140722956923696 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94200648112592 94200648114724 94200673374208 140722956932108 140722956932253 140722956932253 140722956939239 0
/proc/344550/statm: 2165 229 205 9 0 87 0
[pid=344551] ppid=344550 vsize=311812 memory=264180 CPUtime=25.42 cores=5,7
/proc/344551/stat : 344551 (CASHWMaxSAT-Dis) R 344550 344550 343681 0 -1 4194304 61947 0 0 0 2532 10 0 0 20 0 1 0 62594002 319295488 66045 134679101440 4194304 14093885 140737292639648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23650304 140737292641298 140737292641430 140737292641430 140737292648416 0
/proc/344551/statm: 77953 66045 2542 2417 0 75055 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 330404 KiB
Current children cumulated memory: 267828 KiB

[startup+51.1059 s]
/proc/loadavg: 4.17 4.13 4.09 5/267 344562
/proc/meminfo: memFree=125664420/131524600 swapFree=131071996/131071996
[pid=344547] ppid=344544 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/344547/stat : 344547 (Hybrid-CASHWMax) S 344544 344547 343681 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 62594001 10170368 683 134679101440 94552007733248 94552008812568 140735406625872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94552010911024 94552010958212 94552011354112 140735406633936 140735406634094 140735406634094 140735406641109 0
/proc/344547/statm: 2483 683 605 264 0 134 0
[pid=344550] ppid=344547 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/344550/stat : 344550 (timeout) S 344547 344550 343681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62594002 8867840 229 134679101440 94200645980160 94200646015176 140722956923696 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94200648112592 94200648114724 94200673374208 140722956932108 140722956932253 140722956932253 140722956939239 0
/proc/344550/statm: 2165 229 205 9 0 87 0
[pid=344551] ppid=344550 vsize=364408 memory=279148 CPUtime=50.95 cores=5,7
/proc/344551/stat : 344551 (CASHWMaxSAT-Dis) R 344550 344550 343681 0 -1 4194304 65198 0 0 0 5084 11 0 0 20 0 1 0 62594002 373153792 69787 134679101440 4194304 14093885 140737292639648 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 23650304 140737292641298 140737292641430 140737292641430 140737292648416 0
/proc/344551/statm: 91102 69787 2542 2417 0 88204 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 383000 KiB
Current children cumulated memory: 282796 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/266 344582
/proc/meminfo: memFree=125714680/131524600 swapFree=131071996/131071996
[pid=344547] ppid=344544 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/344547/stat : 344547 (Hybrid-CASHWMax) S 344544 344547 343681 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 62594001 10170368 683 134679101440 94552007733248 94552008812568 140735406625872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94552010911024 94552010958212 94552011354112 140735406633936 140735406634094 140735406634094 140735406641109 0

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

/proc/345573/statm: 21971 20441 748 737 0 21059 0
Current children cumulated CPU time: 3392.82 s
Current children cumulated vsize: 106476 KiB
Current children cumulated memory: 85528 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.20 4.18 5/265 346457
/proc/meminfo: memFree=126001896/131524600 swapFree=131071996/131071996
[pid=344547] ppid=344544 vsize=9932 memory=2796 CPUtime=1792.92 cores=5,7
/proc/344547/stat : 344547 (Hybrid-CASHWMax) S 344544 344547 343681 0 -1 4194304 274 105262 0 0 0 0 179260 32 20 0 1 0 62594001 10170368 699 134679101440 94552007733248 94552008812568 140735406625872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94552010911024 94552010958212 94552011354112 140735406633936 140735406634094 140735406634094 140735406641109 0
/proc/344547/statm: 2483 699 605 264 0 134 0
[pid=345572] ppid=344547 vsize=8660 memory=968 CPUtime=0 cores=5,7
/proc/345572/stat : 345572 (timeout) S 344547 345572 343681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62773802 8867840 242 134679101440 94324997992448 94324998027464 140736374699056 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94325000124880 94325000127012 94325006254080 140736374703092 140736374703261 140736374703261 140736374710247 0
/proc/345572/statm: 2165 242 218 9 0 87 0
[pid=345573] ppid=345572 vsize=88252 memory=82140 CPUtime=1659.76 cores=5,7
/proc/345573/stat : 345573 (Exact) R 345572 345572 343681 0 -1 4194304 13881 0 0 0 165973 3 0 0 20 0 1 0 62773802 90370048 20535 134679101440 4194304 7210733 140728517017376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18722816 140728517022736 140728517022886 140728517022886 140728517029872 0
/proc/345573/statm: 22063 20535 748 737 0 21151 0
Current children cumulated CPU time: 3452.68 s
Current children cumulated vsize: 106844 KiB
Current children cumulated memory: 85904 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.18 4.17 5/267 346639
/proc/meminfo: memFree=125704704/131524600 swapFree=131071996/131071996
[pid=344547] ppid=344544 vsize=9932 memory=2796 CPUtime=1792.92 cores=5,7
/proc/344547/stat : 344547 (Hybrid-CASHWMax) S 344544 344547 343681 0 -1 4194304 274 105262 0 0 0 0 179260 32 20 0 1 0 62594001 10170368 699 134679101440 94552007733248 94552008812568 140735406625872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94552010911024 94552010958212 94552011354112 140735406633936 140735406634094 140735406634094 140735406641109 0
/proc/344547/statm: 2483 699 605 264 0 134 0
[pid=345572] ppid=344547 vsize=8660 memory=968 CPUtime=0 cores=5,7
/proc/345572/stat : 345572 (timeout) S 344547 345572 343681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62773802 8867840 242 134679101440 94324997992448 94324998027464 140736374699056 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94325000124880 94325000127012 94325006254080 140736374703092 140736374703261 140736374703261 140736374710247 0
/proc/345572/statm: 2165 242 218 9 0 87 0
[pid=345573] ppid=345572 vsize=88636 memory=82532 CPUtime=1719.63 cores=5,7
/proc/345573/stat : 345573 (Exact) R 345572 345572 343681 0 -1 4194304 14011 0 0 0 171960 3 0 0 20 0 1 0 62773802 90763264 20633 134679101440 4194304 7210733 140728517017376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18722816 140728517022736 140728517022886 140728517022886 140728517029872 0
/proc/345573/statm: 22159 20633 748 737 0 21247 0
Current children cumulated CPU time: 3512.55 s
Current children cumulated vsize: 107228 KiB
Current children cumulated memory: 86296 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/267 346649
/proc/meminfo: memFree=125863120/131524600 swapFree=131071996/131071996
[pid=344547] ppid=344544 vsize=9932 memory=2796 CPUtime=1792.92 cores=5,7
/proc/344547/stat : 344547 (Hybrid-CASHWMax) S 344544 344547 343681 0 -1 4194304 274 105262 0 0 0 0 179260 32 20 0 1 0 62594001 10170368 699 134679101440 94552007733248 94552008812568 140735406625872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94552010911024 94552010958212 94552011354112 140735406633936 140735406634094 140735406634094 140735406641109 0
/proc/344547/statm: 2483 699 605 264 0 134 0
[pid=345572] ppid=344547 vsize=8660 memory=968 CPUtime=0 cores=5,7
/proc/345572/stat : 345572 (timeout) S 344547 345572 343681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62773802 8867840 242 134679101440 94324997992448 94324998027464 140736374699056 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94325000124880 94325000127012 94325006254080 140736374703092 140736374703261 140736374703261 140736374710247 0
/proc/345572/statm: 2165 242 218 9 0 87 0
[pid=345573] ppid=345572 vsize=88940 memory=82644 CPUtime=1779.49 cores=5,7
/proc/345573/stat : 345573 (Exact) R 345572 345572 343681 0 -1 4194304 14119 0 0 0 177946 3 0 0 20 0 1 0 62773802 91074560 20661 134679101440 4194304 7210733 140728517017376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18722816 140728517022736 140728517022886 140728517022886 140728517029872 0
/proc/345573/statm: 22235 20661 748 737 0 21323 0
Current children cumulated CPU time: 3572.41 s
Current children cumulated vsize: 107532 KiB
Current children cumulated memory: 86408 KiB

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

# cumulated CPU time of all completed processes:  user=3585.76 s, system=0.379352 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.16 4.17 5/267 346649
/proc/meminfo: memFree=125799896/131524600 swapFree=131071996/131071996
[pid=344547] ppid=344544 vsize=9932 memory=2796 CPUtime=1792.92 cores=5,7
/proc/344547/stat : 344547 (Hybrid-CASHWMax) S 344544 344547 343681 0 -1 4194304 274 105262 0 0 0 0 179260 32 20 0 1 0 62594001 10170368 699 134679101440 94552007733248 94552008812568 140735406625872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94552010911024 94552010958212 94552011354112 140735406633936 140735406634094 140735406634094 140735406641109 0
/proc/344547/statm: 2483 699 605 264 0 134 0
[pid=345572] ppid=344547 vsize=8660 memory=968 CPUtime=0 cores=5,7
/proc/345572/stat : 345572 (timeout) S 344547 345572 343681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62773802 8867840 242 134679101440 94324997992448 94324998027464 140736374699056 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94325000124880 94325000127012 94325006254080 140736374703092 140736374703261 140736374703261 140736374710247 0
/proc/345572/statm: 2165 242 218 9 0 87 0
[pid=345573] ppid=345572 vsize=88940 memory=82644 CPUtime=1781.19 cores=5,7
/proc/345573/stat : 345573 (Exact) R 345572 345572 343681 0 -1 4194304 14119 0 0 0 178116 3 0 0 20 0 1 0 62773802 91074560 20661 134679101440 4194304 7210733 140728517017376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18722816 140728517022736 140728517022886 140728517022886 140728517029872 0
/proc/345573/statm: 22235 20661 748 737 0 21323 0
Current children cumulated CPU time: 3574.11 s
Current children cumulated vsize: 107532 KiB
Current children cumulated memory: 86408 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.15 4.17 5/267 346650
/proc/meminfo: memFree=125902208/131524600 swapFree=131071996/131071996
[pid=344547] ppid=344544 vsize=9932 memory=2796 CPUtime=1792.92 cores=5,7
/proc/344547/stat : 344547 (Hybrid-CASHWMax) S 344544 344547 343681 0 -1 4194304 274 105262 0 0 0 0 179260 32 20 0 1 0 62594001 10170368 699 134679101440 94552007733248 94552008812568 140735406625872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94552010911024 94552010958212 94552011354112 140735406633936 140735406634094 140735406634094 140735406641109 0
/proc/344547/statm: 2483 699 605 264 0 134 0
[pid=345572] ppid=344547 vsize=8660 memory=968 CPUtime=0 cores=5,7
/proc/345572/stat : 345572 (timeout) S 344547 345572 343681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62773802 8867840 242 134679101440 94324997992448 94324998027464 140736374699056 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94325000124880 94325000127012 94325006254080 140736374703092 140736374703261 140736374703261 140736374710247 0
/proc/345572/statm: 2165 242 218 9 0 87 0
[pid=345573] ppid=345572 vsize=88940 memory=82644 CPUtime=1787.57 cores=5,7
/proc/345573/stat : 345573 (Exact) R 345572 345572 343681 0 -1 4194304 14119 0 0 0 178754 3 0 0 20 0 1 0 62773802 91074560 20661 134679101440 4194304 7210733 140728517017376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18722816 140728517022736 140728517022886 140728517022886 140728517029872 0
/proc/345573/statm: 22235 20661 748 737 0 21323 0
Current children cumulated CPU time: 3580.49 s
Current children cumulated vsize: 107532 KiB
Current children cumulated memory: 86408 KiB

[startup+3593.6 s]
/proc/loadavg: 4.07 4.15 4.17 5/267 346650
/proc/meminfo: memFree=125766960/131524600 swapFree=131071996/131071996
[pid=344547] ppid=344544 vsize=9932 memory=2796 CPUtime=1792.92 cores=5,7
/proc/344547/stat : 344547 (Hybrid-CASHWMax) S 344544 344547 343681 0 -1 4194304 274 105262 0 0 0 0 179260 32 20 0 1 0 62594001 10170368 699 134679101440 94552007733248 94552008812568 140735406625872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94552010911024 94552010958212 94552011354112 140735406633936 140735406634094 140735406634094 140735406641109 0
/proc/344547/statm: 2483 699 605 264 0 134 0
[pid=345572] ppid=344547 vsize=8660 memory=968 CPUtime=0 cores=5,7
/proc/345572/stat : 345572 (timeout) S 344547 345572 343681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62773802 8867840 242 134679101440 94324997992448 94324998027464 140736374699056 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94325000124880 94325000127012 94325006254080 140736374703092 140736374703261 140736374703261 140736374710247 0
/proc/345572/statm: 2165 242 218 9 0 87 0
[pid=345573] ppid=345572 vsize=88940 memory=82644 CPUtime=1790.76 cores=5,7
/proc/345573/stat : 345573 (Exact) R 345572 345572 343681 0 -1 4194304 14119 0 0 0 179073 3 0 0 20 0 1 0 62773802 91074560 20661 134679101440 4194304 7210733 140728517017376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18722816 140728517022736 140728517022886 140728517022886 140728517029872 0
/proc/345573/statm: 22235 20661 748 737 0 21323 0
Current children cumulated CPU time: 3583.68 s
Current children cumulated vsize: 107532 KiB
Current children cumulated memory: 86408 KiB

[startup+3595.2 s]
/proc/loadavg: 4.07 4.15 4.17 5/267 346652
/proc/meminfo: memFree=125887780/131524600 swapFree=131071996/131071996
[pid=344547] ppid=344544 vsize=9932 memory=2796 CPUtime=1792.92 cores=5,7
/proc/344547/stat : 344547 (Hybrid-CASHWMax) S 344544 344547 343681 0 -1 4194304 274 105262 0 0 0 0 179260 32 20 0 1 0 62594001 10170368 699 134679101440 94552007733248 94552008812568 140735406625872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94552010911024 94552010958212 94552011354112 140735406633936 140735406634094 140735406634094 140735406641109 0
/proc/344547/statm: 2483 699 605 264 0 134 0
[pid=345572] ppid=344547 vsize=8660 memory=968 CPUtime=0 cores=5,7
/proc/345572/stat : 345572 (timeout) S 344547 345572 343681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62773802 8867840 242 134679101440 94324997992448 94324998027464 140736374699056 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94325000124880 94325000127012 94325006254080 140736374703092 140736374703261 140736374703261 140736374710247 0
/proc/345572/statm: 2165 242 218 9 0 87 0
[pid=345573] ppid=345572 vsize=88940 memory=82644 CPUtime=1792.36 cores=5,7
/proc/345573/stat : 345573 (Exact) R 345572 345572 343681 0 -1 4194304 14119 0 0 0 179233 3 0 0 20 0 1 0 62773802 91074560 20661 134679101440 4194304 7210733 140728517017376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18722816 140728517022736 140728517022886 140728517022886 140728517029872 0
/proc/345573/statm: 22235 20661 748 737 0 21323 0
Current children cumulated CPU time: 3585.28 s
Current children cumulated vsize: 107532 KiB
Current children cumulated memory: 86408 KiB

[startup+3595.6 s]
/proc/loadavg: 4.07 4.15 4.17 5/267 346652
/proc/meminfo: memFree=125887780/131524600 swapFree=131071996/131071996
[pid=344547] ppid=344544 vsize=9932 memory=2796 CPUtime=1792.92 cores=5,7
/proc/344547/stat : 344547 (Hybrid-CASHWMax) S 344544 344547 343681 0 -1 4194304 274 105262 0 0 0 0 179260 32 20 0 1 0 62594001 10170368 699 134679101440 94552007733248 94552008812568 140735406625872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94552010911024 94552010958212 94552011354112 140735406633936 140735406634094 140735406634094 140735406641109 0
/proc/344547/statm: 2483 699 605 264 0 134 0
[pid=345572] ppid=344547 vsize=8660 memory=968 CPUtime=0 cores=5,7
/proc/345572/stat : 345572 (timeout) S 344547 345572 343681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62773802 8867840 242 134679101440 94324997992448 94324998027464 140736374699056 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94325000124880 94325000127012 94325006254080 140736374703092 140736374703261 140736374703261 140736374710247 0
/proc/345572/statm: 2165 242 218 9 0 87 0
[pid=345573] ppid=345572 vsize=88940 memory=82644 CPUtime=1792.76 cores=5,7
/proc/345573/stat : 345573 (Exact) R 345572 345572 343681 0 -1 4194304 14119 0 0 0 179273 3 0 0 20 0 1 0 62773802 91074560 20661 134679101440 4194304 7210733 140728517017376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18722816 140728517022736 140728517022886 140728517022886 140728517029872 0
/proc/345573/statm: 22235 20661 748 737 0 21323 0
Current children cumulated CPU time: 3585.68 s
Current children cumulated vsize: 107532 KiB
Current children cumulated memory: 86408 KiB

[startup+3596 s]*
/proc/loadavg: 4.07 4.15 4.16 5/267 346652
/proc/meminfo: memFree=125846936/131524600 swapFree=131071996/131071996
[pid=344547] ppid=344544 vsize=9932 memory=2796 CPUtime=1792.92 cores=5,7
/proc/344547/stat : 344547 (Hybrid-CASHWMax) S 344544 344547 343681 0 -1 4194304 274 105262 0 0 0 0 179260 32 20 0 1 0 62594001 10170368 699 134679101440 94552007733248 94552008812568 140735406625872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94552010911024 94552010958212 94552011354112 140735406633936 140735406634094 140735406634094 140735406641109 0
/proc/344547/statm: 2483 699 605 264 0 134 0
[pid=345572] ppid=344547 vsize=8660 memory=968 CPUtime=0 cores=5,7
/proc/345572/stat : 345572 (timeout) S 344547 345572 343681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62773802 8867840 242 134679101440 94324997992448 94324998027464 140736374699056 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94325000124880 94325000127012 94325006254080 140736374703092 140736374703261 140736374703261 140736374710247 0
/proc/345572/statm: 2165 242 218 9 0 87 0
[pid=345573] ppid=345572 vsize=88940 memory=82644 CPUtime=1793.16 cores=5,7
/proc/345573/stat : 345573 (Exact) R 345572 345572 343681 0 -1 4194304 14119 0 0 0 179313 3 0 0 20 0 1 0 62773802 91074560 20661 134679101440 4194304 7210733 140728517017376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 18722816 140728517022736 140728517022886 140728517022886 140728517029872 0
/proc/345573/statm: 22235 20661 748 737 0 21323 0
Current children cumulated CPU time: 3586.08 s
Current children cumulated vsize: 107532 KiB
Current children cumulated memory: 86408 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3586.14
CPU user time (s): 3585.76
CPU system time (s): 0.379352
CPU usage (%): 99.7251
Max. virtual memory (cumulated for all children) (KiB): 657736
Max. memory (cumulated for all children) (KiB): 497036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.76
system time used= 0.379352
maximum resident set size= 493388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122650
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125
involuntary context switches= 1797


# summary of solver processes directly reported to runsolver:
#   pid: 344547
#   total CPU time (s): 3586.14
#   total CPU user time (s): 3585.76
#   total CPU system time (s): 0.379352

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.77737 second user time and 16.234 second system time

The end