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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437154-1722971562/watcher-4437154-1722971562 -o /tmp/evaluation-result-4437154-1722971562/solver-4437154-1722971562 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722971562-350198 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437154-1722971562.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=350257, runsolver pid=350244
Current StackSize limit: 8192 KiB


[startup+0.1001 s]*
/proc/loadavg: 1.04 1.10 1.55 7/267 350272
/proc/meminfo: memFree=128756568/131524600 swapFree=131071996/131071996
[pid=350257] ppid=350244 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/350257/stat : 350257 (Hybrid-LSMabSP+) S 350244 350257 350186 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94886150713344 94886151792664 140720353672880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94886153891120 94886153938308 94886164299776 140720353678312 140720353678458 140720353678458 140720353685473 0
/proc/350257/statm: 2483 675 596 264 0 134 0
[pid=350268] ppid=350257 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350268/stat : 350268 (timeout) S 350257 350268 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 258 134679101440 94691554123776 94691554158792 140722405859056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94691556256208 94691556258340 94691572035584 140722405860393 140722405860509 140722405860509 140722405867495 0
/proc/350268/statm: 2165 258 234 9 0 87 0
[pid=350272] ppid=350268 vsize=21156 memory=8700 CPUtime=0.1 cores=1,3
/proc/350272/stat : 350272 (LS-MabSP) R 350268 350268 350186 0 -1 4194304 814 0 0 0 10 0 0 0 20 0 1 0 63753650 21663744 2175 134679101440 4194304 15467897 140722733965472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26845184 140722733974588 140722733974691 140722733974691 140722733981677 0
/proc/350272/statm: 5289 2175 1105 2753 0 1942 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39748 KiB
Current children cumulated memory: 12432 KiB

[startup+0.2065 s]*
/proc/loadavg: 1.04 1.10 1.55 8/267 350272
/proc/meminfo: memFree=128717652/131524600 swapFree=131071996/131071996
[pid=350257] ppid=350244 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/350257/stat : 350257 (Hybrid-LSMabSP+) S 350244 350257 350186 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94886150713344 94886151792664 140720353672880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94886153891120 94886153938308 94886164299776 140720353678312 140720353678458 140720353678458 140720353685473 0
/proc/350257/statm: 2483 675 596 264 0 134 0
[pid=350268] ppid=350257 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350268/stat : 350268 (timeout) S 350257 350268 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 258 134679101440 94691554123776 94691554158792 140722405859056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94691556256208 94691556258340 94691572035584 140722405860393 140722405860509 140722405860509 140722405867495 0
/proc/350268/statm: 2165 258 234 9 0 87 0
[pid=350272] ppid=350268 vsize=30124 memory=24012 CPUtime=0.2 cores=1,3
/proc/350272/stat : 350272 (LS-MabSP) R 350268 350268 350186 0 -1 4194304 4908 0 0 0 19 1 0 0 20 0 1 0 63753650 30846976 6003 134679101440 4194304 15467897 140722733965472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26845184 140722733974588 140722733974691 140722733974691 140722733981677 0
/proc/350272/statm: 7531 6003 2801 2753 0 4184 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 27744 KiB

[startup+0.306592 s]*
/proc/loadavg: 1.04 1.10 1.55 8/267 350272
/proc/meminfo: memFree=128721908/131524600 swapFree=131071996/131071996
[pid=350257] ppid=350244 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/350257/stat : 350257 (Hybrid-LSMabSP+) S 350244 350257 350186 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94886150713344 94886151792664 140720353672880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94886153891120 94886153938308 94886164299776 140720353678312 140720353678458 140720353678458 140720353685473 0
/proc/350257/statm: 2483 675 596 264 0 134 0
[pid=350268] ppid=350257 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350268/stat : 350268 (timeout) S 350257 350268 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 258 134679101440 94691554123776 94691554158792 140722405859056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94691556256208 94691556258340 94691572035584 140722405860393 140722405860509 140722405860509 140722405867495 0
/proc/350268/statm: 2165 258 234 9 0 87 0
[pid=350272] ppid=350268 vsize=30124 memory=24012 CPUtime=0.29 cores=1,3
/proc/350272/stat : 350272 (LS-MabSP) R 350268 350268 350186 0 -1 4194304 4908 0 0 0 28 1 0 0 20 0 1 0 63753650 30846976 6003 134679101440 4194304 15467897 140722733965472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26845184 140722733974588 140722733974691 140722733974691 140722733981677 0
/proc/350272/statm: 7531 6003 2801 2753 0 4184 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 27744 KiB

[startup+0.700211 s]
/proc/loadavg: 1.04 1.10 1.55 8/267 350272
/proc/meminfo: memFree=128721264/131524600 swapFree=131071996/131071996
[pid=350257] ppid=350244 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/350257/stat : 350257 (Hybrid-LSMabSP+) S 350244 350257 350186 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94886150713344 94886151792664 140720353672880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94886153891120 94886153938308 94886164299776 140720353678312 140720353678458 140720353678458 140720353685473 0
/proc/350257/statm: 2483 675 596 264 0 134 0
[pid=350268] ppid=350257 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350268/stat : 350268 (timeout) S 350257 350268 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 258 134679101440 94691554123776 94691554158792 140722405859056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94691556256208 94691556258340 94691572035584 140722405860393 140722405860509 140722405860509 140722405867495 0
/proc/350268/statm: 2165 258 234 9 0 87 0
[pid=350272] ppid=350268 vsize=30124 memory=24012 CPUtime=0.68 cores=1,3
/proc/350272/stat : 350272 (LS-MabSP) R 350268 350268 350186 0 -1 4194304 4908 0 0 0 64 4 0 0 20 0 1 0 63753650 30846976 6003 134679101440 4194304 15467897 140722733965472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26845184 140722733974588 140722733974691 140722733974691 140722733981677 0
/proc/350272/statm: 7531 6003 2801 2753 0 4184 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 27744 KiB

[startup+1.50021 s]
/proc/loadavg: 1.27 1.14 1.56 8/267 350272
/proc/meminfo: memFree=128721160/131524600 swapFree=131071996/131071996
[pid=350257] ppid=350244 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/350257/stat : 350257 (Hybrid-LSMabSP+) S 350244 350257 350186 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94886150713344 94886151792664 140720353672880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94886153891120 94886153938308 94886164299776 140720353678312 140720353678458 140720353678458 140720353685473 0
/proc/350257/statm: 2483 675 596 264 0 134 0
[pid=350268] ppid=350257 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350268/stat : 350268 (timeout) S 350257 350268 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 258 134679101440 94691554123776 94691554158792 140722405859056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94691556256208 94691556258340 94691572035584 140722405860393 140722405860509 140722405860509 140722405867495 0
/proc/350268/statm: 2165 258 234 9 0 87 0
[pid=350272] ppid=350268 vsize=30124 memory=24012 CPUtime=1.48 cores=1,3
/proc/350272/stat : 350272 (LS-MabSP) R 350268 350268 350186 0 -1 4194304 4908 0 0 0 140 8 0 0 20 0 1 0 63753650 30846976 6003 134679101440 4194304 15467897 140722733965472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26845184 140722733974588 140722733974691 140722733974691 140722733981677 0
/proc/350272/statm: 7531 6003 2801 2753 0 4184 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 27744 KiB

[startup+3.10637 s]
/proc/loadavg: 1.27 1.14 1.56 8/267 350272
/proc/meminfo: memFree=128579400/131524600 swapFree=131071996/131071996
[pid=350257] ppid=350244 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/350257/stat : 350257 (Hybrid-LSMabSP+) S 350244 350257 350186 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94886150713344 94886151792664 140720353672880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94886153891120 94886153938308 94886164299776 140720353678312 140720353678458 140720353678458 140720353685473 0
/proc/350257/statm: 2483 675 596 264 0 134 0
[pid=350268] ppid=350257 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350268/stat : 350268 (timeout) S 350257 350268 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 258 134679101440 94691554123776 94691554158792 140722405859056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94691556256208 94691556258340 94691572035584 140722405860393 140722405860509 140722405860509 140722405867495 0
/proc/350268/statm: 2165 258 234 9 0 87 0
[pid=350272] ppid=350268 vsize=30124 memory=24012 CPUtime=3.09 cores=1,3
/proc/350272/stat : 350272 (LS-MabSP) R 350268 350268 350186 0 -1 4194304 4908 0 0 0 292 17 0 0 20 0 1 0 63753650 30846976 6003 134679101440 4194304 15467897 140722733965472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26845184 140722733974588 140722733974691 140722733974691 140722733981677 0
/proc/350272/statm: 7531 6003 2801 2753 0 4184 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 27744 KiB

[startup+6.30021 s]
/proc/loadavg: 1.49 1.19 1.58 8/267 350272
/proc/meminfo: memFree=128530896/131524600 swapFree=131071996/131071996
[pid=350257] ppid=350244 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/350257/stat : 350257 (Hybrid-LSMabSP+) S 350244 350257 350186 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94886150713344 94886151792664 140720353672880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94886153891120 94886153938308 94886164299776 140720353678312 140720353678458 140720353678458 140720353685473 0
/proc/350257/statm: 2483 675 596 264 0 134 0
[pid=350268] ppid=350257 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350268/stat : 350268 (timeout) S 350257 350268 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 258 134679101440 94691554123776 94691554158792 140722405859056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94691556256208 94691556258340 94691572035584 140722405860393 140722405860509 140722405860509 140722405867495 0
/proc/350268/statm: 2165 258 234 9 0 87 0
[pid=350272] ppid=350268 vsize=30124 memory=24012 CPUtime=6.27 cores=1,3
/proc/350272/stat : 350272 (LS-MabSP) R 350268 350268 350186 0 -1 4194304 4908 0 0 0 593 34 0 0 20 0 1 0 63753650 30846976 6003 134679101440 4194304 15467897 140722733965472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26845184 140722733974588 140722733974691 140722733974691 140722733981677 0
/proc/350272/statm: 7531 6003 2801 2753 0 4184 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 27744 KiB

[startup+12.7002 s]
/proc/loadavg: 1.77 1.26 1.60 8/267 350274
/proc/meminfo: memFree=128489720/131524600 swapFree=131071996/131071996
[pid=350257] ppid=350244 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/350257/stat : 350257 (Hybrid-LSMabSP+) S 350244 350257 350186 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94886150713344 94886151792664 140720353672880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94886153891120 94886153938308 94886164299776 140720353678312 140720353678458 140720353678458 140720353685473 0
/proc/350257/statm: 2483 675 596 264 0 134 0
[pid=350268] ppid=350257 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350268/stat : 350268 (timeout) S 350257 350268 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 258 134679101440 94691554123776 94691554158792 140722405859056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94691556256208 94691556258340 94691572035584 140722405860393 140722405860509 140722405860509 140722405867495 0
/proc/350268/statm: 2165 258 234 9 0 87 0
[pid=350272] ppid=350268 vsize=30124 memory=24012 CPUtime=12.67 cores=1,3
/proc/350272/stat : 350272 (LS-MabSP) R 350268 350268 350186 0 -1 4194304 4908 0 0 0 1202 65 0 0 20 0 1 0 63753650 30846976 6003 134679101440 4194304 15467897 140722733965472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26845184 140722733974588 140722733974691 140722733974691 140722733981677 0
/proc/350272/statm: 7531 6003 2801 2753 0 4184 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 27744 KiB

[startup+25.5002 s]
/proc/loadavg: 2.12 1.35 1.62 8/267 350275
/proc/meminfo: memFree=128511628/131524600 swapFree=131071996/131071996
[pid=350257] ppid=350244 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/350257/stat : 350257 (Hybrid-LSMabSP+) S 350244 350257 350186 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94886150713344 94886151792664 140720353672880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94886153891120 94886153938308 94886164299776 140720353678312 140720353678458 140720353678458 140720353685473 0
/proc/350257/statm: 2483 675 596 264 0 134 0
[pid=350268] ppid=350257 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350268/stat : 350268 (timeout) S 350257 350268 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 258 134679101440 94691554123776 94691554158792 140722405859056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94691556256208 94691556258340 94691572035584 140722405860393 140722405860509 140722405860509 140722405867495 0
/proc/350268/statm: 2165 258 234 9 0 87 0
[pid=350272] ppid=350268 vsize=30124 memory=24012 CPUtime=25.45 cores=1,3
/proc/350272/stat : 350272 (LS-MabSP) R 350268 350268 350186 0 -1 4194304 4908 0 0 0 2414 131 0 0 20 0 1 0 63753650 30846976 6003 134679101440 4194304 15467897 140722733965472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26845184 140722733974588 140722733974691 140722733974691 140722733981677 0
/proc/350272/statm: 7531 6003 2801 2753 0 4184 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 27744 KiB

[startup+51.1057 s]
/proc/loadavg: 2.76 1.56 1.69 8/267 350280
/proc/meminfo: memFree=128510500/131524600 swapFree=131071996/131071996
[pid=350257] ppid=350244 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/350257/stat : 350257 (Hybrid-LSMabSP+) S 350244 350257 350186 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94886150713344 94886151792664 140720353672880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94886153891120 94886153938308 94886164299776 140720353678312 140720353678458 140720353678458 140720353685473 0
/proc/350257/statm: 2483 675 596 264 0 134 0
[pid=350268] ppid=350257 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350268/stat : 350268 (timeout) S 350257 350268 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 258 134679101440 94691554123776 94691554158792 140722405859056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94691556256208 94691556258340 94691572035584 140722405860393 140722405860509 140722405860509 140722405867495 0
/proc/350268/statm: 2165 258 234 9 0 87 0
[pid=350272] ppid=350268 vsize=30124 memory=24012 CPUtime=51.01 cores=1,3
/proc/350272/stat : 350272 (LS-MabSP) R 350268 350268 350186 0 -1 4194304 4908 0 0 0 4828 273 0 0 20 0 1 0 63753650 30846976 6003 134679101440 4194304 15467897 140722733965472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26845184 140722733974588 140722733974691 140722733974691 140722733981677 0
/proc/350272/statm: 7531 6003 2801 2753 0 4184 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 27744 KiB

[startup+102.3 s]
/proc/loadavg: 3.95 2.07 1.85 8/267 350289
/proc/meminfo: memFree=128509536/131524600 swapFree=131071996/131071996
[pid=350257] ppid=350244 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/350257/stat : 350257 (Hybrid-LSMabSP+) S 350244 350257 350186 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94886150713344 94886151792664 140720353672880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94886153891120 94886153938308 94886164299776 140720353678312 140720353678458 140720353678458 140720353685473 0

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

/proc/350272/statm: 7531 6096 2801 2753 0 4184 0
Current children cumulated CPU time: 1599.65 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 28116 KiB

[startup+1662.3 s]
/proc/loadavg: 4.12 4.10 3.75 8/267 351195
/proc/meminfo: memFree=128475616/131524600 swapFree=131071996/131071996
[pid=350257] ppid=350244 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/350257/stat : 350257 (Hybrid-LSMabSP+) S 350244 350257 350186 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94886150713344 94886151792664 140720353672880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94886153891120 94886153938308 94886164299776 140720353678312 140720353678458 140720353678458 140720353685473 0
/proc/350257/statm: 2483 675 596 264 0 134 0
[pid=350268] ppid=350257 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350268/stat : 350268 (timeout) S 350257 350268 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 258 134679101440 94691554123776 94691554158792 140722405859056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94691556256208 94691556258340 94691572035584 140722405860393 140722405860509 140722405860509 140722405867495 0
/proc/350268/statm: 2165 258 234 9 0 87 0
[pid=350272] ppid=350268 vsize=30124 memory=24392 CPUtime=1659.54 cores=1,3
/proc/350272/stat : 350272 (LS-MabSP) R 350268 350268 350186 0 -1 4194304 4974 0 0 0 156870 9084 0 0 20 0 1 0 63753650 30846976 6098 134679101440 4194304 15467897 140722733965472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26845184 140722733974588 140722733974691 140722733974691 140722733981677 0
/proc/350272/statm: 7531 6098 2801 2753 0 4184 0
Current children cumulated CPU time: 1659.54 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 28124 KiB

[startup+1722.3 s]
/proc/loadavg: 4.10 4.09 3.78 8/267 351207
/proc/meminfo: memFree=128474480/131524600 swapFree=131071996/131071996
[pid=350257] ppid=350244 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/350257/stat : 350257 (Hybrid-LSMabSP+) S 350244 350257 350186 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94886150713344 94886151792664 140720353672880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94886153891120 94886153938308 94886164299776 140720353678312 140720353678458 140720353678458 140720353685473 0
/proc/350257/statm: 2483 675 596 264 0 134 0
[pid=350268] ppid=350257 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350268/stat : 350268 (timeout) S 350257 350268 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 258 134679101440 94691554123776 94691554158792 140722405859056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94691556256208 94691556258340 94691572035584 140722405860393 140722405860509 140722405860509 140722405867495 0
/proc/350268/statm: 2165 258 234 9 0 87 0
[pid=350272] ppid=350268 vsize=30124 memory=24392 CPUtime=1719.45 cores=1,3
/proc/350272/stat : 350272 (LS-MabSP) R 350268 350268 350186 0 -1 4194304 4976 0 0 0 162533 9412 0 0 20 0 1 0 63753650 30846976 6098 134679101440 4194304 15467897 140722733965472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26845184 140722733974588 140722733974691 140722733974691 140722733981677 0
/proc/350272/statm: 7531 6098 2801 2753 0 4184 0
Current children cumulated CPU time: 1719.45 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 28124 KiB

[startup+1782.3 s]
/proc/loadavg: 4.11 4.09 3.80 8/266 351218
/proc/meminfo: memFree=128473920/131524600 swapFree=131071996/131071996
[pid=350257] ppid=350244 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/350257/stat : 350257 (Hybrid-LSMabSP+) S 350244 350257 350186 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94886150713344 94886151792664 140720353672880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94886153891120 94886153938308 94886164299776 140720353678312 140720353678458 140720353678458 140720353685473 0
/proc/350257/statm: 2483 675 596 264 0 134 0
[pid=350268] ppid=350257 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350268/stat : 350268 (timeout) S 350257 350268 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 258 134679101440 94691554123776 94691554158792 140722405859056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94691556256208 94691556258340 94691572035584 140722405860393 140722405860509 140722405860509 140722405867495 0
/proc/350268/statm: 2165 258 234 9 0 87 0
[pid=350272] ppid=350268 vsize=30124 memory=24392 CPUtime=1779.35 cores=1,3
/proc/350272/stat : 350272 (LS-MabSP) R 350268 350268 350186 0 -1 4194304 4978 0 0 0 168189 9746 0 0 20 0 1 0 63753650 30846976 6098 134679101440 4194304 15467897 140722733965472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26845184 140722733974588 140722733974691 140722733974691 140722733981677 0
/proc/350272/statm: 7531 6098 2801 2753 0 4184 0
Current children cumulated CPU time: 1779.35 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 28124 KiB

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

# cumulated CPU time of all completed processes:  user=1696.81 s, system=98.309 s

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

[startup+1785.6 s]
/proc/loadavg: 4.11 4.09 3.80 8/266 351218
/proc/meminfo: memFree=128473920/131524600 swapFree=131071996/131071996
[pid=350257] ppid=350244 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/350257/stat : 350257 (Hybrid-LSMabSP+) S 350244 350257 350186 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94886150713344 94886151792664 140720353672880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94886153891120 94886153938308 94886164299776 140720353678312 140720353678458 140720353678458 140720353685473 0
/proc/350257/statm: 2483 675 596 264 0 134 0
[pid=350268] ppid=350257 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350268/stat : 350268 (timeout) S 350257 350268 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 258 134679101440 94691554123776 94691554158792 140722405859056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94691556256208 94691556258340 94691572035584 140722405860393 140722405860509 140722405860509 140722405867495 0
/proc/350268/statm: 2165 258 234 9 0 87 0
[pid=350272] ppid=350268 vsize=30124 memory=24392 CPUtime=1782.65 cores=1,3
/proc/350272/stat : 350272 (LS-MabSP) R 350268 350268 350186 0 -1 4194304 4978 0 0 0 168501 9764 0 0 20 0 1 0 63753650 30846976 6098 134679101440 4194304 15467897 140722733965472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26845184 140722733974588 140722733974691 140722733974691 140722733981677 0
/proc/350272/statm: 7531 6098 2801 2753 0 4184 0
Current children cumulated CPU time: 1782.65 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 28124 KiB

[startup+1792 s]*
/proc/loadavg: 4.09 4.09 3.80 8/266 351219
/proc/meminfo: memFree=128473884/131524600 swapFree=131071996/131071996
[pid=350257] ppid=350244 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/350257/stat : 350257 (Hybrid-LSMabSP+) S 350244 350257 350186 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94886150713344 94886151792664 140720353672880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94886153891120 94886153938308 94886164299776 140720353678312 140720353678458 140720353678458 140720353685473 0
/proc/350257/statm: 2483 675 596 264 0 134 0
[pid=350268] ppid=350257 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350268/stat : 350268 (timeout) S 350257 350268 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 258 134679101440 94691554123776 94691554158792 140722405859056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94691556256208 94691556258340 94691572035584 140722405860393 140722405860509 140722405860509 140722405867495 0
/proc/350268/statm: 2165 258 234 9 0 87 0
[pid=350272] ppid=350268 vsize=30124 memory=24392 CPUtime=1789.04 cores=1,3
/proc/350272/stat : 350272 (LS-MabSP) R 350268 350268 350186 0 -1 4194304 4978 0 0 0 169106 9798 0 0 20 0 1 0 63753650 30846976 6098 134679101440 4194304 15467897 140722733965472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26845184 140722733974588 140722733974691 140722733974691 140722733981677 0
/proc/350272/statm: 7531 6098 2801 2753 0 4184 0
Current children cumulated CPU time: 1789.04 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 28124 KiB

[startup+1795.2 s]
/proc/loadavg: 4.09 4.09 3.80 8/266 351219
/proc/meminfo: memFree=128473912/131524600 swapFree=131071996/131071996
[pid=350257] ppid=350244 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/350257/stat : 350257 (Hybrid-LSMabSP+) S 350244 350257 350186 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94886150713344 94886151792664 140720353672880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94886153891120 94886153938308 94886164299776 140720353678312 140720353678458 140720353678458 140720353685473 0
/proc/350257/statm: 2483 675 596 264 0 134 0
[pid=350268] ppid=350257 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350268/stat : 350268 (timeout) S 350257 350268 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 258 134679101440 94691554123776 94691554158792 140722405859056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94691556256208 94691556258340 94691572035584 140722405860393 140722405860509 140722405860509 140722405867495 0
/proc/350268/statm: 2165 258 234 9 0 87 0
[pid=350272] ppid=350268 vsize=30124 memory=24392 CPUtime=1792.23 cores=1,3
/proc/350272/stat : 350272 (LS-MabSP) R 350268 350268 350186 0 -1 4194304 4978 0 0 0 169409 9814 0 0 20 0 1 0 63753650 30846976 6098 134679101440 4194304 15467897 140722733965472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26845184 140722733974588 140722733974691 140722733974691 140722733981677 0
/proc/350272/statm: 7531 6098 2801 2753 0 4184 0
Current children cumulated CPU time: 1792.23 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 28124 KiB

[startup+1796.8 s]
/proc/loadavg: 4.09 4.09 3.80 8/266 351219
/proc/meminfo: memFree=128473880/131524600 swapFree=131071996/131071996
[pid=350257] ppid=350244 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/350257/stat : 350257 (Hybrid-LSMabSP+) S 350244 350257 350186 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94886150713344 94886151792664 140720353672880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94886153891120 94886153938308 94886164299776 140720353678312 140720353678458 140720353678458 140720353685473 0
/proc/350257/statm: 2483 675 596 264 0 134 0
[pid=350268] ppid=350257 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350268/stat : 350268 (timeout) S 350257 350268 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 258 134679101440 94691554123776 94691554158792 140722405859056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94691556256208 94691556258340 94691572035584 140722405860393 140722405860509 140722405860509 140722405867495 0
/proc/350268/statm: 2165 258 234 9 0 87 0
[pid=350272] ppid=350268 vsize=30124 memory=24392 CPUtime=1793.82 cores=1,3
/proc/350272/stat : 350272 (LS-MabSP) R 350268 350268 350186 0 -1 4194304 4978 0 0 0 169560 9822 0 0 20 0 1 0 63753650 30846976 6098 134679101440 4194304 15467897 140722733965472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26845184 140722733974588 140722733974691 140722733974691 140722733981677 0
/proc/350272/statm: 7531 6098 2801 2753 0 4184 0
Current children cumulated CPU time: 1793.82 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 28124 KiB

[startup+1797.6 s]
/proc/loadavg: 4.08 4.08 3.80 8/266 351221
/proc/meminfo: memFree=128473808/131524600 swapFree=131071996/131071996
[pid=350257] ppid=350244 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/350257/stat : 350257 (Hybrid-LSMabSP+) S 350244 350257 350186 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94886150713344 94886151792664 140720353672880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94886153891120 94886153938308 94886164299776 140720353678312 140720353678458 140720353678458 140720353685473 0
/proc/350257/statm: 2483 675 596 264 0 134 0
[pid=350268] ppid=350257 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350268/stat : 350268 (timeout) S 350257 350268 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 258 134679101440 94691554123776 94691554158792 140722405859056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94691556256208 94691556258340 94691572035584 140722405860393 140722405860509 140722405860509 140722405867495 0
/proc/350268/statm: 2165 258 234 9 0 87 0
[pid=350272] ppid=350268 vsize=30124 memory=24392 CPUtime=1794.63 cores=1,3
/proc/350272/stat : 350272 (LS-MabSP) R 350268 350268 350186 0 -1 4194304 4978 0 0 0 169635 9828 0 0 20 0 1 0 63753650 30846976 6098 134679101440 4194304 15467897 140722733965472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26845184 140722733974588 140722733974691 140722733974691 140722733981677 0
/proc/350272/statm: 7531 6098 2801 2753 0 4184 0
Current children cumulated CPU time: 1794.63 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 28124 KiB

[startup+1798 s]*
/proc/loadavg: 4.08 4.08 3.80 8/266 351221
/proc/meminfo: memFree=128473784/131524600 swapFree=131071996/131071996
[pid=350257] ppid=350244 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/350257/stat : 350257 (Hybrid-LSMabSP+) S 350244 350257 350186 0 -1 4194304 237 105 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94886150713344 94886151792664 140720353672880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94886153891120 94886153938308 94886164299776 140720353678312 140720353678458 140720353678458 140720353685473 0
/proc/350257/statm: 2483 675 596 264 0 134 0
[pid=350268] ppid=350257 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/350268/stat : 350268 (timeout) R 350257 350268 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 258 134679101440 94691554123776 94691554158792 140722405859056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94691556256208 94691556258340 94691572035584 140722405860393 140722405860509 140722405860509 140722405867495 0
/proc/350268/statm: 2165 258 234 9 0 87 0
[pid=350272] ppid=350268 vsize=30124 memory=24392 CPUtime=1795.04 cores=1,3
/proc/350272/stat : 350272 (LS-MabSP) R 350268 350268 350186 0 -1 4194304 4978 0 0 0 169674 9830 0 0 20 0 1 0 63753650 30846976 6098 134679101440 4194304 15467897 140722733965472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26845184 140722733974588 140722733974691 140722733974691 140722733981677 0
/proc/350272/statm: 7531 6098 2801 2753 0 4184 0
Current children cumulated CPU time: 1795.04 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 28124 KiB

Child status: 0

Real time (s): 1798.09
CPU time (s): 1795.12
CPU user time (s): 1696.81
CPU system time (s): 98.309
CPU usage (%): 99.8347
Max. virtual memory (cumulated for all children) (KiB): 48716
Max. memory (cumulated for all children) (KiB): 28124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1696.81
system time used= 98.309
maximum resident set size= 30952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8027
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39
involuntary context switches= 470


# summary of solver processes directly reported to runsolver:
#   pid: 350257
#   total CPU time (s): 1795.12
#   total CPU user time (s): 1696.81
#   total CPU system time (s): 98.309

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.04657 second user time and 8.12843 second system time

The end