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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438412-1722965244/watcher-4438412-1722965244 -o /tmp/evaluation-result-4438412-1722965244/solver-4438412-1722965244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722961045-343090 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438412-1722965244.opb 3600 HOME 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10009 s]*
/proc/loadavg: 4.13 4.14 4.09 5/264 346354
/proc/meminfo: memFree=97877544/131524600 swapFree=131071472/131071996
[pid=346350] ppid=346347 vsize=9932 memory=2640 CPUtime=0 cores=0,2
/proc/346350/stat : 346350 (Hybrid-CASHWMax) S 346347 346350 343080 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 63122284 10170368 660 134679101440 94171090513920 94171091593240 140729173314816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94171093691696 94171093738884 94171107794944 140729173316560 140729173316718 140729173316718 140729173323733 0
/proc/346350/statm: 2483 660 580 264 0 134 0
[pid=346353] ppid=346350 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/346353/stat : 346353 (timeout) S 346350 346353 343080 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63122284 8867840 245 134679101440 94630166261760 94630166296776 140720384510560 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94630168394192 94630168396324 94630172798976 140720384517132 140720384517277 140720384517277 140720384524263 0
/proc/346353/statm: 2165 245 221 9 0 87 0
[pid=346354] ppid=346353 vsize=39852 memory=21348 CPUtime=0.09 cores=0,2
/proc/346354/stat : 346354 (CASHWMaxSAT-Dis) R 346353 346353 343080 0 -1 4194304 4675 0 0 0 9 0 0 0 20 0 1 0 63122284 40808448 5337 134679101440 4194304 14093885 140731199205168 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21499904 140731199206418 140731199206550 140731199206550 140731199213536 0
/proc/346354/statm: 9963 5337 750 2417 0 7065 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58444 KiB
Current children cumulated memory: 24968 KiB

[startup+0.206147 s]*
/proc/loadavg: 4.13 4.14 4.09 5/264 346354
/proc/meminfo: memFree=97857100/131524600 swapFree=131071472/131071996
[pid=346350] ppid=346347 vsize=9932 memory=2640 CPUtime=0 cores=0,2
/proc/346350/stat : 346350 (Hybrid-CASHWMax) S 346347 346350 343080 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 63122284 10170368 660 134679101440 94171090513920 94171091593240 140729173314816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94171093691696 94171093738884 94171107794944 140729173316560 140729173316718 140729173316718 140729173323733 0
/proc/346350/statm: 2483 660 580 264 0 134 0
[pid=346353] ppid=346350 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/346353/stat : 346353 (timeout) S 346350 346353 343080 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63122284 8867840 245 134679101440 94630166261760 94630166296776 140720384510560 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94630168394192 94630168396324 94630172798976 140720384517132 140720384517277 140720384517277 140720384524263 0
/proc/346353/statm: 2165 245 221 9 0 87 0
[pid=346354] ppid=346353 vsize=57852 memory=39320 CPUtime=0.2 cores=0,2
/proc/346354/stat : 346354 (CASHWMaxSAT-Dis) R 346353 346353 343080 0 -1 4194304 9189 0 0 0 19 1 0 0 20 0 1 0 63122284 59240448 9830 134679101440 4194304 14093885 140731199205168 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21499904 140731199206418 140731199206550 140731199206550 140731199213536 0
/proc/346354/statm: 14463 9830 750 2417 0 11565 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 76444 KiB
Current children cumulated memory: 42940 KiB

[startup+0.306081 s]*
/proc/loadavg: 4.13 4.14 4.09 5/264 346354
/proc/meminfo: memFree=97839796/131524600 swapFree=131071472/131071996
[pid=346350] ppid=346347 vsize=9932 memory=2640 CPUtime=0 cores=0,2
/proc/346350/stat : 346350 (Hybrid-CASHWMax) S 346347 346350 343080 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 63122284 10170368 660 134679101440 94171090513920 94171091593240 140729173314816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94171093691696 94171093738884 94171107794944 140729173316560 140729173316718 140729173316718 140729173323733 0
/proc/346350/statm: 2483 660 580 264 0 134 0
[pid=346353] ppid=346350 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/346353/stat : 346353 (timeout) S 346350 346353 343080 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63122284 8867840 245 134679101440 94630166261760 94630166296776 140720384510560 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94630168394192 94630168396324 94630172798976 140720384517132 140720384517277 140720384517277 140720384524263 0
/proc/346353/statm: 2165 245 221 9 0 87 0
[pid=346354] ppid=346353 vsize=73932 memory=56072 CPUtime=0.29 cores=0,2
/proc/346354/stat : 346354 (CASHWMaxSAT-Dis) R 346353 346353 343080 0 -1 4194304 13323 0 0 0 28 1 0 0 20 0 1 0 63122284 75706368 14018 134679101440 4194304 14093885 140731199205168 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21499904 140731199206418 140731199206550 140731199206550 140731199213536 0
/proc/346354/statm: 18483 14018 782 2417 0 15585 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 92524 KiB
Current children cumulated memory: 59692 KiB

[startup+0.700299 s]
/proc/loadavg: 4.13 4.14 4.09 5/264 346354
/proc/meminfo: memFree=97764420/131524600 swapFree=131071472/131071996
[pid=346350] ppid=346347 vsize=9932 memory=2640 CPUtime=0 cores=0,2
/proc/346350/stat : 346350 (Hybrid-CASHWMax) S 346347 346350 343080 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 63122284 10170368 660 134679101440 94171090513920 94171091593240 140729173314816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94171093691696 94171093738884 94171107794944 140729173316560 140729173316718 140729173316718 140729173323733 0
/proc/346350/statm: 2483 660 580 264 0 134 0
[pid=346353] ppid=346350 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/346353/stat : 346353 (timeout) S 346350 346353 343080 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63122284 8867840 245 134679101440 94630166261760 94630166296776 140720384510560 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94630168394192 94630168396324 94630172798976 140720384517132 140720384517277 140720384517277 140720384524263 0
/proc/346353/statm: 2165 245 221 9 0 87 0
[pid=346354] ppid=346353 vsize=192152 memory=181280 CPUtime=0.68 cores=0,2
/proc/346354/stat : 346354 (CASHWMaxSAT-Dis) R 346353 346353 343080 0 -1 4194304 43956 0 0 0 62 6 0 0 20 0 1 0 63122284 196763648 45320 134679101440 4194304 14093885 140731199205168 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21499904 140731199206418 140731199206550 140731199206550 140731199213536 0
/proc/346354/statm: 48038 45320 2350 2417 0 45140 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 210744 KiB
Current children cumulated memory: 184900 KiB

[startup+1.50031 s]
/proc/loadavg: 4.13 4.14 4.09 5/264 346354
/proc/meminfo: memFree=97708612/131524600 swapFree=131071472/131071996
[pid=346350] ppid=346347 vsize=9932 memory=2640 CPUtime=0 cores=0,2
/proc/346350/stat : 346350 (Hybrid-CASHWMax) S 346347 346350 343080 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 63122284 10170368 660 134679101440 94171090513920 94171091593240 140729173314816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94171093691696 94171093738884 94171107794944 140729173316560 140729173316718 140729173316718 140729173323733 0
/proc/346350/statm: 2483 660 580 264 0 134 0
[pid=346353] ppid=346350 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/346353/stat : 346353 (timeout) S 346350 346353 343080 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63122284 8867840 245 134679101440 94630166261760 94630166296776 140720384510560 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94630168394192 94630168396324 94630172798976 140720384517132 140720384517277 140720384517277 140720384524263 0
/proc/346353/statm: 2165 245 221 9 0 87 0
[pid=346354] ppid=346353 vsize=249348 memory=235832 CPUtime=1.48 cores=0,2
/proc/346354/stat : 346354 (CASHWMaxSAT-Dis) R 346353 346353 343080 0 -1 4194304 56949 0 0 0 140 8 0 0 20 0 1 0 63122284 255332352 58958 134679101440 4194304 14093885 140731199205168 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21499904 140731199206418 140731199206550 140731199206550 140731199213536 0
/proc/346354/statm: 62337 58958 2510 2417 0 59439 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 267940 KiB
Current children cumulated memory: 239452 KiB

[startup+3.10595 s]
/proc/loadavg: 4.13 4.14 4.09 5/264 346354
/proc/meminfo: memFree=97644100/131524600 swapFree=131071472/131071996
[pid=346350] ppid=346347 vsize=9932 memory=2640 CPUtime=0 cores=0,2
/proc/346350/stat : 346350 (Hybrid-CASHWMax) S 346347 346350 343080 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 63122284 10170368 660 134679101440 94171090513920 94171091593240 140729173314816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94171093691696 94171093738884 94171107794944 140729173316560 140729173316718 140729173316718 140729173323733 0
/proc/346350/statm: 2483 660 580 264 0 134 0
[pid=346353] ppid=346350 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/346353/stat : 346353 (timeout) S 346350 346353 343080 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63122284 8867840 245 134679101440 94630166261760 94630166296776 140720384510560 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94630168394192 94630168396324 94630172798976 140720384517132 140720384517277 140720384517277 140720384524263 0
/proc/346353/statm: 2165 245 221 9 0 87 0
[pid=346354] ppid=346353 vsize=249520 memory=236616 CPUtime=3.08 cores=0,2
/proc/346354/stat : 346354 (CASHWMaxSAT-Dis) R 346353 346353 343080 0 -1 4194304 57175 0 0 0 300 8 0 0 20 0 1 0 63122284 255508480 59154 134679101440 4194304 14093885 140731199205168 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21499904 140731199206418 140731199206550 140731199206550 140731199213536 0
/proc/346354/statm: 62380 59154 2510 2417 0 59482 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 268112 KiB
Current children cumulated memory: 240236 KiB

[startup+6.3003 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 346354
/proc/meminfo: memFree=97618144/131524600 swapFree=131071472/131071996
[pid=346350] ppid=346347 vsize=9932 memory=2640 CPUtime=0 cores=0,2
/proc/346350/stat : 346350 (Hybrid-CASHWMax) S 346347 346350 343080 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 63122284 10170368 660 134679101440 94171090513920 94171091593240 140729173314816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94171093691696 94171093738884 94171107794944 140729173316560 140729173316718 140729173316718 140729173323733 0
/proc/346350/statm: 2483 660 580 264 0 134 0
[pid=346353] ppid=346350 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/346353/stat : 346353 (timeout) S 346350 346353 343080 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63122284 8867840 245 134679101440 94630166261760 94630166296776 140720384510560 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94630168394192 94630168396324 94630172798976 140720384517132 140720384517277 140720384517277 140720384524263 0
/proc/346353/statm: 2165 245 221 9 0 87 0
[pid=346354] ppid=346353 vsize=249520 memory=236616 CPUtime=6.27 cores=0,2
/proc/346354/stat : 346354 (CASHWMaxSAT-Dis) R 346353 346353 343080 0 -1 4194304 57189 0 0 0 619 8 0 0 20 0 1 0 63122284 255508480 59154 134679101440 4194304 14093885 140731199205168 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21499904 140731199206418 140731199206550 140731199206550 140731199213536 0
/proc/346354/statm: 62380 59154 2510 2417 0 59482 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 268112 KiB
Current children cumulated memory: 240236 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.13 4.09 5/264 346357
/proc/meminfo: memFree=109574052/131524600 swapFree=131071472/131071996
[pid=346350] ppid=346347 vsize=9932 memory=2640 CPUtime=0 cores=0,2
/proc/346350/stat : 346350 (Hybrid-CASHWMax) S 346347 346350 343080 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 63122284 10170368 660 134679101440 94171090513920 94171091593240 140729173314816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94171093691696 94171093738884 94171107794944 140729173316560 140729173316718 140729173316718 140729173323733 0
/proc/346350/statm: 2483 660 580 264 0 134 0
[pid=346353] ppid=346350 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/346353/stat : 346353 (timeout) S 346350 346353 343080 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63122284 8867840 245 134679101440 94630166261760 94630166296776 140720384510560 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94630168394192 94630168396324 94630172798976 140720384517132 140720384517277 140720384517277 140720384524263 0
/proc/346353/statm: 2165 245 221 9 0 87 0
[pid=346354] ppid=346353 vsize=250848 memory=237920 CPUtime=12.64 cores=0,2
/proc/346354/stat : 346354 (CASHWMaxSAT-Dis) R 346353 346353 343080 0 -1 4194304 57487 0 0 0 1256 8 0 0 20 0 1 0 63122284 256868352 59480 134679101440 4194304 14093885 140731199205168 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21499904 140731199206418 140731199206550 140731199206550 140731199213536 0
/proc/346354/statm: 62712 59480 2510 2417 0 59814 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 269440 KiB
Current children cumulated memory: 241540 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.14 4.09 5/264 346361
/proc/meminfo: memFree=103834532/131524600 swapFree=131071472/131071996
[pid=346350] ppid=346347 vsize=9932 memory=2640 CPUtime=0 cores=0,2
/proc/346350/stat : 346350 (Hybrid-CASHWMax) S 346347 346350 343080 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 63122284 10170368 660 134679101440 94171090513920 94171091593240 140729173314816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94171093691696 94171093738884 94171107794944 140729173316560 140729173316718 140729173316718 140729173323733 0
/proc/346350/statm: 2483 660 580 264 0 134 0
[pid=346353] ppid=346350 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/346353/stat : 346353 (timeout) S 346350 346353 343080 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63122284 8867840 245 134679101440 94630166261760 94630166296776 140720384510560 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94630168394192 94630168396324 94630172798976 140720384517132 140720384517277 140720384517277 140720384524263 0
/proc/346353/statm: 2165 245 221 9 0 87 0
[pid=346354] ppid=346353 vsize=250848 memory=237920 CPUtime=25.4 cores=0,2
/proc/346354/stat : 346354 (CASHWMaxSAT-Dis) R 346353 346353 343080 0 -1 4194304 57492 0 0 0 2532 8 0 0 20 0 1 0 63122284 256868352 59480 134679101440 4194304 14093885 140731199205168 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21499904 140731199206418 140731199206550 140731199206550 140731199213536 0
/proc/346354/statm: 62712 59480 2510 2417 0 59814 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 269440 KiB
Current children cumulated memory: 241540 KiB

[startup+51.1061 s]
/proc/loadavg: 4.11 4.13 4.09 5/264 346365
/proc/meminfo: memFree=103263180/131524600 swapFree=131071472/131071996
[pid=346350] ppid=346347 vsize=9932 memory=2640 CPUtime=0 cores=0,2
/proc/346350/stat : 346350 (Hybrid-CASHWMax) S 346347 346350 343080 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 63122284 10170368 660 134679101440 94171090513920 94171091593240 140729173314816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94171093691696 94171093738884 94171107794944 140729173316560 140729173316718 140729173316718 140729173323733 0
/proc/346350/statm: 2483 660 580 264 0 134 0
[pid=346353] ppid=346350 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/346353/stat : 346353 (timeout) S 346350 346353 343080 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63122284 8867840 245 134679101440 94630166261760 94630166296776 140720384510560 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94630168394192 94630168396324 94630172798976 140720384517132 140720384517277 140720384517277 140720384524263 0
/proc/346353/statm: 2165 245 221 9 0 87 0
[pid=346354] ppid=346353 vsize=250848 memory=237920 CPUtime=50.92 cores=0,2
/proc/346354/stat : 346354 (CASHWMaxSAT-Dis) R 346353 346353 343080 0 -1 4194304 57498 0 0 0 5083 9 0 0 20 0 1 0 63122284 256868352 59480 134679101440 4194304 14093885 140731199205168 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21499904 140731199206418 140731199206550 140731199206550 140731199213536 0
/proc/346354/statm: 62712 59480 2510 2417 0 59814 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 269440 KiB
Current children cumulated memory: 241540 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/266 346544
/proc/meminfo: memFree=103222296/131524600 swapFree=131071472/131071996
[pid=346350] ppid=346347 vsize=9932 memory=2640 CPUtime=0 cores=0,2
/proc/346350/stat : 346350 (Hybrid-CASHWMax) S 346347 346350 343080 0 -1 4194304 239 100 0 0 0 0 0 0 20 0 1 0 63122284 10170368 660 134679101440 94171090513920 94171091593240 140729173314816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94171093691696 94171093738884 94171107794944 140729173316560 140729173316718 140729173316718 140729173323733 0

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

/proc/347406/statm: 10503 7053 748 737 0 9591 0
Current children cumulated CPU time: 1836.04 s
Current children cumulated vsize: 60604 KiB
Current children cumulated memory: 31928 KiB

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

# cumulated CPU time of all completed processes:  user=1877.59 s, system=0.198597 s

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

[startup+1843.2 s]
/proc/loadavg: 4.14 4.10 4.09 5/257 347457
/proc/meminfo: memFree=112994340/131524600 swapFree=131071472/131071996
[pid=346350] ppid=346347 vsize=9932 memory=2692 CPUtime=1791.92 cores=0,2
/proc/346350/stat : 346350 (Hybrid-CASHWMax) S 346347 346350 343080 0 -1 4194304 272 71874 0 0 0 0 179178 14 20 0 1 0 63122284 10170368 673 134679101440 94171090513920 94171091593240 140729173314816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94171093691696 94171093738884 94171107794944 140729173316560 140729173316718 140729173316718 140729173323733 0
/proc/346350/statm: 2483 673 580 264 0 134 0
[pid=347405] ppid=346350 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/347405/stat : 347405 (timeout) S 346350 347405 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63302085 8867840 256 134679101440 94845242621952 94845242656968 140735278039040 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94845244754384 94845244756516 94845263548416 140735278044148 140735278044317 140735278044317 140735278051303 0
/proc/347405/statm: 2165 256 231 9 0 87 0
[pid=347406] ppid=347405 vsize=42012 memory=28212 CPUtime=45.02 cores=0,2
/proc/347406/stat : 347406 (Exact) R 347405 347405 343080 0 -1 4194304 15968 0 0 0 4499 3 0 0 20 0 1 0 63302085 43020288 7053 134679101440 4194304 7210733 140720951717392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 37138432 140720951723024 140720951723174 140720951723174 140720951730160 0
/proc/347406/statm: 10503 7053 748 737 0 9591 0
Current children cumulated CPU time: 1836.94 s
Current children cumulated vsize: 60604 KiB
Current children cumulated memory: 31928 KiB

[startup+1868.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 347481
/proc/meminfo: memFree=112092252/131524600 swapFree=131071472/131071996
[pid=346350] ppid=346347 vsize=9932 memory=2692 CPUtime=1791.92 cores=0,2
/proc/346350/stat : 346350 (Hybrid-CASHWMax) S 346347 346350 343080 0 -1 4194304 272 71874 0 0 0 0 179178 14 20 0 1 0 63122284 10170368 673 134679101440 94171090513920 94171091593240 140729173314816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94171093691696 94171093738884 94171107794944 140729173316560 140729173316718 140729173316718 140729173323733 0
/proc/346350/statm: 2483 673 580 264 0 134 0
[pid=347405] ppid=346350 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/347405/stat : 347405 (timeout) S 346350 347405 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63302085 8867840 256 134679101440 94845242621952 94845242656968 140735278039040 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94845244754384 94845244756516 94845263548416 140735278044148 140735278044317 140735278044317 140735278051303 0
/proc/347405/statm: 2165 256 231 9 0 87 0
[pid=347406] ppid=347405 vsize=42528 memory=28740 CPUtime=70.52 cores=0,2
/proc/347406/stat : 347406 (Exact) R 347405 347405 343080 0 -1 4194304 21369 0 0 0 7048 4 0 0 20 0 1 0 63302085 43548672 7185 134679101440 4194304 7210733 140720951717392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 37138432 140720951723024 140720951723174 140720951723174 140720951730160 0
/proc/347406/statm: 10632 7185 748 737 0 9720 0
Current children cumulated CPU time: 1862.44 s
Current children cumulated vsize: 61120 KiB
Current children cumulated memory: 32456 KiB

[startup+1875.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 347481
/proc/meminfo: memFree=112083672/131524600 swapFree=131071472/131071996
[pid=346350] ppid=346347 vsize=9932 memory=2692 CPUtime=1791.92 cores=0,2
/proc/346350/stat : 346350 (Hybrid-CASHWMax) S 346347 346350 343080 0 -1 4194304 272 71874 0 0 0 0 179178 14 20 0 1 0 63122284 10170368 673 134679101440 94171090513920 94171091593240 140729173314816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94171093691696 94171093738884 94171107794944 140729173316560 140729173316718 140729173316718 140729173323733 0
/proc/346350/statm: 2483 673 580 264 0 134 0
[pid=347405] ppid=346350 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/347405/stat : 347405 (timeout) S 346350 347405 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63302085 8867840 256 134679101440 94845242621952 94845242656968 140735278039040 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94845244754384 94845244756516 94845263548416 140735278044148 140735278044317 140735278044317 140735278051303 0
/proc/347405/statm: 2165 256 231 9 0 87 0
[pid=347406] ppid=347405 vsize=42648 memory=28872 CPUtime=76.9 cores=0,2
/proc/347406/stat : 347406 (Exact) R 347405 347405 343080 0 -1 4194304 22670 0 0 0 7686 4 0 0 20 0 1 0 63302085 43671552 7218 134679101440 4194304 7210733 140720951717392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 37138432 140720951723024 140720951723174 140720951723174 140720951730160 0
/proc/347406/statm: 10662 7218 748 737 0 9750 0
Current children cumulated CPU time: 1868.82 s
Current children cumulated vsize: 61240 KiB
Current children cumulated memory: 32588 KiB

[startup+1878.4 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 347651
/proc/meminfo: memFree=112076024/131524600 swapFree=131071472/131071996
[pid=346350] ppid=346347 vsize=9932 memory=2692 CPUtime=1791.92 cores=0,2
/proc/346350/stat : 346350 (Hybrid-CASHWMax) S 346347 346350 343080 0 -1 4194304 272 71874 0 0 0 0 179178 14 20 0 1 0 63122284 10170368 673 134679101440 94171090513920 94171091593240 140729173314816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94171093691696 94171093738884 94171107794944 140729173316560 140729173316718 140729173316718 140729173323733 0
/proc/346350/statm: 2483 673 580 264 0 134 0
[pid=347405] ppid=346350 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/347405/stat : 347405 (timeout) S 346350 347405 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63302085 8867840 256 134679101440 94845242621952 94845242656968 140735278039040 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94845244754384 94845244756516 94845263548416 140735278044148 140735278044317 140735278044317 140735278051303 0
/proc/347405/statm: 2165 256 231 9 0 87 0
[pid=347406] ppid=347405 vsize=42744 memory=28968 CPUtime=80.09 cores=0,2
/proc/347406/stat : 347406 (Exact) R 347405 347405 343080 0 -1 4194304 23412 0 0 0 8005 4 0 0 20 0 1 0 63302085 43769856 7242 134679101440 4194304 7210733 140720951717392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 37138432 140720951723024 140720951723174 140720951723174 140720951730160 0
/proc/347406/statm: 10686 7242 748 737 0 9774 0
Current children cumulated CPU time: 1872.01 s
Current children cumulated vsize: 61336 KiB
Current children cumulated memory: 32684 KiB

[startup+1881.6 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 347651
/proc/meminfo: memFree=112071920/131524600 swapFree=131071472/131071996
[pid=346350] ppid=346347 vsize=9932 memory=2692 CPUtime=1791.92 cores=0,2
/proc/346350/stat : 346350 (Hybrid-CASHWMax) S 346347 346350 343080 0 -1 4194304 272 71874 0 0 0 0 179178 14 20 0 1 0 63122284 10170368 673 134679101440 94171090513920 94171091593240 140729173314816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94171093691696 94171093738884 94171107794944 140729173316560 140729173316718 140729173316718 140729173323733 0
/proc/346350/statm: 2483 673 580 264 0 134 0
[pid=347405] ppid=346350 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/347405/stat : 347405 (timeout) S 346350 347405 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63302085 8867840 256 134679101440 94845242621952 94845242656968 140735278039040 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94845244754384 94845244756516 94845263548416 140735278044148 140735278044317 140735278044317 140735278051303 0
/proc/347405/statm: 2165 256 231 9 0 87 0
[pid=347406] ppid=347405 vsize=42820 memory=29048 CPUtime=83.27 cores=0,2
/proc/347406/stat : 347406 (Exact) R 347405 347405 343080 0 -1 4194304 24151 0 0 0 8323 4 0 0 20 0 1 0 63302085 43847680 7262 134679101440 4194304 7210733 140720951717392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 37138432 140720951723024 140720951723174 140720951723174 140720951730160 0
/proc/347406/statm: 10705 7262 748 737 0 9793 0
Current children cumulated CPU time: 1875.19 s
Current children cumulated vsize: 61412 KiB
Current children cumulated memory: 32764 KiB

[startup+1883.2 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 347651
/proc/meminfo: memFree=112067828/131524600 swapFree=131071472/131071996
[pid=346350] ppid=346347 vsize=9932 memory=2692 CPUtime=1791.92 cores=0,2
/proc/346350/stat : 346350 (Hybrid-CASHWMax) S 346347 346350 343080 0 -1 4194304 272 71874 0 0 0 0 179178 14 20 0 1 0 63122284 10170368 673 134679101440 94171090513920 94171091593240 140729173314816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94171093691696 94171093738884 94171107794944 140729173316560 140729173316718 140729173316718 140729173323733 0
/proc/346350/statm: 2483 673 580 264 0 134 0
[pid=347405] ppid=346350 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/347405/stat : 347405 (timeout) S 346350 347405 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63302085 8867840 256 134679101440 94845242621952 94845242656968 140735278039040 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94845244754384 94845244756516 94845263548416 140735278044148 140735278044317 140735278044317 140735278051303 0
/proc/347405/statm: 2165 256 231 9 0 87 0
[pid=347406] ppid=347405 vsize=42820 memory=29048 CPUtime=84.87 cores=0,2
/proc/347406/stat : 347406 (Exact) R 347405 347405 343080 0 -1 4194304 24151 0 0 0 8483 4 0 0 20 0 1 0 63302085 43847680 7262 134679101440 4194304 7210733 140720951717392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 37138432 140720951723024 140720951723174 140720951723174 140720951730160 0
/proc/347406/statm: 10705 7262 748 737 0 9793 0
Current children cumulated CPU time: 1876.79 s
Current children cumulated vsize: 61412 KiB
Current children cumulated memory: 32764 KiB

[startup+1883.6 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 347651
/proc/meminfo: memFree=112067828/131524600 swapFree=131071472/131071996
[pid=346350] ppid=346347 vsize=9932 memory=2692 CPUtime=1791.92 cores=0,2
/proc/346350/stat : 346350 (Hybrid-CASHWMax) S 346347 346350 343080 0 -1 4194304 272 71874 0 0 0 0 179178 14 20 0 1 0 63122284 10170368 673 134679101440 94171090513920 94171091593240 140729173314816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94171093691696 94171093738884 94171107794944 140729173316560 140729173316718 140729173316718 140729173323733 0
/proc/346350/statm: 2483 673 580 264 0 134 0
[pid=347405] ppid=346350 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/347405/stat : 347405 (timeout) S 346350 347405 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63302085 8867840 256 134679101440 94845242621952 94845242656968 140735278039040 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94845244754384 94845244756516 94845263548416 140735278044148 140735278044317 140735278044317 140735278051303 0
/proc/347405/statm: 2165 256 231 9 0 87 0
[pid=347406] ppid=347405 vsize=42820 memory=29048 CPUtime=85.27 cores=0,2
/proc/347406/stat : 347406 (Exact) R 347405 347405 343080 0 -1 4194304 24151 0 0 0 8523 4 0 0 20 0 1 0 63302085 43847680 7262 134679101440 4194304 7210733 140720951717392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 37138432 140720951723024 140720951723174 140720951723174 140720951730160 0
/proc/347406/statm: 10705 7262 748 737 0 9793 0
Current children cumulated CPU time: 1877.19 s
Current children cumulated vsize: 61412 KiB
Current children cumulated memory: 32764 KiB

[startup+1884 s]*
/proc/loadavg: 4.06 4.08 4.09 5/265 347651
/proc/meminfo: memFree=112067688/131524600 swapFree=131071472/131071996
[pid=346350] ppid=346347 vsize=9932 memory=2692 CPUtime=1791.92 cores=0,2
/proc/346350/stat : 346350 (Hybrid-CASHWMax) S 346347 346350 343080 0 -1 4194304 272 71874 0 0 0 0 179178 14 20 0 1 0 63122284 10170368 673 134679101440 94171090513920 94171091593240 140729173314816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94171093691696 94171093738884 94171107794944 140729173316560 140729173316718 140729173316718 140729173323733 0
/proc/346350/statm: 2483 673 580 264 0 134 0
[pid=347405] ppid=346350 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/347405/stat : 347405 (timeout) S 346350 347405 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63302085 8867840 256 134679101440 94845242621952 94845242656968 140735278039040 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94845244754384 94845244756516 94845263548416 140735278044148 140735278044317 140735278044317 140735278051303 0
/proc/347405/statm: 2165 256 231 9 0 87 0
[pid=347406] ppid=347405 vsize=42968 memory=29204 CPUtime=85.67 cores=0,2
/proc/347406/stat : 347406 (Exact) R 347405 347405 343080 0 -1 4194304 24895 0 0 0 8563 4 0 0 20 0 1 0 63302085 43999232 7301 134679101440 4194304 7210733 140720951717392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 37138432 140720951723024 140720951723174 140720951723174 140720951730160 0
/proc/347406/statm: 10742 7301 748 737 0 9830 0
Current children cumulated CPU time: 1877.59 s
Current children cumulated vsize: 61560 KiB
Current children cumulated memory: 32920 KiB

[startup+1884.11 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 347651
/proc/meminfo: memFree=112067688/131524600 swapFree=131071472/131071996
[pid=346350] ppid=346347 vsize=9932 memory=2692 CPUtime=1791.92 cores=0,2
/proc/346350/stat : 346350 (Hybrid-CASHWMax) S 346347 346350 343080 0 -1 4194304 272 71874 0 0 0 0 179178 14 20 0 1 0 63122284 10170368 673 134679101440 94171090513920 94171091593240 140729173314816 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94171093691696 94171093738884 94171107794944 140729173316560 140729173316718 140729173316718 140729173323733 0
/proc/346350/statm: 2483 673 580 264 0 134 0
[pid=347405] ppid=346350 vsize=8660 memory=1024 CPUtime=0 cores=0,2
/proc/347405/stat : 347405 (timeout) S 346350 347405 343080 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63302085 8867840 256 134679101440 94845242621952 94845242656968 140735278039040 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94845244754384 94845244756516 94845263548416 140735278044148 140735278044317 140735278044317 140735278051303 0
/proc/347405/statm: 2165 256 231 9 0 87 0
[pid=347406] ppid=347405 vsize=42968 memory=29204 CPUtime=85.77 cores=0,2
/proc/347406/stat : 347406 (Exact) R 347405 347405 343080 0 -1 4194304 24895 0 0 0 8573 4 0 0 20 0 1 0 63302085 43999232 7301 134679101440 4194304 7210733 140720951717392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 37138432 140720951723024 140720951723174 140720951723174 140720951730160 0
/proc/347406/statm: 10742 7301 748 737 0 9830 0
Current children cumulated CPU time: 1877.69 s
Current children cumulated vsize: 61560 KiB
Current children cumulated memory: 32920 KiB

Child status: 0

Real time (s): 1884.17
CPU time (s): 1877.79
CPU user time (s): 1877.59
CPU system time (s): 0.198597
CPU usage (%): 99.661
Max. virtual memory (cumulated for all children) (KiB): 362504
Max. memory (cumulated for all children) (KiB): 322248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1877.59
system time used= 0.198597
maximum resident set size= 318640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97844
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80
involuntary context switches= 12868


# summary of solver processes directly reported to runsolver:
#   pid: 346350
#   total CPU time (s): 1877.79
#   total CPU user time (s): 1877.59
#   total CPU system time (s): 0.198597

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.39029 second user time and 8.99438 second system time

The end