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

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


[startup+0.100085 s]*
/proc/loadavg: 4.13 4.15 4.13 5/262 340659
/proc/meminfo: memFree=128370588/131524600 swapFree=131071996/131071996
[pid=340655] ppid=340652 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/340655/stat : 340655 (Hybrid-CASHWMax) S 340652 340655 338375 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 62861506 10170368 652 134679101440 94186177028096 94186178107416 140730997259056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94186180205872 94186180253060 94186201157632 140730997261264 140730997261422 140730997261422 140730997268437 0
/proc/340655/statm: 2483 652 574 264 0 134 0
[pid=340658] ppid=340655 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/340658/stat : 340658 (timeout) S 340655 340658 338375 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62861507 8867840 243 134679101440 94124915970048 94124916005064 140724930420480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94124918102480 94124918104612 94124934979584 140724930421772 140724930421917 140724930421917 140724930428903 0
/proc/340658/statm: 2165 243 219 9 0 87 0
[pid=340659] ppid=340658 vsize=44328 memory=35520 CPUtime=0.09 cores=0,2
/proc/340659/stat : 340659 (CASHWMaxSAT-Dis) R 340658 340658 338375 0 -1 4194304 6599 0 0 0 9 0 0 0 20 0 1 0 62861507 45391872 8880 134679101440 4194304 14093885 140728352009856 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 23891968 140728352015378 140728352015510 140728352015510 140728352022496 0
/proc/340659/statm: 11082 8880 2510 2417 0 8184 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62920 KiB
Current children cumulated memory: 39100 KiB

[startup+0.205152 s]*
/proc/loadavg: 4.13 4.15 4.13 5/262 340659
/proc/meminfo: memFree=128368264/131524600 swapFree=131071996/131071996
[pid=340655] ppid=340652 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/340655/stat : 340655 (Hybrid-CASHWMax) S 340652 340655 338375 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 62861506 10170368 652 134679101440 94186177028096 94186178107416 140730997259056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94186180205872 94186180253060 94186201157632 140730997261264 140730997261422 140730997261422 140730997268437 0
/proc/340655/statm: 2483 652 574 264 0 134 0
[pid=340658] ppid=340655 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/340658/stat : 340658 (timeout) S 340655 340658 338375 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62861507 8867840 243 134679101440 94124915970048 94124916005064 140724930420480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94124918102480 94124918104612 94124934979584 140724930421772 140724930421917 140724930421917 140724930428903 0
/proc/340658/statm: 2165 243 219 9 0 87 0
[pid=340659] ppid=340658 vsize=45156 memory=36304 CPUtime=0.19 cores=0,2
/proc/340659/stat : 340659 (CASHWMaxSAT-Dis) R 340658 340658 338375 0 -1 4194304 6812 0 0 0 19 0 0 0 20 0 1 0 62861507 46239744 9076 134679101440 4194304 14093885 140728352009856 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 23891968 140728352015378 140728352015510 140728352015510 140728352022496 0
/proc/340659/statm: 11289 9076 2510 2417 0 8391 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 63748 KiB
Current children cumulated memory: 39884 KiB

[startup+0.304446 s]*
/proc/loadavg: 4.13 4.15 4.13 5/262 340659
/proc/meminfo: memFree=128368128/131524600 swapFree=131071996/131071996
[pid=340655] ppid=340652 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/340655/stat : 340655 (Hybrid-CASHWMax) S 340652 340655 338375 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 62861506 10170368 652 134679101440 94186177028096 94186178107416 140730997259056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94186180205872 94186180253060 94186201157632 140730997261264 140730997261422 140730997261422 140730997268437 0
/proc/340655/statm: 2483 652 574 264 0 134 0
[pid=340658] ppid=340655 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/340658/stat : 340658 (timeout) S 340655 340658 338375 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62861507 8867840 243 134679101440 94124915970048 94124916005064 140724930420480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94124918102480 94124918104612 94124934979584 140724930421772 140724930421917 140724930421917 140724930428903 0
/proc/340658/statm: 2165 243 219 9 0 87 0
[pid=340659] ppid=340658 vsize=45156 memory=36304 CPUtime=0.29 cores=0,2
/proc/340659/stat : 340659 (CASHWMaxSAT-Dis) R 340658 340658 338375 0 -1 4194304 6812 0 0 0 29 0 0 0 20 0 1 0 62861507 46239744 9076 134679101440 4194304 14093885 140728352009856 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 23891968 140728352015378 140728352015510 140728352015510 140728352022496 0
/proc/340659/statm: 11289 9076 2510 2417 0 8391 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 63748 KiB
Current children cumulated memory: 39884 KiB

[startup+0.700243 s]
/proc/loadavg: 4.13 4.15 4.13 5/259 340660
/proc/meminfo: memFree=128364960/131524600 swapFree=131071996/131071996
[pid=340655] ppid=340652 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/340655/stat : 340655 (Hybrid-CASHWMax) S 340652 340655 338375 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 62861506 10170368 652 134679101440 94186177028096 94186178107416 140730997259056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94186180205872 94186180253060 94186201157632 140730997261264 140730997261422 140730997261422 140730997268437 0
/proc/340655/statm: 2483 652 574 264 0 134 0
[pid=340658] ppid=340655 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/340658/stat : 340658 (timeout) S 340655 340658 338375 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62861507 8867840 243 134679101440 94124915970048 94124916005064 140724930420480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94124918102480 94124918104612 94124934979584 140724930421772 140724930421917 140724930421917 140724930428903 0
/proc/340658/statm: 2165 243 219 9 0 87 0
[pid=340659] ppid=340658 vsize=50220 memory=41088 CPUtime=0.69 cores=0,2
/proc/340659/stat : 340659 (CASHWMaxSAT-Dis) R 340658 340658 338375 0 -1 4194304 7978 0 0 0 68 1 0 0 20 0 1 0 62861507 51425280 10272 134679101440 4194304 14093885 140728352009856 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 23891968 140728352015378 140728352015510 140728352015510 140728352022496 0
/proc/340659/statm: 12555 10272 2526 2417 0 9657 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 68812 KiB
Current children cumulated memory: 44668 KiB

[startup+1.50021 s]
/proc/loadavg: 4.04 4.13 4.12 6/266 340694
/proc/meminfo: memFree=128341524/131524600 swapFree=131071996/131071996
[pid=340655] ppid=340652 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/340655/stat : 340655 (Hybrid-CASHWMax) S 340652 340655 338375 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 62861506 10170368 652 134679101440 94186177028096 94186178107416 140730997259056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94186180205872 94186180253060 94186201157632 140730997261264 140730997261422 140730997261422 140730997268437 0
/proc/340655/statm: 2483 652 574 264 0 134 0
[pid=340658] ppid=340655 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/340658/stat : 340658 (timeout) S 340655 340658 338375 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62861507 8867840 243 134679101440 94124915970048 94124916005064 140724930420480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94124918102480 94124918104612 94124934979584 140724930421772 140724930421917 140724930421917 140724930428903 0
/proc/340658/statm: 2165 243 219 9 0 87 0
[pid=340659] ppid=340658 vsize=52336 memory=42144 CPUtime=1.49 cores=0,2
/proc/340659/stat : 340659 (CASHWMaxSAT-Dis) R 340658 340658 338375 0 -1 4194304 8244 0 0 0 148 1 0 0 20 0 1 0 62861507 53592064 10536 134679101440 4194304 14093885 140728352009856 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 23891968 140728352015378 140728352015510 140728352015510 140728352022496 0
/proc/340659/statm: 13084 10536 2526 2417 0 10186 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 70928 KiB
Current children cumulated memory: 45724 KiB

[startup+3.1055 s]
/proc/loadavg: 4.04 4.13 4.12 5/266 340694
/proc/meminfo: memFree=128310156/131524600 swapFree=131071996/131071996
[pid=340655] ppid=340652 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/340655/stat : 340655 (Hybrid-CASHWMax) S 340652 340655 338375 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 62861506 10170368 652 134679101440 94186177028096 94186178107416 140730997259056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94186180205872 94186180253060 94186201157632 140730997261264 140730997261422 140730997261422 140730997268437 0
/proc/340655/statm: 2483 652 574 264 0 134 0
[pid=340658] ppid=340655 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/340658/stat : 340658 (timeout) S 340655 340658 338375 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62861507 8867840 243 134679101440 94124915970048 94124916005064 140724930420480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94124918102480 94124918104612 94124934979584 140724930421772 140724930421917 140724930421917 140724930428903 0
/proc/340658/statm: 2165 243 219 9 0 87 0
[pid=340659] ppid=340658 vsize=71364 memory=60624 CPUtime=3.08 cores=0,2
/proc/340659/stat : 340659 (CASHWMaxSAT-Dis) R 340658 340658 338375 0 -1 4194304 12856 0 0 0 307 1 0 0 20 0 1 0 62861507 73076736 15156 134679101440 4194304 14093885 140728352009856 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 23891968 140728352015378 140728352015510 140728352015510 140728352022496 0
/proc/340659/statm: 17841 15156 2526 2417 0 14943 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 89956 KiB
Current children cumulated memory: 64204 KiB

[startup+6.30022 s]
/proc/loadavg: 4.04 4.13 4.12 5/266 340694
/proc/meminfo: memFree=128205700/131524600 swapFree=131071996/131071996
[pid=340655] ppid=340652 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/340655/stat : 340655 (Hybrid-CASHWMax) S 340652 340655 338375 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 62861506 10170368 652 134679101440 94186177028096 94186178107416 140730997259056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94186180205872 94186180253060 94186201157632 140730997261264 140730997261422 140730997261422 140730997268437 0
/proc/340655/statm: 2483 652 574 264 0 134 0
[pid=340658] ppid=340655 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/340658/stat : 340658 (timeout) S 340655 340658 338375 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62861507 8867840 243 134679101440 94124915970048 94124916005064 140724930420480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94124918102480 94124918104612 94124934979584 140724930421772 140724930421917 140724930421917 140724930428903 0
/proc/340658/statm: 2165 243 219 9 0 87 0
[pid=340659] ppid=340658 vsize=126496 memory=115272 CPUtime=6.26 cores=0,2
/proc/340659/stat : 340659 (CASHWMaxSAT-Dis) R 340658 340658 338375 0 -1 4194304 26526 0 0 0 623 3 0 0 20 0 1 0 62861507 129531904 28818 134679101440 4194304 14093885 140728352009856 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 23891968 140728352015378 140728352015510 140728352015510 140728352022496 0
/proc/340659/statm: 31624 28818 2526 2417 0 28726 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 145088 KiB
Current children cumulated memory: 118852 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.12 4.12 5/266 340695
/proc/meminfo: memFree=128139872/131524600 swapFree=131071996/131071996
[pid=340655] ppid=340652 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/340655/stat : 340655 (Hybrid-CASHWMax) S 340652 340655 338375 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 62861506 10170368 652 134679101440 94186177028096 94186178107416 140730997259056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94186180205872 94186180253060 94186201157632 140730997261264 140730997261422 140730997261422 140730997268437 0
/proc/340655/statm: 2483 652 574 264 0 134 0
[pid=340658] ppid=340655 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/340658/stat : 340658 (timeout) S 340655 340658 338375 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62861507 8867840 243 134679101440 94124915970048 94124916005064 140724930420480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94124918102480 94124918104612 94124934979584 140724930421772 140724930421917 140724930421917 140724930428903 0
/proc/340658/statm: 2165 243 219 9 0 87 0
[pid=340659] ppid=340658 vsize=152744 memory=137976 CPUtime=12.65 cores=0,2
/proc/340659/stat : 340659 (CASHWMaxSAT-Dis) R 340658 340658 338375 0 -1 4194304 32230 0 0 0 1261 4 0 0 20 0 1 0 62861507 156409856 34494 134679101440 4194304 14093885 140728352009856 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 23891968 140728352015378 140728352015510 140728352015510 140728352022496 0
/proc/340659/statm: 38186 34494 2526 2417 0 35288 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 171336 KiB
Current children cumulated memory: 141556 KiB

[startup+25.5002 s]
/proc/loadavg: 4.03 4.12 4.12 5/266 340697
/proc/meminfo: memFree=128130356/131524600 swapFree=131071996/131071996
[pid=340655] ppid=340652 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/340655/stat : 340655 (Hybrid-CASHWMax) S 340652 340655 338375 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 62861506 10170368 652 134679101440 94186177028096 94186178107416 140730997259056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94186180205872 94186180253060 94186201157632 140730997261264 140730997261422 140730997261422 140730997268437 0
/proc/340655/statm: 2483 652 574 264 0 134 0
[pid=340658] ppid=340655 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/340658/stat : 340658 (timeout) S 340655 340658 338375 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62861507 8867840 243 134679101440 94124915970048 94124916005064 140724930420480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94124918102480 94124918104612 94124934979584 140724930421772 140724930421917 140724930421917 140724930428903 0
/proc/340658/statm: 2165 243 219 9 0 87 0
[pid=340659] ppid=340658 vsize=156156 memory=142464 CPUtime=25.41 cores=0,2
/proc/340659/stat : 340659 (CASHWMaxSAT-Dis) R 340658 340658 338375 0 -1 4194304 33307 0 0 0 2536 5 0 0 20 0 1 0 62861507 159903744 35616 134679101440 4194304 14093885 140728352009856 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 23891968 140728352015378 140728352015510 140728352015510 140728352022496 0
/proc/340659/statm: 39039 35616 2526 2417 0 36141 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 174748 KiB
Current children cumulated memory: 146044 KiB

[startup+51.1056 s]
/proc/loadavg: 4.07 4.12 4.12 5/266 340703
/proc/meminfo: memFree=128046416/131524600 swapFree=131071996/131071996
[pid=340655] ppid=340652 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/340655/stat : 340655 (Hybrid-CASHWMax) S 340652 340655 338375 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 62861506 10170368 652 134679101440 94186177028096 94186178107416 140730997259056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94186180205872 94186180253060 94186201157632 140730997261264 140730997261422 140730997261422 140730997268437 0
/proc/340655/statm: 2483 652 574 264 0 134 0
[pid=340658] ppid=340655 vsize=8660 memory=972 CPUtime=0 cores=0,2
/proc/340658/stat : 340658 (timeout) S 340655 340658 338375 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62861507 8867840 243 134679101440 94124915970048 94124916005064 140724930420480 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94124918102480 94124918104612 94124934979584 140724930421772 140724930421917 140724930421917 140724930428903 0
/proc/340658/statm: 2165 243 219 9 0 87 0
[pid=340659] ppid=340658 vsize=196872 memory=180640 CPUtime=50.93 cores=0,2
/proc/340659/stat : 340659 (CASHWMaxSAT-Dis) R 340658 340658 338375 0 -1 4194304 42905 0 0 0 5085 8 0 0 20 0 1 0 62861507 201596928 45160 134679101440 4194304 14093885 140728352009856 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 23891968 140728352015378 140728352015510 140728352015510 140728352022496 0
/proc/340659/statm: 49218 45160 2526 2417 0 46320 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 215464 KiB
Current children cumulated memory: 184220 KiB

[startup+102.3 s]
/proc/loadavg: 4.53 4.24 4.16 5/266 340712
/proc/meminfo: memFree=127916664/131524600 swapFree=131071996/131071996
[pid=340655] ppid=340652 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/340655/stat : 340655 (Hybrid-CASHWMax) S 340652 340655 338375 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 62861506 10170368 652 134679101440 94186177028096 94186178107416 140730997259056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94186180205872 94186180253060 94186201157632 140730997261264 140730997261422 140730997261422 140730997268437 0

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

/proc/341661/statm: 51625 47112 748 737 0 50713 0
Current children cumulated CPU time: 3390.64 s
Current children cumulated vsize: 225092 KiB
Current children cumulated memory: 192144 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.11 5/265 342750
/proc/meminfo: memFree=127961628/131524600 swapFree=131071996/131071996
[pid=340655] ppid=340652 vsize=9932 memory=2668 CPUtime=1791.85 cores=0,2
/proc/340655/stat : 340655 (Hybrid-CASHWMax) S 340652 340655 338375 0 -1 4194304 271 139971 0 0 0 0 179142 43 20 0 1 0 62861506 10170368 667 134679101440 94186177028096 94186178107416 140730997259056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94186180205872 94186180253060 94186201157632 140730997261264 140730997261422 140730997261422 140730997268437 0
/proc/340655/statm: 2483 667 574 264 0 134 0
[pid=341660] ppid=340655 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/341660/stat : 341660 (timeout) S 340655 341660 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63041308 8867840 257 134679101440 94791635369984 94791635405000 140720822925600 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94791637502416 94791637504548 94791639408640 140720822932468 140720822932637 140720822932637 140720822939623 0
/proc/341660/statm: 2165 257 233 9 0 87 0
[pid=341661] ppid=341660 vsize=207332 memory=191232 CPUtime=1658.6 cores=0,2
/proc/341661/stat : 341661 (Exact) R 341660 341660 338375 0 -1 4194304 28204 0 0 0 165844 16 0 0 20 0 1 0 63041308 212307968 47808 134679101440 4194304 7210733 140724175961568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 17580032 140724175967248 140724175967398 140724175967398 140724175974384 0
/proc/341661/statm: 51833 47808 748 737 0 50921 0
Current children cumulated CPU time: 3450.45 s
Current children cumulated vsize: 225924 KiB
Current children cumulated memory: 194928 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/265 342760
/proc/meminfo: memFree=127958868/131524600 swapFree=131071996/131071996
[pid=340655] ppid=340652 vsize=9932 memory=2668 CPUtime=1791.85 cores=0,2
/proc/340655/stat : 340655 (Hybrid-CASHWMax) S 340652 340655 338375 0 -1 4194304 271 139971 0 0 0 0 179142 43 20 0 1 0 62861506 10170368 667 134679101440 94186177028096 94186178107416 140730997259056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94186180205872 94186180253060 94186201157632 140730997261264 140730997261422 140730997261422 140730997268437 0
/proc/340655/statm: 2483 667 574 264 0 134 0
[pid=341660] ppid=340655 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/341660/stat : 341660 (timeout) S 340655 341660 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63041308 8867840 257 134679101440 94791635369984 94791635405000 140720822925600 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94791637502416 94791637504548 94791639408640 140720822932468 140720822932637 140720822932637 140720822939623 0
/proc/341660/statm: 2165 257 233 9 0 87 0
[pid=341661] ppid=341660 vsize=208228 memory=191912 CPUtime=1718.41 cores=0,2
/proc/341661/stat : 341661 (Exact) R 341660 341660 338375 0 -1 4194304 28512 0 0 0 171825 16 0 0 20 0 1 0 63041308 213225472 47978 134679101440 4194304 7210733 140724175961568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 17580032 140724175967248 140724175967398 140724175967398 140724175974384 0
/proc/341661/statm: 52057 47978 748 737 0 51145 0
Current children cumulated CPU time: 3510.26 s
Current children cumulated vsize: 226820 KiB
Current children cumulated memory: 195608 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/265 342770
/proc/meminfo: memFree=127957644/131524600 swapFree=131071996/131071996
[pid=340655] ppid=340652 vsize=9932 memory=2668 CPUtime=1791.85 cores=0,2
/proc/340655/stat : 340655 (Hybrid-CASHWMax) S 340652 340655 338375 0 -1 4194304 271 139971 0 0 0 0 179142 43 20 0 1 0 62861506 10170368 667 134679101440 94186177028096 94186178107416 140730997259056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94186180205872 94186180253060 94186201157632 140730997261264 140730997261422 140730997261422 140730997268437 0
/proc/340655/statm: 2483 667 574 264 0 134 0
[pid=341660] ppid=340655 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/341660/stat : 341660 (timeout) S 340655 341660 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63041308 8867840 257 134679101440 94791635369984 94791635405000 140720822925600 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94791637502416 94791637504548 94791639408640 140720822932468 140720822932637 140720822932637 140720822939623 0
/proc/341660/statm: 2165 257 233 9 0 87 0
[pid=341661] ppid=341660 vsize=208484 memory=192380 CPUtime=1778.22 cores=0,2
/proc/341661/stat : 341661 (Exact) R 341660 341660 338375 0 -1 4194304 28652 0 0 0 177806 16 0 0 20 0 1 0 63041308 213487616 48095 134679101440 4194304 7210733 140724175961568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 17580032 140724175967248 140724175967398 140724175967398 140724175974384 0
/proc/341661/statm: 52121 48095 748 737 0 51209 0
Current children cumulated CPU time: 3570.07 s
Current children cumulated vsize: 227076 KiB
Current children cumulated memory: 196076 KiB

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

# cumulated CPU time of all completed processes:  user=3583.18 s, system=0.613987 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.12 4.10 5/265 342770
/proc/meminfo: memFree=127957672/131524600 swapFree=131071996/131071996
[pid=340655] ppid=340652 vsize=9932 memory=2668 CPUtime=1791.85 cores=0,2
/proc/340655/stat : 340655 (Hybrid-CASHWMax) S 340652 340655 338375 0 -1 4194304 271 139971 0 0 0 0 179142 43 20 0 1 0 62861506 10170368 667 134679101440 94186177028096 94186178107416 140730997259056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94186180205872 94186180253060 94186201157632 140730997261264 140730997261422 140730997261422 140730997268437 0
/proc/340655/statm: 2483 667 574 264 0 134 0
[pid=341660] ppid=340655 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/341660/stat : 341660 (timeout) S 340655 341660 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63041308 8867840 257 134679101440 94791635369984 94791635405000 140720822925600 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94791637502416 94791637504548 94791639408640 140720822932468 140720822932637 140720822932637 140720822939623 0
/proc/341660/statm: 2165 257 233 9 0 87 0
[pid=341661] ppid=341660 vsize=208484 memory=192380 CPUtime=1779.92 cores=0,2
/proc/341661/stat : 341661 (Exact) R 341660 341660 338375 0 -1 4194304 28653 0 0 0 177976 16 0 0 20 0 1 0 63041308 213487616 48095 134679101440 4194304 7210733 140724175961568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 17580032 140724175967248 140724175967398 140724175967398 140724175974384 0
/proc/341661/statm: 52121 48095 748 737 0 51209 0
Current children cumulated CPU time: 3571.77 s
Current children cumulated vsize: 227076 KiB
Current children cumulated memory: 196076 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.12 4.10 5/265 342771
/proc/meminfo: memFree=127957276/131524600 swapFree=131071996/131071996
[pid=340655] ppid=340652 vsize=9932 memory=2668 CPUtime=1791.85 cores=0,2
/proc/340655/stat : 340655 (Hybrid-CASHWMax) S 340652 340655 338375 0 -1 4194304 271 139971 0 0 0 0 179142 43 20 0 1 0 62861506 10170368 667 134679101440 94186177028096 94186178107416 140730997259056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94186180205872 94186180253060 94186201157632 140730997261264 140730997261422 140730997261422 140730997268437 0
/proc/340655/statm: 2483 667 574 264 0 134 0
[pid=341660] ppid=340655 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/341660/stat : 341660 (timeout) S 340655 341660 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63041308 8867840 257 134679101440 94791635369984 94791635405000 140720822925600 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94791637502416 94791637504548 94791639408640 140720822932468 140720822932637 140720822932637 140720822939623 0
/proc/341660/statm: 2165 257 233 9 0 87 0
[pid=341661] ppid=341660 vsize=208868 memory=192628 CPUtime=1786.3 cores=0,2
/proc/341661/stat : 341661 (Exact) R 341660 341660 338375 0 -1 4194304 28755 0 0 0 178614 16 0 0 20 0 1 0 63041308 213880832 48157 134679101440 4194304 7210733 140724175961568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 17580032 140724175967248 140724175967398 140724175967398 140724175974384 0
/proc/341661/statm: 52217 48157 748 737 0 51305 0
Current children cumulated CPU time: 3578.15 s
Current children cumulated vsize: 227460 KiB
Current children cumulated memory: 196324 KiB

[startup+3593.6 s]
/proc/loadavg: 4.09 4.12 4.10 5/265 342771
/proc/meminfo: memFree=127957136/131524600 swapFree=131071996/131071996
[pid=340655] ppid=340652 vsize=9932 memory=2668 CPUtime=1791.85 cores=0,2
/proc/340655/stat : 340655 (Hybrid-CASHWMax) S 340652 340655 338375 0 -1 4194304 271 139971 0 0 0 0 179142 43 20 0 1 0 62861506 10170368 667 134679101440 94186177028096 94186178107416 140730997259056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94186180205872 94186180253060 94186201157632 140730997261264 140730997261422 140730997261422 140730997268437 0
/proc/340655/statm: 2483 667 574 264 0 134 0
[pid=341660] ppid=340655 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/341660/stat : 341660 (timeout) S 340655 341660 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63041308 8867840 257 134679101440 94791635369984 94791635405000 140720822925600 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94791637502416 94791637504548 94791639408640 140720822932468 140720822932637 140720822932637 140720822939623 0
/proc/341660/statm: 2165 257 233 9 0 87 0
[pid=341661] ppid=341660 vsize=208868 memory=192628 CPUtime=1789.49 cores=0,2
/proc/341661/stat : 341661 (Exact) R 341660 341660 338375 0 -1 4194304 28755 0 0 0 178933 16 0 0 20 0 1 0 63041308 213880832 48157 134679101440 4194304 7210733 140724175961568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 17580032 140724175967248 140724175967398 140724175967398 140724175974384 0
/proc/341661/statm: 52217 48157 748 737 0 51305 0
Current children cumulated CPU time: 3581.34 s
Current children cumulated vsize: 227460 KiB
Current children cumulated memory: 196324 KiB

[startup+3595.2 s]
/proc/loadavg: 4.09 4.12 4.10 5/265 342771
/proc/meminfo: memFree=127957136/131524600 swapFree=131071996/131071996
[pid=340655] ppid=340652 vsize=9932 memory=2668 CPUtime=1791.85 cores=0,2
/proc/340655/stat : 340655 (Hybrid-CASHWMax) S 340652 340655 338375 0 -1 4194304 271 139971 0 0 0 0 179142 43 20 0 1 0 62861506 10170368 667 134679101440 94186177028096 94186178107416 140730997259056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94186180205872 94186180253060 94186201157632 140730997261264 140730997261422 140730997261422 140730997268437 0
/proc/340655/statm: 2483 667 574 264 0 134 0
[pid=341660] ppid=340655 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/341660/stat : 341660 (timeout) S 340655 341660 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63041308 8867840 257 134679101440 94791635369984 94791635405000 140720822925600 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94791637502416 94791637504548 94791639408640 140720822932468 140720822932637 140720822932637 140720822939623 0
/proc/341660/statm: 2165 257 233 9 0 87 0
[pid=341661] ppid=341660 vsize=208868 memory=192628 CPUtime=1791.08 cores=0,2
/proc/341661/stat : 341661 (Exact) R 341660 341660 338375 0 -1 4194304 28755 0 0 0 179092 16 0 0 20 0 1 0 63041308 213880832 48157 134679101440 4194304 7210733 140724175961568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 17580032 140724175967248 140724175967398 140724175967398 140724175974384 0
/proc/341661/statm: 52217 48157 748 737 0 51305 0
Current children cumulated CPU time: 3582.93 s
Current children cumulated vsize: 227460 KiB
Current children cumulated memory: 196324 KiB

[startup+3595.6 s]
/proc/loadavg: 4.09 4.12 4.10 5/265 342771
/proc/meminfo: memFree=127957136/131524600 swapFree=131071996/131071996
[pid=340655] ppid=340652 vsize=9932 memory=2668 CPUtime=1791.85 cores=0,2
/proc/340655/stat : 340655 (Hybrid-CASHWMax) S 340652 340655 338375 0 -1 4194304 271 139971 0 0 0 0 179142 43 20 0 1 0 62861506 10170368 667 134679101440 94186177028096 94186178107416 140730997259056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94186180205872 94186180253060 94186201157632 140730997261264 140730997261422 140730997261422 140730997268437 0
/proc/340655/statm: 2483 667 574 264 0 134 0
[pid=341660] ppid=340655 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/341660/stat : 341660 (timeout) S 340655 341660 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63041308 8867840 257 134679101440 94791635369984 94791635405000 140720822925600 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94791637502416 94791637504548 94791639408640 140720822932468 140720822932637 140720822932637 140720822939623 0
/proc/341660/statm: 2165 257 233 9 0 87 0
[pid=341661] ppid=341660 vsize=208868 memory=192628 CPUtime=1791.48 cores=0,2
/proc/341661/stat : 341661 (Exact) R 341660 341660 338375 0 -1 4194304 28755 0 0 0 179132 16 0 0 20 0 1 0 63041308 213880832 48157 134679101440 4194304 7210733 140724175961568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 17580032 140724175967248 140724175967398 140724175967398 140724175974384 0
/proc/341661/statm: 52217 48157 748 737 0 51305 0
Current children cumulated CPU time: 3583.33 s
Current children cumulated vsize: 227460 KiB
Current children cumulated memory: 196324 KiB

[startup+3596 s]*
/proc/loadavg: 4.09 4.12 4.10 5/265 342771
/proc/meminfo: memFree=127957136/131524600 swapFree=131071996/131071996
[pid=340655] ppid=340652 vsize=9932 memory=2668 CPUtime=1791.85 cores=0,2
/proc/340655/stat : 340655 (Hybrid-CASHWMax) S 340652 340655 338375 0 -1 4194304 271 139971 0 0 0 0 179142 43 20 0 1 0 62861506 10170368 667 134679101440 94186177028096 94186178107416 140730997259056 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94186180205872 94186180253060 94186201157632 140730997261264 140730997261422 140730997261422 140730997268437 0
/proc/340655/statm: 2483 667 574 264 0 134 0
[pid=341660] ppid=340655 vsize=8660 memory=1028 CPUtime=0 cores=0,2
/proc/341660/stat : 341660 (timeout) S 340655 341660 338375 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63041308 8867840 257 134679101440 94791635369984 94791635405000 140720822925600 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94791637502416 94791637504548 94791639408640 140720822932468 140720822932637 140720822932637 140720822939623 0
/proc/341660/statm: 2165 257 233 9 0 87 0
[pid=341661] ppid=341660 vsize=208868 memory=192628 CPUtime=1791.88 cores=0,2
/proc/341661/stat : 341661 (Exact) R 341660 341660 338375 0 -1 4194304 28755 0 0 0 179172 16 0 0 20 0 1 0 63041308 213880832 48157 134679101440 4194304 7210733 140724175961568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7850304 7914896 17580032 140724175967248 140724175967398 140724175967398 140724175974384 0
/proc/341661/statm: 52217 48157 748 737 0 51305 0
Current children cumulated CPU time: 3583.73 s
Current children cumulated vsize: 227460 KiB
Current children cumulated memory: 196324 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3583.8
CPU user time (s): 3583.18
CPU system time (s): 0.613987
CPU usage (%): 99.6597
Max. virtual memory (cumulated for all children) (KiB): 622968
Max. memory (cumulated for all children) (KiB): 592316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.18
system time used= 0.613987
maximum resident set size= 588748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172010
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 153
involuntary context switches= 27697


# summary of solver processes directly reported to runsolver:
#   pid: 340655
#   total CPU time (s): 3583.8
#   total CPU user time (s): 3583.18
#   total CPU system time (s): 0.613987

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12635 second user time and 16.8559 second system time

The end