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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.10008 s]*
/proc/loadavg: 4.17 4.18 4.11 3/250 334755
/proc/meminfo: memFree=128653512/131524600 swapFree=131071996/131071996
[pid=334751] ppid=334748 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/334751/stat : 334751 (Hybrid-LSMabSP+) S 334748 334751 332577 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 61778960 10170368 660 134679101440 94264796114944 94264797194264 140726899690768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94264799292720 94264799339908 94264810905600 140726899692520 140726899692666 140726899692666 140726899699681 0
/proc/334751/statm: 2483 660 580 264 0 134 0
[pid=334754] ppid=334751 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/334754/stat : 334754 (timeout) S 334751 334754 332577 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61778961 8867840 258 134679101440 94496751767552 94496751802568 140736162506000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94496753899984 94496753902116 94496755998720 140736162509865 140736162509981 140736162509981 140736162516967 0
/proc/334754/statm: 2165 258 234 9 0 87 0
[pid=334755] ppid=334754 vsize=27732 memory=11032 CPUtime=0.09 cores=1,3
/proc/334755/stat : 334755 (LS-MabSP) R 334754 334754 332577 0 -1 4194304 1805 0 0 0 9 0 0 0 20 0 1 0 61778961 28397568 2758 134679101440 4194304 15467897 140728052771728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27508736 140728052773948 140728052774051 140728052774051 140728052781037 0
/proc/334755/statm: 6933 2758 1073 2753 0 3586 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46324 KiB
Current children cumulated memory: 14704 KiB

[startup+0.205231 s]*
/proc/loadavg: 4.17 4.18 4.11 4/250 334760
/proc/meminfo: memFree=128618708/131524600 swapFree=131071996/131071996
[pid=334751] ppid=334748 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/334751/stat : 334751 (Hybrid-LSMabSP+) S 334748 334751 332577 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 61778960 10170368 660 134679101440 94264796114944 94264797194264 140726899690768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94264799292720 94264799339908 94264810905600 140726899692520 140726899692666 140726899692666 140726899699681 0
/proc/334751/statm: 2483 660 580 264 0 134 0
[pid=334754] ppid=334751 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/334754/stat : 334754 (timeout) S 334751 334754 332577 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61778961 8867840 258 134679101440 94496751767552 94496751802568 140736162506000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94496753899984 94496753902116 94496755998720 140736162509865 140736162509981 140736162509981 140736162516967 0
/proc/334754/statm: 2165 258 234 9 0 87 0
[pid=334755] ppid=334754 vsize=29776 memory=13868 CPUtime=0.2 cores=1,3
/proc/334755/stat : 334755 (LS-MabSP) R 334754 334754 332577 0 -1 4194304 2459 0 0 0 20 0 0 0 20 0 1 0 61778961 30490624 3467 134679101440 4194304 15467897 140728052771728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27508736 140728052773948 140728052774051 140728052774051 140728052781037 0
/proc/334755/statm: 7444 3467 1073 2753 0 4097 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48368 KiB
Current children cumulated memory: 17540 KiB

[startup+0.30547 s]*
/proc/loadavg: 4.17 4.18 4.11 4/258 334773
/proc/meminfo: memFree=128602360/131524600 swapFree=131071996/131071996
[pid=334751] ppid=334748 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/334751/stat : 334751 (Hybrid-LSMabSP+) S 334748 334751 332577 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 61778960 10170368 660 134679101440 94264796114944 94264797194264 140726899690768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94264799292720 94264799339908 94264810905600 140726899692520 140726899692666 140726899692666 140726899699681 0
/proc/334751/statm: 2483 660 580 264 0 134 0
[pid=334754] ppid=334751 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/334754/stat : 334754 (timeout) S 334751 334754 332577 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61778961 8867840 258 134679101440 94496751767552 94496751802568 140736162506000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94496753899984 94496753902116 94496755998720 140736162509865 140736162509981 140736162509981 140736162516967 0
/proc/334754/statm: 2165 258 234 9 0 87 0
[pid=334755] ppid=334754 vsize=29776 memory=15916 CPUtime=0.3 cores=1,3
/proc/334755/stat : 334755 (LS-MabSP) R 334754 334754 332577 0 -1 4194304 2460 0 0 0 30 0 0 0 20 0 1 0 61778961 30490624 3979 134679101440 4194304 15467897 140728052771728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27508736 140728052773948 140728052774051 140728052774051 140728052781037 0
/proc/334755/statm: 7444 3979 1073 2753 0 4097 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48368 KiB
Current children cumulated memory: 19588 KiB

[startup+0.700309 s]
/proc/loadavg: 4.17 4.18 4.11 4/258 334773
/proc/meminfo: memFree=128578156/131524600 swapFree=131071996/131071996
[pid=334751] ppid=334748 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/334751/stat : 334751 (Hybrid-LSMabSP+) S 334748 334751 332577 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 61778960 10170368 660 134679101440 94264796114944 94264797194264 140726899690768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94264799292720 94264799339908 94264810905600 140726899692520 140726899692666 140726899692666 140726899699681 0
/proc/334751/statm: 2483 660 580 264 0 134 0
[pid=334754] ppid=334751 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/334754/stat : 334754 (timeout) S 334751 334754 332577 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61778961 8867840 258 134679101440 94496751767552 94496751802568 140736162506000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94496753899984 94496753902116 94496755998720 140736162509865 140736162509981 140736162509981 140736162516967 0
/proc/334754/statm: 2165 258 234 9 0 87 0
[pid=334755] ppid=334754 vsize=76892 memory=58796 CPUtime=0.68 cores=1,3
/proc/334755/stat : 334755 (LS-MabSP) R 334754 334754 332577 0 -1 4194304 8277 0 0 0 67 1 0 0 20 0 1 0 61778961 78737408 14699 134679101440 4194304 15467897 140728052771728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27508736 140728052773948 140728052774051 140728052774051 140728052781037 0
/proc/334755/statm: 19223 14699 1105 2753 0 15876 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 95484 KiB
Current children cumulated memory: 62468 KiB

[startup+1.50027 s]
/proc/loadavg: 4.17 4.18 4.11 4/258 334773
/proc/meminfo: memFree=128554004/131524600 swapFree=131071996/131071996
[pid=334751] ppid=334748 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/334751/stat : 334751 (Hybrid-LSMabSP+) S 334748 334751 332577 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 61778960 10170368 660 134679101440 94264796114944 94264797194264 140726899690768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94264799292720 94264799339908 94264810905600 140726899692520 140726899692666 140726899692666 140726899699681 0
/proc/334751/statm: 2483 660 580 264 0 134 0
[pid=334754] ppid=334751 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/334754/stat : 334754 (timeout) S 334751 334754 332577 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61778961 8867840 258 134679101440 94496751767552 94496751802568 140736162506000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94496753899984 94496753902116 94496755998720 140736162509865 140736162509981 140736162509981 140736162516967 0
/proc/334754/statm: 2165 258 234 9 0 87 0
[pid=334755] ppid=334754 vsize=76892 memory=58796 CPUtime=1.48 cores=1,3
/proc/334755/stat : 334755 (LS-MabSP) R 334754 334754 332577 0 -1 4194304 8278 0 0 0 147 1 0 0 20 0 1 0 61778961 78737408 14699 134679101440 4194304 15467897 140728052771728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27508736 140728052773948 140728052774051 140728052774051 140728052781037 0
/proc/334755/statm: 19223 14699 1105 2753 0 15876 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 95484 KiB
Current children cumulated memory: 62468 KiB

[startup+3.10561 s]
/proc/loadavg: 4.17 4.18 4.11 5/266 334791
/proc/meminfo: memFree=128364424/131524600 swapFree=131071996/131071996
[pid=334751] ppid=334748 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/334751/stat : 334751 (Hybrid-LSMabSP+) S 334748 334751 332577 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 61778960 10170368 660 134679101440 94264796114944 94264797194264 140726899690768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94264799292720 94264799339908 94264810905600 140726899692520 140726899692666 140726899692666 140726899699681 0
/proc/334751/statm: 2483 660 580 264 0 134 0
[pid=334754] ppid=334751 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/334754/stat : 334754 (timeout) S 334751 334754 332577 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61778961 8867840 258 134679101440 94496751767552 94496751802568 140736162506000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94496753899984 94496753902116 94496755998720 140736162509865 140736162509981 140736162509981 140736162516967 0
/proc/334754/statm: 2165 258 234 9 0 87 0
[pid=334755] ppid=334754 vsize=232824 memory=218988 CPUtime=3.09 cores=1,3
/proc/334755/stat : 334755 (LS-MabSP) R 334754 334754 332577 0 -1 4194304 46267 0 0 0 302 7 0 0 20 0 1 0 61778961 238411776 54747 134679101440 4194304 15467897 140728052771728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27508736 140728052773948 140728052774051 140728052774051 140728052781037 0
/proc/334755/statm: 58206 54747 2737 2753 0 54859 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 251416 KiB
Current children cumulated memory: 222660 KiB

[startup+6.30021 s]
/proc/loadavg: 4.15 4.18 4.11 5/266 334791
/proc/meminfo: memFree=128161972/131524600 swapFree=131071996/131071996
[pid=334751] ppid=334748 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/334751/stat : 334751 (Hybrid-LSMabSP+) S 334748 334751 332577 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 61778960 10170368 660 134679101440 94264796114944 94264797194264 140726899690768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94264799292720 94264799339908 94264810905600 140726899692520 140726899692666 140726899692666 140726899699681 0
/proc/334751/statm: 2483 660 580 264 0 134 0
[pid=334754] ppid=334751 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/334754/stat : 334754 (timeout) S 334751 334754 332577 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61778961 8867840 258 134679101440 94496751767552 94496751802568 140736162506000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94496753899984 94496753902116 94496755998720 140736162509865 140736162509981 140736162509981 140736162516967 0
/proc/334754/statm: 2165 258 234 9 0 87 0
[pid=334755] ppid=334754 vsize=477756 memory=421284 CPUtime=6.27 cores=1,3
/proc/334755/stat : 334755 (LS-MabSP) R 334754 334754 332577 0 -1 4194304 72654 0 0 0 615 12 0 0 20 0 1 0 61778961 489222144 105321 134679101440 4194304 15467897 140728052771728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27508736 140728052773948 140728052774051 140728052774051 140728052781037 0
/proc/334755/statm: 119439 105321 2833 2753 0 116092 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 496348 KiB
Current children cumulated memory: 424956 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.18 4.11 5/266 334793
/proc/meminfo: memFree=128160152/131524600 swapFree=131071996/131071996
[pid=334751] ppid=334748 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/334751/stat : 334751 (Hybrid-LSMabSP+) S 334748 334751 332577 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 61778960 10170368 660 134679101440 94264796114944 94264797194264 140726899690768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94264799292720 94264799339908 94264810905600 140726899692520 140726899692666 140726899692666 140726899699681 0
/proc/334751/statm: 2483 660 580 264 0 134 0
[pid=334754] ppid=334751 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/334754/stat : 334754 (timeout) S 334751 334754 332577 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61778961 8867840 258 134679101440 94496751767552 94496751802568 140736162506000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94496753899984 94496753902116 94496755998720 140736162509865 140736162509981 140736162509981 140736162516967 0
/proc/334754/statm: 2165 258 234 9 0 87 0
[pid=334755] ppid=334754 vsize=478496 memory=421536 CPUtime=12.66 cores=1,3
/proc/334755/stat : 334755 (LS-MabSP) R 334754 334754 332577 0 -1 4194304 72720 0 0 0 1253 13 0 0 20 0 1 0 61778961 489979904 105384 134679101440 4194304 15467897 140728052771728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27508736 140728052773948 140728052774051 140728052774051 140728052781037 0
/proc/334755/statm: 119624 105384 2833 2753 0 116277 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 497088 KiB
Current children cumulated memory: 425208 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.17 4.11 5/266 334794
/proc/meminfo: memFree=128159344/131524600 swapFree=131071996/131071996
[pid=334751] ppid=334748 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/334751/stat : 334751 (Hybrid-LSMabSP+) S 334748 334751 332577 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 61778960 10170368 660 134679101440 94264796114944 94264797194264 140726899690768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94264799292720 94264799339908 94264810905600 140726899692520 140726899692666 140726899692666 140726899699681 0
/proc/334751/statm: 2483 660 580 264 0 134 0
[pid=334754] ppid=334751 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/334754/stat : 334754 (timeout) S 334751 334754 332577 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61778961 8867840 258 134679101440 94496751767552 94496751802568 140736162506000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94496753899984 94496753902116 94496755998720 140736162509865 140736162509981 140736162509981 140736162516967 0
/proc/334754/statm: 2165 258 234 9 0 87 0
[pid=334755] ppid=334754 vsize=479424 memory=422380 CPUtime=25.42 cores=1,3
/proc/334755/stat : 334755 (LS-MabSP) R 334754 334754 332577 0 -1 4194304 72978 0 0 0 2529 13 0 0 20 0 1 0 61778961 490930176 105595 134679101440 4194304 15467897 140728052771728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27508736 140728052773948 140728052774051 140728052774051 140728052781037 0
/proc/334755/statm: 119856 105595 2833 2753 0 116509 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 498016 KiB
Current children cumulated memory: 426052 KiB

[startup+51.1054 s]
/proc/loadavg: 4.14 4.17 4.11 5/266 334799
/proc/meminfo: memFree=128144276/131524600 swapFree=131071996/131071996
[pid=334751] ppid=334748 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/334751/stat : 334751 (Hybrid-LSMabSP+) S 334748 334751 332577 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 61778960 10170368 660 134679101440 94264796114944 94264797194264 140726899690768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94264799292720 94264799339908 94264810905600 140726899692520 140726899692666 140726899692666 140726899699681 0
/proc/334751/statm: 2483 660 580 264 0 134 0
[pid=334754] ppid=334751 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/334754/stat : 334754 (timeout) S 334751 334754 332577 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61778961 8867840 258 134679101440 94496751767552 94496751802568 140736162506000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94496753899984 94496753902116 94496755998720 140736162509865 140736162509981 140736162509981 140736162516967 0
/proc/334754/statm: 2165 258 234 9 0 87 0
[pid=334755] ppid=334754 vsize=507572 memory=437172 CPUtime=50.96 cores=1,3
/proc/334755/stat : 334755 (LS-MabSP) R 334754 334754 332577 0 -1 4194304 76565 0 0 0 5082 14 0 0 20 0 1 0 61778961 519753728 109293 134679101440 4194304 15467897 140728052771728 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 27508736 140728052773948 140728052774051 140728052774051 140728052781037 0
/proc/334755/statm: 126893 109293 2849 2753 0 123546 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 526164 KiB
Current children cumulated memory: 440844 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/266 334808
/proc/meminfo: memFree=128129564/131524600 swapFree=131071996/131071996
[pid=334751] ppid=334748 vsize=9932 memory=2640 CPUtime=0 cores=1,3
/proc/334751/stat : 334751 (Hybrid-LSMabSP+) S 334748 334751 332577 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 61778960 10170368 660 134679101440 94264796114944 94264797194264 140726899690768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94264799292720 94264799339908 94264810905600 140726899692520 140726899692666 140726899692666 140726899699681 0

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

/proc/335697/statm: 38330 36762 748 737 0 37418 0
Current children cumulated CPU time: 3395.3 s
Current children cumulated vsize: 171912 KiB
Current children cumulated memory: 150828 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/266 336785
/proc/meminfo: memFree=128100020/131524600 swapFree=131071996/131071996
[pid=334751] ppid=334748 vsize=9932 memory=2736 CPUtime=1794.55 cores=1,3
/proc/334751/stat : 334751 (Hybrid-LSMabSP+) S 334748 334751 332577 0 -1 4194304 267 117249 0 0 0 0 178201 1254 20 0 1 0 61778960 10170368 684 134679101440 94264796114944 94264797194264 140726899690768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94264799292720 94264799339908 94264810905600 140726899692520 140726899692666 140726899692666 140726899699681 0
/proc/334751/statm: 2483 684 595 264 0 134 0
[pid=335696] ppid=334751 vsize=8660 memory=1044 CPUtime=0 cores=1,3
/proc/335696/stat : 335696 (timeout) S 334751 335696 332577 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61958763 8867840 261 134679101440 94071187660800 94071187695816 140724566245440 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94071189793232 94071189795364 94071206264832 140724566254580 140724566254749 140724566254749 140724566261735 0
/proc/335696/statm: 2165 261 236 9 0 87 0
[pid=335697] ppid=335696 vsize=153320 memory=147060 CPUtime=1660.62 cores=1,3
/proc/335697/stat : 335697 (Exact) R 335696 335696 332577 0 -1 4194304 25403 0 0 0 166057 5 0 0 20 0 1 0 61958763 156999680 36765 134679101440 4194304 7210733 140734083072736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 31657984 140734083081232 140734083081382 140734083081382 140734083088368 0
/proc/335697/statm: 38330 36765 748 737 0 37418 0
Current children cumulated CPU time: 3455.17 s
Current children cumulated vsize: 171912 KiB
Current children cumulated memory: 150840 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/266 336795
/proc/meminfo: memFree=128093516/131524600 swapFree=131071996/131071996
[pid=334751] ppid=334748 vsize=9932 memory=2736 CPUtime=1794.55 cores=1,3
/proc/334751/stat : 334751 (Hybrid-LSMabSP+) S 334748 334751 332577 0 -1 4194304 267 117249 0 0 0 0 178201 1254 20 0 1 0 61778960 10170368 684 134679101440 94264796114944 94264797194264 140726899690768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94264799292720 94264799339908 94264810905600 140726899692520 140726899692666 140726899692666 140726899699681 0
/proc/334751/statm: 2483 684 595 264 0 134 0
[pid=335696] ppid=334751 vsize=8660 memory=1044 CPUtime=0 cores=1,3
/proc/335696/stat : 335696 (timeout) S 334751 335696 332577 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61958763 8867840 261 134679101440 94071187660800 94071187695816 140724566245440 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94071189793232 94071189795364 94071206264832 140724566254580 140724566254749 140724566254749 140724566261735 0
/proc/335696/statm: 2165 261 236 9 0 87 0
[pid=335697] ppid=335696 vsize=193108 memory=153216 CPUtime=1720.49 cores=1,3
/proc/335697/stat : 335697 (Exact) R 335696 335696 332577 0 -1 4194304 25950 0 0 0 172043 6 0 0 20 0 1 0 61958763 197742592 38304 134679101440 4194304 7210733 140734083072736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 31657984 140734083081232 140734083081382 140734083081382 140734083088368 0
/proc/335697/statm: 48277 38304 748 737 0 47365 0
Current children cumulated CPU time: 3515.04 s
Current children cumulated vsize: 211700 KiB
Current children cumulated memory: 156996 KiB

[startup+3582.3 s]
/proc/loadavg: 4.25 4.16 4.10 5/266 336805
/proc/meminfo: memFree=128090908/131524600 swapFree=131071996/131071996
[pid=334751] ppid=334748 vsize=9932 memory=2736 CPUtime=1794.55 cores=1,3
/proc/334751/stat : 334751 (Hybrid-LSMabSP+) S 334748 334751 332577 0 -1 4194304 267 117249 0 0 0 0 178201 1254 20 0 1 0 61778960 10170368 684 134679101440 94264796114944 94264797194264 140726899690768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94264799292720 94264799339908 94264810905600 140726899692520 140726899692666 140726899692666 140726899699681 0
/proc/334751/statm: 2483 684 595 264 0 134 0
[pid=335696] ppid=334751 vsize=8660 memory=1044 CPUtime=0 cores=1,3
/proc/335696/stat : 335696 (timeout) S 334751 335696 332577 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61958763 8867840 261 134679101440 94071187660800 94071187695816 140724566245440 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94071189793232 94071189795364 94071206264832 140724566254580 140724566254749 140724566254749 140724566261735 0
/proc/335696/statm: 2165 261 236 9 0 87 0
[pid=335697] ppid=335696 vsize=195396 memory=155648 CPUtime=1780.36 cores=1,3
/proc/335697/stat : 335697 (Exact) R 335696 335696 332577 0 -1 4194304 26579 0 0 0 178030 6 0 0 20 0 1 0 61958763 200085504 38912 134679101440 4194304 7210733 140734083072736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 31657984 140734083081232 140734083081382 140734083081382 140734083088368 0
/proc/335697/statm: 48849 38912 748 737 0 47937 0
Current children cumulated CPU time: 3574.91 s
Current children cumulated vsize: 213988 KiB
Current children cumulated memory: 159428 KiB

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

# cumulated CPU time of all completed processes:  user=3576.03 s, system=12.6304 s

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

[startup+3584 s]*
/proc/loadavg: 4.25 4.16 4.10 5/266 336805
/proc/meminfo: memFree=128090916/131524600 swapFree=131071996/131071996
[pid=334751] ppid=334748 vsize=9932 memory=2736 CPUtime=1794.55 cores=1,3
/proc/334751/stat : 334751 (Hybrid-LSMabSP+) S 334748 334751 332577 0 -1 4194304 267 117249 0 0 0 0 178201 1254 20 0 1 0 61778960 10170368 684 134679101440 94264796114944 94264797194264 140726899690768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94264799292720 94264799339908 94264810905600 140726899692520 140726899692666 140726899692666 140726899699681 0
/proc/334751/statm: 2483 684 595 264 0 134 0
[pid=335696] ppid=334751 vsize=8660 memory=1044 CPUtime=0 cores=1,3
/proc/335696/stat : 335696 (timeout) S 334751 335696 332577 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61958763 8867840 261 134679101440 94071187660800 94071187695816 140724566245440 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94071189793232 94071189795364 94071206264832 140724566254580 140724566254749 140724566254749 140724566261735 0
/proc/335696/statm: 2165 261 236 9 0 87 0
[pid=335697] ppid=335696 vsize=195396 memory=155648 CPUtime=1782.06 cores=1,3
/proc/335697/stat : 335697 (Exact) R 335696 335696 332577 0 -1 4194304 26579 0 0 0 178200 6 0 0 20 0 1 0 61958763 200085504 38912 134679101440 4194304 7210733 140734083072736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 31657984 140734083081232 140734083081382 140734083081382 140734083088368 0
/proc/335697/statm: 48849 38912 748 737 0 47937 0
Current children cumulated CPU time: 3576.61 s
Current children cumulated vsize: 213988 KiB
Current children cumulated memory: 159428 KiB

[startup+3590.4 s]
/proc/loadavg: 4.21 4.15 4.10 5/266 336806
/proc/meminfo: memFree=128090824/131524600 swapFree=131071996/131071996
[pid=334751] ppid=334748 vsize=9932 memory=2736 CPUtime=1794.55 cores=1,3
/proc/334751/stat : 334751 (Hybrid-LSMabSP+) S 334748 334751 332577 0 -1 4194304 267 117249 0 0 0 0 178201 1254 20 0 1 0 61778960 10170368 684 134679101440 94264796114944 94264797194264 140726899690768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94264799292720 94264799339908 94264810905600 140726899692520 140726899692666 140726899692666 140726899699681 0
/proc/334751/statm: 2483 684 595 264 0 134 0
[pid=335696] ppid=334751 vsize=8660 memory=1044 CPUtime=0 cores=1,3
/proc/335696/stat : 335696 (timeout) S 334751 335696 332577 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61958763 8867840 261 134679101440 94071187660800 94071187695816 140724566245440 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94071189793232 94071189795364 94071206264832 140724566254580 140724566254749 140724566254749 140724566261735 0
/proc/335696/statm: 2165 261 236 9 0 87 0
[pid=335697] ppid=335696 vsize=195396 memory=155648 CPUtime=1788.44 cores=1,3
/proc/335697/stat : 335697 (Exact) R 335696 335696 332577 0 -1 4194304 26581 0 0 0 178838 6 0 0 20 0 1 0 61958763 200085504 38912 134679101440 4194304 7210733 140734083072736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 31657984 140734083081232 140734083081382 140734083081382 140734083088368 0
/proc/335697/statm: 48849 38912 748 737 0 47937 0
Current children cumulated CPU time: 3582.99 s
Current children cumulated vsize: 213988 KiB
Current children cumulated memory: 159428 KiB

[startup+3593.6 s]
/proc/loadavg: 4.21 4.15 4.10 5/266 336806
/proc/meminfo: memFree=128090844/131524600 swapFree=131071996/131071996
[pid=334751] ppid=334748 vsize=9932 memory=2736 CPUtime=1794.55 cores=1,3
/proc/334751/stat : 334751 (Hybrid-LSMabSP+) S 334748 334751 332577 0 -1 4194304 267 117249 0 0 0 0 178201 1254 20 0 1 0 61778960 10170368 684 134679101440 94264796114944 94264797194264 140726899690768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94264799292720 94264799339908 94264810905600 140726899692520 140726899692666 140726899692666 140726899699681 0
/proc/334751/statm: 2483 684 595 264 0 134 0
[pid=335696] ppid=334751 vsize=8660 memory=1044 CPUtime=0 cores=1,3
/proc/335696/stat : 335696 (timeout) S 334751 335696 332577 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61958763 8867840 261 134679101440 94071187660800 94071187695816 140724566245440 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94071189793232 94071189795364 94071206264832 140724566254580 140724566254749 140724566254749 140724566261735 0
/proc/335696/statm: 2165 261 236 9 0 87 0
[pid=335697] ppid=335696 vsize=195396 memory=155648 CPUtime=1791.63 cores=1,3
/proc/335697/stat : 335697 (Exact) R 335696 335696 332577 0 -1 4194304 26581 0 0 0 179157 6 0 0 20 0 1 0 61958763 200085504 38912 134679101440 4194304 7210733 140734083072736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 31657984 140734083081232 140734083081382 140734083081382 140734083088368 0
/proc/335697/statm: 48849 38912 748 737 0 47937 0
Current children cumulated CPU time: 3586.18 s
Current children cumulated vsize: 213988 KiB
Current children cumulated memory: 159428 KiB

[startup+3595.2 s]
/proc/loadavg: 4.19 4.15 4.10 5/266 336806
/proc/meminfo: memFree=128090836/131524600 swapFree=131071996/131071996
[pid=334751] ppid=334748 vsize=9932 memory=2736 CPUtime=1794.55 cores=1,3
/proc/334751/stat : 334751 (Hybrid-LSMabSP+) S 334748 334751 332577 0 -1 4194304 267 117249 0 0 0 0 178201 1254 20 0 1 0 61778960 10170368 684 134679101440 94264796114944 94264797194264 140726899690768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94264799292720 94264799339908 94264810905600 140726899692520 140726899692666 140726899692666 140726899699681 0
/proc/334751/statm: 2483 684 595 264 0 134 0
[pid=335696] ppid=334751 vsize=8660 memory=1044 CPUtime=0 cores=1,3
/proc/335696/stat : 335696 (timeout) S 334751 335696 332577 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61958763 8867840 261 134679101440 94071187660800 94071187695816 140724566245440 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94071189793232 94071189795364 94071206264832 140724566254580 140724566254749 140724566254749 140724566261735 0
/proc/335696/statm: 2165 261 236 9 0 87 0
[pid=335697] ppid=335696 vsize=195396 memory=155648 CPUtime=1793.23 cores=1,3
/proc/335697/stat : 335697 (Exact) R 335696 335696 332577 0 -1 4194304 26581 0 0 0 179317 6 0 0 20 0 1 0 61958763 200085504 38912 134679101440 4194304 7210733 140734083072736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 31657984 140734083081232 140734083081382 140734083081382 140734083088368 0
/proc/335697/statm: 48849 38912 748 737 0 47937 0
Current children cumulated CPU time: 3587.78 s
Current children cumulated vsize: 213988 KiB
Current children cumulated memory: 159428 KiB

[startup+3595.6 s]
/proc/loadavg: 4.19 4.15 4.10 5/266 336806
/proc/meminfo: memFree=128090836/131524600 swapFree=131071996/131071996
[pid=334751] ppid=334748 vsize=9932 memory=2736 CPUtime=1794.55 cores=1,3
/proc/334751/stat : 334751 (Hybrid-LSMabSP+) S 334748 334751 332577 0 -1 4194304 267 117249 0 0 0 0 178201 1254 20 0 1 0 61778960 10170368 684 134679101440 94264796114944 94264797194264 140726899690768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94264799292720 94264799339908 94264810905600 140726899692520 140726899692666 140726899692666 140726899699681 0
/proc/334751/statm: 2483 684 595 264 0 134 0
[pid=335696] ppid=334751 vsize=8660 memory=1044 CPUtime=0 cores=1,3
/proc/335696/stat : 335696 (timeout) S 334751 335696 332577 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61958763 8867840 261 134679101440 94071187660800 94071187695816 140724566245440 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94071189793232 94071189795364 94071206264832 140724566254580 140724566254749 140724566254749 140724566261735 0
/proc/335696/statm: 2165 261 236 9 0 87 0
[pid=335697] ppid=335696 vsize=195396 memory=155648 CPUtime=1793.63 cores=1,3
/proc/335697/stat : 335697 (Exact) R 335696 335696 332577 0 -1 4194304 26581 0 0 0 179357 6 0 0 20 0 1 0 61958763 200085504 38912 134679101440 4194304 7210733 140734083072736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 31657984 140734083081232 140734083081382 140734083081382 140734083088368 0
/proc/335697/statm: 48849 38912 748 737 0 47937 0
Current children cumulated CPU time: 3588.18 s
Current children cumulated vsize: 213988 KiB
Current children cumulated memory: 159428 KiB

[startup+3596 s]*
/proc/loadavg: 4.19 4.15 4.10 5/266 336806
/proc/meminfo: memFree=128090844/131524600 swapFree=131071996/131071996
[pid=334751] ppid=334748 vsize=9932 memory=2736 CPUtime=1794.55 cores=1,3
/proc/334751/stat : 334751 (Hybrid-LSMabSP+) S 334748 334751 332577 0 -1 4194304 267 117249 0 0 0 0 178201 1254 20 0 1 0 61778960 10170368 684 134679101440 94264796114944 94264797194264 140726899690768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94264799292720 94264799339908 94264810905600 140726899692520 140726899692666 140726899692666 140726899699681 0
/proc/334751/statm: 2483 684 595 264 0 134 0
[pid=335696] ppid=334751 vsize=8660 memory=1044 CPUtime=0 cores=1,3
/proc/335696/stat : 335696 (timeout) S 334751 335696 332577 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61958763 8867840 261 134679101440 94071187660800 94071187695816 140724566245440 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94071189793232 94071189795364 94071206264832 140724566254580 140724566254749 140724566254749 140724566261735 0
/proc/335696/statm: 2165 261 236 9 0 87 0
[pid=335697] ppid=335696 vsize=195396 memory=155648 CPUtime=1794.03 cores=1,3
/proc/335697/stat : 335697 (Exact) R 335696 335696 332577 0 -1 4194304 26581 0 0 0 179397 6 0 0 20 0 1 0 61958763 200085504 38912 134679101440 4194304 7210733 140734083072736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 31657984 140734083081232 140734083081382 140734083081382 140734083088368 0
/proc/335697/statm: 48849 38912 748 737 0 47937 0
Current children cumulated CPU time: 3588.58 s
Current children cumulated vsize: 213988 KiB
Current children cumulated memory: 159428 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3588.66
CPU user time (s): 3576.03
CPU system time (s): 12.6304
CPU usage (%): 99.7947
Max. virtual memory (cumulated for all children) (KiB): 706380
Max. memory (cumulated for all children) (KiB): 610924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.03
system time used= 12.6304
maximum resident set size= 607332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147107
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120
involuntary context switches= 1543


# summary of solver processes directly reported to runsolver:
#   pid: 334751
#   total CPU time (s): 3588.66
#   total CPU user time (s): 3576.03
#   total CPU system time (s): 12.6304

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.23001 second user time and 14.4639 second system time

The end