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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=361330, runsolver pid=361327
Current StackSize limit: 8192 KiB


[startup+0.100085 s]*
/proc/loadavg: 2.60 3.07 3.16 5/264 361334
/proc/meminfo: memFree=129365380/131524600 swapFree=131071996/131071996
[pid=361330] ppid=361327 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/361330/stat : 361330 (Hybrid-LSMabSP+) S 361327 361330 361248 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 66134495 10170368 688 134679101440 94050942795776 94050943875096 140728995176608 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050945973552 94050946020740 94050954072064 140728995185640 140728995185786 140728995185786 140728995192801 0
/proc/361330/statm: 2483 688 609 264 0 134 0
[pid=361333] ppid=361330 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/361333/stat : 361333 (timeout) S 361330 361333 361248 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66134496 8867840 236 134679101440 94677209235456 94677209270472 140723656139808 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94677211367888 94677211370020 94677242114048 140723656148009 140723656148125 140723656148125 140723656155111 0
/proc/361333/statm: 2165 236 212 9 0 87 0
[pid=361334] ppid=361333 vsize=30224 memory=17720 CPUtime=0.09 cores=4,6
/proc/361334/stat : 361334 (LS-MabSP) R 361333 361333 361248 0 -1 4194304 2451 0 0 0 9 0 0 0 20 0 1 0 66134496 30949376 4430 134679101440 4194304 15467897 140726974078368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46407680 140726974080060 140726974080163 140726974080163 140726974087149 0
/proc/361334/statm: 7556 4430 1073 2753 0 4209 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48816 KiB
Current children cumulated memory: 21416 KiB

[startup+0.205021 s]*
/proc/loadavg: 2.60 3.07 3.16 5/264 361334
/proc/meminfo: memFree=129336460/131524600 swapFree=131071996/131071996
[pid=361330] ppid=361327 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/361330/stat : 361330 (Hybrid-LSMabSP+) S 361327 361330 361248 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 66134495 10170368 688 134679101440 94050942795776 94050943875096 140728995176608 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050945973552 94050946020740 94050954072064 140728995185640 140728995185786 140728995185786 140728995192801 0
/proc/361330/statm: 2483 688 609 264 0 134 0
[pid=361333] ppid=361330 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/361333/stat : 361333 (timeout) S 361330 361333 361248 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66134496 8867840 236 134679101440 94677209235456 94677209270472 140723656139808 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94677211367888 94677211370020 94677242114048 140723656148009 140723656148125 140723656148125 140723656155111 0
/proc/361333/statm: 2165 236 212 9 0 87 0
[pid=361334] ppid=361333 vsize=36368 memory=20644 CPUtime=0.19 cores=4,6
/proc/361334/stat : 361334 (LS-MabSP) R 361333 361333 361248 0 -1 4194304 3133 0 0 0 19 0 0 0 20 0 1 0 66134496 37240832 5161 134679101440 4194304 15467897 140726974078368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46407680 140726974080060 140726974080163 140726974080163 140726974087149 0
/proc/361334/statm: 9092 5161 1073 2753 0 5745 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 54960 KiB
Current children cumulated memory: 24340 KiB

[startup+0.305756 s]*
/proc/loadavg: 2.60 3.07 3.16 5/264 361334
/proc/meminfo: memFree=129284848/131524600 swapFree=131071996/131071996
[pid=361330] ppid=361327 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/361330/stat : 361330 (Hybrid-LSMabSP+) S 361327 361330 361248 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 66134495 10170368 688 134679101440 94050942795776 94050943875096 140728995176608 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050945973552 94050946020740 94050954072064 140728995185640 140728995185786 140728995185786 140728995192801 0
/proc/361330/statm: 2483 688 609 264 0 134 0
[pid=361333] ppid=361330 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/361333/stat : 361333 (timeout) S 361330 361333 361248 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66134496 8867840 236 134679101440 94677209235456 94677209270472 140723656139808 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94677211367888 94677211370020 94677242114048 140723656148009 140723656148125 140723656148125 140723656155111 0
/proc/361333/statm: 2165 236 212 9 0 87 0
[pid=361334] ppid=361333 vsize=36368 memory=22692 CPUtime=0.29 cores=4,6
/proc/361334/stat : 361334 (LS-MabSP) R 361333 361333 361248 0 -1 4194304 3134 0 0 0 29 0 0 0 20 0 1 0 66134496 37240832 5673 134679101440 4194304 15467897 140726974078368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46407680 140726974080060 140726974080163 140726974080163 140726974087149 0
/proc/361334/statm: 9092 5673 1073 2753 0 5745 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 54960 KiB
Current children cumulated memory: 26388 KiB

[startup+0.700203 s]
/proc/loadavg: 2.60 3.07 3.16 5/264 361334
/proc/meminfo: memFree=129254652/131524600 swapFree=131071996/131071996
[pid=361330] ppid=361327 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/361330/stat : 361330 (Hybrid-LSMabSP+) S 361327 361330 361248 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 66134495 10170368 688 134679101440 94050942795776 94050943875096 140728995176608 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050945973552 94050946020740 94050954072064 140728995185640 140728995185786 140728995185786 140728995192801 0
/proc/361330/statm: 2483 688 609 264 0 134 0
[pid=361333] ppid=361330 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/361333/stat : 361333 (timeout) S 361330 361333 361248 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66134496 8867840 236 134679101440 94677209235456 94677209270472 140723656139808 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94677211367888 94677211370020 94677242114048 140723656148009 140723656148125 140723656148125 140723656155111 0
/proc/361333/statm: 2165 236 212 9 0 87 0
[pid=361334] ppid=361333 vsize=44560 memory=30888 CPUtime=0.69 cores=4,6
/proc/361334/stat : 361334 (LS-MabSP) R 361333 361333 361248 0 -1 4194304 3655 0 0 0 68 1 0 0 20 0 1 0 66134496 45629440 7722 134679101440 4194304 15467897 140726974078368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46407680 140726974080060 140726974080163 140726974080163 140726974087149 0
/proc/361334/statm: 11140 7722 1073 2753 0 7793 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 63152 KiB
Current children cumulated memory: 34584 KiB

[startup+1.50029 s]
/proc/loadavg: 2.60 3.07 3.16 5/264 361334
/proc/meminfo: memFree=129027840/131524600 swapFree=131071996/131071996
[pid=361330] ppid=361327 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/361330/stat : 361330 (Hybrid-LSMabSP+) S 361327 361330 361248 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 66134495 10170368 688 134679101440 94050942795776 94050943875096 140728995176608 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050945973552 94050946020740 94050954072064 140728995185640 140728995185786 140728995185786 140728995192801 0
/proc/361330/statm: 2483 688 609 264 0 134 0
[pid=361333] ppid=361330 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/361333/stat : 361333 (timeout) S 361330 361333 361248 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66134496 8867840 236 134679101440 94677209235456 94677209270472 140723656139808 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94677211367888 94677211370020 94677242114048 140723656148009 140723656148125 140723656148125 140723656155111 0
/proc/361333/statm: 2165 236 212 9 0 87 0
[pid=361334] ppid=361333 vsize=149092 memory=123156 CPUtime=1.48 cores=4,6
/proc/361334/stat : 361334 (LS-MabSP) R 361333 361333 361248 0 -1 4194304 12136 0 0 0 145 3 0 0 20 0 1 0 66134496 152670208 30789 134679101440 4194304 15467897 140726974078368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46407680 140726974080060 140726974080163 140726974080163 140726974087149 0
/proc/361334/statm: 37273 30789 1105 2753 0 33926 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 167684 KiB
Current children cumulated memory: 126852 KiB

[startup+3.10571 s]
/proc/loadavg: 2.71 3.08 3.17 5/264 361334
/proc/meminfo: memFree=128921488/131524600 swapFree=131071996/131071996
[pid=361330] ppid=361327 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/361330/stat : 361330 (Hybrid-LSMabSP+) S 361327 361330 361248 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 66134495 10170368 688 134679101440 94050942795776 94050943875096 140728995176608 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050945973552 94050946020740 94050954072064 140728995185640 140728995185786 140728995185786 140728995192801 0
/proc/361330/statm: 2483 688 609 264 0 134 0
[pid=361333] ppid=361330 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/361333/stat : 361333 (timeout) S 361330 361333 361248 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66134496 8867840 236 134679101440 94677209235456 94677209270472 140723656139808 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94677211367888 94677211370020 94677242114048 140723656148009 140723656148125 140723656148125 140723656155111 0
/proc/361333/statm: 2165 236 212 9 0 87 0
[pid=361334] ppid=361333 vsize=149092 memory=123156 CPUtime=3.08 cores=4,6
/proc/361334/stat : 361334 (LS-MabSP) R 361333 361333 361248 0 -1 4194304 12153 0 0 0 305 3 0 0 20 0 1 0 66134496 152670208 30789 134679101440 4194304 15467897 140726974078368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46407680 140726974080060 140726974080163 140726974080163 140726974087149 0
/proc/361334/statm: 37273 30789 1105 2753 0 33926 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 167684 KiB
Current children cumulated memory: 126852 KiB

[startup+6.30027 s]
/proc/loadavg: 2.71 3.08 3.17 5/264 361336
/proc/meminfo: memFree=128884740/131524600 swapFree=131071996/131071996
[pid=361330] ppid=361327 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/361330/stat : 361330 (Hybrid-LSMabSP+) S 361327 361330 361248 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 66134495 10170368 688 134679101440 94050942795776 94050943875096 140728995176608 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050945973552 94050946020740 94050954072064 140728995185640 140728995185786 140728995185786 140728995192801 0
/proc/361330/statm: 2483 688 609 264 0 134 0
[pid=361333] ppid=361330 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/361333/stat : 361333 (timeout) S 361330 361333 361248 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66134496 8867840 236 134679101440 94677209235456 94677209270472 140723656139808 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94677211367888 94677211370020 94677242114048 140723656148009 140723656148125 140723656148125 140723656155111 0
/proc/361333/statm: 2165 236 212 9 0 87 0
[pid=361334] ppid=361333 vsize=149092 memory=123156 CPUtime=6.27 cores=4,6
/proc/361334/stat : 361334 (LS-MabSP) R 361333 361333 361248 0 -1 4194304 12173 0 0 0 624 3 0 0 20 0 1 0 66134496 152670208 30789 134679101440 4194304 15467897 140726974078368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46407680 140726974080060 140726974080163 140726974080163 140726974087149 0
/proc/361334/statm: 37273 30789 1105 2753 0 33926 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 167684 KiB
Current children cumulated memory: 126852 KiB

[startup+12.7003 s]
/proc/loadavg: 2.82 3.10 3.17 5/264 361336
/proc/meminfo: memFree=127986480/131524600 swapFree=131071996/131071996
[pid=361330] ppid=361327 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/361330/stat : 361330 (Hybrid-LSMabSP+) S 361327 361330 361248 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 66134495 10170368 688 134679101440 94050942795776 94050943875096 140728995176608 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050945973552 94050946020740 94050954072064 140728995185640 140728995185786 140728995185786 140728995192801 0
/proc/361330/statm: 2483 688 609 264 0 134 0
[pid=361333] ppid=361330 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/361333/stat : 361333 (timeout) S 361330 361333 361248 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66134496 8867840 236 134679101440 94677209235456 94677209270472 140723656139808 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94677211367888 94677211370020 94677242114048 140723656148009 140723656148125 140723656148125 140723656155111 0
/proc/361333/statm: 2165 236 212 9 0 87 0
[pid=361334] ppid=361333 vsize=1067052 memory=1009684 CPUtime=12.65 cores=4,6
/proc/361334/stat : 361334 (LS-MabSP) R 361333 361333 361248 0 -1 4194304 150900 0 0 0 1233 32 0 0 20 0 1 0 66134496 1092661248 252421 134679101440 4194304 15467897 140726974078368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46407680 140726974080060 140726974080163 140726974080163 140726974087149 0
/proc/361334/statm: 266763 252421 2769 2753 0 263416 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1085644 KiB
Current children cumulated memory: 1013380 KiB

[startup+25.5003 s]
/proc/loadavg: 3.08 3.14 3.19 5/264 361339
/proc/meminfo: memFree=128015804/131524600 swapFree=131071996/131071996
[pid=361330] ppid=361327 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/361330/stat : 361330 (Hybrid-LSMabSP+) S 361327 361330 361248 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 66134495 10170368 688 134679101440 94050942795776 94050943875096 140728995176608 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050945973552 94050946020740 94050954072064 140728995185640 140728995185786 140728995185786 140728995192801 0
/proc/361330/statm: 2483 688 609 264 0 134 0
[pid=361333] ppid=361330 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/361333/stat : 361333 (timeout) S 361330 361333 361248 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66134496 8867840 236 134679101440 94677209235456 94677209270472 140723656139808 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94677211367888 94677211370020 94677242114048 140723656148009 140723656148125 140723656148125 140723656155111 0
/proc/361333/statm: 2165 236 212 9 0 87 0
[pid=361334] ppid=361333 vsize=1067052 memory=1009684 CPUtime=25.42 cores=4,6
/proc/361334/stat : 361334 (LS-MabSP) R 361333 361333 361248 0 -1 4194304 150957 0 0 0 2509 33 0 0 20 0 1 0 66134496 1092661248 252421 134679101440 4194304 15467897 140726974078368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46407680 140726974080060 140726974080163 140726974080163 140726974087149 0
/proc/361334/statm: 266763 252421 2769 2753 0 263416 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1085644 KiB
Current children cumulated memory: 1013380 KiB

[startup+51.106 s]
/proc/loadavg: 3.39 3.21 3.21 5/265 361343
/proc/meminfo: memFree=128022696/131524600 swapFree=131071996/131071996
[pid=361330] ppid=361327 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/361330/stat : 361330 (Hybrid-LSMabSP+) S 361327 361330 361248 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 66134495 10170368 688 134679101440 94050942795776 94050943875096 140728995176608 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050945973552 94050946020740 94050954072064 140728995185640 140728995185786 140728995185786 140728995192801 0
/proc/361330/statm: 2483 688 609 264 0 134 0
[pid=361333] ppid=361330 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/361333/stat : 361333 (timeout) S 361330 361333 361248 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 66134496 8867840 236 134679101440 94677209235456 94677209270472 140723656139808 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94677211367888 94677211370020 94677242114048 140723656148009 140723656148125 140723656148125 140723656155111 0
/proc/361333/statm: 2165 236 212 9 0 87 0
[pid=361334] ppid=361333 vsize=1069912 memory=1012732 CPUtime=50.94 cores=4,6
/proc/361334/stat : 361334 (LS-MabSP) R 361333 361333 361248 0 -1 4194304 151727 0 0 0 5060 34 0 0 20 0 1 0 66134496 1095589888 253183 134679101440 4194304 15467897 140726974078368 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46407680 140726974080060 140726974080163 140726974080163 140726974087149 0
/proc/361334/statm: 267478 253183 2801 2753 0 264131 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1088504 KiB
Current children cumulated memory: 1016428 KiB

[startup+102.3 s]
/proc/loadavg: 3.92 3.38 3.27 5/267 361355
/proc/meminfo: memFree=128044804/131524600 swapFree=131071996/131071996
[pid=361330] ppid=361327 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/361330/stat : 361330 (Hybrid-LSMabSP+) S 361327 361330 361248 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 66134495 10170368 688 134679101440 94050942795776 94050943875096 140728995176608 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050945973552 94050946020740 94050954072064 140728995185640 140728995185786 140728995185786 140728995192801 0

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

/proc/362238/statm: 29758 27725 748 737 0 28846 0
Current children cumulated CPU time: 3394.36 s
Current children cumulated vsize: 137624 KiB
Current children cumulated memory: 114612 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.15 4.10 5/263 363218
/proc/meminfo: memFree=127188700/131524600 swapFree=131071996/131071996
[pid=361330] ppid=361327 vsize=9932 memory=2796 CPUtime=1794.12 cores=4,6
/proc/361330/stat : 361330 (Hybrid-LSMabSP+) S 361327 361330 361248 0 -1 4194304 272 154418 0 0 0 0 179061 351 20 0 1 0 66134495 10170368 699 134679101440 94050942795776 94050943875096 140728995176608 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050945973552 94050946020740 94050954072064 140728995185640 140728995185786 140728995185786 140728995192801 0
/proc/361330/statm: 2483 699 609 264 0 134 0
[pid=362237] ppid=361330 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/362237/stat : 362237 (timeout) S 361330 362237 361248 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 66314300 8867840 229 134679101440 94324252094464 94324252129480 140721911707776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94324254226896 94324254229028 94324283256832 140721911710708 140721911710877 140721911710877 140721911717863 0
/proc/362237/statm: 2165 229 205 9 0 87 0
[pid=362238] ppid=362237 vsize=119032 memory=111096 CPUtime=1660.05 cores=4,6
/proc/362238/stat : 362238 (Exact) R 362237 362237 361248 0 -1 4194304 21933 0 0 0 166000 5 0 0 20 0 1 0 66314300 121888768 27774 134679101440 4194304 7210733 140723396285408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7850304 7914896 33304576 140723396289552 140723396289702 140723396289702 140723396296688 0
/proc/362238/statm: 29758 27774 748 737 0 28846 0
Current children cumulated CPU time: 3454.17 s
Current children cumulated vsize: 137624 KiB
Current children cumulated memory: 114808 KiB

[startup+3522.3 s]
/proc/loadavg: 4.61 4.31 4.16 6/263 363229
/proc/meminfo: memFree=127188104/131524600 swapFree=131071996/131071996
[pid=361330] ppid=361327 vsize=9932 memory=2796 CPUtime=1794.12 cores=4,6
/proc/361330/stat : 361330 (Hybrid-LSMabSP+) S 361327 361330 361248 0 -1 4194304 272 154418 0 0 0 0 179061 351 20 0 1 0 66134495 10170368 699 134679101440 94050942795776 94050943875096 140728995176608 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050945973552 94050946020740 94050954072064 140728995185640 140728995185786 140728995185786 140728995192801 0
/proc/361330/statm: 2483 699 609 264 0 134 0
[pid=362237] ppid=361330 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/362237/stat : 362237 (timeout) S 361330 362237 361248 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 66314300 8867840 229 134679101440 94324252094464 94324252129480 140721911707776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94324254226896 94324254229028 94324283256832 140721911710708 140721911710877 140721911710877 140721911717863 0
/proc/362237/statm: 2165 229 205 9 0 87 0
[pid=362238] ppid=362237 vsize=119212 memory=111240 CPUtime=1719.87 cores=4,6
/proc/362238/stat : 362238 (Exact) R 362237 362237 361248 0 -1 4194304 22006 0 0 0 171982 5 0 0 20 0 1 0 66314300 122073088 27810 134679101440 4194304 7210733 140723396285408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7850304 7914896 33304576 140723396289552 140723396289702 140723396289702 140723396296688 0
/proc/362238/statm: 29803 27810 748 737 0 28891 0
Current children cumulated CPU time: 3513.99 s
Current children cumulated vsize: 137804 KiB
Current children cumulated memory: 114952 KiB

[startup+3582.3 s]
/proc/loadavg: 4.30 4.28 4.16 5/263 363241
/proc/meminfo: memFree=127181228/131524600 swapFree=131071996/131071996
[pid=361330] ppid=361327 vsize=9932 memory=2796 CPUtime=1794.12 cores=4,6
/proc/361330/stat : 361330 (Hybrid-LSMabSP+) S 361327 361330 361248 0 -1 4194304 272 154418 0 0 0 0 179061 351 20 0 1 0 66134495 10170368 699 134679101440 94050942795776 94050943875096 140728995176608 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050945973552 94050946020740 94050954072064 140728995185640 140728995185786 140728995185786 140728995192801 0
/proc/361330/statm: 2483 699 609 264 0 134 0
[pid=362237] ppid=361330 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/362237/stat : 362237 (timeout) S 361330 362237 361248 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 66314300 8867840 229 134679101440 94324252094464 94324252129480 140721911707776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94324254226896 94324254229028 94324283256832 140721911710708 140721911710877 140721911710877 140721911717863 0
/proc/362237/statm: 2165 229 205 9 0 87 0
[pid=362238] ppid=362237 vsize=119484 memory=111532 CPUtime=1779.68 cores=4,6
/proc/362238/stat : 362238 (Exact) R 362237 362237 361248 0 -1 4194304 22124 0 0 0 177963 5 0 0 20 0 1 0 66314300 122351616 27883 134679101440 4194304 7210733 140723396285408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7850304 7914896 33304576 140723396289552 140723396289702 140723396289702 140723396296688 0
/proc/362238/statm: 29871 27883 748 737 0 28959 0
Current children cumulated CPU time: 3573.8 s
Current children cumulated vsize: 138076 KiB
Current children cumulated memory: 115244 KiB

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

# cumulated CPU time of all completed processes:  user=3583.97 s, system=3.57868 s

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

[startup+3584 s]*
/proc/loadavg: 4.35 4.29 4.17 5/263 363242
/proc/meminfo: memFree=127181228/131524600 swapFree=131071996/131071996
[pid=361330] ppid=361327 vsize=9932 memory=2796 CPUtime=1794.12 cores=4,6
/proc/361330/stat : 361330 (Hybrid-LSMabSP+) S 361327 361330 361248 0 -1 4194304 272 154418 0 0 0 0 179061 351 20 0 1 0 66134495 10170368 699 134679101440 94050942795776 94050943875096 140728995176608 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050945973552 94050946020740 94050954072064 140728995185640 140728995185786 140728995185786 140728995192801 0
/proc/361330/statm: 2483 699 609 264 0 134 0
[pid=362237] ppid=361330 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/362237/stat : 362237 (timeout) S 361330 362237 361248 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 66314300 8867840 229 134679101440 94324252094464 94324252129480 140721911707776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94324254226896 94324254229028 94324283256832 140721911710708 140721911710877 140721911710877 140721911717863 0
/proc/362237/statm: 2165 229 205 9 0 87 0
[pid=362238] ppid=362237 vsize=119484 memory=111532 CPUtime=1781.38 cores=4,6
/proc/362238/stat : 362238 (Exact) R 362237 362237 361248 0 -1 4194304 22124 0 0 0 178133 5 0 0 20 0 1 0 66314300 122351616 27883 134679101440 4194304 7210733 140723396285408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7850304 7914896 33304576 140723396289552 140723396289702 140723396289702 140723396296688 0
/proc/362238/statm: 29871 27883 748 737 0 28959 0
Current children cumulated CPU time: 3575.5 s
Current children cumulated vsize: 138076 KiB
Current children cumulated memory: 115244 KiB

[startup+3590.4 s]
/proc/loadavg: 4.41 4.30 4.17 5/263 363242
/proc/meminfo: memFree=127181244/131524600 swapFree=131071996/131071996
[pid=361330] ppid=361327 vsize=9932 memory=2796 CPUtime=1794.12 cores=4,6
/proc/361330/stat : 361330 (Hybrid-LSMabSP+) S 361327 361330 361248 0 -1 4194304 272 154418 0 0 0 0 179061 351 20 0 1 0 66134495 10170368 699 134679101440 94050942795776 94050943875096 140728995176608 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050945973552 94050946020740 94050954072064 140728995185640 140728995185786 140728995185786 140728995192801 0
/proc/361330/statm: 2483 699 609 264 0 134 0
[pid=362237] ppid=361330 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/362237/stat : 362237 (timeout) S 361330 362237 361248 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 66314300 8867840 229 134679101440 94324252094464 94324252129480 140721911707776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94324254226896 94324254229028 94324283256832 140721911710708 140721911710877 140721911710877 140721911717863 0
/proc/362237/statm: 2165 229 205 9 0 87 0
[pid=362238] ppid=362237 vsize=119484 memory=111532 CPUtime=1787.76 cores=4,6
/proc/362238/stat : 362238 (Exact) R 362237 362237 361248 0 -1 4194304 22124 0 0 0 178771 5 0 0 20 0 1 0 66314300 122351616 27883 134679101440 4194304 7210733 140723396285408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7850304 7914896 33304576 140723396289552 140723396289702 140723396289702 140723396296688 0
/proc/362238/statm: 29871 27883 748 737 0 28959 0
Current children cumulated CPU time: 3581.88 s
Current children cumulated vsize: 138076 KiB
Current children cumulated memory: 115244 KiB

[startup+3593.6 s]
/proc/loadavg: 4.41 4.30 4.17 5/263 363242
/proc/meminfo: memFree=127181244/131524600 swapFree=131071996/131071996
[pid=361330] ppid=361327 vsize=9932 memory=2796 CPUtime=1794.12 cores=4,6
/proc/361330/stat : 361330 (Hybrid-LSMabSP+) S 361327 361330 361248 0 -1 4194304 272 154418 0 0 0 0 179061 351 20 0 1 0 66134495 10170368 699 134679101440 94050942795776 94050943875096 140728995176608 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050945973552 94050946020740 94050954072064 140728995185640 140728995185786 140728995185786 140728995192801 0
/proc/361330/statm: 2483 699 609 264 0 134 0
[pid=362237] ppid=361330 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/362237/stat : 362237 (timeout) S 361330 362237 361248 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 66314300 8867840 229 134679101440 94324252094464 94324252129480 140721911707776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94324254226896 94324254229028 94324283256832 140721911710708 140721911710877 140721911710877 140721911717863 0
/proc/362237/statm: 2165 229 205 9 0 87 0
[pid=362238] ppid=362237 vsize=119484 memory=111532 CPUtime=1790.95 cores=4,6
/proc/362238/stat : 362238 (Exact) R 362237 362237 361248 0 -1 4194304 22124 0 0 0 179090 5 0 0 20 0 1 0 66314300 122351616 27883 134679101440 4194304 7210733 140723396285408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7850304 7914896 33304576 140723396289552 140723396289702 140723396289702 140723396296688 0
/proc/362238/statm: 29871 27883 748 737 0 28959 0
Current children cumulated CPU time: 3585.07 s
Current children cumulated vsize: 138076 KiB
Current children cumulated memory: 115244 KiB

[startup+3595.2 s]
/proc/loadavg: 4.45 4.32 4.18 5/263 363244
/proc/meminfo: memFree=127181124/131524600 swapFree=131071996/131071996
[pid=361330] ppid=361327 vsize=9932 memory=2796 CPUtime=1794.12 cores=4,6
/proc/361330/stat : 361330 (Hybrid-LSMabSP+) S 361327 361330 361248 0 -1 4194304 272 154418 0 0 0 0 179061 351 20 0 1 0 66134495 10170368 699 134679101440 94050942795776 94050943875096 140728995176608 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050945973552 94050946020740 94050954072064 140728995185640 140728995185786 140728995185786 140728995192801 0
/proc/361330/statm: 2483 699 609 264 0 134 0
[pid=362237] ppid=361330 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/362237/stat : 362237 (timeout) S 361330 362237 361248 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 66314300 8867840 229 134679101440 94324252094464 94324252129480 140721911707776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94324254226896 94324254229028 94324283256832 140721911710708 140721911710877 140721911710877 140721911717863 0
/proc/362237/statm: 2165 229 205 9 0 87 0
[pid=362238] ppid=362237 vsize=119484 memory=111532 CPUtime=1792.54 cores=4,6
/proc/362238/stat : 362238 (Exact) R 362237 362237 361248 0 -1 4194304 22137 0 0 0 179249 5 0 0 20 0 1 0 66314300 122351616 27883 134679101440 4194304 7210733 140723396285408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7850304 7914896 33304576 140723396289552 140723396289702 140723396289702 140723396296688 0
/proc/362238/statm: 29871 27883 748 737 0 28959 0
Current children cumulated CPU time: 3586.66 s
Current children cumulated vsize: 138076 KiB
Current children cumulated memory: 115244 KiB

[startup+3595.6 s]
/proc/loadavg: 4.45 4.32 4.18 5/263 363244
/proc/meminfo: memFree=127181124/131524600 swapFree=131071996/131071996
[pid=361330] ppid=361327 vsize=9932 memory=2796 CPUtime=1794.12 cores=4,6
/proc/361330/stat : 361330 (Hybrid-LSMabSP+) S 361327 361330 361248 0 -1 4194304 272 154418 0 0 0 0 179061 351 20 0 1 0 66134495 10170368 699 134679101440 94050942795776 94050943875096 140728995176608 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050945973552 94050946020740 94050954072064 140728995185640 140728995185786 140728995185786 140728995192801 0
/proc/361330/statm: 2483 699 609 264 0 134 0
[pid=362237] ppid=361330 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/362237/stat : 362237 (timeout) S 361330 362237 361248 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 66314300 8867840 229 134679101440 94324252094464 94324252129480 140721911707776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94324254226896 94324254229028 94324283256832 140721911710708 140721911710877 140721911710877 140721911717863 0
/proc/362237/statm: 2165 229 205 9 0 87 0
[pid=362238] ppid=362237 vsize=119484 memory=111532 CPUtime=1792.94 cores=4,6
/proc/362238/stat : 362238 (Exact) R 362237 362237 361248 0 -1 4194304 22137 0 0 0 179289 5 0 0 20 0 1 0 66314300 122351616 27883 134679101440 4194304 7210733 140723396285408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7850304 7914896 33304576 140723396289552 140723396289702 140723396289702 140723396296688 0
/proc/362238/statm: 29871 27883 748 737 0 28959 0
Current children cumulated CPU time: 3587.06 s
Current children cumulated vsize: 138076 KiB
Current children cumulated memory: 115244 KiB

[startup+3596 s]*
/proc/loadavg: 4.45 4.32 4.18 8/266 363259
/proc/meminfo: memFree=128238012/131524600 swapFree=131071996/131071996
[pid=361330] ppid=361327 vsize=9932 memory=2796 CPUtime=1794.12 cores=4,6
/proc/361330/stat : 361330 (Hybrid-LSMabSP+) S 361327 361330 361248 0 -1 4194304 272 154418 0 0 0 0 179061 351 20 0 1 0 66134495 10170368 699 134679101440 94050942795776 94050943875096 140728995176608 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94050945973552 94050946020740 94050954072064 140728995185640 140728995185786 140728995185786 140728995192801 0
/proc/361330/statm: 2483 699 609 264 0 134 0
[pid=362237] ppid=361330 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/362237/stat : 362237 (timeout) S 361330 362237 361248 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 66314300 8867840 229 134679101440 94324252094464 94324252129480 140721911707776 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94324254226896 94324254229028 94324283256832 140721911710708 140721911710877 140721911710877 140721911717863 0
/proc/362237/statm: 2165 229 205 9 0 87 0
[pid=362238] ppid=362237 vsize=119484 memory=111532 CPUtime=1793.34 cores=4,6
/proc/362238/stat : 362238 (Exact) R 362237 362237 361248 0 -1 4194304 22137 0 0 0 179329 5 0 0 20 0 1 0 66314300 122351616 27883 134679101440 4194304 7210733 140723396285408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7850304 7914896 33304576 140723396289552 140723396289702 140723396289702 140723396296688 0
/proc/362238/statm: 29871 27883 748 737 0 28959 0
Current children cumulated CPU time: 3587.46 s
Current children cumulated vsize: 138076 KiB
Current children cumulated memory: 115244 KiB

Child status: 0

Real time (s): 3596.07
CPU time (s): 3587.55
CPU user time (s): 3583.97
CPU system time (s): 3.57868
CPU usage (%): 99.7632
Max. virtual memory (cumulated for all children) (KiB): 1108528
Max. memory (cumulated for all children) (KiB): 1036132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.97
system time used= 3.57868
maximum resident set size= 1032436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179851
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96
involuntary context switches= 5014


# summary of solver processes directly reported to runsolver:
#   pid: 361330
#   total CPU time (s): 3587.55
#   total CPU user time (s): 3583.97
#   total CPU system time (s): 3.57868

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.263 second user time and 13.0034 second system time

The end