runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (62972 MiB free)
  memory of node 1: 64473 MiB (63272 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436675-1722951811/watcher-4436675-1722951811 -o /tmp/evaluation-result-4436675-1722951811/solver-4436675-1722951811 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722948202-334629 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436675-1722951811.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
solver pid=336906, runsolver pid=336903
Current StackSize limit: 8192 KiB


[startup+0.100103 s]*
/proc/loadavg: 4.11 4.12 4.08 5/256 336910
/proc/meminfo: memFree=129294892/131655788 swapFree=131071996/131071996
[pid=336906] ppid=336903 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/336906/stat : 336906 (Hybrid-LSMabSP+) S 336903 336906 334619 0 -1 4194304 240 98 0 0 0 0 0 0 20 0 1 0 61778108 10170368 685 134679101440 94199841050624 94199842129944 140723754369312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94199844228400 94199844275588 94199877271552 140723754378190 140723754378349 140723754378349 140723754385364 0
/proc/336906/statm: 2483 685 606 264 0 134 0
[pid=336909] ppid=336906 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/336909/stat : 336909 (timeout) S 336906 336909 334619 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 61778109 8867840 258 134679101440 94853580681216 94853580716232 140720453679008 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94853582813648 94853582815780 94853612531712 140720453682201 140720453682333 140720453682333 140720453689319 0
/proc/336909/statm: 2165 258 234 9 0 87 0
[pid=336910] ppid=336909 vsize=21312 memory=7436 CPUtime=0.09 cores=0,2
/proc/336910/stat : 336910 (CASHWMaxSAT-Dis) R 336909 336909 334619 0 -1 4194304 1164 0 0 0 9 0 0 0 20 0 1 0 61778109 21823488 1859 134679101440 4194304 14093885 140722253900544 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 48013312 140722253906975 140722253907094 140722253907094 140722253914080 0
/proc/336910/statm: 5328 1859 782 2417 0 2430 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 11208 KiB

[startup+0.213426 s]*
/proc/loadavg: 4.11 4.12 4.08 5/256 336910
/proc/meminfo: memFree=129295592/131655788 swapFree=131071996/131071996
[pid=336906] ppid=336903 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/336906/stat : 336906 (Hybrid-LSMabSP+) S 336903 336906 334619 0 -1 4194304 240 98 0 0 0 0 0 0 20 0 1 0 61778108 10170368 685 134679101440 94199841050624 94199842129944 140723754369312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94199844228400 94199844275588 94199877271552 140723754378190 140723754378349 140723754378349 140723754385364 0
/proc/336906/statm: 2483 685 606 264 0 134 0
[pid=336909] ppid=336906 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/336909/stat : 336909 (timeout) S 336906 336909 334619 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 61778109 8867840 258 134679101440 94853580681216 94853580716232 140720453679008 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94853582813648 94853582815780 94853612531712 140720453682201 140720453682333 140720453682333 140720453689319 0
/proc/336909/statm: 2165 258 234 9 0 87 0
[pid=336910] ppid=336909 vsize=21312 memory=7436 CPUtime=0.21 cores=0,2
/proc/336910/stat : 336910 (CASHWMaxSAT-Dis) R 336909 336909 334619 0 -1 4194304 1164 0 0 0 21 0 0 0 20 0 1 0 61778109 21823488 1859 134679101440 4194304 14093885 140722253900544 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 48013312 140722253906975 140722253907094 140722253907094 140722253914080 0
/proc/336910/statm: 5328 1859 782 2417 0 2430 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 11208 KiB

[startup+0.313 s]*
/proc/loadavg: 4.11 4.12 4.08 5/256 336910
/proc/meminfo: memFree=129295424/131655788 swapFree=131071996/131071996
[pid=336906] ppid=336903 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/336906/stat : 336906 (Hybrid-LSMabSP+) S 336903 336906 334619 0 -1 4194304 240 98 0 0 0 0 0 0 20 0 1 0 61778108 10170368 685 134679101440 94199841050624 94199842129944 140723754369312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94199844228400 94199844275588 94199877271552 140723754378190 140723754378349 140723754378349 140723754385364 0
/proc/336906/statm: 2483 685 606 264 0 134 0
[pid=336909] ppid=336906 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/336909/stat : 336909 (timeout) S 336906 336909 334619 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 61778109 8867840 258 134679101440 94853580681216 94853580716232 140720453679008 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94853582813648 94853582815780 94853612531712 140720453682201 140720453682333 140720453682333 140720453689319 0
/proc/336909/statm: 2165 258 234 9 0 87 0
[pid=336910] ppid=336909 vsize=21312 memory=7436 CPUtime=0.3 cores=0,2
/proc/336910/stat : 336910 (CASHWMaxSAT-Dis) R 336909 336909 334619 0 -1 4194304 1164 0 0 0 30 0 0 0 20 0 1 0 61778109 21823488 1859 134679101440 4194304 14093885 140722253900544 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 48013312 140722253906975 140722253907094 140722253907094 140722253914080 0
/proc/336910/statm: 5328 1859 782 2417 0 2430 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 11208 KiB

[startup+0.700399 s]
/proc/loadavg: 4.11 4.12 4.08 5/256 336910
/proc/meminfo: memFree=129294612/131655788 swapFree=131071996/131071996
[pid=336906] ppid=336903 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/336906/stat : 336906 (Hybrid-LSMabSP+) S 336903 336906 334619 0 -1 4194304 240 98 0 0 0 0 0 0 20 0 1 0 61778108 10170368 685 134679101440 94199841050624 94199842129944 140723754369312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94199844228400 94199844275588 94199877271552 140723754378190 140723754378349 140723754378349 140723754385364 0
/proc/336906/statm: 2483 685 606 264 0 134 0
[pid=336909] ppid=336906 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/336909/stat : 336909 (timeout) S 336906 336909 334619 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 61778109 8867840 258 134679101440 94853580681216 94853580716232 140720453679008 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94853582813648 94853582815780 94853612531712 140720453682201 140720453682333 140720453682333 140720453689319 0
/proc/336909/statm: 2165 258 234 9 0 87 0
[pid=336910] ppid=336909 vsize=21312 memory=7436 CPUtime=0.67 cores=0,2
/proc/336910/stat : 336910 (CASHWMaxSAT-Dis) R 336909 336909 334619 0 -1 4194304 1197 0 0 0 67 0 0 0 20 0 1 0 61778109 21823488 1859 134679101440 4194304 14093885 140722253900544 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 48013312 140722253906975 140722253907094 140722253907094 140722253914080 0
/proc/336910/statm: 5328 1859 782 2417 0 2430 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 11208 KiB

[startup+1.50043 s]
/proc/loadavg: 4.11 4.12 4.08 5/256 336910
/proc/meminfo: memFree=129278540/131655788 swapFree=131071996/131071996
[pid=336906] ppid=336903 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/336906/stat : 336906 (Hybrid-LSMabSP+) S 336903 336906 334619 0 -1 4194304 240 98 0 0 0 0 0 0 20 0 1 0 61778108 10170368 685 134679101440 94199841050624 94199842129944 140723754369312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94199844228400 94199844275588 94199877271552 140723754378190 140723754378349 140723754378349 140723754385364 0
/proc/336906/statm: 2483 685 606 264 0 134 0
[pid=336909] ppid=336906 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/336909/stat : 336909 (timeout) S 336906 336909 334619 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 61778109 8867840 258 134679101440 94853580681216 94853580716232 140720453679008 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94853582813648 94853582815780 94853612531712 140720453682201 140720453682333 140720453682333 140720453689319 0
/proc/336909/statm: 2165 258 234 9 0 87 0
[pid=336910] ppid=336909 vsize=38248 memory=23596 CPUtime=1.47 cores=0,2
/proc/336910/stat : 336910 (CASHWMaxSAT-Dis) R 336909 336909 334619 0 -1 4194304 5205 0 0 0 145 2 0 0 20 0 1 0 61778109 39165952 5899 134679101440 4194304 14093885 140722253900544 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 48013312 140722253906975 140722253907094 140722253907094 140722253914080 0
/proc/336910/statm: 9562 5899 798 2417 0 6664 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 56840 KiB
Current children cumulated memory: 27368 KiB

[startup+3.11325 s]
/proc/loadavg: 4.10 4.11 4.08 5/256 336911
/proc/meminfo: memFree=129241572/131655788 swapFree=131071996/131071996
[pid=336906] ppid=336903 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/336906/stat : 336906 (Hybrid-LSMabSP+) S 336903 336906 334619 0 -1 4194304 240 98 0 0 0 0 0 0 20 0 1 0 61778108 10170368 685 134679101440 94199841050624 94199842129944 140723754369312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94199844228400 94199844275588 94199877271552 140723754378190 140723754378349 140723754378349 140723754385364 0
/proc/336906/statm: 2483 685 606 264 0 134 0
[pid=336909] ppid=336906 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/336909/stat : 336909 (timeout) S 336906 336909 334619 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 61778109 8867840 258 134679101440 94853580681216 94853580716232 140720453679008 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94853582813648 94853582815780 94853612531712 140720453682201 140720453682333 140720453682333 140720453689319 0
/proc/336909/statm: 2165 258 234 9 0 87 0
[pid=336910] ppid=336909 vsize=45280 memory=31252 CPUtime=3.08 cores=0,2
/proc/336910/stat : 336910 (CASHWMaxSAT-Dis) R 336909 336909 334619 0 -1 4194304 7123 0 0 0 306 2 0 0 20 0 1 0 61778109 46366720 7813 134679101440 4194304 14093885 140722253900544 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 48013312 140722253906975 140722253907094 140722253907094 140722253914080 0
/proc/336910/statm: 11320 7813 798 2417 0 8422 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 63872 KiB
Current children cumulated memory: 35024 KiB

[startup+6.30065 s]
/proc/loadavg: 4.10 4.11 4.08 5/256 336911
/proc/meminfo: memFree=129236512/131655788 swapFree=131071996/131071996
[pid=336906] ppid=336903 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/336906/stat : 336906 (Hybrid-LSMabSP+) S 336903 336906 334619 0 -1 4194304 240 98 0 0 0 0 0 0 20 0 1 0 61778108 10170368 685 134679101440 94199841050624 94199842129944 140723754369312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94199844228400 94199844275588 94199877271552 140723754378190 140723754378349 140723754378349 140723754385364 0
/proc/336906/statm: 2483 685 606 264 0 134 0
[pid=336909] ppid=336906 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/336909/stat : 336909 (timeout) S 336906 336909 334619 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 61778109 8867840 258 134679101440 94853580681216 94853580716232 140720453679008 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94853582813648 94853582815780 94853612531712 140720453682201 140720453682333 140720453682333 140720453689319 0
/proc/336909/statm: 2165 258 234 9 0 87 0
[pid=336910] ppid=336909 vsize=54324 memory=40312 CPUtime=6.26 cores=0,2
/proc/336910/stat : 336910 (CASHWMaxSAT-Dis) R 336909 336909 334619 0 -1 4194304 8270 0 0 0 623 3 0 0 20 0 1 0 61778109 55627776 10078 134679101440 4194304 14093885 140722253900544 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 48013312 140722253906975 140722253907094 140722253907094 140722253914080 0
/proc/336910/statm: 13581 10078 798 2417 0 10683 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 72916 KiB
Current children cumulated memory: 44084 KiB

[startup+12.7006 s]
/proc/loadavg: 4.09 4.11 4.07 5/256 336911
/proc/meminfo: memFree=129215984/131655788 swapFree=131071996/131071996
[pid=336906] ppid=336903 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/336906/stat : 336906 (Hybrid-LSMabSP+) S 336903 336906 334619 0 -1 4194304 240 98 0 0 0 0 0 0 20 0 1 0 61778108 10170368 685 134679101440 94199841050624 94199842129944 140723754369312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94199844228400 94199844275588 94199877271552 140723754378190 140723754378349 140723754378349 140723754385364 0
/proc/336906/statm: 2483 685 606 264 0 134 0
[pid=336909] ppid=336906 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/336909/stat : 336909 (timeout) S 336906 336909 334619 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 61778109 8867840 258 134679101440 94853580681216 94853580716232 140720453679008 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94853582813648 94853582815780 94853612531712 140720453682201 140720453682333 140720453682333 140720453689319 0
/proc/336909/statm: 2165 258 234 9 0 87 0
[pid=336910] ppid=336909 vsize=54324 memory=40312 CPUtime=12.64 cores=0,2
/proc/336910/stat : 336910 (CASHWMaxSAT-Dis) R 336909 336909 334619 0 -1 4194304 8284 0 0 0 1261 3 0 0 20 0 1 0 61778109 55627776 10078 134679101440 4194304 14093885 140722253900544 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 48013312 140722253906975 140722253907094 140722253907094 140722253914080 0
/proc/336910/statm: 13581 10078 798 2417 0 10683 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 72916 KiB
Current children cumulated memory: 44084 KiB

[startup+25.5005 s]
/proc/loadavg: 4.07 4.11 4.07 5/256 336914
/proc/meminfo: memFree=129206480/131655788 swapFree=131071996/131071996
[pid=336906] ppid=336903 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/336906/stat : 336906 (Hybrid-LSMabSP+) S 336903 336906 334619 0 -1 4194304 240 98 0 0 0 0 0 0 20 0 1 0 61778108 10170368 685 134679101440 94199841050624 94199842129944 140723754369312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94199844228400 94199844275588 94199877271552 140723754378190 140723754378349 140723754378349 140723754385364 0
/proc/336906/statm: 2483 685 606 264 0 134 0
[pid=336909] ppid=336906 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/336909/stat : 336909 (timeout) S 336906 336909 334619 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 61778109 8867840 258 134679101440 94853580681216 94853580716232 140720453679008 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94853582813648 94853582815780 94853612531712 140720453682201 140720453682333 140720453682333 140720453689319 0
/proc/336909/statm: 2165 258 234 9 0 87 0
[pid=336910] ppid=336909 vsize=54324 memory=40312 CPUtime=25.39 cores=0,2
/proc/336910/stat : 336910 (CASHWMaxSAT-Dis) R 336909 336909 334619 0 -1 4194304 8293 0 0 0 2536 3 0 0 20 0 1 0 61778109 55627776 10078 134679101440 4194304 14093885 140722253900544 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 48013312 140722253906975 140722253907094 140722253907094 140722253914080 0
/proc/336910/statm: 13581 10078 798 2417 0 10683 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 72916 KiB
Current children cumulated memory: 44084 KiB

[startup+51.1134 s]
/proc/loadavg: 4.11 4.11 4.08 5/256 336918
/proc/meminfo: memFree=129175356/131655788 swapFree=131071996/131071996
[pid=336906] ppid=336903 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/336906/stat : 336906 (Hybrid-LSMabSP+) S 336903 336906 334619 0 -1 4194304 240 98 0 0 0 0 0 0 20 0 1 0 61778108 10170368 685 134679101440 94199841050624 94199842129944 140723754369312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94199844228400 94199844275588 94199877271552 140723754378190 140723754378349 140723754378349 140723754385364 0
/proc/336906/statm: 2483 685 606 264 0 134 0
[pid=336909] ppid=336906 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/336909/stat : 336909 (timeout) S 336906 336909 334619 0 -1 4194304 103 0 0 0 0 0 0 0 20 0 1 0 61778109 8867840 258 134679101440 94853580681216 94853580716232 140720453679008 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94853582813648 94853582815780 94853612531712 140720453682201 140720453682333 140720453682333 140720453689319 0
/proc/336909/statm: 2165 258 234 9 0 87 0
[pid=336910] ppid=336909 vsize=68664 memory=53196 CPUtime=50.92 cores=0,2
/proc/336910/stat : 336910 (CASHWMaxSAT-Dis) R 336909 336909 334619 0 -1 4194304 10880 0 0 0 5088 4 0 0 20 0 1 0 61778109 70311936 13299 134679101440 4194304 14093885 140722253900544 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 48013312 140722253906975 140722253907094 140722253907094 140722253914080 0
/proc/336910/statm: 17166 13299 798 2417 0 14268 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 87256 KiB
Current children cumulated memory: 56968 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.08 5/255 336927
/proc/meminfo: memFree=129156116/131655788 swapFree=131071996/131071996
[pid=336906] ppid=336903 vsize=9932 memory=2740 CPUtime=0 cores=0,2
/proc/336906/stat : 336906 (Hybrid-LSMabSP+) S 336903 336906 334619 0 -1 4194304 240 98 0 0 0 0 0 0 20 0 1 0 61778108 10170368 685 134679101440 94199841050624 94199842129944 140723754369312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94199844228400 94199844275588 94199877271552 140723754378190 140723754378349 140723754378349 140723754385364 0
/proc/336906/statm: 2483 685 606 264 0 134 0

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

/proc/337812/statm: 85561 83947 2849 2753 0 82214 0
Current children cumulated CPU time: 3391.39 s
Current children cumulated vsize: 360836 KiB
Current children cumulated memory: 339628 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.22 4.25 5/252 338732
/proc/meminfo: memFree=128304440/131655788 swapFree=131071996/131071996
[pid=336906] ppid=336903 vsize=9932 memory=2844 CPUtime=1791.94 cores=0,2
/proc/336906/stat : 336906 (Hybrid-LSMabSP+) S 336903 336906 334619 0 -1 4194304 269 17052 0 0 0 0 179186 8 20 0 1 0 61778108 10170368 711 134679101440 94199841050624 94199842129944 140723754369312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94199844228400 94199844275588 94199877271552 140723754378190 140723754378349 140723754378349 140723754385364 0
/proc/336906/statm: 2483 711 621 264 0 134 0
[pid=337811] ppid=336906 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/337811/stat : 337811 (timeout) S 336906 337811 334619 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957910 8867840 249 134679101440 93959118934016 93959118969032 140733734990912 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 1 0 0 93959121066448 93959121068580 93959123415040 140733734994985 140733734995101 140733734995101 140733735002087 0
/proc/337811/statm: 2165 249 225 9 0 87 0
[pid=337812] ppid=337811 vsize=342244 memory=335788 CPUtime=1659.33 cores=0,2
/proc/337812/stat : 337812 (LS-MabSP) R 337811 337811 334619 0 -1 4194304 107790 0 0 0 161923 4010 0 0 20 0 1 0 61957911 350457856 83947 134679101440 4194304 15467897 140724313181936 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53874688 140724313187388 140724313187491 140724313187491 140724313194477 0
/proc/337812/statm: 85561 83947 2849 2753 0 82214 0
Current children cumulated CPU time: 3451.27 s
Current children cumulated vsize: 360836 KiB
Current children cumulated memory: 339628 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.20 4.24 5/253 338743
/proc/meminfo: memFree=128303704/131655788 swapFree=131071996/131071996
[pid=336906] ppid=336903 vsize=9932 memory=2844 CPUtime=1791.94 cores=0,2
/proc/336906/stat : 336906 (Hybrid-LSMabSP+) S 336903 336906 334619 0 -1 4194304 269 17052 0 0 0 0 179186 8 20 0 1 0 61778108 10170368 711 134679101440 94199841050624 94199842129944 140723754369312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94199844228400 94199844275588 94199877271552 140723754378190 140723754378349 140723754378349 140723754385364 0
/proc/336906/statm: 2483 711 621 264 0 134 0
[pid=337811] ppid=336906 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/337811/stat : 337811 (timeout) S 336906 337811 334619 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957910 8867840 249 134679101440 93959118934016 93959118969032 140733734990912 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 1 0 0 93959121066448 93959121068580 93959123415040 140733734994985 140733734995101 140733734995101 140733735002087 0
/proc/337811/statm: 2165 249 225 9 0 87 0
[pid=337812] ppid=337811 vsize=342244 memory=335788 CPUtime=1719.21 cores=0,2
/proc/337812/stat : 337812 (LS-MabSP) R 337811 337811 334619 0 -1 4194304 107792 0 0 0 167595 4326 0 0 20 0 1 0 61957911 350457856 83947 134679101440 4194304 15467897 140724313181936 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53874688 140724313187388 140724313187491 140724313187491 140724313194477 0
/proc/337812/statm: 85561 83947 2849 2753 0 82214 0
Current children cumulated CPU time: 3511.15 s
Current children cumulated vsize: 360836 KiB
Current children cumulated memory: 339628 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.19 4.24 5/253 338754
/proc/meminfo: memFree=128302276/131655788 swapFree=131071996/131071996
[pid=336906] ppid=336903 vsize=9932 memory=2844 CPUtime=1791.94 cores=0,2
/proc/336906/stat : 336906 (Hybrid-LSMabSP+) S 336903 336906 334619 0 -1 4194304 269 17052 0 0 0 0 179186 8 20 0 1 0 61778108 10170368 711 134679101440 94199841050624 94199842129944 140723754369312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94199844228400 94199844275588 94199877271552 140723754378190 140723754378349 140723754378349 140723754385364 0
/proc/336906/statm: 2483 711 621 264 0 134 0
[pid=337811] ppid=336906 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/337811/stat : 337811 (timeout) S 336906 337811 334619 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957910 8867840 249 134679101440 93959118934016 93959118969032 140733734990912 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 1 0 0 93959121066448 93959121068580 93959123415040 140733734994985 140733734995101 140733734995101 140733735002087 0
/proc/337811/statm: 2165 249 225 9 0 87 0
[pid=337812] ppid=337811 vsize=342244 memory=336508 CPUtime=1779.08 cores=0,2
/proc/337812/stat : 337812 (LS-MabSP) R 337811 337811 334619 0 -1 4194304 107794 0 0 0 173283 4625 0 0 20 0 1 0 61957911 350457856 84127 134679101440 4194304 15467897 140724313181936 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53874688 140724313187388 140724313187491 140724313187491 140724313194477 0
/proc/337812/statm: 85561 84127 2849 2753 0 82214 0
Current children cumulated CPU time: 3571.02 s
Current children cumulated vsize: 360836 KiB
Current children cumulated memory: 340348 KiB

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

# cumulated CPU time of all completed processes:  user=3537.71 s, system=47.076 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.18 4.23 5/253 338756
/proc/meminfo: memFree=128302164/131655788 swapFree=131071996/131071996
[pid=336906] ppid=336903 vsize=9932 memory=2844 CPUtime=1791.94 cores=0,2
/proc/336906/stat : 336906 (Hybrid-LSMabSP+) S 336903 336906 334619 0 -1 4194304 269 17052 0 0 0 0 179186 8 20 0 1 0 61778108 10170368 711 134679101440 94199841050624 94199842129944 140723754369312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94199844228400 94199844275588 94199877271552 140723754378190 140723754378349 140723754378349 140723754385364 0
/proc/336906/statm: 2483 711 621 264 0 134 0
[pid=337811] ppid=336906 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/337811/stat : 337811 (timeout) S 336906 337811 334619 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957910 8867840 249 134679101440 93959118934016 93959118969032 140733734990912 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 1 0 0 93959121066448 93959121068580 93959123415040 140733734994985 140733734995101 140733734995101 140733735002087 0
/proc/337811/statm: 2165 249 225 9 0 87 0
[pid=337812] ppid=337811 vsize=342244 memory=336508 CPUtime=1780.8 cores=0,2
/proc/337812/stat : 337812 (LS-MabSP) R 337811 337811 334619 0 -1 4194304 107794 0 0 0 173445 4635 0 0 20 0 1 0 61957911 350457856 84127 134679101440 4194304 15467897 140724313181936 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53874688 140724313187388 140724313187491 140724313187491 140724313194477 0
/proc/337812/statm: 85561 84127 2849 2753 0 82214 0
Current children cumulated CPU time: 3572.74 s
Current children cumulated vsize: 360836 KiB
Current children cumulated memory: 340348 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.18 4.23 5/253 338756
/proc/meminfo: memFree=128302164/131655788 swapFree=131071996/131071996
[pid=336906] ppid=336903 vsize=9932 memory=2844 CPUtime=1791.94 cores=0,2
/proc/336906/stat : 336906 (Hybrid-LSMabSP+) S 336903 336906 334619 0 -1 4194304 269 17052 0 0 0 0 179186 8 20 0 1 0 61778108 10170368 711 134679101440 94199841050624 94199842129944 140723754369312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94199844228400 94199844275588 94199877271552 140723754378190 140723754378349 140723754378349 140723754385364 0
/proc/336906/statm: 2483 711 621 264 0 134 0
[pid=337811] ppid=336906 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/337811/stat : 337811 (timeout) S 336906 337811 334619 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957910 8867840 249 134679101440 93959118934016 93959118969032 140733734990912 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 1 0 0 93959121066448 93959121068580 93959123415040 140733734994985 140733734995101 140733734995101 140733735002087 0
/proc/337811/statm: 2165 249 225 9 0 87 0
[pid=337812] ppid=337811 vsize=342244 memory=336508 CPUtime=1787.17 cores=0,2
/proc/337812/stat : 337812 (LS-MabSP) R 337811 337811 334619 0 -1 4194304 107794 0 0 0 174050 4667 0 0 20 0 1 0 61957911 350457856 84127 134679101440 4194304 15467897 140724313181936 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53874688 140724313187388 140724313187491 140724313187491 140724313194477 0
/proc/337812/statm: 85561 84127 2849 2753 0 82214 0
Current children cumulated CPU time: 3579.11 s
Current children cumulated vsize: 360836 KiB
Current children cumulated memory: 340348 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.18 4.23 5/253 338971
/proc/meminfo: memFree=128856356/131655788 swapFree=131071996/131071996
[pid=336906] ppid=336903 vsize=9932 memory=2844 CPUtime=1791.94 cores=0,2
/proc/336906/stat : 336906 (Hybrid-LSMabSP+) S 336903 336906 334619 0 -1 4194304 269 17052 0 0 0 0 179186 8 20 0 1 0 61778108 10170368 711 134679101440 94199841050624 94199842129944 140723754369312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94199844228400 94199844275588 94199877271552 140723754378190 140723754378349 140723754378349 140723754385364 0
/proc/336906/statm: 2483 711 621 264 0 134 0
[pid=337811] ppid=336906 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/337811/stat : 337811 (timeout) S 336906 337811 334619 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957910 8867840 249 134679101440 93959118934016 93959118969032 140733734990912 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 1 0 0 93959121066448 93959121068580 93959123415040 140733734994985 140733734995101 140733734995101 140733735002087 0
/proc/337811/statm: 2165 249 225 9 0 87 0
[pid=337812] ppid=337811 vsize=342244 memory=336508 CPUtime=1790.36 cores=0,2
/proc/337812/stat : 337812 (LS-MabSP) R 337811 337811 334619 0 -1 4194304 107796 0 0 0 174353 4683 0 0 20 0 1 0 61957911 350457856 84127 134679101440 4194304 15467897 140724313181936 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53874688 140724313187388 140724313187491 140724313187491 140724313194477 0
/proc/337812/statm: 85561 84127 2849 2753 0 82214 0
Current children cumulated CPU time: 3582.3 s
Current children cumulated vsize: 360836 KiB
Current children cumulated memory: 340348 KiB

[startup+3595.2 s]
/proc/loadavg: 4.10 4.18 4.23 5/253 338971
/proc/meminfo: memFree=127943372/131655788 swapFree=131071996/131071996
[pid=336906] ppid=336903 vsize=9932 memory=2844 CPUtime=1791.94 cores=0,2
/proc/336906/stat : 336906 (Hybrid-LSMabSP+) S 336903 336906 334619 0 -1 4194304 269 17052 0 0 0 0 179186 8 20 0 1 0 61778108 10170368 711 134679101440 94199841050624 94199842129944 140723754369312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94199844228400 94199844275588 94199877271552 140723754378190 140723754378349 140723754378349 140723754385364 0
/proc/336906/statm: 2483 711 621 264 0 134 0
[pid=337811] ppid=336906 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/337811/stat : 337811 (timeout) S 336906 337811 334619 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957910 8867840 249 134679101440 93959118934016 93959118969032 140733734990912 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 1 0 0 93959121066448 93959121068580 93959123415040 140733734994985 140733734995101 140733734995101 140733735002087 0
/proc/337811/statm: 2165 249 225 9 0 87 0
[pid=337812] ppid=337811 vsize=342244 memory=336508 CPUtime=1791.95 cores=0,2
/proc/337812/stat : 337812 (LS-MabSP) R 337811 337811 334619 0 -1 4194304 107796 0 0 0 174502 4693 0 0 20 0 1 0 61957911 350457856 84127 134679101440 4194304 15467897 140724313181936 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53874688 140724313187388 140724313187491 140724313187491 140724313194477 0
/proc/337812/statm: 85561 84127 2849 2753 0 82214 0
Current children cumulated CPU time: 3583.89 s
Current children cumulated vsize: 360836 KiB
Current children cumulated memory: 340348 KiB

[startup+3595.6 s]
/proc/loadavg: 4.10 4.18 4.23 5/253 338971
/proc/meminfo: memFree=127943372/131655788 swapFree=131071996/131071996
[pid=336906] ppid=336903 vsize=9932 memory=2844 CPUtime=1791.94 cores=0,2
/proc/336906/stat : 336906 (Hybrid-LSMabSP+) S 336903 336906 334619 0 -1 4194304 269 17052 0 0 0 0 179186 8 20 0 1 0 61778108 10170368 711 134679101440 94199841050624 94199842129944 140723754369312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94199844228400 94199844275588 94199877271552 140723754378190 140723754378349 140723754378349 140723754385364 0
/proc/336906/statm: 2483 711 621 264 0 134 0
[pid=337811] ppid=336906 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/337811/stat : 337811 (timeout) S 336906 337811 334619 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957910 8867840 249 134679101440 93959118934016 93959118969032 140733734990912 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 1 0 0 93959121066448 93959121068580 93959123415040 140733734994985 140733734995101 140733734995101 140733735002087 0
/proc/337811/statm: 2165 249 225 9 0 87 0
[pid=337812] ppid=337811 vsize=342244 memory=336508 CPUtime=1792.36 cores=0,2
/proc/337812/stat : 337812 (LS-MabSP) R 337811 337811 334619 0 -1 4194304 107796 0 0 0 174541 4695 0 0 20 0 1 0 61957911 350457856 84127 134679101440 4194304 15467897 140724313181936 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53874688 140724313187388 140724313187491 140724313187491 140724313194477 0
/proc/337812/statm: 85561 84127 2849 2753 0 82214 0
Current children cumulated CPU time: 3584.3 s
Current children cumulated vsize: 360836 KiB
Current children cumulated memory: 340348 KiB

[startup+3596 s]*
/proc/loadavg: 4.10 4.18 4.23 5/253 338971
/proc/meminfo: memFree=127706948/131655788 swapFree=131071996/131071996
[pid=336906] ppid=336903 vsize=9932 memory=2844 CPUtime=1791.94 cores=0,2
/proc/336906/stat : 336906 (Hybrid-LSMabSP+) S 336903 336906 334619 0 -1 4194304 269 17052 0 0 0 0 179186 8 20 0 1 0 61778108 10170368 711 134679101440 94199841050624 94199842129944 140723754369312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94199844228400 94199844275588 94199877271552 140723754378190 140723754378349 140723754378349 140723754385364 0
/proc/336906/statm: 2483 711 621 264 0 134 0
[pid=337811] ppid=336906 vsize=8660 memory=996 CPUtime=0 cores=0,2
/proc/337811/stat : 337811 (timeout) S 336906 337811 334619 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61957910 8867840 249 134679101440 93959118934016 93959118969032 140733734990912 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 1 0 0 93959121066448 93959121068580 93959123415040 140733734994985 140733734995101 140733734995101 140733735002087 0
/proc/337811/statm: 2165 249 225 9 0 87 0
[pid=337812] ppid=337811 vsize=342244 memory=336508 CPUtime=1792.76 cores=0,2
/proc/337812/stat : 337812 (LS-MabSP) R 337811 337811 334619 0 -1 4194304 107796 0 0 0 174580 4696 0 0 20 0 1 0 61957911 350457856 84127 134679101440 4194304 15467897 140724313181936 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 53874688 140724313187388 140724313187491 140724313187491 140724313194477 0
/proc/337812/statm: 85561 84127 2849 2753 0 82214 0
Current children cumulated CPU time: 3584.7 s
Current children cumulated vsize: 360836 KiB
Current children cumulated memory: 340348 KiB

Child status: 0

Real time (s): 3596.05
CPU time (s): 3584.78
CPU user time (s): 3537.71
CPU system time (s): 47.076
CPU usage (%): 99.6866
Max. virtual memory (cumulated for all children) (KiB): 450880
Max. memory (cumulated for all children) (KiB): 428860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3537.71
system time used= 47.076
maximum resident set size= 425020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128121
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128
involuntary context switches= 25256


# summary of solver processes directly reported to runsolver:
#   pid: 336906
#   total CPU time (s): 3584.78
#   total CPU user time (s): 3537.71
#   total CPU system time (s): 47.076

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.696 second user time and 36.6058 second system time

The end