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 (62823 MiB free)
  memory of node 1: 64473 MiB (63466 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437037-1722957206/watcher-4437037-1722957206 -o /tmp/evaluation-result-4437037-1722957206/solver-4437037-1722957206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722948202-325128 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437037-1722957206.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
Current StackSize limit: 8192 KiB

solver pid=330571, runsolver pid=330568

[startup+0.100104 s]*
/proc/loadavg: 4.10 4.12 4.16 5/249 330575
/proc/meminfo: memFree=129308876/131655788 swapFree=131071216/131071996
[pid=330571] ppid=330568 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/330571/stat : 330571 (Hybrid-LSMabSP+) S 330568 330571 325114 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62091217 10170368 663 134679101440 94752846639104 94752847718424 140734628717728 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94752849816880 94752849864068 94752877600768 140734628721644 140734628721790 140734628721790 140734628728801 0
/proc/330571/statm: 2483 663 584 264 0 134 0
[pid=330574] ppid=330571 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/330574/stat : 330574 (timeout) S 330571 330574 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62091218 8867840 244 134679101440 93848953507840 93848953542856 140726094133376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93848955640272 93848955642404 93848960589824 140726094140461 140726094140577 140726094140577 140726094147559 0
/proc/330574/statm: 2165 244 220 9 0 87 0
[pid=330575] ppid=330574 vsize=29148 memory=22516 CPUtime=0.1 cores=1,3
/proc/330575/stat : 330575 (LS-MabSP) R 330574 330574 325114 0 -1 4194304 2537 0 0 0 10 0 0 0 20 0 1 0 62091218 29847552 5629 134679101440 4194304 15467897 140722362875968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53075968 140722362881088 140722362881191 140722362881191 140722362888173 0
/proc/330575/statm: 7287 5629 2833 2753 0 3940 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47740 KiB
Current children cumulated memory: 26144 KiB

[startup+0.214872 s]*
/proc/loadavg: 4.10 4.12 4.16 5/249 330575
/proc/meminfo: memFree=129300308/131655788 swapFree=131071216/131071996
[pid=330571] ppid=330568 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/330571/stat : 330571 (Hybrid-LSMabSP+) S 330568 330571 325114 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62091217 10170368 663 134679101440 94752846639104 94752847718424 140734628717728 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94752849816880 94752849864068 94752877600768 140734628721644 140734628721790 140734628721790 140734628728801 0
/proc/330571/statm: 2483 663 584 264 0 134 0
[pid=330574] ppid=330571 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/330574/stat : 330574 (timeout) S 330571 330574 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62091218 8867840 244 134679101440 93848953507840 93848953542856 140726094133376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93848955640272 93848955642404 93848960589824 140726094140461 140726094140577 140726094140577 140726094147559 0
/proc/330574/statm: 2165 244 220 9 0 87 0
[pid=330575] ppid=330574 vsize=38500 memory=31712 CPUtime=0.21 cores=1,3
/proc/330575/stat : 330575 (LS-MabSP) R 330574 330574 325114 0 -1 4194304 4848 0 0 0 21 0 0 0 20 0 1 0 62091218 39424000 7928 134679101440 4194304 15467897 140722362875968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53075968 140722362881088 140722362881191 140722362881191 140722362888173 0
/proc/330575/statm: 9625 7928 2833 2753 0 6278 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 57092 KiB
Current children cumulated memory: 35340 KiB

[startup+0.314837 s]*
/proc/loadavg: 4.10 4.12 4.16 5/249 330575
/proc/meminfo: memFree=129290760/131655788 swapFree=131071216/131071996
[pid=330571] ppid=330568 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/330571/stat : 330571 (Hybrid-LSMabSP+) S 330568 330571 325114 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62091217 10170368 663 134679101440 94752846639104 94752847718424 140734628717728 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94752849816880 94752849864068 94752877600768 140734628721644 140734628721790 140734628721790 140734628728801 0
/proc/330571/statm: 2483 663 584 264 0 134 0
[pid=330574] ppid=330571 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/330574/stat : 330574 (timeout) S 330571 330574 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62091218 8867840 244 134679101440 93848953507840 93848953542856 140726094133376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93848955640272 93848955642404 93848960589824 140726094140461 140726094140577 140726094140577 140726094147559 0
/proc/330574/statm: 2165 244 220 9 0 87 0
[pid=330575] ppid=330574 vsize=47400 memory=40436 CPUtime=0.31 cores=1,3
/proc/330575/stat : 330575 (LS-MabSP) R 330574 330574 325114 0 -1 4194304 7047 0 0 0 31 0 0 0 20 0 1 0 62091218 48537600 10109 134679101440 4194304 15467897 140722362875968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53075968 140722362881088 140722362881191 140722362881191 140722362888173 0
/proc/330575/statm: 11850 10109 2833 2753 0 8503 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 65992 KiB
Current children cumulated memory: 44064 KiB

[startup+0.70051 s]
/proc/loadavg: 4.10 4.12 4.16 5/249 330575
/proc/meminfo: memFree=129301080/131655788 swapFree=131071216/131071996
[pid=330571] ppid=330568 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/330571/stat : 330571 (Hybrid-LSMabSP+) S 330568 330571 325114 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62091217 10170368 663 134679101440 94752846639104 94752847718424 140734628717728 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94752849816880 94752849864068 94752877600768 140734628721644 140734628721790 140734628721790 140734628728801 0
/proc/330571/statm: 2483 663 584 264 0 134 0
[pid=330574] ppid=330571 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/330574/stat : 330574 (timeout) S 330571 330574 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62091218 8867840 244 134679101440 93848953507840 93848953542856 140726094133376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93848955640272 93848955642404 93848960589824 140726094140461 140726094140577 140726094140577 140726094147559 0
/proc/330574/statm: 2165 244 220 9 0 87 0
[pid=330575] ppid=330574 vsize=34196 memory=28436 CPUtime=0.69 cores=1,3
/proc/330575/stat : 330575 (LS-MabSP) R 330574 330574 325114 0 -1 4194304 7908 0 0 0 63 6 0 0 20 0 1 0 62091218 35016704 7109 134679101440 4194304 15467897 140722362875968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53075968 140722362881088 140722362881191 140722362881191 140722362888173 0
/proc/330575/statm: 8549 7109 2833 2753 0 5202 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52788 KiB
Current children cumulated memory: 32064 KiB

[startup+1.5005 s]
/proc/loadavg: 4.10 4.12 4.16 5/249 330575
/proc/meminfo: memFree=129301436/131655788 swapFree=131071216/131071996
[pid=330571] ppid=330568 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/330571/stat : 330571 (Hybrid-LSMabSP+) S 330568 330571 325114 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62091217 10170368 663 134679101440 94752846639104 94752847718424 140734628717728 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94752849816880 94752849864068 94752877600768 140734628721644 140734628721790 140734628721790 140734628728801 0
/proc/330571/statm: 2483 663 584 264 0 134 0
[pid=330574] ppid=330571 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/330574/stat : 330574 (timeout) S 330571 330574 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62091218 8867840 244 134679101440 93848953507840 93848953542856 140726094133376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93848955640272 93848955642404 93848960589824 140726094140461 140726094140577 140726094140577 140726094147559 0
/proc/330574/statm: 2165 244 220 9 0 87 0
[pid=330575] ppid=330574 vsize=34196 memory=28436 CPUtime=1.49 cores=1,3
/proc/330575/stat : 330575 (LS-MabSP) R 330574 330574 325114 0 -1 4194304 7908 0 0 0 133 16 0 0 20 0 1 0 62091218 35016704 7109 134679101440 4194304 15467897 140722362875968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53075968 140722362881088 140722362881191 140722362881191 140722362888173 0
/proc/330575/statm: 8549 7109 2833 2753 0 5202 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 52788 KiB
Current children cumulated memory: 32064 KiB

[startup+3.1142 s]
/proc/loadavg: 4.09 4.12 4.16 5/249 330575
/proc/meminfo: memFree=129296828/131655788 swapFree=131071216/131071996
[pid=330571] ppid=330568 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/330571/stat : 330571 (Hybrid-LSMabSP+) S 330568 330571 325114 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62091217 10170368 663 134679101440 94752846639104 94752847718424 140734628717728 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94752849816880 94752849864068 94752877600768 140734628721644 140734628721790 140734628721790 140734628728801 0
/proc/330571/statm: 2483 663 584 264 0 134 0
[pid=330574] ppid=330571 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/330574/stat : 330574 (timeout) S 330571 330574 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62091218 8867840 244 134679101440 93848953507840 93848953542856 140726094133376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93848955640272 93848955642404 93848960589824 140726094140461 140726094140577 140726094140577 140726094147559 0
/proc/330574/statm: 2165 244 220 9 0 87 0
[pid=330575] ppid=330574 vsize=34196 memory=28436 CPUtime=3.09 cores=1,3
/proc/330575/stat : 330575 (LS-MabSP) R 330574 330574 325114 0 -1 4194304 7908 0 0 0 268 41 0 0 20 0 1 0 62091218 35016704 7109 134679101440 4194304 15467897 140722362875968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53075968 140722362881088 140722362881191 140722362881191 140722362888173 0
/proc/330575/statm: 8549 7109 2833 2753 0 5202 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52788 KiB
Current children cumulated memory: 32064 KiB

[startup+6.30045 s]
/proc/loadavg: 4.09 4.12 4.16 5/249 330576
/proc/meminfo: memFree=129295332/131655788 swapFree=131071216/131071996
[pid=330571] ppid=330568 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/330571/stat : 330571 (Hybrid-LSMabSP+) S 330568 330571 325114 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62091217 10170368 663 134679101440 94752846639104 94752847718424 140734628717728 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94752849816880 94752849864068 94752877600768 140734628721644 140734628721790 140734628721790 140734628728801 0
/proc/330571/statm: 2483 663 584 264 0 134 0
[pid=330574] ppid=330571 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/330574/stat : 330574 (timeout) S 330571 330574 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62091218 8867840 244 134679101440 93848953507840 93848953542856 140726094133376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93848955640272 93848955642404 93848960589824 140726094140461 140726094140577 140726094140577 140726094147559 0
/proc/330574/statm: 2165 244 220 9 0 87 0
[pid=330575] ppid=330574 vsize=34196 memory=28436 CPUtime=6.27 cores=1,3
/proc/330575/stat : 330575 (LS-MabSP) R 330574 330574 325114 0 -1 4194304 7908 0 0 0 539 88 0 0 20 0 1 0 62091218 35016704 7109 134679101440 4194304 15467897 140722362875968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53075968 140722362881088 140722362881191 140722362881191 140722362888173 0
/proc/330575/statm: 8549 7109 2833 2753 0 5202 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 52788 KiB
Current children cumulated memory: 32064 KiB

[startup+12.7004 s]
/proc/loadavg: 4.08 4.12 4.16 5/249 330576
/proc/meminfo: memFree=129299844/131655788 swapFree=131071216/131071996
[pid=330571] ppid=330568 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/330571/stat : 330571 (Hybrid-LSMabSP+) S 330568 330571 325114 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62091217 10170368 663 134679101440 94752846639104 94752847718424 140734628717728 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94752849816880 94752849864068 94752877600768 140734628721644 140734628721790 140734628721790 140734628728801 0
/proc/330571/statm: 2483 663 584 264 0 134 0
[pid=330574] ppid=330571 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/330574/stat : 330574 (timeout) S 330571 330574 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62091218 8867840 244 134679101440 93848953507840 93848953542856 140726094133376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93848955640272 93848955642404 93848960589824 140726094140461 140726094140577 140726094140577 140726094147559 0
/proc/330574/statm: 2165 244 220 9 0 87 0
[pid=330575] ppid=330574 vsize=34196 memory=28436 CPUtime=12.66 cores=1,3
/proc/330575/stat : 330575 (LS-MabSP) R 330574 330574 325114 0 -1 4194304 7908 0 0 0 1078 188 0 0 20 0 1 0 62091218 35016704 7109 134679101440 4194304 15467897 140722362875968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53075968 140722362881088 140722362881191 140722362881191 140722362888173 0
/proc/330575/statm: 8549 7109 2833 2753 0 5202 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 52788 KiB
Current children cumulated memory: 32064 KiB

[startup+25.5004 s]
/proc/loadavg: 4.06 4.11 4.16 5/249 330578
/proc/meminfo: memFree=129299612/131655788 swapFree=131071216/131071996
[pid=330571] ppid=330568 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/330571/stat : 330571 (Hybrid-LSMabSP+) S 330568 330571 325114 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62091217 10170368 663 134679101440 94752846639104 94752847718424 140734628717728 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94752849816880 94752849864068 94752877600768 140734628721644 140734628721790 140734628721790 140734628728801 0
/proc/330571/statm: 2483 663 584 264 0 134 0
[pid=330574] ppid=330571 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/330574/stat : 330574 (timeout) S 330571 330574 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62091218 8867840 244 134679101440 93848953507840 93848953542856 140726094133376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93848955640272 93848955642404 93848960589824 140726094140461 140726094140577 140726094140577 140726094147559 0
/proc/330574/statm: 2165 244 220 9 0 87 0
[pid=330575] ppid=330574 vsize=34196 memory=28436 CPUtime=25.44 cores=1,3
/proc/330575/stat : 330575 (LS-MabSP) R 330574 330574 325114 0 -1 4194304 7908 0 0 0 2152 392 0 0 20 0 1 0 62091218 35016704 7109 134679101440 4194304 15467897 140722362875968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53075968 140722362881088 140722362881191 140722362881191 140722362888173 0
/proc/330575/statm: 8549 7109 2833 2753 0 5202 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 52788 KiB
Current children cumulated memory: 32064 KiB

[startup+51.1142 s]
/proc/loadavg: 4.10 4.12 4.16 5/249 330583
/proc/meminfo: memFree=129297548/131655788 swapFree=131071216/131071996
[pid=330571] ppid=330568 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/330571/stat : 330571 (Hybrid-LSMabSP+) S 330568 330571 325114 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62091217 10170368 663 134679101440 94752846639104 94752847718424 140734628717728 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94752849816880 94752849864068 94752877600768 140734628721644 140734628721790 140734628721790 140734628728801 0
/proc/330571/statm: 2483 663 584 264 0 134 0
[pid=330574] ppid=330571 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/330574/stat : 330574 (timeout) S 330571 330574 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62091218 8867840 244 134679101440 93848953507840 93848953542856 140726094133376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93848955640272 93848955642404 93848960589824 140726094140461 140726094140577 140726094140577 140726094147559 0
/proc/330574/statm: 2165 244 220 9 0 87 0
[pid=330575] ppid=330574 vsize=34196 memory=28696 CPUtime=51.01 cores=1,3
/proc/330575/stat : 330575 (LS-MabSP) R 330574 330574 325114 0 -1 4194304 7912 0 0 0 4311 790 0 0 20 0 1 0 62091218 35016704 7174 134679101440 4194304 15467897 140722362875968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53075968 140722362881088 140722362881191 140722362881191 140722362888173 0
/proc/330575/statm: 8549 7174 2833 2753 0 5202 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 52788 KiB
Current children cumulated memory: 32324 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.15 5/250 330592
/proc/meminfo: memFree=129297192/131655788 swapFree=131071216/131071996
[pid=330571] ppid=330568 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/330571/stat : 330571 (Hybrid-LSMabSP+) S 330568 330571 325114 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62091217 10170368 663 134679101440 94752846639104 94752847718424 140734628717728 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94752849816880 94752849864068 94752877600768 140734628721644 140734628721790 140734628721790 140734628728801 0

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

/proc/330571/statm: 2483 663 584 264 0 134 0
[pid=330574] ppid=330571 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/330574/stat : 330574 (timeout) S 330571 330574 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62091218 8867840 244 134679101440 93848953507840 93848953542856 140726094133376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93848955640272 93848955642404 93848960589824 140726094140461 140726094140577 140726094140577 140726094147559 0
/proc/330574/statm: 2165 244 220 9 0 87 0
[pid=330575] ppid=330574 vsize=34196 memory=28768 CPUtime=1599.64 cores=1,3
/proc/330575/stat : 330575 (LS-MabSP) R 330574 330574 325114 0 -1 4194304 7945 0 0 0 134559 25405 0 0 20 0 1 0 62091218 35016704 7192 134679101440 4194304 15467897 140722362875968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53075968 140722362881088 140722362881191 140722362881191 140722362888173 0
/proc/330575/statm: 8549 7192 2833 2753 0 5202 0
Current children cumulated CPU time: 1599.64 s
Current children cumulated vsize: 52788 KiB
Current children cumulated memory: 32396 KiB

[startup+1662.3 s]
/proc/loadavg: 4.12 4.22 4.20 5/249 331503
/proc/meminfo: memFree=129287724/131655788 swapFree=131071216/131071996
[pid=330571] ppid=330568 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/330571/stat : 330571 (Hybrid-LSMabSP+) S 330568 330571 325114 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62091217 10170368 663 134679101440 94752846639104 94752847718424 140734628717728 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94752849816880 94752849864068 94752877600768 140734628721644 140734628721790 140734628721790 140734628728801 0
/proc/330571/statm: 2483 663 584 264 0 134 0
[pid=330574] ppid=330571 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/330574/stat : 330574 (timeout) S 330571 330574 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62091218 8867840 244 134679101440 93848953507840 93848953542856 140726094133376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93848955640272 93848955642404 93848960589824 140726094140461 140726094140577 140726094140577 140726094147559 0
/proc/330574/statm: 2165 244 220 9 0 87 0
[pid=330575] ppid=330574 vsize=34196 memory=28768 CPUtime=1659.54 cores=1,3
/proc/330575/stat : 330575 (LS-MabSP) R 330574 330574 325114 0 -1 4194304 7946 0 0 0 139573 26381 0 0 20 0 1 0 62091218 35016704 7192 134679101440 4194304 15467897 140722362875968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53075968 140722362881088 140722362881191 140722362881191 140722362888173 0
/proc/330575/statm: 8549 7192 2833 2753 0 5202 0
Current children cumulated CPU time: 1659.54 s
Current children cumulated vsize: 52788 KiB
Current children cumulated memory: 32396 KiB

[startup+1722.3 s]
/proc/loadavg: 4.15 4.21 4.20 5/249 331514
/proc/meminfo: memFree=129287164/131655788 swapFree=131071216/131071996
[pid=330571] ppid=330568 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/330571/stat : 330571 (Hybrid-LSMabSP+) S 330568 330571 325114 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62091217 10170368 663 134679101440 94752846639104 94752847718424 140734628717728 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94752849816880 94752849864068 94752877600768 140734628721644 140734628721790 140734628721790 140734628728801 0
/proc/330571/statm: 2483 663 584 264 0 134 0
[pid=330574] ppid=330571 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/330574/stat : 330574 (timeout) S 330571 330574 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62091218 8867840 244 134679101440 93848953507840 93848953542856 140726094133376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93848955640272 93848955642404 93848960589824 140726094140461 140726094140577 140726094140577 140726094147559 0
/proc/330574/statm: 2165 244 220 9 0 87 0
[pid=330575] ppid=330574 vsize=34196 memory=28768 CPUtime=1719.44 cores=1,3
/proc/330575/stat : 330575 (LS-MabSP) R 330574 330574 325114 0 -1 4194304 7947 0 0 0 144604 27340 0 0 20 0 1 0 62091218 35016704 7192 134679101440 4194304 15467897 140722362875968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53075968 140722362881088 140722362881191 140722362881191 140722362888173 0
/proc/330575/statm: 8549 7192 2833 2753 0 5202 0
Current children cumulated CPU time: 1719.44 s
Current children cumulated vsize: 52788 KiB
Current children cumulated memory: 32396 KiB

[startup+1782.3 s]
/proc/loadavg: 4.10 4.18 4.19 5/249 331526
/proc/meminfo: memFree=129286924/131655788 swapFree=131071216/131071996
[pid=330571] ppid=330568 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/330571/stat : 330571 (Hybrid-LSMabSP+) S 330568 330571 325114 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62091217 10170368 663 134679101440 94752846639104 94752847718424 140734628717728 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94752849816880 94752849864068 94752877600768 140734628721644 140734628721790 140734628721790 140734628728801 0
/proc/330571/statm: 2483 663 584 264 0 134 0
[pid=330574] ppid=330571 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/330574/stat : 330574 (timeout) S 330571 330574 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62091218 8867840 244 134679101440 93848953507840 93848953542856 140726094133376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93848955640272 93848955642404 93848960589824 140726094140461 140726094140577 140726094140577 140726094147559 0
/proc/330574/statm: 2165 244 220 9 0 87 0
[pid=330575] ppid=330574 vsize=34196 memory=28768 CPUtime=1779.34 cores=1,3
/proc/330575/stat : 330575 (LS-MabSP) R 330574 330574 325114 0 -1 4194304 7948 0 0 0 149647 28287 0 0 20 0 1 0 62091218 35016704 7192 134679101440 4194304 15467897 140722362875968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53075968 140722362881088 140722362881191 140722362881191 140722362888173 0
/proc/330575/statm: 8549 7192 2833 2753 0 5202 0
Current children cumulated CPU time: 1779.34 s
Current children cumulated vsize: 52788 KiB
Current children cumulated memory: 32396 KiB

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

# cumulated CPU time of all completed processes:  user=1511.26 s, system=285.38 s

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

[startup+1792 s]*
/proc/loadavg: 4.09 4.18 4.18 5/249 331528
/proc/meminfo: memFree=129286884/131655788 swapFree=131071216/131071996
[pid=330571] ppid=330568 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/330571/stat : 330571 (Hybrid-LSMabSP+) S 330568 330571 325114 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62091217 10170368 663 134679101440 94752846639104 94752847718424 140734628717728 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94752849816880 94752849864068 94752877600768 140734628721644 140734628721790 140734628721790 140734628728801 0
/proc/330571/statm: 2483 663 584 264 0 134 0
[pid=330574] ppid=330571 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/330574/stat : 330574 (timeout) S 330571 330574 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62091218 8867840 244 134679101440 93848953507840 93848953542856 140726094133376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93848955640272 93848955642404 93848960589824 140726094140461 140726094140577 140726094140577 140726094147559 0
/proc/330574/statm: 2165 244 220 9 0 87 0
[pid=330575] ppid=330574 vsize=34196 memory=28768 CPUtime=1789.04 cores=1,3
/proc/330575/stat : 330575 (LS-MabSP) R 330574 330574 325114 0 -1 4194304 7948 0 0 0 150466 28438 0 0 20 0 1 0 62091218 35016704 7192 134679101440 4194304 15467897 140722362875968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53075968 140722362881088 140722362881191 140722362881191 140722362888173 0
/proc/330575/statm: 8549 7192 2833 2753 0 5202 0
Current children cumulated CPU time: 1789.04 s
Current children cumulated vsize: 52788 KiB
Current children cumulated memory: 32396 KiB

[startup+1795.2 s]
/proc/loadavg: 4.08 4.17 4.18 5/233 331610
/proc/meminfo: memFree=129353392/131655788 swapFree=131071216/131071996
[pid=330571] ppid=330568 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/330571/stat : 330571 (Hybrid-LSMabSP+) S 330568 330571 325114 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62091217 10170368 663 134679101440 94752846639104 94752847718424 140734628717728 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94752849816880 94752849864068 94752877600768 140734628721644 140734628721790 140734628721790 140734628728801 0
/proc/330571/statm: 2483 663 584 264 0 134 0
[pid=330574] ppid=330571 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/330574/stat : 330574 (timeout) S 330571 330574 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62091218 8867840 244 134679101440 93848953507840 93848953542856 140726094133376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93848955640272 93848955642404 93848960589824 140726094140461 140726094140577 140726094140577 140726094147559 0
/proc/330574/statm: 2165 244 220 9 0 87 0
[pid=330575] ppid=330574 vsize=34196 memory=28768 CPUtime=1792.21 cores=1,3
/proc/330575/stat : 330575 (LS-MabSP) R 330574 330574 325114 0 -1 4194304 7948 0 0 0 150731 28490 0 0 20 0 1 0 62091218 35016704 7192 134679101440 4194304 15467897 140722362875968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53075968 140722362881088 140722362881191 140722362881191 140722362888173 0
/proc/330575/statm: 8549 7192 2833 2753 0 5202 0
Current children cumulated CPU time: 1792.21 s
Current children cumulated vsize: 52788 KiB
Current children cumulated memory: 32396 KiB

[startup+1796.8 s]
/proc/loadavg: 4.08 4.17 4.18 2/224 331636
/proc/meminfo: memFree=129405664/131655788 swapFree=131071216/131071996
[pid=330571] ppid=330568 vsize=9932 memory=2652 CPUtime=0 cores=1,3
/proc/330571/stat : 330571 (Hybrid-LSMabSP+) S 330568 330571 325114 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62091217 10170368 663 134679101440 94752846639104 94752847718424 140734628717728 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94752849816880 94752849864068 94752877600768 140734628721644 140734628721790 140734628721790 140734628728801 0
/proc/330571/statm: 2483 663 584 264 0 134 0
[pid=330574] ppid=330571 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/330574/stat : 330574 (timeout) S 330571 330574 325114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62091218 8867840 244 134679101440 93848953507840 93848953542856 140726094133376 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93848955640272 93848955642404 93848960589824 140726094140461 140726094140577 140726094140577 140726094147559 0
/proc/330574/statm: 2165 244 220 9 0 87 0
[pid=330575] ppid=330574 vsize=34196 memory=28768 CPUtime=1793.81 cores=1,3
/proc/330575/stat : 330575 (LS-MabSP) R 330574 330574 325114 0 -1 4194304 7948 0 0 0 150865 28516 0 0 20 0 1 0 62091218 35016704 7192 134679101440 4194304 15467897 140722362875968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 53075968 140722362881088 140722362881191 140722362881191 140722362888173 0
/proc/330575/statm: 8549 7192 2833 2753 0 5202 0
Current children cumulated CPU time: 1793.81 s
Current children cumulated vsize: 52788 KiB
Current children cumulated memory: 32396 KiB

[startup+1798.4 s]
/proc/loadavg: 3.91 4.14 4.17 2/222 331659
/proc/meminfo: memFree=129426844/131655788 swapFree=131071216/131071996
[pid=330571] ppid=330568 vsize=9932 memory=2696 CPUtime=1795.02 cores=1,3
/proc/330571/stat : 330571 (Hybrid-LSMabSP+) S 330568 330571 325114 0 -1 4194304 270 8173 0 0 0 0 150967 28535 20 0 1 0 62091217 10170368 674 134679101440 94752846639104 94752847718424 140734628717728 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94752849816880 94752849864068 94752877600768 140734628721644 140734628721790 140734628721790 140734628728801 0
/proc/330571/statm: 2483 674 584 264 0 134 0
Current children cumulated CPU time: 1795.02 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2696 KiB

[startup+1799.2 s]
/proc/loadavg: 3.91 4.14 4.17 2/222 331661
/proc/meminfo: memFree=129414472/131655788 swapFree=131071216/131071996
[pid=330571] ppid=330568 vsize=9932 memory=2696 CPUtime=1795.02 cores=1,3
/proc/330571/stat : 330571 (Hybrid-LSMabSP+) S 330568 330571 325114 0 -1 4194304 270 8173 0 0 0 0 150967 28535 20 0 1 0 62091217 10170368 674 134679101440 94752846639104 94752847718424 140734628717728 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94752849816880 94752849864068 94752877600768 140734628721644 140734628721790 140734628721790 140734628728801 0
/proc/330571/statm: 2483 674 584 264 0 134 0
[pid=331660] ppid=330571 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/331660/stat : 331660 (timeout) S 330571 331660 325114 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62271019 8867840 255 134679101440 94298831912960 94298831947976 140721584669904 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94298834045392 94298834047524 94298844762112 140721584677880 140721584678049 140721584678049 140721584685031 0
/proc/331660/statm: 2165 255 231 9 0 87 0
[pid=331661] ppid=331660 vsize=44768 memory=36552 CPUtime=1.17 cores=1,3
/proc/331661/stat : 331661 (Exact) R 331660 331660 325114 0 -1 4194304 4931 0 0 0 116 1 0 0 20 0 1 0 62271019 45842432 9138 134679101440 4194304 7210733 140731157070128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 33046528 140731157079060 140731157079210 140731157079210 140731157086192 0
/proc/331661/statm: 11192 9138 748 737 0 10280 0
Current children cumulated CPU time: 1796.19 s
Current children cumulated vsize: 63360 KiB
Current children cumulated memory: 40268 KiB

[startup+1799.6 s]
/proc/loadavg: 3.91 4.14 4.17 2/222 331661
/proc/meminfo: memFree=129414472/131655788 swapFree=131071216/131071996
[pid=330571] ppid=330568 vsize=9932 memory=2696 CPUtime=1795.02 cores=1,3
/proc/330571/stat : 330571 (Hybrid-LSMabSP+) S 330568 330571 325114 0 -1 4194304 270 8173 0 0 0 0 150967 28535 20 0 1 0 62091217 10170368 674 134679101440 94752846639104 94752847718424 140734628717728 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94752849816880 94752849864068 94752877600768 140734628721644 140734628721790 140734628721790 140734628728801 0
/proc/330571/statm: 2483 674 584 264 0 134 0
[pid=331660] ppid=330571 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/331660/stat : 331660 (timeout) S 330571 331660 325114 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62271019 8867840 255 134679101440 94298831912960 94298831947976 140721584669904 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94298834045392 94298834047524 94298844762112 140721584677880 140721584678049 140721584678049 140721584685031 0
/proc/331660/statm: 2165 255 231 9 0 87 0
[pid=331661] ppid=331660 vsize=45856 memory=39384 CPUtime=1.57 cores=1,3
/proc/331661/stat : 331661 (Exact) R 331660 331660 325114 0 -1 4194304 5145 0 0 0 156 1 0 0 20 0 1 0 62271019 46956544 9846 134679101440 4194304 7210733 140731157070128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 33046528 140731157079060 140731157079210 140731157079210 140731157086192 0
/proc/331661/statm: 11464 9846 748 737 0 10552 0
Current children cumulated CPU time: 1796.59 s
Current children cumulated vsize: 64448 KiB
Current children cumulated memory: 43100 KiB

Child status: 0

Real time (s): 1799.63
CPU time (s): 1796.64
CPU user time (s): 1511.26
CPU system time (s): 285.38
CPU usage (%): 99.8338
Max. virtual memory (cumulated for all children) (KiB): 65992
Max. memory (cumulated for all children) (KiB): 44064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1511.26
system time used= 285.38
maximum resident set size= 44032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14833
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37
involuntary context switches= 461


# summary of solver processes directly reported to runsolver:
#   pid: 330571
#   total CPU time (s): 1796.64
#   total CPU user time (s): 1511.26
#   total CPU system time (s): 285.38

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2479 second user time and 18.5245 second system time

The end