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

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


[startup+0.100089 s]*
/proc/loadavg: 4.07 4.15 4.16 5/267 346723
/proc/meminfo: memFree=125884384/131524600 swapFree=131071996/131071996
[pid=346719] ppid=346716 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/346719/stat : 346719 (Hybrid-CASHWMax) S 346716 346719 343681 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 62953668 10170368 686 134679101440 94441329221632 94441330300952 140723222725856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94441332399408 94441332446596 94441360801792 140723222729680 140723222729838 140723222729838 140723222736853 0
/proc/346719/statm: 2483 686 608 264 0 134 0
[pid=346722] ppid=346719 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/346722/stat : 346722 (timeout) S 346719 346722 343681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62953669 8867840 229 134679101440 94834172088320 94834172123336 140723862006272 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94834174220752 94834174222884 94834181541888 140723862008844 140723862008989 140723862008989 140723862015975 0
/proc/346722/statm: 2165 229 205 9 0 87 0
[pid=346723] ppid=346722 vsize=32512 memory=14148 CPUtime=0.09 cores=5,7
/proc/346723/stat : 346723 (CASHWMaxSAT-Dis) R 346722 346722 343681 0 -1 4194304 2881 0 0 0 9 0 0 0 20 0 1 0 62953669 33292288 3537 134679101440 4194304 14093885 140728033309216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25800704 140728033313810 140728033313942 140728033313942 140728033320928 0
/proc/346723/statm: 8128 3537 750 2417 0 5230 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51104 KiB
Current children cumulated memory: 17808 KiB

[startup+0.205886 s]*
/proc/loadavg: 4.07 4.15 4.16 5/267 346723
/proc/meminfo: memFree=125869004/131524600 swapFree=131071996/131071996
[pid=346719] ppid=346716 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/346719/stat : 346719 (Hybrid-CASHWMax) S 346716 346719 343681 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 62953668 10170368 686 134679101440 94441329221632 94441330300952 140723222725856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94441332399408 94441332446596 94441360801792 140723222729680 140723222729838 140723222729838 140723222736853 0
/proc/346719/statm: 2483 686 608 264 0 134 0
[pid=346722] ppid=346719 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/346722/stat : 346722 (timeout) S 346719 346722 343681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62953669 8867840 229 134679101440 94834172088320 94834172123336 140723862006272 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94834174220752 94834174222884 94834181541888 140723862008844 140723862008989 140723862008989 140723862015975 0
/proc/346722/statm: 2165 229 205 9 0 87 0
[pid=346723] ppid=346722 vsize=43868 memory=25240 CPUtime=0.2 cores=5,7
/proc/346723/stat : 346723 (CASHWMaxSAT-Dis) R 346722 346722 343681 0 -1 4194304 6065 0 0 0 19 1 0 0 20 0 1 0 62953669 44920832 6310 134679101440 4194304 14093885 140728033309216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25800704 140728033313810 140728033313942 140728033313942 140728033320928 0
/proc/346723/statm: 10967 6310 782 2417 0 8069 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 62460 KiB
Current children cumulated memory: 28900 KiB

[startup+0.306139 s]*
/proc/loadavg: 4.07 4.15 4.16 5/267 346723
/proc/meminfo: memFree=125851912/131524600 swapFree=131071996/131071996
[pid=346719] ppid=346716 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/346719/stat : 346719 (Hybrid-CASHWMax) S 346716 346719 343681 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 62953668 10170368 686 134679101440 94441329221632 94441330300952 140723222725856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94441332399408 94441332446596 94441360801792 140723222729680 140723222729838 140723222729838 140723222736853 0
/proc/346719/statm: 2483 686 608 264 0 134 0
[pid=346722] ppid=346719 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/346722/stat : 346722 (timeout) S 346719 346722 343681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62953669 8867840 229 134679101440 94834172088320 94834172123336 140723862006272 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94834174220752 94834174222884 94834181541888 140723862008844 140723862008989 140723862008989 140723862015975 0
/proc/346722/statm: 2165 229 205 9 0 87 0
[pid=346723] ppid=346722 vsize=58492 memory=38136 CPUtime=0.3 cores=5,7
/proc/346723/stat : 346723 (CASHWMaxSAT-Dis) R 346722 346722 343681 0 -1 4194304 9791 0 0 0 29 1 0 0 20 0 1 0 62953669 59895808 9534 134679101440 4194304 14093885 140728033309216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25800704 140728033313810 140728033313942 140728033313942 140728033320928 0
/proc/346723/statm: 14623 9534 782 2417 0 11725 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 77084 KiB
Current children cumulated memory: 41796 KiB

[startup+0.700302 s]
/proc/loadavg: 4.07 4.15 4.16 5/267 346723
/proc/meminfo: memFree=125807544/131524600 swapFree=131071996/131071996
[pid=346719] ppid=346716 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/346719/stat : 346719 (Hybrid-CASHWMax) S 346716 346719 343681 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 62953668 10170368 686 134679101440 94441329221632 94441330300952 140723222725856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94441332399408 94441332446596 94441360801792 140723222729680 140723222729838 140723222729838 140723222736853 0
/proc/346719/statm: 2483 686 608 264 0 134 0
[pid=346722] ppid=346719 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/346722/stat : 346722 (timeout) S 346719 346722 343681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62953669 8867840 229 134679101440 94834172088320 94834172123336 140723862006272 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94834174220752 94834174222884 94834181541888 140723862008844 140723862008989 140723862008989 140723862015975 0
/proc/346722/statm: 2165 229 205 9 0 87 0
[pid=346723] ppid=346722 vsize=150972 memory=130832 CPUtime=0.68 cores=5,7
/proc/346723/stat : 346723 (CASHWMaxSAT-Dis) R 346722 346722 343681 0 -1 4194304 24564 0 0 0 64 4 0 0 20 0 1 0 62953669 154595328 32708 134679101440 4194304 14093885 140728033309216 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25800704 140728033313810 140728033313942 140728033313942 140728033320928 0
/proc/346723/statm: 37743 32708 782 2417 0 34845 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 169564 KiB
Current children cumulated memory: 134492 KiB

[startup+1.5003 s]
/proc/loadavg: 4.07 4.15 4.16 5/267 346723
/proc/meminfo: memFree=125709384/131524600 swapFree=131071996/131071996
[pid=346719] ppid=346716 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/346719/stat : 346719 (Hybrid-CASHWMax) S 346716 346719 343681 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 62953668 10170368 686 134679101440 94441329221632 94441330300952 140723222725856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94441332399408 94441332446596 94441360801792 140723222729680 140723222729838 140723222729838 140723222736853 0
/proc/346719/statm: 2483 686 608 264 0 134 0
[pid=346722] ppid=346719 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/346722/stat : 346722 (timeout) S 346719 346722 343681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62953669 8867840 229 134679101440 94834172088320 94834172123336 140723862006272 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94834174220752 94834174222884 94834181541888 140723862008844 140723862008989 140723862008989 140723862015975 0
/proc/346722/statm: 2165 229 205 9 0 87 0
[pid=346723] ppid=346722 vsize=194168 memory=161012 CPUtime=1.48 cores=5,7
/proc/346723/stat : 346723 (CASHWMaxSAT-Dis) R 346722 346722 343681 0 -1 4194304 30352 0 0 0 142 6 0 0 20 0 1 0 62953669 198828032 40253 134679101440 4194304 14093885 140728033309216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25800704 140728033313810 140728033313942 140728033313942 140728033320928 0
/proc/346723/statm: 48542 40253 782 2417 0 45644 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 212760 KiB
Current children cumulated memory: 164672 KiB

[startup+3.10587 s]
/proc/loadavg: 4.07 4.15 4.16 5/267 346723
/proc/meminfo: memFree=125208896/131524600 swapFree=131071996/131071996
[pid=346719] ppid=346716 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/346719/stat : 346719 (Hybrid-CASHWMax) S 346716 346719 343681 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 62953668 10170368 686 134679101440 94441329221632 94441330300952 140723222725856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94441332399408 94441332446596 94441360801792 140723222729680 140723222729838 140723222729838 140723222736853 0
/proc/346719/statm: 2483 686 608 264 0 134 0
[pid=346722] ppid=346719 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/346722/stat : 346722 (timeout) S 346719 346722 343681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62953669 8867840 229 134679101440 94834172088320 94834172123336 140723862006272 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94834174220752 94834174222884 94834181541888 140723862008844 140723862008989 140723862008989 140723862015975 0
/proc/346722/statm: 2165 229 205 9 0 87 0
[pid=346723] ppid=346722 vsize=847204 memory=819916 CPUtime=3.09 cores=5,7
/proc/346723/stat : 346723 (CASHWMaxSAT-Dis) R 346722 346722 343681 0 -1 4194304 181637 0 0 0 279 30 0 0 20 0 1 0 62953669 867536896 204979 134679101440 4194304 14093885 140728033309216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25800704 140728033313810 140728033313942 140728033313942 140728033320928 0
/proc/346723/statm: 211801 204979 2302 2417 0 208903 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 865796 KiB
Current children cumulated memory: 823576 KiB

[startup+6.3003 s]
/proc/loadavg: 4.14 4.16 4.17 5/267 346723
/proc/meminfo: memFree=124582544/131524600 swapFree=131071996/131071996
[pid=346719] ppid=346716 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/346719/stat : 346719 (Hybrid-CASHWMax) S 346716 346719 343681 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 62953668 10170368 686 134679101440 94441329221632 94441330300952 140723222725856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94441332399408 94441332446596 94441360801792 140723222729680 140723222729838 140723222729838 140723222736853 0
/proc/346719/statm: 2483 686 608 264 0 134 0
[pid=346722] ppid=346719 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/346722/stat : 346722 (timeout) S 346719 346722 343681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62953669 8867840 229 134679101440 94834172088320 94834172123336 140723862006272 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94834174220752 94834174222884 94834181541888 140723862008844 140723862008989 140723862008989 140723862015975 0
/proc/346722/statm: 2165 229 205 9 0 87 0
[pid=346723] ppid=346722 vsize=1482812 memory=1438848 CPUtime=6.27 cores=5,7
/proc/346723/stat : 346723 (CASHWMaxSAT-Dis) R 346722 346722 343681 0 -1 4194304 324580 0 0 0 576 51 0 0 20 0 1 0 62953669 1518399488 359712 134679101440 4194304 14093885 140728033309216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25800704 140728033313810 140728033313942 140728033313942 140728033320928 0
/proc/346723/statm: 370703 359712 2350 2417 0 367805 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1501404 KiB
Current children cumulated memory: 1442508 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.16 4.17 6/267 346724
/proc/meminfo: memFree=124464960/131524600 swapFree=131071996/131071996
[pid=346719] ppid=346716 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/346719/stat : 346719 (Hybrid-CASHWMax) S 346716 346719 343681 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 62953668 10170368 686 134679101440 94441329221632 94441330300952 140723222725856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94441332399408 94441332446596 94441360801792 140723222729680 140723222729838 140723222729838 140723222736853 0
/proc/346719/statm: 2483 686 608 264 0 134 0
[pid=346722] ppid=346719 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/346722/stat : 346722 (timeout) S 346719 346722 343681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62953669 8867840 229 134679101440 94834172088320 94834172123336 140723862006272 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94834174220752 94834174222884 94834181541888 140723862008844 140723862008989 140723862008989 140723862015975 0
/proc/346722/statm: 2165 229 205 9 0 87 0
[pid=346723] ppid=346722 vsize=1542704 memory=1497712 CPUtime=12.65 cores=5,7
/proc/346723/stat : 346723 (CASHWMaxSAT-Dis) R 346722 346722 343681 0 -1 4194304 326583 0 0 0 1213 52 0 0 20 0 1 0 62953669 1579728896 374428 134679101440 4194304 14093885 140728033309216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25800704 140728033313810 140728033313942 140728033313942 140728033320928 0
/proc/346723/statm: 385676 374428 2414 2417 0 382778 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1561296 KiB
Current children cumulated memory: 1501372 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.15 4.17 5/267 346726
/proc/meminfo: memFree=124510764/131524600 swapFree=131071996/131071996
[pid=346719] ppid=346716 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/346719/stat : 346719 (Hybrid-CASHWMax) S 346716 346719 343681 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 62953668 10170368 686 134679101440 94441329221632 94441330300952 140723222725856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94441332399408 94441332446596 94441360801792 140723222729680 140723222729838 140723222729838 140723222736853 0
/proc/346719/statm: 2483 686 608 264 0 134 0
[pid=346722] ppid=346719 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/346722/stat : 346722 (timeout) S 346719 346722 343681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62953669 8867840 229 134679101440 94834172088320 94834172123336 140723862006272 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94834174220752 94834174222884 94834181541888 140723862008844 140723862008989 140723862008989 140723862015975 0
/proc/346722/statm: 2165 229 205 9 0 87 0
[pid=346723] ppid=346722 vsize=1542704 memory=1498172 CPUtime=25.42 cores=5,7
/proc/346723/stat : 346723 (CASHWMaxSAT-Dis) R 346722 346722 343681 0 -1 4194304 326743 0 0 0 2489 53 0 0 20 0 1 0 62953669 1579728896 374543 134679101440 4194304 14093885 140728033309216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25800704 140728033313810 140728033313942 140728033313942 140728033320928 0
/proc/346723/statm: 385676 374543 2414 2417 0 382778 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1561296 KiB
Current children cumulated memory: 1501832 KiB

[startup+51.106 s]
/proc/loadavg: 4.15 4.16 4.17 5/265 346732
/proc/meminfo: memFree=123841080/131524600 swapFree=131071996/131071996
[pid=346719] ppid=346716 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/346719/stat : 346719 (Hybrid-CASHWMax) S 346716 346719 343681 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 62953668 10170368 686 134679101440 94441329221632 94441330300952 140723222725856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94441332399408 94441332446596 94441360801792 140723222729680 140723222729838 140723222729838 140723222736853 0
/proc/346719/statm: 2483 686 608 264 0 134 0
[pid=346722] ppid=346719 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/346722/stat : 346722 (timeout) S 346719 346722 343681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62953669 8867840 229 134679101440 94834172088320 94834172123336 140723862006272 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94834174220752 94834174222884 94834181541888 140723862008844 140723862008989 140723862008989 140723862015975 0
/proc/346722/statm: 2165 229 205 9 0 87 0
[pid=346723] ppid=346722 vsize=2405852 memory=2293956 CPUtime=50.97 cores=5,7
/proc/346723/stat : 346723 (CASHWMaxSAT-Dis) R 346722 346722 343681 0 -1 4194304 445431 0 0 0 5016 81 0 0 20 0 1 0 62953669 2463592448 573489 134679101440 4194304 14093885 140728033309216 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25800704 140728033313810 140728033313942 140728033313942 140728033320928 0
/proc/346723/statm: 601463 573489 2494 2417 0 598565 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2424444 KiB
Current children cumulated memory: 2297616 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/265 346753
/proc/meminfo: memFree=123485116/131524600 swapFree=131071996/131071996
[pid=346719] ppid=346716 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/346719/stat : 346719 (Hybrid-CASHWMax) S 346716 346719 343681 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 62953668 10170368 686 134679101440 94441329221632 94441330300952 140723222725856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94441332399408 94441332446596 94441360801792 140723222729680 140723222729838 140723222729838 140723222736853 0

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

/proc/347701/statm: 10149 6382 748 737 0 9237 0
Current children cumulated CPU time: 3392.22 s
Current children cumulated vsize: 59188 KiB
Current children cumulated memory: 29352 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/264 348793
/proc/meminfo: memFree=116880384/131524600 swapFree=131071996/131071996
[pid=346719] ppid=346716 vsize=9932 memory=2808 CPUtime=1792.7 cores=5,7
/proc/346719/stat : 346719 (Hybrid-CASHWMax) S 346716 346719 343681 0 -1 4194304 272 469774 0 0 0 0 179130 140 20 0 1 0 62953668 10170368 702 134679101440 94441329221632 94441330300952 140723222725856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94441332399408 94441332446596 94441360801792 140723222729680 140723222729838 140723222729838 140723222736853 0
/proc/346719/statm: 2483 702 608 264 0 134 0
[pid=347700] ppid=346719 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347700/stat : 347700 (timeout) S 346719 347700 343681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63133471 8867840 254 134679101440 94334489100288 94334489135304 140737341486128 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94334491232720 94334491234852 94334507569152 140737341494260 140737341494429 140737341494429 140737341501415 0
/proc/347700/statm: 2165 254 230 9 0 87 0
[pid=347701] ppid=347700 vsize=40724 memory=27704 CPUtime=1659.36 cores=5,7
/proc/347701/stat : 347701 (Exact) R 347700 347700 343681 0 -1 4194304 46993 0 0 0 165926 10 0 0 20 0 1 0 63133471 41701376 6926 134679101440 4194304 7210733 140734228505968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 32997376 140734228509712 140734228509862 140734228509862 140734228516848 0
/proc/347701/statm: 10181 6926 748 737 0 9269 0
Current children cumulated CPU time: 3452.06 s
Current children cumulated vsize: 59316 KiB
Current children cumulated memory: 31528 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.15 4.11 6/266 348975
/proc/meminfo: memFree=116874660/131524600 swapFree=131071996/131071996
[pid=346719] ppid=346716 vsize=9932 memory=2808 CPUtime=1792.7 cores=5,7
/proc/346719/stat : 346719 (Hybrid-CASHWMax) S 346716 346719 343681 0 -1 4194304 272 469774 0 0 0 0 179130 140 20 0 1 0 62953668 10170368 702 134679101440 94441329221632 94441330300952 140723222725856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94441332399408 94441332446596 94441360801792 140723222729680 140723222729838 140723222729838 140723222736853 0
/proc/346719/statm: 2483 702 608 264 0 134 0
[pid=347700] ppid=346719 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347700/stat : 347700 (timeout) S 346719 347700 343681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63133471 8867840 254 134679101440 94334489100288 94334489135304 140737341486128 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94334491232720 94334491234852 94334507569152 140737341494260 140737341494429 140737341494429 140737341501415 0
/proc/347700/statm: 2165 254 230 9 0 87 0
[pid=347701] ppid=347700 vsize=40724 memory=27704 CPUtime=1719.18 cores=5,7
/proc/347701/stat : 347701 (Exact) R 347700 347700 343681 0 -1 4194304 48470 0 0 0 171908 10 0 0 20 0 1 0 63133471 41701376 6926 134679101440 4194304 7210733 140734228505968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 32997376 140734228509712 140734228509862 140734228509862 140734228516848 0
/proc/347701/statm: 10181 6926 748 737 0 9269 0
Current children cumulated CPU time: 3511.88 s
Current children cumulated vsize: 59316 KiB
Current children cumulated memory: 31528 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/266 348985
/proc/meminfo: memFree=119507008/131524600 swapFree=131071996/131071996
[pid=346719] ppid=346716 vsize=9932 memory=2808 CPUtime=1792.7 cores=5,7
/proc/346719/stat : 346719 (Hybrid-CASHWMax) S 346716 346719 343681 0 -1 4194304 272 469774 0 0 0 0 179130 140 20 0 1 0 62953668 10170368 702 134679101440 94441329221632 94441330300952 140723222725856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94441332399408 94441332446596 94441360801792 140723222729680 140723222729838 140723222729838 140723222736853 0
/proc/346719/statm: 2483 702 608 264 0 134 0
[pid=347700] ppid=346719 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347700/stat : 347700 (timeout) S 346719 347700 343681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63133471 8867840 254 134679101440 94334489100288 94334489135304 140737341486128 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94334491232720 94334491234852 94334507569152 140737341494260 140737341494429 140737341494429 140737341501415 0
/proc/347700/statm: 2165 254 230 9 0 87 0
[pid=347701] ppid=347700 vsize=41044 memory=28024 CPUtime=1779.01 cores=5,7
/proc/347701/stat : 347701 (Exact) R 347700 347700 343681 0 -1 4194304 50021 0 0 0 177890 11 0 0 20 0 1 0 63133471 42029056 7006 134679101440 4194304 7210733 140734228505968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 32997376 140734228509712 140734228509862 140734228509862 140734228516848 0
/proc/347701/statm: 10261 7006 748 737 0 9349 0
Current children cumulated CPU time: 3571.71 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 31848 KiB

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

# cumulated CPU time of all completed processes:  user=3583.91 s, system=1.52678 s

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

[startup+3584 s]*
/proc/loadavg: 4.15 4.15 4.11 5/266 348985
/proc/meminfo: memFree=119507020/131524600 swapFree=131071996/131071996
[pid=346719] ppid=346716 vsize=9932 memory=2808 CPUtime=1792.7 cores=5,7
/proc/346719/stat : 346719 (Hybrid-CASHWMax) S 346716 346719 343681 0 -1 4194304 272 469774 0 0 0 0 179130 140 20 0 1 0 62953668 10170368 702 134679101440 94441329221632 94441330300952 140723222725856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94441332399408 94441332446596 94441360801792 140723222729680 140723222729838 140723222729838 140723222736853 0
/proc/346719/statm: 2483 702 608 264 0 134 0
[pid=347700] ppid=346719 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347700/stat : 347700 (timeout) S 346719 347700 343681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63133471 8867840 254 134679101440 94334489100288 94334489135304 140737341486128 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94334491232720 94334491234852 94334507569152 140737341494260 140737341494429 140737341494429 140737341501415 0
/proc/347700/statm: 2165 254 230 9 0 87 0
[pid=347701] ppid=347700 vsize=41044 memory=28024 CPUtime=1780.71 cores=5,7
/proc/347701/stat : 347701 (Exact) R 347700 347700 343681 0 -1 4194304 50021 0 0 0 178060 11 0 0 20 0 1 0 63133471 42029056 7006 134679101440 4194304 7210733 140734228505968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 32997376 140734228509712 140734228509862 140734228509862 140734228516848 0
/proc/347701/statm: 10261 7006 748 737 0 9349 0
Current children cumulated CPU time: 3573.41 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 31848 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.14 4.10 5/266 348987
/proc/meminfo: memFree=119505332/131524600 swapFree=131071996/131071996
[pid=346719] ppid=346716 vsize=9932 memory=2808 CPUtime=1792.7 cores=5,7
/proc/346719/stat : 346719 (Hybrid-CASHWMax) S 346716 346719 343681 0 -1 4194304 272 469774 0 0 0 0 179130 140 20 0 1 0 62953668 10170368 702 134679101440 94441329221632 94441330300952 140723222725856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94441332399408 94441332446596 94441360801792 140723222729680 140723222729838 140723222729838 140723222736853 0
/proc/346719/statm: 2483 702 608 264 0 134 0
[pid=347700] ppid=346719 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347700/stat : 347700 (timeout) S 346719 347700 343681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63133471 8867840 254 134679101440 94334489100288 94334489135304 140737341486128 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94334491232720 94334491234852 94334507569152 140737341494260 140737341494429 140737341494429 140737341501415 0
/proc/347700/statm: 2165 254 230 9 0 87 0
[pid=347701] ppid=347700 vsize=41044 memory=28024 CPUtime=1787.08 cores=5,7
/proc/347701/stat : 347701 (Exact) R 347700 347700 343681 0 -1 4194304 50328 0 0 0 178697 11 0 0 20 0 1 0 63133471 42029056 7006 134679101440 4194304 7210733 140734228505968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 32997376 140734228509712 140734228509862 140734228509862 140734228516848 0
/proc/347701/statm: 10261 7006 748 737 0 9349 0
Current children cumulated CPU time: 3579.78 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 31848 KiB

[startup+3593.6 s]
/proc/loadavg: 4.13 4.14 4.10 5/266 348987
/proc/meminfo: memFree=119504708/131524600 swapFree=131071996/131071996
[pid=346719] ppid=346716 vsize=9932 memory=2808 CPUtime=1792.7 cores=5,7
/proc/346719/stat : 346719 (Hybrid-CASHWMax) S 346716 346719 343681 0 -1 4194304 272 469774 0 0 0 0 179130 140 20 0 1 0 62953668 10170368 702 134679101440 94441329221632 94441330300952 140723222725856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94441332399408 94441332446596 94441360801792 140723222729680 140723222729838 140723222729838 140723222736853 0
/proc/346719/statm: 2483 702 608 264 0 134 0
[pid=347700] ppid=346719 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347700/stat : 347700 (timeout) S 346719 347700 343681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63133471 8867840 254 134679101440 94334489100288 94334489135304 140737341486128 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94334491232720 94334491234852 94334507569152 140737341494260 140737341494429 140737341494429 140737341501415 0
/proc/347700/statm: 2165 254 230 9 0 87 0
[pid=347701] ppid=347700 vsize=41044 memory=28024 CPUtime=1790.28 cores=5,7
/proc/347701/stat : 347701 (Exact) R 347700 347700 343681 0 -1 4194304 50328 0 0 0 179017 11 0 0 20 0 1 0 63133471 42029056 7006 134679101440 4194304 7210733 140734228505968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 32997376 140734228509712 140734228509862 140734228509862 140734228516848 0
/proc/347701/statm: 10261 7006 748 737 0 9349 0
Current children cumulated CPU time: 3582.98 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 31848 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.14 4.10 5/266 348987
/proc/meminfo: memFree=119504604/131524600 swapFree=131071996/131071996
[pid=346719] ppid=346716 vsize=9932 memory=2808 CPUtime=1792.7 cores=5,7
/proc/346719/stat : 346719 (Hybrid-CASHWMax) S 346716 346719 343681 0 -1 4194304 272 469774 0 0 0 0 179130 140 20 0 1 0 62953668 10170368 702 134679101440 94441329221632 94441330300952 140723222725856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94441332399408 94441332446596 94441360801792 140723222729680 140723222729838 140723222729838 140723222736853 0
/proc/346719/statm: 2483 702 608 264 0 134 0
[pid=347700] ppid=346719 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347700/stat : 347700 (timeout) S 346719 347700 343681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63133471 8867840 254 134679101440 94334489100288 94334489135304 140737341486128 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94334491232720 94334491234852 94334507569152 140737341494260 140737341494429 140737341494429 140737341501415 0
/proc/347700/statm: 2165 254 230 9 0 87 0
[pid=347701] ppid=347700 vsize=41044 memory=28024 CPUtime=1791.87 cores=5,7
/proc/347701/stat : 347701 (Exact) R 347700 347700 343681 0 -1 4194304 50482 0 0 0 179176 11 0 0 20 0 1 0 63133471 42029056 7006 134679101440 4194304 7210733 140734228505968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 32997376 140734228509712 140734228509862 140734228509862 140734228516848 0
/proc/347701/statm: 10261 7006 748 737 0 9349 0
Current children cumulated CPU time: 3584.57 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 31848 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.14 4.10 5/266 348987
/proc/meminfo: memFree=119504604/131524600 swapFree=131071996/131071996
[pid=346719] ppid=346716 vsize=9932 memory=2808 CPUtime=1792.7 cores=5,7
/proc/346719/stat : 346719 (Hybrid-CASHWMax) S 346716 346719 343681 0 -1 4194304 272 469774 0 0 0 0 179130 140 20 0 1 0 62953668 10170368 702 134679101440 94441329221632 94441330300952 140723222725856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94441332399408 94441332446596 94441360801792 140723222729680 140723222729838 140723222729838 140723222736853 0
/proc/346719/statm: 2483 702 608 264 0 134 0
[pid=347700] ppid=346719 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347700/stat : 347700 (timeout) S 346719 347700 343681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63133471 8867840 254 134679101440 94334489100288 94334489135304 140737341486128 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94334491232720 94334491234852 94334507569152 140737341494260 140737341494429 140737341494429 140737341501415 0
/proc/347700/statm: 2165 254 230 9 0 87 0
[pid=347701] ppid=347700 vsize=41044 memory=28024 CPUtime=1792.27 cores=5,7
/proc/347701/stat : 347701 (Exact) R 347700 347700 343681 0 -1 4194304 50482 0 0 0 179216 11 0 0 20 0 1 0 63133471 42029056 7006 134679101440 4194304 7210733 140734228505968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 32997376 140734228509712 140734228509862 140734228509862 140734228516848 0
/proc/347701/statm: 10261 7006 748 737 0 9349 0
Current children cumulated CPU time: 3584.97 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 31848 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.14 4.10 5/266 348987
/proc/meminfo: memFree=119504612/131524600 swapFree=131071996/131071996
[pid=346719] ppid=346716 vsize=9932 memory=2808 CPUtime=1792.7 cores=5,7
/proc/346719/stat : 346719 (Hybrid-CASHWMax) S 346716 346719 343681 0 -1 4194304 272 469774 0 0 0 0 179130 140 20 0 1 0 62953668 10170368 702 134679101440 94441329221632 94441330300952 140723222725856 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94441332399408 94441332446596 94441360801792 140723222729680 140723222729838 140723222729838 140723222736853 0
/proc/346719/statm: 2483 702 608 264 0 134 0
[pid=347700] ppid=346719 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/347700/stat : 347700 (timeout) S 346719 347700 343681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63133471 8867840 254 134679101440 94334489100288 94334489135304 140737341486128 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94334491232720 94334491234852 94334507569152 140737341494260 140737341494429 140737341494429 140737341501415 0
/proc/347700/statm: 2165 254 230 9 0 87 0
[pid=347701] ppid=347700 vsize=41044 memory=28024 CPUtime=1792.67 cores=5,7
/proc/347701/stat : 347701 (Exact) R 347700 347700 343681 0 -1 4194304 50482 0 0 0 179256 11 0 0 20 0 1 0 63133471 42029056 7006 134679101440 4194304 7210733 140734228505968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 32997376 140734228509712 140734228509862 140734228509862 140734228516848 0
/proc/347701/statm: 10261 7006 748 737 0 9349 0
Current children cumulated CPU time: 3585.37 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 31848 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3585.44
CPU user time (s): 3583.91
CPU system time (s): 1.52678
CPU usage (%): 99.7051
Max. virtual memory (cumulated for all children) (KiB): 2507628
Max. memory (cumulated for all children) (KiB): 2388360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.91
system time used= 1.52677
maximum resident set size= 2384700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 523524
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78
involuntary context switches= 2327


# summary of solver processes directly reported to runsolver:
#   pid: 346719
#   total CPU time (s): 3585.44
#   total CPU user time (s): 3583.91
#   total CPU system time (s): 1.52678

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.91734 second user time and 18.2847 second system time

The end