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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=342302, runsolver pid=342299
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 4.06 4.10 4.09 5/266 342306
/proc/meminfo: memFree=126518276/131524600 swapFree=131071996/131071996
[pid=342302] ppid=342299 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/342302/stat : 342302 (Hybrid-CASHWMax) S 342299 342302 338972 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 63043206 10170368 677 134679101440 93955296370688 93955297450008 140728676452400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93955299548464 93955299595652 93955327250432 140728676459472 140728676459630 140728676459630 140728676466645 0
/proc/342302/statm: 2483 677 599 264 0 134 0
[pid=342305] ppid=342302 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342305/stat : 342305 (timeout) S 342302 342305 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63043207 8867840 245 134679101440 94824301895680 94824301930696 140724668976768 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824304028112 94824304030244 94824316645376 140724668978188 140724668978333 140724668978333 140724668985319 0
/proc/342305/statm: 2165 245 221 9 0 87 0
[pid=342306] ppid=342305 vsize=37776 memory=20348 CPUtime=0.09 cores=0,2
/proc/342306/stat : 342306 (CASHWMaxSAT-Dis) R 342305 342305 338972 0 -1 4194304 4065 0 0 0 9 0 0 0 20 0 1 0 63043207 38682624 5087 134679101440 4194304 14093885 140724237943952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27394048 140724237947922 140724237948054 140724237948054 140724237955040 0
/proc/342306/statm: 9444 5087 782 2417 0 6546 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56368 KiB
Current children cumulated memory: 24036 KiB

[startup+0.206081 s]*
/proc/loadavg: 4.06 4.10 4.09 5/266 342306
/proc/meminfo: memFree=126473000/131524600 swapFree=131071996/131071996
[pid=342302] ppid=342299 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/342302/stat : 342302 (Hybrid-CASHWMax) S 342299 342302 338972 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 63043206 10170368 677 134679101440 93955296370688 93955297450008 140728676452400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93955299548464 93955299595652 93955327250432 140728676459472 140728676459630 140728676459630 140728676466645 0
/proc/342302/statm: 2483 677 599 264 0 134 0
[pid=342305] ppid=342302 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342305/stat : 342305 (timeout) S 342302 342305 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63043207 8867840 245 134679101440 94824301895680 94824301930696 140724668976768 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824304028112 94824304030244 94824316645376 140724668978188 140724668978333 140724668978333 140724668985319 0
/proc/342305/statm: 2165 245 221 9 0 87 0
[pid=342306] ppid=342305 vsize=82128 memory=71812 CPUtime=0.2 cores=0,2
/proc/342306/stat : 342306 (CASHWMaxSAT-Dis) R 342305 342305 338972 0 -1 4194304 16153 0 0 0 17 3 0 0 20 0 1 0 63043207 84099072 17953 134679101440 4194304 14093885 140724237943952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27394048 140724237947922 140724237948054 140724237948054 140724237955040 0
/proc/342306/statm: 20532 17953 2350 2417 0 17634 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 100720 KiB
Current children cumulated memory: 75500 KiB

[startup+0.306111 s]*
/proc/loadavg: 4.06 4.10 4.09 5/266 342306
/proc/meminfo: memFree=126457100/131524600 swapFree=131071996/131071996
[pid=342302] ppid=342299 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/342302/stat : 342302 (Hybrid-CASHWMax) S 342299 342302 338972 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 63043206 10170368 677 134679101440 93955296370688 93955297450008 140728676452400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93955299548464 93955299595652 93955327250432 140728676459472 140728676459630 140728676459630 140728676466645 0
/proc/342302/statm: 2483 677 599 264 0 134 0
[pid=342305] ppid=342302 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342305/stat : 342305 (timeout) S 342302 342305 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63043207 8867840 245 134679101440 94824301895680 94824301930696 140724668976768 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824304028112 94824304030244 94824316645376 140724668978188 140724668978333 140724668978333 140724668985319 0
/proc/342305/statm: 2165 245 221 9 0 87 0
[pid=342306] ppid=342305 vsize=96736 memory=87040 CPUtime=0.29 cores=0,2
/proc/342306/stat : 342306 (CASHWMaxSAT-Dis) R 342305 342305 338972 0 -1 4194304 19957 0 0 0 26 3 0 0 20 0 1 0 63043207 99057664 21760 134679101440 4194304 14093885 140724237943952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27394048 140724237947922 140724237948054 140724237948054 140724237955040 0
/proc/342306/statm: 24184 21760 2398 2417 0 21286 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 115328 KiB
Current children cumulated memory: 90728 KiB

[startup+0.700241 s]
/proc/loadavg: 4.06 4.10 4.09 5/266 342306
/proc/meminfo: memFree=126454916/131524600 swapFree=131071996/131071996
[pid=342302] ppid=342299 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/342302/stat : 342302 (Hybrid-CASHWMax) S 342299 342302 338972 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 63043206 10170368 677 134679101440 93955296370688 93955297450008 140728676452400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93955299548464 93955299595652 93955327250432 140728676459472 140728676459630 140728676459630 140728676466645 0
/proc/342302/statm: 2483 677 599 264 0 134 0
[pid=342305] ppid=342302 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342305/stat : 342305 (timeout) S 342302 342305 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63043207 8867840 245 134679101440 94824301895680 94824301930696 140724668976768 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824304028112 94824304030244 94824316645376 140724668978188 140724668978333 140724668978333 140724668985319 0
/proc/342305/statm: 2165 245 221 9 0 87 0
[pid=342306] ppid=342305 vsize=100232 memory=90004 CPUtime=0.69 cores=0,2
/proc/342306/stat : 342306 (CASHWMaxSAT-Dis) R 342305 342305 338972 0 -1 4194304 20638 0 0 0 65 4 0 0 20 0 1 0 63043207 102637568 22501 134679101440 4194304 14093885 140724237943952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27394048 140724237947922 140724237948054 140724237948054 140724237955040 0
/proc/342306/statm: 25058 22501 2414 2417 0 22160 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 118824 KiB
Current children cumulated memory: 93692 KiB

[startup+1.50024 s]
/proc/loadavg: 4.06 4.10 4.09 5/266 342306
/proc/meminfo: memFree=126448696/131524600 swapFree=131071996/131071996
[pid=342302] ppid=342299 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/342302/stat : 342302 (Hybrid-CASHWMax) S 342299 342302 338972 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 63043206 10170368 677 134679101440 93955296370688 93955297450008 140728676452400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93955299548464 93955299595652 93955327250432 140728676459472 140728676459630 140728676459630 140728676466645 0
/proc/342302/statm: 2483 677 599 264 0 134 0
[pid=342305] ppid=342302 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342305/stat : 342305 (timeout) S 342302 342305 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63043207 8867840 245 134679101440 94824301895680 94824301930696 140724668976768 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824304028112 94824304030244 94824316645376 140724668978188 140724668978333 140724668978333 140724668985319 0
/proc/342305/statm: 2165 245 221 9 0 87 0
[pid=342306] ppid=342305 vsize=108564 memory=97916 CPUtime=1.48 cores=0,2
/proc/342306/stat : 342306 (CASHWMaxSAT-Dis) R 342305 342305 338972 0 -1 4194304 22661 0 0 0 144 4 0 0 20 0 1 0 63043207 111169536 24479 134679101440 4194304 14093885 140724237943952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27394048 140724237947922 140724237948054 140724237948054 140724237955040 0
/proc/342306/statm: 27141 24479 2414 2417 0 24243 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 127156 KiB
Current children cumulated memory: 101604 KiB

[startup+3.10602 s]
/proc/loadavg: 4.06 4.10 4.09 5/266 342306
/proc/meminfo: memFree=126404280/131524600 swapFree=131071996/131071996
[pid=342302] ppid=342299 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/342302/stat : 342302 (Hybrid-CASHWMax) S 342299 342302 338972 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 63043206 10170368 677 134679101440 93955296370688 93955297450008 140728676452400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93955299548464 93955299595652 93955327250432 140728676459472 140728676459630 140728676459630 140728676466645 0
/proc/342302/statm: 2483 677 599 264 0 134 0
[pid=342305] ppid=342302 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342305/stat : 342305 (timeout) S 342302 342305 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63043207 8867840 245 134679101440 94824301895680 94824301930696 140724668976768 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824304028112 94824304030244 94824316645376 140724668978188 140724668978333 140724668978333 140724668985319 0
/proc/342305/statm: 2165 245 221 9 0 87 0
[pid=342306] ppid=342305 vsize=148496 memory=137448 CPUtime=3.09 cores=0,2
/proc/342306/stat : 342306 (CASHWMaxSAT-Dis) R 342305 342305 338972 0 -1 4194304 31932 0 0 0 303 6 0 0 20 0 1 0 63043207 152059904 34362 134679101440 4194304 14093885 140724237943952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27394048 140724237947922 140724237948054 140724237948054 140724237955040 0
/proc/342306/statm: 37124 34362 2526 2417 0 34226 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 167088 KiB
Current children cumulated memory: 141136 KiB

[startup+6.30024 s]
/proc/loadavg: 4.05 4.10 4.09 5/266 342306
/proc/meminfo: memFree=126378212/131524600 swapFree=131071996/131071996
[pid=342302] ppid=342299 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/342302/stat : 342302 (Hybrid-CASHWMax) S 342299 342302 338972 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 63043206 10170368 677 134679101440 93955296370688 93955297450008 140728676452400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93955299548464 93955299595652 93955327250432 140728676459472 140728676459630 140728676459630 140728676466645 0
/proc/342302/statm: 2483 677 599 264 0 134 0
[pid=342305] ppid=342302 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342305/stat : 342305 (timeout) S 342302 342305 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63043207 8867840 245 134679101440 94824301895680 94824301930696 140724668976768 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824304028112 94824304030244 94824316645376 140724668978188 140724668978333 140724668978333 140724668985319 0
/proc/342305/statm: 2165 245 221 9 0 87 0
[pid=342306] ppid=342305 vsize=179056 memory=163192 CPUtime=6.27 cores=0,2
/proc/342306/stat : 342306 (CASHWMaxSAT-Dis) R 342305 342305 338972 0 -1 4194304 37920 0 0 0 620 7 0 0 20 0 1 0 63043207 183353344 40798 134679101440 4194304 14093885 140724237943952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27394048 140724237947922 140724237948054 140724237948054 140724237955040 0
/proc/342306/statm: 44764 40798 2542 2417 0 41866 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 197648 KiB
Current children cumulated memory: 166880 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.09 4.09 5/266 342308
/proc/meminfo: memFree=126351180/131524600 swapFree=131071996/131071996
[pid=342302] ppid=342299 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/342302/stat : 342302 (Hybrid-CASHWMax) S 342299 342302 338972 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 63043206 10170368 677 134679101440 93955296370688 93955297450008 140728676452400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93955299548464 93955299595652 93955327250432 140728676459472 140728676459630 140728676459630 140728676466645 0
/proc/342302/statm: 2483 677 599 264 0 134 0
[pid=342305] ppid=342302 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342305/stat : 342305 (timeout) S 342302 342305 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63043207 8867840 245 134679101440 94824301895680 94824301930696 140724668976768 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824304028112 94824304030244 94824316645376 140724668978188 140724668978333 140724668978333 140724668985319 0
/proc/342305/statm: 2165 245 221 9 0 87 0
[pid=342306] ppid=342305 vsize=206752 memory=177168 CPUtime=12.64 cores=0,2
/proc/342306/stat : 342306 (CASHWMaxSAT-Dis) R 342305 342305 338972 0 -1 4194304 41368 0 0 0 1257 7 0 0 20 0 1 0 63043207 211714048 44292 134679101440 4194304 14093885 140724237943952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27394048 140724237947922 140724237948054 140724237948054 140724237955040 0
/proc/342306/statm: 51688 44292 2542 2417 0 48790 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 225344 KiB
Current children cumulated memory: 180856 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 342309
/proc/meminfo: memFree=126324596/131524600 swapFree=131071996/131071996
[pid=342302] ppid=342299 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/342302/stat : 342302 (Hybrid-CASHWMax) S 342299 342302 338972 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 63043206 10170368 677 134679101440 93955296370688 93955297450008 140728676452400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93955299548464 93955299595652 93955327250432 140728676459472 140728676459630 140728676459630 140728676466645 0
/proc/342302/statm: 2483 677 599 264 0 134 0
[pid=342305] ppid=342302 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342305/stat : 342305 (timeout) S 342302 342305 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63043207 8867840 245 134679101440 94824301895680 94824301930696 140724668976768 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824304028112 94824304030244 94824316645376 140724668978188 140724668978333 140724668978333 140724668985319 0
/proc/342305/statm: 2165 245 221 9 0 87 0
[pid=342306] ppid=342305 vsize=234132 memory=182688 CPUtime=25.4 cores=0,2
/proc/342306/stat : 342306 (CASHWMaxSAT-Dis) R 342305 342305 338972 0 -1 4194304 42778 0 0 0 2533 7 0 0 20 0 1 0 63043207 239751168 45672 134679101440 4194304 14093885 140724237943952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27394048 140724237947922 140724237948054 140724237948054 140724237955040 0
/proc/342306/statm: 58533 45672 2542 2417 0 55635 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 252724 KiB
Current children cumulated memory: 186376 KiB

[startup+51.106 s]
/proc/loadavg: 4.16 4.11 4.09 5/266 342315
/proc/meminfo: memFree=126237552/131524600 swapFree=131071996/131071996
[pid=342302] ppid=342299 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/342302/stat : 342302 (Hybrid-CASHWMax) S 342299 342302 338972 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 63043206 10170368 677 134679101440 93955296370688 93955297450008 140728676452400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93955299548464 93955299595652 93955327250432 140728676459472 140728676459630 140728676459630 140728676466645 0
/proc/342302/statm: 2483 677 599 264 0 134 0
[pid=342305] ppid=342302 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342305/stat : 342305 (timeout) S 342302 342305 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63043207 8867840 245 134679101440 94824301895680 94824301930696 140724668976768 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824304028112 94824304030244 94824316645376 140724668978188 140724668978333 140724668978333 140724668985319 0
/proc/342305/statm: 2165 245 221 9 0 87 0
[pid=342306] ppid=342305 vsize=280428 memory=227808 CPUtime=50.92 cores=0,2
/proc/342306/stat : 342306 (CASHWMaxSAT-Dis) R 342305 342305 338972 0 -1 4194304 54062 0 0 0 5083 9 0 0 20 0 1 0 63043207 287158272 56952 134679101440 4194304 14093885 140724237943952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27394048 140724237947922 140724237948054 140724237948054 140724237955040 0
/proc/342306/statm: 70107 56952 2542 2417 0 67209 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 299020 KiB
Current children cumulated memory: 231496 KiB

[startup+102.3 s]
/proc/loadavg: 4.40 4.20 4.12 5/264 342324
/proc/meminfo: memFree=126164812/131524600 swapFree=131071996/131071996
[pid=342302] ppid=342299 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/342302/stat : 342302 (Hybrid-CASHWMax) S 342299 342302 338972 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 63043206 10170368 677 134679101440 93955296370688 93955297450008 140728676452400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93955299548464 93955299595652 93955327250432 140728676459472 140728676459630 140728676459630 140728676466645 0

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

/proc/342306/statm: 162411 154737 2542 2417 0 159513 0
Current children cumulated CPU time: 819.61 s
Current children cumulated vsize: 668236 KiB
Current children cumulated memory: 622636 KiB

[startup+882.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/266 343152
/proc/meminfo: memFree=127811528/131524600 swapFree=131071996/131071996
[pid=342302] ppid=342299 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/342302/stat : 342302 (Hybrid-CASHWMax) S 342299 342302 338972 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 63043206 10170368 677 134679101440 93955296370688 93955297450008 140728676452400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93955299548464 93955299595652 93955327250432 140728676459472 140728676459630 140728676459630 140728676466645 0
/proc/342302/statm: 2483 677 599 264 0 134 0
[pid=342305] ppid=342302 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342305/stat : 342305 (timeout) S 342302 342305 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63043207 8867840 245 134679101440 94824301895680 94824301930696 140724668976768 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824304028112 94824304030244 94824316645376 140724668978188 140724668978333 140724668978333 140724668985319 0
/proc/342305/statm: 2165 245 221 9 0 87 0
[pid=342306] ppid=342305 vsize=654148 memory=623092 CPUtime=879.43 cores=0,2
/proc/342306/stat : 342306 (CASHWMaxSAT-Dis) R 342305 342305 338972 0 -1 4194304 116428 0 0 0 87922 21 0 0 20 0 1 0 63043207 669847552 155773 134679101440 4194304 14093885 140724237943952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27394048 140724237947922 140724237948054 140724237948054 140724237955040 0
/proc/342306/statm: 163537 155773 2542 2417 0 160639 0
Current children cumulated CPU time: 879.43 s
Current children cumulated vsize: 672740 KiB
Current children cumulated memory: 626780 KiB

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

# cumulated CPU time of all completed processes:  user=898.012 s, system=0.218407 s

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

[startup+883.2 s]
/proc/loadavg: 4.05 4.09 4.09 5/266 343152
/proc/meminfo: memFree=127811536/131524600 swapFree=131071996/131071996
[pid=342302] ppid=342299 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/342302/stat : 342302 (Hybrid-CASHWMax) S 342299 342302 338972 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 63043206 10170368 677 134679101440 93955296370688 93955297450008 140728676452400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93955299548464 93955299595652 93955327250432 140728676459472 140728676459630 140728676459630 140728676466645 0
/proc/342302/statm: 2483 677 599 264 0 134 0
[pid=342305] ppid=342302 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342305/stat : 342305 (timeout) S 342302 342305 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63043207 8867840 245 134679101440 94824301895680 94824301930696 140724668976768 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824304028112 94824304030244 94824316645376 140724668978188 140724668978333 140724668978333 140724668985319 0
/proc/342305/statm: 2165 245 221 9 0 87 0
[pid=342306] ppid=342305 vsize=654148 memory=623092 CPUtime=880.33 cores=0,2
/proc/342306/stat : 342306 (CASHWMaxSAT-Dis) R 342305 342305 338972 0 -1 4194304 116430 0 0 0 88012 21 0 0 20 0 1 0 63043207 669847552 155773 134679101440 4194304 14093885 140724237943952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27394048 140724237947922 140724237948054 140724237948054 140724237955040 0
/proc/342306/statm: 163537 155773 2542 2417 0 160639 0
Current children cumulated CPU time: 880.33 s
Current children cumulated vsize: 672740 KiB
Current children cumulated memory: 626780 KiB

[startup+889.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 343153
/proc/meminfo: memFree=127802248/131524600 swapFree=131071996/131071996
[pid=342302] ppid=342299 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/342302/stat : 342302 (Hybrid-CASHWMax) S 342299 342302 338972 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 63043206 10170368 677 134679101440 93955296370688 93955297450008 140728676452400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93955299548464 93955299595652 93955327250432 140728676459472 140728676459630 140728676459630 140728676466645 0
/proc/342302/statm: 2483 677 599 264 0 134 0
[pid=342305] ppid=342302 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342305/stat : 342305 (timeout) S 342302 342305 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63043207 8867840 245 134679101440 94824301895680 94824301930696 140724668976768 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824304028112 94824304030244 94824316645376 140724668978188 140724668978333 140724668978333 140724668985319 0
/proc/342305/statm: 2165 245 221 9 0 87 0
[pid=342306] ppid=342305 vsize=654148 memory=623332 CPUtime=886.71 cores=0,2
/proc/342306/stat : 342306 (CASHWMaxSAT-Dis) R 342305 342305 338972 0 -1 4194304 116471 0 0 0 88650 21 0 0 20 0 1 0 63043207 669847552 155833 134679101440 4194304 14093885 140724237943952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27394048 140724237947922 140724237948054 140724237948054 140724237955040 0
/proc/342306/statm: 163537 155833 2542 2417 0 160639 0
Current children cumulated CPU time: 886.71 s
Current children cumulated vsize: 672740 KiB
Current children cumulated memory: 627020 KiB

[startup+896 s]*
/proc/loadavg: 4.10 4.10 4.09 5/266 343153
/proc/meminfo: memFree=127797260/131524600 swapFree=131071996/131071996
[pid=342302] ppid=342299 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/342302/stat : 342302 (Hybrid-CASHWMax) S 342299 342302 338972 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 63043206 10170368 677 134679101440 93955296370688 93955297450008 140728676452400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93955299548464 93955299595652 93955327250432 140728676459472 140728676459630 140728676459630 140728676466645 0
/proc/342302/statm: 2483 677 599 264 0 134 0
[pid=342305] ppid=342302 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342305/stat : 342305 (timeout) S 342302 342305 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63043207 8867840 245 134679101440 94824301895680 94824301930696 140724668976768 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824304028112 94824304030244 94824316645376 140724668978188 140724668978333 140724668978333 140724668985319 0
/proc/342305/statm: 2165 245 221 9 0 87 0
[pid=342306] ppid=342305 vsize=654148 memory=623332 CPUtime=893.09 cores=0,2
/proc/342306/stat : 342306 (CASHWMaxSAT-Dis) R 342305 342305 338972 0 -1 4194304 116490 0 0 0 89288 21 0 0 20 0 1 0 63043207 669847552 155833 134679101440 4194304 14093885 140724237943952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27394048 140724237947922 140724237948054 140724237948054 140724237955040 0
/proc/342306/statm: 163537 155833 2542 2417 0 160639 0
Current children cumulated CPU time: 893.09 s
Current children cumulated vsize: 672740 KiB
Current children cumulated memory: 627020 KiB

[startup+899.2 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 343155
/proc/meminfo: memFree=127796840/131524600 swapFree=131071996/131071996
[pid=342302] ppid=342299 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/342302/stat : 342302 (Hybrid-CASHWMax) S 342299 342302 338972 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 63043206 10170368 677 134679101440 93955296370688 93955297450008 140728676452400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93955299548464 93955299595652 93955327250432 140728676459472 140728676459630 140728676459630 140728676466645 0
/proc/342302/statm: 2483 677 599 264 0 134 0
[pid=342305] ppid=342302 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342305/stat : 342305 (timeout) S 342302 342305 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63043207 8867840 245 134679101440 94824301895680 94824301930696 140724668976768 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824304028112 94824304030244 94824316645376 140724668978188 140724668978333 140724668978333 140724668985319 0
/proc/342305/statm: 2165 245 221 9 0 87 0
[pid=342306] ppid=342305 vsize=654148 memory=623452 CPUtime=896.28 cores=0,2
/proc/342306/stat : 342306 (CASHWMaxSAT-Dis) R 342305 342305 338972 0 -1 4194304 116536 0 0 0 89607 21 0 0 20 0 1 0 63043207 669847552 155863 134679101440 4194304 14093885 140724237943952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27394048 140724237947922 140724237948054 140724237948054 140724237955040 0
/proc/342306/statm: 163537 155863 2542 2417 0 160639 0
Current children cumulated CPU time: 896.28 s
Current children cumulated vsize: 672740 KiB
Current children cumulated memory: 627140 KiB

[startup+900 s]*
/proc/loadavg: 4.09 4.10 4.09 5/266 343155
/proc/meminfo: memFree=127891064/131524600 swapFree=131071996/131071996
[pid=342302] ppid=342299 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/342302/stat : 342302 (Hybrid-CASHWMax) S 342299 342302 338972 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 63043206 10170368 677 134679101440 93955296370688 93955297450008 140728676452400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93955299548464 93955299595652 93955327250432 140728676459472 140728676459630 140728676459630 140728676466645 0
/proc/342302/statm: 2483 677 599 264 0 134 0
[pid=342305] ppid=342302 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342305/stat : 342305 (timeout) S 342302 342305 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63043207 8867840 245 134679101440 94824301895680 94824301930696 140724668976768 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824304028112 94824304030244 94824316645376 140724668978188 140724668978333 140724668978333 140724668985319 0
/proc/342305/statm: 2165 245 221 9 0 87 0
[pid=342306] ppid=342305 vsize=534292 memory=527304 CPUtime=897.08 cores=0,2
/proc/342306/stat : 342306 (CASHWMaxSAT-Dis) R 342305 342305 338972 0 -1 4194304 116660 0 0 0 89687 21 0 0 20 0 1 0 63043207 547115008 131826 134679101440 4194304 14093885 140724237943952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27394048 140724237947922 140724237948054 140724237948054 140724237955040 0
/proc/342306/statm: 133573 131826 2542 2417 0 130675 0
Current children cumulated CPU time: 897.08 s
Current children cumulated vsize: 552884 KiB
Current children cumulated memory: 530992 KiB

[startup+900.8 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 343155
/proc/meminfo: memFree=127891064/131524600 swapFree=131071996/131071996
[pid=342302] ppid=342299 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/342302/stat : 342302 (Hybrid-CASHWMax) S 342299 342302 338972 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 63043206 10170368 677 134679101440 93955296370688 93955297450008 140728676452400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93955299548464 93955299595652 93955327250432 140728676459472 140728676459630 140728676459630 140728676466645 0
/proc/342302/statm: 2483 677 599 264 0 134 0
[pid=342305] ppid=342302 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342305/stat : 342305 (timeout) S 342302 342305 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63043207 8867840 245 134679101440 94824301895680 94824301930696 140724668976768 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824304028112 94824304030244 94824316645376 140724668978188 140724668978333 140724668978333 140724668985319 0
/proc/342305/statm: 2165 245 221 9 0 87 0
[pid=342306] ppid=342305 vsize=534420 memory=527464 CPUtime=897.87 cores=0,2
/proc/342306/stat : 342306 (CASHWMaxSAT-Dis) R 342305 342305 338972 0 -1 4194304 116692 0 0 0 89766 21 0 0 20 0 1 0 63043207 547246080 131866 134679101440 4194304 14093885 140724237943952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27394048 140724237947922 140724237948054 140724237948054 140724237955040 0
/proc/342306/statm: 133605 131866 2542 2417 0 130707 0
Current children cumulated CPU time: 897.87 s
Current children cumulated vsize: 553012 KiB
Current children cumulated memory: 531152 KiB

[startup+901 s]*
/proc/loadavg: 4.09 4.10 4.09 5/266 343155
/proc/meminfo: memFree=127890888/131524600 swapFree=131071996/131071996
[pid=342302] ppid=342299 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/342302/stat : 342302 (Hybrid-CASHWMax) S 342299 342302 338972 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 63043206 10170368 677 134679101440 93955296370688 93955297450008 140728676452400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93955299548464 93955299595652 93955327250432 140728676459472 140728676459630 140728676459630 140728676466645 0
/proc/342302/statm: 2483 677 599 264 0 134 0
[pid=342305] ppid=342302 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342305/stat : 342305 (timeout) S 342302 342305 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63043207 8867840 245 134679101440 94824301895680 94824301930696 140724668976768 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824304028112 94824304030244 94824316645376 140724668978188 140724668978333 140724668978333 140724668985319 0
/proc/342305/statm: 2165 245 221 9 0 87 0
[pid=342306] ppid=342305 vsize=534420 memory=527464 CPUtime=898.08 cores=0,2
/proc/342306/stat : 342306 (CASHWMaxSAT-Dis) R 342305 342305 338972 0 -1 4194304 116692 0 0 0 89787 21 0 0 20 0 1 0 63043207 547246080 131866 134679101440 4194304 14093885 140724237943952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27394048 140724237947922 140724237948054 140724237948054 140724237955040 0
/proc/342306/statm: 133605 131866 2542 2417 0 130707 0
Current children cumulated CPU time: 898.08 s
Current children cumulated vsize: 553012 KiB
Current children cumulated memory: 531152 KiB

[startup+901.106 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 343155
/proc/meminfo: memFree=127890888/131524600 swapFree=131071996/131071996
[pid=342302] ppid=342299 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/342302/stat : 342302 (Hybrid-CASHWMax) S 342299 342302 338972 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 63043206 10170368 677 134679101440 93955296370688 93955297450008 140728676452400 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93955299548464 93955299595652 93955327250432 140728676459472 140728676459630 140728676459630 140728676466645 0
/proc/342302/statm: 2483 677 599 264 0 134 0
[pid=342305] ppid=342302 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/342305/stat : 342305 (timeout) S 342302 342305 338972 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63043207 8867840 245 134679101440 94824301895680 94824301930696 140724668976768 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94824304028112 94824304030244 94824316645376 140724668978188 140724668978333 140724668978333 140724668985319 0
/proc/342305/statm: 2165 245 221 9 0 87 0
[pid=342306] ppid=342305 vsize=534420 memory=527464 CPUtime=898.18 cores=0,2
/proc/342306/stat : 342306 (CASHWMaxSAT-Dis) R 342305 342305 338972 0 -1 4194304 116692 0 0 0 89797 21 0 0 20 0 1 0 63043207 547246080 131866 134679101440 4194304 14093885 140724237943952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 27394048 140724237947922 140724237948054 140724237948054 140724237955040 0
/proc/342306/statm: 133605 131866 2542 2417 0 130707 0
Current children cumulated CPU time: 898.18 s
Current children cumulated vsize: 553012 KiB
Current children cumulated memory: 531152 KiB

Child status: 0

Real time (s): 901.147
CPU time (s): 898.231
CPU user time (s): 898.012
CPU system time (s): 0.218407
CPU usage (%): 99.6763
Max. virtual memory (cumulated for all children) (KiB): 672740
Max. memory (cumulated for all children) (KiB): 627140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 898.012
system time used= 0.218407
maximum resident set size= 623452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117386
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62
involuntary context switches= 6161


# summary of solver processes directly reported to runsolver:
#   pid: 342302
#   total CPU time (s): 898.231
#   total CPU user time (s): 898.012
#   total CPU system time (s): 0.218407

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.74201 second user time and 4.82682 second system time

The end