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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437593-1722973071/watcher-4437593-1722973071 -o /tmp/evaluation-result-4437593-1722973071/solver-4437593-1722973071 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722971270-336973 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437593-1722973071.opb 3600 HOME 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=338168, runsolver pid=338165

[startup+0.100091 s]*
/proc/loadavg: 4.22 4.12 3.91 5/247 338172
/proc/meminfo: memFree=126521792/131655788 swapFree=131071996/131071996
[pid=338168] ppid=338165 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/338168/stat : 338168 (Hybrid-LSMabP+E) S 338165 338168 336962 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 63903974 10170368 670 134679101440 94221739225088 94221740304408 140724172235632 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94221742402864 94221742450052 94221768441856 140724172239854 140724172239999 140724172239999 140724172247010 0
/proc/338168/statm: 2483 670 591 264 0 134 0
[pid=338171] ppid=338168 vsize=8660 memory=988 CPUtime=0 cores=4,6
/proc/338171/stat : 338171 (timeout) S 338168 338171 336962 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63903974 8867840 247 134679101440 94767219085312 94767219120328 140732458723456 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94767221217744 94767221219876 94767250022400 140732458730535 140732458730657 140732458730657 140732458737639 0
/proc/338171/statm: 2165 247 223 9 0 87 0
[pid=338172] ppid=338171 vsize=21980 memory=9764 CPUtime=0.1 cores=4,6
/proc/338172/stat : 338172 (LS-MabP) R 338171 338171 336962 0 -1 4194304 1293 0 0 0 10 0 0 0 20 0 1 0 63903974 22507520 2441 134679101440 4194304 15467897 140736007566256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42954752 140736007574587 140736007574696 140736007574696 140736007581678 0
/proc/338172/statm: 5495 2441 1153 2753 0 2148 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40572 KiB
Current children cumulated memory: 13432 KiB

[startup+0.213347 s]*
/proc/loadavg: 4.22 4.12 3.91 5/247 338172
/proc/meminfo: memFree=126520744/131655788 swapFree=131071996/131071996
[pid=338168] ppid=338165 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/338168/stat : 338168 (Hybrid-LSMabP+E) S 338165 338168 336962 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 63903974 10170368 670 134679101440 94221739225088 94221740304408 140724172235632 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94221742402864 94221742450052 94221768441856 140724172239854 140724172239999 140724172239999 140724172247010 0
/proc/338168/statm: 2483 670 591 264 0 134 0
[pid=338171] ppid=338168 vsize=8660 memory=988 CPUtime=0 cores=4,6
/proc/338171/stat : 338171 (timeout) S 338168 338171 336962 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63903974 8867840 247 134679101440 94767219085312 94767219120328 140732458723456 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94767221217744 94767221219876 94767250022400 140732458730535 140732458730657 140732458730657 140732458737639 0
/proc/338171/statm: 2165 247 223 9 0 87 0
[pid=338172] ppid=338171 vsize=21980 memory=9764 CPUtime=0.21 cores=4,6
/proc/338172/stat : 338172 (LS-MabP) R 338171 338171 336962 0 -1 4194304 1293 0 0 0 19 2 0 0 20 0 1 0 63903974 22507520 2441 134679101440 4194304 15467897 140736007566256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42954752 140736007574587 140736007574696 140736007574696 140736007581678 0
/proc/338172/statm: 5495 2441 1153 2753 0 2148 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40572 KiB
Current children cumulated memory: 13432 KiB

[startup+0.313061 s]*
/proc/loadavg: 4.22 4.12 3.91 5/247 338172
/proc/meminfo: memFree=126520240/131655788 swapFree=131071996/131071996
[pid=338168] ppid=338165 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/338168/stat : 338168 (Hybrid-LSMabP+E) S 338165 338168 336962 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 63903974 10170368 670 134679101440 94221739225088 94221740304408 140724172235632 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94221742402864 94221742450052 94221768441856 140724172239854 140724172239999 140724172239999 140724172247010 0
/proc/338168/statm: 2483 670 591 264 0 134 0
[pid=338171] ppid=338168 vsize=8660 memory=988 CPUtime=0 cores=4,6
/proc/338171/stat : 338171 (timeout) S 338168 338171 336962 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63903974 8867840 247 134679101440 94767219085312 94767219120328 140732458723456 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94767221217744 94767221219876 94767250022400 140732458730535 140732458730657 140732458730657 140732458737639 0
/proc/338171/statm: 2165 247 223 9 0 87 0
[pid=338172] ppid=338171 vsize=21980 memory=9764 CPUtime=0.31 cores=4,6
/proc/338172/stat : 338172 (LS-MabP) R 338171 338171 336962 0 -1 4194304 1293 0 0 0 27 4 0 0 20 0 1 0 63903974 22507520 2441 134679101440 4194304 15467897 140736007566256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42954752 140736007574587 140736007574696 140736007574696 140736007581678 0
/proc/338172/statm: 5495 2441 1153 2753 0 2148 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40572 KiB
Current children cumulated memory: 13432 KiB

[startup+0.70039 s]
/proc/loadavg: 4.22 4.12 3.91 5/247 338172
/proc/meminfo: memFree=126519772/131655788 swapFree=131071996/131071996
[pid=338168] ppid=338165 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/338168/stat : 338168 (Hybrid-LSMabP+E) S 338165 338168 336962 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 63903974 10170368 670 134679101440 94221739225088 94221740304408 140724172235632 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94221742402864 94221742450052 94221768441856 140724172239854 140724172239999 140724172239999 140724172247010 0
/proc/338168/statm: 2483 670 591 264 0 134 0
[pid=338171] ppid=338168 vsize=8660 memory=988 CPUtime=0 cores=4,6
/proc/338171/stat : 338171 (timeout) S 338168 338171 336962 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63903974 8867840 247 134679101440 94767219085312 94767219120328 140732458723456 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94767221217744 94767221219876 94767250022400 140732458730535 140732458730657 140732458730657 140732458737639 0
/proc/338171/statm: 2165 247 223 9 0 87 0
[pid=338172] ppid=338171 vsize=21980 memory=9764 CPUtime=0.69 cores=4,6
/proc/338172/stat : 338172 (LS-MabP) R 338171 338171 336962 0 -1 4194304 1293 0 0 0 58 11 0 0 20 0 1 0 63903974 22507520 2441 134679101440 4194304 15467897 140736007566256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42954752 140736007574587 140736007574696 140736007574696 140736007581678 0
/proc/338172/statm: 5495 2441 1153 2753 0 2148 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40572 KiB
Current children cumulated memory: 13432 KiB

[startup+1.5004 s]
/proc/loadavg: 4.22 4.12 3.91 5/247 338172
/proc/meminfo: memFree=126515060/131655788 swapFree=131071996/131071996
[pid=338168] ppid=338165 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/338168/stat : 338168 (Hybrid-LSMabP+E) S 338165 338168 336962 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 63903974 10170368 670 134679101440 94221739225088 94221740304408 140724172235632 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94221742402864 94221742450052 94221768441856 140724172239854 140724172239999 140724172239999 140724172247010 0
/proc/338168/statm: 2483 670 591 264 0 134 0
[pid=338171] ppid=338168 vsize=8660 memory=988 CPUtime=0 cores=4,6
/proc/338171/stat : 338171 (timeout) S 338168 338171 336962 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63903974 8867840 247 134679101440 94767219085312 94767219120328 140732458723456 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94767221217744 94767221219876 94767250022400 140732458730535 140732458730657 140732458730657 140732458737639 0
/proc/338171/statm: 2165 247 223 9 0 87 0
[pid=338172] ppid=338171 vsize=21980 memory=9764 CPUtime=1.48 cores=4,6
/proc/338172/stat : 338172 (LS-MabP) R 338171 338171 336962 0 -1 4194304 1293 0 0 0 122 26 0 0 20 0 1 0 63903974 22507520 2441 134679101440 4194304 15467897 140736007566256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42954752 140736007574587 140736007574696 140736007574696 140736007581678 0
/proc/338172/statm: 5495 2441 1153 2753 0 2148 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40572 KiB
Current children cumulated memory: 13432 KiB

[startup+3.11278 s]
/proc/loadavg: 4.22 4.12 3.91 5/247 338172
/proc/meminfo: memFree=126511916/131655788 swapFree=131071996/131071996
[pid=338168] ppid=338165 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/338168/stat : 338168 (Hybrid-LSMabP+E) S 338165 338168 336962 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 63903974 10170368 670 134679101440 94221739225088 94221740304408 140724172235632 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94221742402864 94221742450052 94221768441856 140724172239854 140724172239999 140724172239999 140724172247010 0
/proc/338168/statm: 2483 670 591 264 0 134 0
[pid=338171] ppid=338168 vsize=8660 memory=988 CPUtime=0 cores=4,6
/proc/338171/stat : 338171 (timeout) S 338168 338171 336962 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63903974 8867840 247 134679101440 94767219085312 94767219120328 140732458723456 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94767221217744 94767221219876 94767250022400 140732458730535 140732458730657 140732458730657 140732458737639 0
/proc/338171/statm: 2165 247 223 9 0 87 0
[pid=338172] ppid=338171 vsize=21980 memory=9764 CPUtime=3.09 cores=4,6
/proc/338172/stat : 338172 (LS-MabP) R 338171 338171 336962 0 -1 4194304 1293 0 0 0 250 59 0 0 20 0 1 0 63903974 22507520 2441 134679101440 4194304 15467897 140736007566256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42954752 140736007574587 140736007574696 140736007574696 140736007581678 0
/proc/338172/statm: 5495 2441 1153 2753 0 2148 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40572 KiB
Current children cumulated memory: 13432 KiB

[startup+6.30038 s]
/proc/loadavg: 4.20 4.11 3.91 5/247 338174
/proc/meminfo: memFree=126511428/131655788 swapFree=131071996/131071996
[pid=338168] ppid=338165 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/338168/stat : 338168 (Hybrid-LSMabP+E) S 338165 338168 336962 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 63903974 10170368 670 134679101440 94221739225088 94221740304408 140724172235632 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94221742402864 94221742450052 94221768441856 140724172239854 140724172239999 140724172239999 140724172247010 0
/proc/338168/statm: 2483 670 591 264 0 134 0
[pid=338171] ppid=338168 vsize=8660 memory=988 CPUtime=0 cores=4,6
/proc/338171/stat : 338171 (timeout) S 338168 338171 336962 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63903974 8867840 247 134679101440 94767219085312 94767219120328 140732458723456 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94767221217744 94767221219876 94767250022400 140732458730535 140732458730657 140732458730657 140732458737639 0
/proc/338171/statm: 2165 247 223 9 0 87 0
[pid=338172] ppid=338171 vsize=21980 memory=9764 CPUtime=6.27 cores=4,6
/proc/338172/stat : 338172 (LS-MabP) R 338171 338171 336962 0 -1 4194304 1293 0 0 0 504 123 0 0 20 0 1 0 63903974 22507520 2441 134679101440 4194304 15467897 140736007566256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42954752 140736007574587 140736007574696 140736007574696 140736007581678 0
/proc/338172/statm: 5495 2441 1153 2753 0 2148 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40572 KiB
Current children cumulated memory: 13432 KiB

[startup+12.7004 s]
/proc/loadavg: 4.26 4.13 3.91 5/247 338174
/proc/meminfo: memFree=126511068/131655788 swapFree=131071996/131071996
[pid=338168] ppid=338165 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/338168/stat : 338168 (Hybrid-LSMabP+E) S 338165 338168 336962 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 63903974 10170368 670 134679101440 94221739225088 94221740304408 140724172235632 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94221742402864 94221742450052 94221768441856 140724172239854 140724172239999 140724172239999 140724172247010 0
/proc/338168/statm: 2483 670 591 264 0 134 0
[pid=338171] ppid=338168 vsize=8660 memory=988 CPUtime=0 cores=4,6
/proc/338171/stat : 338171 (timeout) S 338168 338171 336962 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63903974 8867840 247 134679101440 94767219085312 94767219120328 140732458723456 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94767221217744 94767221219876 94767250022400 140732458730535 140732458730657 140732458730657 140732458737639 0
/proc/338171/statm: 2165 247 223 9 0 87 0
[pid=338172] ppid=338171 vsize=21980 memory=9764 CPUtime=12.67 cores=4,6
/proc/338172/stat : 338172 (LS-MabP) R 338171 338171 336962 0 -1 4194304 1293 0 0 0 1013 254 0 0 20 0 1 0 63903974 22507520 2441 134679101440 4194304 15467897 140736007566256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42954752 140736007574587 140736007574696 140736007574696 140736007581678 0
/proc/338172/statm: 5495 2441 1153 2753 0 2148 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 40572 KiB
Current children cumulated memory: 13432 KiB

[startup+25.5004 s]
/proc/loadavg: 4.21 4.12 3.92 5/247 338178
/proc/meminfo: memFree=126391568/131655788 swapFree=131071996/131071996
[pid=338168] ppid=338165 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/338168/stat : 338168 (Hybrid-LSMabP+E) S 338165 338168 336962 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 63903974 10170368 670 134679101440 94221739225088 94221740304408 140724172235632 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94221742402864 94221742450052 94221768441856 140724172239854 140724172239999 140724172239999 140724172247010 0
/proc/338168/statm: 2483 670 591 264 0 134 0
[pid=338171] ppid=338168 vsize=8660 memory=988 CPUtime=0 cores=4,6
/proc/338171/stat : 338171 (timeout) S 338168 338171 336962 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63903974 8867840 247 134679101440 94767219085312 94767219120328 140732458723456 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94767221217744 94767221219876 94767250022400 140732458730535 140732458730657 140732458730657 140732458737639 0
/proc/338171/statm: 2165 247 223 9 0 87 0
[pid=338172] ppid=338171 vsize=21980 memory=9764 CPUtime=25.44 cores=4,6
/proc/338172/stat : 338172 (LS-MabP) R 338171 338171 336962 0 -1 4194304 1293 0 0 0 2027 517 0 0 20 0 1 0 63903974 22507520 2441 134679101440 4194304 15467897 140736007566256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42954752 140736007574587 140736007574696 140736007574696 140736007581678 0
/proc/338172/statm: 5495 2441 1153 2753 0 2148 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 40572 KiB
Current children cumulated memory: 13432 KiB

[startup+51.1121 s]
/proc/loadavg: 4.21 4.13 3.92 5/247 338182
/proc/meminfo: memFree=126323976/131655788 swapFree=131071996/131071996
[pid=338168] ppid=338165 vsize=9932 memory=2680 CPUtime=0 cores=4,6
/proc/338168/stat : 338168 (Hybrid-LSMabP+E) S 338165 338168 336962 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 63903974 10170368 670 134679101440 94221739225088 94221740304408 140724172235632 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94221742402864 94221742450052 94221768441856 140724172239854 140724172239999 140724172239999 140724172247010 0
/proc/338168/statm: 2483 670 591 264 0 134 0
[pid=338171] ppid=338168 vsize=8660 memory=988 CPUtime=0 cores=4,6
/proc/338171/stat : 338171 (timeout) S 338168 338171 336962 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63903974 8867840 247 134679101440 94767219085312 94767219120328 140732458723456 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94767221217744 94767221219876 94767250022400 140732458730535 140732458730657 140732458730657 140732458737639 0
/proc/338171/statm: 2165 247 223 9 0 87 0
[pid=338172] ppid=338171 vsize=21980 memory=9764 CPUtime=51.01 cores=4,6
/proc/338172/stat : 338172 (LS-MabP) R 338171 338171 336962 0 -1 4194304 1293 0 0 0 4039 1062 0 0 20 0 1 0 63903974 22507520 2441 134679101440 4194304 15467897 140736007566256 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 42954752 140736007574587 140736007574696 140736007574696 140736007581678 0
/proc/338172/statm: 5495 2441 1153 2753 0 2148 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 40572 KiB
Current children cumulated memory: 13432 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.12 3.93 5/247 338191
/proc/meminfo: memFree=126314676/131655788 swapFree=131071996/131071996
[pid=338168] ppid=338165 vsize=9932 memory=2680 CPUtime=0 cores=4,6

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

/proc/339133/statm: 65688 59920 804 745 0 64753 0
Current children cumulated CPU time: 3214.93 s
Current children cumulated vsize: 281344 KiB
Current children cumulated memory: 243376 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/248 340013
/proc/meminfo: memFree=117042632/131655788 swapFree=131071996/131071996
[pid=338168] ppid=338165 vsize=9932 memory=2724 CPUtime=1794.32 cores=4,6
/proc/338168/stat : 338168 (Hybrid-LSMabP+E) S 338165 338168 336962 0 -1 4194304 268 1515 0 0 0 0 141413 38019 20 0 1 0 63903974 10170368 681 134679101440 94221739225088 94221740304408 140724172235632 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94221742402864 94221742450052 94221768441856 140724172239854 140724172239999 140724172239999 140724172247010 0
/proc/338168/statm: 2483 681 591 264 0 134 0
[pid=339132] ppid=338168 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/339132/stat : 339132 (timeout) S 338168 339132 336962 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 64083775 8867840 243 134679101440 94799370756096 94799370791112 140725547256144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94799372888528 94799372890660 94799384416256 140725547258872 140725547259041 140725547259041 140725547266023 0
/proc/339132/statm: 2165 243 219 9 0 87 0
[pid=339133] ppid=339132 vsize=264140 memory=240768 CPUtime=1480.47 cores=4,6
/proc/339133/stat : 339133 (Exact) R 339132 339132 336962 0 -1 4194304 38775 0 0 0 148036 11 0 0 20 0 1 0 64083775 270479360 60192 134679101440 4194304 7243121 140728072838880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 33128448 140728072844308 140728072844458 140728072844458 140728072851440 0
/proc/339133/statm: 66035 60192 804 745 0 65100 0
Current children cumulated CPU time: 3274.79 s
Current children cumulated vsize: 282732 KiB
Current children cumulated memory: 244464 KiB

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

# cumulated CPU time of all completed processes:  user=2946.75 s, system=380.335 s

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

[startup+3302.4 s]
/proc/loadavg: 4.08 4.13 4.12 5/248 340017
/proc/meminfo: memFree=116855156/131655788 swapFree=131071996/131071996
[pid=338168] ppid=338165 vsize=9932 memory=2724 CPUtime=1794.32 cores=4,6
/proc/338168/stat : 338168 (Hybrid-LSMabP+E) S 338165 338168 336962 0 -1 4194304 268 1515 0 0 0 0 141413 38019 20 0 1 0 63903974 10170368 681 134679101440 94221739225088 94221740304408 140724172235632 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94221742402864 94221742450052 94221768441856 140724172239854 140724172239999 140724172239999 140724172247010 0
/proc/338168/statm: 2483 681 591 264 0 134 0
[pid=339132] ppid=338168 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/339132/stat : 339132 (timeout) S 338168 339132 336962 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 64083775 8867840 243 134679101440 94799370756096 94799370791112 140725547256144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94799372888528 94799372890660 94799384416256 140725547258872 140725547259041 140725547259041 140725547266023 0
/proc/339132/statm: 2165 243 219 9 0 87 0
[pid=339133] ppid=339132 vsize=264140 memory=240768 CPUtime=1500.53 cores=4,6
/proc/339133/stat : 339133 (Exact) R 339132 339132 336962 0 -1 4194304 38789 0 0 0 150041 12 0 0 20 0 1 0 64083775 270479360 60192 134679101440 4194304 7243121 140728072838880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 33128448 140728072844308 140728072844458 140728072844458 140728072851440 0
/proc/339133/statm: 66035 60192 804 745 0 65100 0
Current children cumulated CPU time: 3294.85 s
Current children cumulated vsize: 282732 KiB
Current children cumulated memory: 244464 KiB

[startup+3315.2 s]
/proc/loadavg: 4.15 4.14 4.12 5/248 340020
/proc/meminfo: memFree=116698176/131655788 swapFree=131071996/131071996
[pid=338168] ppid=338165 vsize=9932 memory=2724 CPUtime=1794.32 cores=4,6
/proc/338168/stat : 338168 (Hybrid-LSMabP+E) S 338165 338168 336962 0 -1 4194304 268 1515 0 0 0 0 141413 38019 20 0 1 0 63903974 10170368 681 134679101440 94221739225088 94221740304408 140724172235632 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94221742402864 94221742450052 94221768441856 140724172239854 140724172239999 140724172239999 140724172247010 0
/proc/338168/statm: 2483 681 591 264 0 134 0
[pid=339132] ppid=338168 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/339132/stat : 339132 (timeout) S 338168 339132 336962 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 64083775 8867840 243 134679101440 94799370756096 94799370791112 140725547256144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94799372888528 94799372890660 94799384416256 140725547258872 140725547259041 140725547259041 140725547266023 0
/proc/339132/statm: 2165 243 219 9 0 87 0
[pid=339133] ppid=339132 vsize=264140 memory=240768 CPUtime=1513.3 cores=4,6
/proc/339133/stat : 339133 (Exact) R 339132 339132 336962 0 -1 4194304 38789 0 0 0 151318 12 0 0 20 0 1 0 64083775 270479360 60192 134679101440 4194304 7243121 140728072838880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 33128448 140728072844308 140728072844458 140728072844458 140728072851440 0
/proc/339133/statm: 66035 60192 804 745 0 65100 0
Current children cumulated CPU time: 3307.62 s
Current children cumulated vsize: 282732 KiB
Current children cumulated memory: 244464 KiB

[startup+3328 s]*
/proc/loadavg: 4.12 4.13 4.12 5/248 340022
/proc/meminfo: memFree=116633308/131655788 swapFree=131071996/131071996
[pid=338168] ppid=338165 vsize=9932 memory=2724 CPUtime=1794.32 cores=4,6
/proc/338168/stat : 338168 (Hybrid-LSMabP+E) S 338165 338168 336962 0 -1 4194304 268 1515 0 0 0 0 141413 38019 20 0 1 0 63903974 10170368 681 134679101440 94221739225088 94221740304408 140724172235632 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94221742402864 94221742450052 94221768441856 140724172239854 140724172239999 140724172239999 140724172247010 0
/proc/338168/statm: 2483 681 591 264 0 134 0
[pid=339132] ppid=338168 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/339132/stat : 339132 (timeout) S 338168 339132 336962 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 64083775 8867840 243 134679101440 94799370756096 94799370791112 140725547256144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94799372888528 94799372890660 94799384416256 140725547258872 140725547259041 140725547259041 140725547266023 0
/proc/339132/statm: 2165 243 219 9 0 87 0
[pid=339133] ppid=339132 vsize=269728 memory=245076 CPUtime=1526.08 cores=4,6
/proc/339133/stat : 339133 (Exact) R 339132 339132 336962 0 -1 4194304 39928 0 0 0 152596 12 0 0 20 0 1 0 64083775 276201472 61269 134679101440 4194304 7243121 140728072838880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 33128448 140728072844308 140728072844458 140728072844458 140728072851440 0
/proc/339133/statm: 67432 61269 804 745 0 66497 0
Current children cumulated CPU time: 3320.4 s
Current children cumulated vsize: 288320 KiB
Current children cumulated memory: 248772 KiB

[startup+3331.2 s]
/proc/loadavg: 4.11 4.13 4.12 5/248 340022
/proc/meminfo: memFree=116619624/131655788 swapFree=131071996/131071996
[pid=338168] ppid=338165 vsize=9932 memory=2724 CPUtime=1794.32 cores=4,6
/proc/338168/stat : 338168 (Hybrid-LSMabP+E) S 338165 338168 336962 0 -1 4194304 268 1515 0 0 0 0 141413 38019 20 0 1 0 63903974 10170368 681 134679101440 94221739225088 94221740304408 140724172235632 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94221742402864 94221742450052 94221768441856 140724172239854 140724172239999 140724172239999 140724172247010 0
/proc/338168/statm: 2483 681 591 264 0 134 0
[pid=339132] ppid=338168 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/339132/stat : 339132 (timeout) S 338168 339132 336962 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 64083775 8867840 243 134679101440 94799370756096 94799370791112 140725547256144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94799372888528 94799372890660 94799384416256 140725547258872 140725547259041 140725547259041 140725547266023 0
/proc/339132/statm: 2165 243 219 9 0 87 0
[pid=339133] ppid=339132 vsize=269728 memory=245076 CPUtime=1529.26 cores=4,6
/proc/339133/stat : 339133 (Exact) R 339132 339132 336962 0 -1 4194304 39933 0 0 0 152914 12 0 0 20 0 1 0 64083775 276201472 61269 134679101440 4194304 7243121 140728072838880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 33128448 140728072844308 140728072844458 140728072844458 140728072851440 0
/proc/339133/statm: 67432 61269 804 745 0 66497 0
Current children cumulated CPU time: 3323.58 s
Current children cumulated vsize: 288320 KiB
Current children cumulated memory: 248772 KiB

[startup+3332.8 s]
/proc/loadavg: 4.11 4.13 4.12 5/248 340022
/proc/meminfo: memFree=116618952/131655788 swapFree=131071996/131071996
[pid=338168] ppid=338165 vsize=9932 memory=2724 CPUtime=1794.32 cores=4,6
/proc/338168/stat : 338168 (Hybrid-LSMabP+E) S 338165 338168 336962 0 -1 4194304 268 1515 0 0 0 0 141413 38019 20 0 1 0 63903974 10170368 681 134679101440 94221739225088 94221740304408 140724172235632 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94221742402864 94221742450052 94221768441856 140724172239854 140724172239999 140724172239999 140724172247010 0
/proc/338168/statm: 2483 681 591 264 0 134 0
[pid=339132] ppid=338168 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/339132/stat : 339132 (timeout) S 338168 339132 336962 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 64083775 8867840 243 134679101440 94799370756096 94799370791112 140725547256144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94799372888528 94799372890660 94799384416256 140725547258872 140725547259041 140725547259041 140725547266023 0
/proc/339132/statm: 2165 243 219 9 0 87 0
[pid=339133] ppid=339132 vsize=269728 memory=245076 CPUtime=1530.86 cores=4,6
/proc/339133/stat : 339133 (Exact) R 339132 339132 336962 0 -1 4194304 39935 0 0 0 153074 12 0 0 20 0 1 0 64083775 276201472 61269 134679101440 4194304 7243121 140728072838880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 33128448 140728072844308 140728072844458 140728072844458 140728072851440 0
/proc/339133/statm: 67432 61269 804 745 0 66497 0
Current children cumulated CPU time: 3325.18 s
Current children cumulated vsize: 288320 KiB
Current children cumulated memory: 248772 KiB

[startup+3333.6 s]
/proc/loadavg: 4.11 4.13 4.12 5/248 340022
/proc/meminfo: memFree=116613728/131655788 swapFree=131071996/131071996
[pid=338168] ppid=338165 vsize=9932 memory=2724 CPUtime=1794.32 cores=4,6
/proc/338168/stat : 338168 (Hybrid-LSMabP+E) S 338165 338168 336962 0 -1 4194304 268 1515 0 0 0 0 141413 38019 20 0 1 0 63903974 10170368 681 134679101440 94221739225088 94221740304408 140724172235632 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94221742402864 94221742450052 94221768441856 140724172239854 140724172239999 140724172239999 140724172247010 0
/proc/338168/statm: 2483 681 591 264 0 134 0
[pid=339132] ppid=338168 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/339132/stat : 339132 (timeout) S 338168 339132 336962 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 64083775 8867840 243 134679101440 94799370756096 94799370791112 140725547256144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94799372888528 94799372890660 94799384416256 140725547258872 140725547259041 140725547259041 140725547266023 0
/proc/339132/statm: 2165 243 219 9 0 87 0
[pid=339133] ppid=339132 vsize=269728 memory=245076 CPUtime=1531.66 cores=4,6
/proc/339133/stat : 339133 (Exact) R 339132 339132 336962 0 -1 4194304 39937 0 0 0 153154 12 0 0 20 0 1 0 64083775 276201472 61269 134679101440 4194304 7243121 140728072838880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 33128448 140728072844308 140728072844458 140728072844458 140728072851440 0
/proc/339133/statm: 67432 61269 804 745 0 66497 0
Current children cumulated CPU time: 3325.98 s
Current children cumulated vsize: 288320 KiB
Current children cumulated memory: 248772 KiB

[startup+3334.4 s]
/proc/loadavg: 4.10 4.13 4.12 5/248 340022
/proc/meminfo: memFree=116610588/131655788 swapFree=131071996/131071996
[pid=338168] ppid=338165 vsize=9932 memory=2724 CPUtime=1794.32 cores=4,6
/proc/338168/stat : 338168 (Hybrid-LSMabP+E) S 338165 338168 336962 0 -1 4194304 268 1515 0 0 0 0 141413 38019 20 0 1 0 63903974 10170368 681 134679101440 94221739225088 94221740304408 140724172235632 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94221742402864 94221742450052 94221768441856 140724172239854 140724172239999 140724172239999 140724172247010 0
/proc/338168/statm: 2483 681 591 264 0 134 0
[pid=339132] ppid=338168 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/339132/stat : 339132 (timeout) S 338168 339132 336962 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 64083775 8867840 243 134679101440 94799370756096 94799370791112 140725547256144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94799372888528 94799372890660 94799384416256 140725547258872 140725547259041 140725547259041 140725547266023 0
/proc/339132/statm: 2165 243 219 9 0 87 0
[pid=339133] ppid=339132 vsize=269728 memory=245076 CPUtime=1532.45 cores=4,6
/proc/339133/stat : 339133 (Exact) R 339132 339132 336962 0 -1 4194304 39937 0 0 0 153233 12 0 0 20 0 1 0 64083775 276201472 61269 134679101440 4194304 7243121 140728072838880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 33128448 140728072844308 140728072844458 140728072844458 140728072851440 0
/proc/339133/statm: 67432 61269 804 745 0 66497 0
Current children cumulated CPU time: 3326.77 s
Current children cumulated vsize: 288320 KiB
Current children cumulated memory: 248772 KiB

[startup+3334.6 s]
/proc/loadavg: 4.10 4.13 4.12 5/248 340022
/proc/meminfo: memFree=116610588/131655788 swapFree=131071996/131071996
[pid=338168] ppid=338165 vsize=9932 memory=2724 CPUtime=1794.32 cores=4,6
/proc/338168/stat : 338168 (Hybrid-LSMabP+E) S 338165 338168 336962 0 -1 4194304 268 1515 0 0 0 0 141413 38019 20 0 1 0 63903974 10170368 681 134679101440 94221739225088 94221740304408 140724172235632 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94221742402864 94221742450052 94221768441856 140724172239854 140724172239999 140724172239999 140724172247010 0
/proc/338168/statm: 2483 681 591 264 0 134 0
[pid=339132] ppid=338168 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/339132/stat : 339132 (timeout) S 338168 339132 336962 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 64083775 8867840 243 134679101440 94799370756096 94799370791112 140725547256144 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94799372888528 94799372890660 94799384416256 140725547258872 140725547259041 140725547259041 140725547266023 0
/proc/339132/statm: 2165 243 219 9 0 87 0
[pid=339133] ppid=339132 vsize=269728 memory=245076 CPUtime=1532.65 cores=4,6
/proc/339133/stat : 339133 (Exact) R 339132 339132 336962 0 -1 4194304 39937 0 0 0 153253 12 0 0 20 0 1 0 64083775 276201472 61269 134679101440 4194304 7243121 140728072838880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 33128448 140728072844308 140728072844458 140728072844458 140728072851440 0
/proc/339133/statm: 67432 61269 804 745 0 66497 0
Current children cumulated CPU time: 3326.97 s
Current children cumulated vsize: 288320 KiB
Current children cumulated memory: 248772 KiB

Child status: 0

Real time (s): 3334.7
CPU time (s): 3327.09
CPU user time (s): 2946.75
CPU system time (s): 380.335
CPU usage (%): 99.7718
Max. virtual memory (cumulated for all children) (KiB): 288320
Max. memory (cumulated for all children) (KiB): 248772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2946.75
system time used= 380.335
maximum resident set size= 245076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42947
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76
involuntary context switches= 1859


# summary of solver processes directly reported to runsolver:
#   pid: 338168
#   total CPU time (s): 3327.09
#   total CPU user time (s): 2946.75
#   total CPU system time (s): 380.335

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2867 second user time and 34.0191 second system time

The end