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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=336680, runsolver pid=336673

[startup+0.100668 s]*
/proc/loadavg: 4.14 4.12 4.09 4/251 336687
/proc/meminfo: memFree=127148060/131524600 swapFree=131071216/131071996
[pid=336680] ppid=336673 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/336680/stat : 336680 (Hybrid-LSMabSP+) S 336673 336680 334493 0 -1 4194304 234 102 0 0 0 0 0 0 20 0 1 0 61777468 10170368 665 134679101440 94861090492416 94861091571736 140721407874592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94861093670192 94861093717380 94861098618880 140721407878120 140721407878266 140721407878266 140721407885281 0
/proc/336680/statm: 2483 665 588 264 0 134 0
[pid=336685] ppid=336680 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/336685/stat : 336685 (timeout) S 336680 336685 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777468 8867840 249 134679101440 94763256369152 94763256404168 140734673345120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94763258501584 94763258503716 94763279491072 140734673351721 140734673351837 140734673351837 140734673358823 0
/proc/336685/statm: 2165 249 225 9 0 87 0
[pid=336687] ppid=336685 vsize=22704 memory=10156 CPUtime=0.09 cores=1,3
/proc/336687/stat : 336687 (LS-MabSP) R 336685 336685 334493 0 -1 4194304 1311 0 0 0 9 0 0 0 20 0 1 0 61777468 23248896 2539 134679101440 4194304 15467897 140726224978608 0 0 0 0 0 17410 0 0 0 17 3 0 0 0 0 0 17807032 17896208 47763456 140726224987196 140726224987299 140726224987299 140726224994285 0
/proc/336687/statm: 5676 2539 1105 2753 0 2329 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41296 KiB
Current children cumulated memory: 13812 KiB

[startup+0.205687 s]*
/proc/loadavg: 4.14 4.12 4.09 5/251 336692
/proc/meminfo: memFree=127126872/131524600 swapFree=131071216/131071996
[pid=336680] ppid=336673 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/336680/stat : 336680 (Hybrid-LSMabSP+) S 336673 336680 334493 0 -1 4194304 234 102 0 0 0 0 0 0 20 0 1 0 61777468 10170368 665 134679101440 94861090492416 94861091571736 140721407874592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94861093670192 94861093717380 94861098618880 140721407878120 140721407878266 140721407878266 140721407885281 0
/proc/336680/statm: 2483 665 588 264 0 134 0
[pid=336685] ppid=336680 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/336685/stat : 336685 (timeout) S 336680 336685 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777468 8867840 249 134679101440 94763256369152 94763256404168 140734673345120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94763258501584 94763258503716 94763279491072 140734673351721 140734673351837 140734673351837 140734673358823 0
/proc/336685/statm: 2165 249 225 9 0 87 0
[pid=336687] ppid=336685 vsize=22984 memory=10600 CPUtime=0.19 cores=1,3
/proc/336687/stat : 336687 (LS-MabSP) R 336685 336685 334493 0 -1 4194304 1366 0 0 0 19 0 0 0 20 0 1 0 61777468 23535616 2650 134679101440 4194304 15467897 140726224978608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47763456 140726224987196 140726224987299 140726224987299 140726224994285 0
/proc/336687/statm: 5746 2650 1153 2753 0 2399 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41576 KiB
Current children cumulated memory: 14256 KiB

[startup+0.305942 s]*
/proc/loadavg: 4.14 4.12 4.09 6/259 336705
/proc/meminfo: memFree=127121012/131524600 swapFree=131071216/131071996
[pid=336680] ppid=336673 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/336680/stat : 336680 (Hybrid-LSMabSP+) S 336673 336680 334493 0 -1 4194304 234 102 0 0 0 0 0 0 20 0 1 0 61777468 10170368 665 134679101440 94861090492416 94861091571736 140721407874592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94861093670192 94861093717380 94861098618880 140721407878120 140721407878266 140721407878266 140721407885281 0
/proc/336680/statm: 2483 665 588 264 0 134 0
[pid=336685] ppid=336680 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/336685/stat : 336685 (timeout) S 336680 336685 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777468 8867840 249 134679101440 94763256369152 94763256404168 140734673345120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94763258501584 94763258503716 94763279491072 140734673351721 140734673351837 140734673351837 140734673358823 0
/proc/336685/statm: 2165 249 225 9 0 87 0
[pid=336687] ppid=336685 vsize=23576 memory=11128 CPUtime=0.29 cores=1,3
/proc/336687/stat : 336687 (LS-MabSP) R 336685 336685 334493 0 -1 4194304 1497 0 0 0 29 0 0 0 20 0 1 0 61777468 24141824 2782 134679101440 4194304 15467897 140726224978608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47763456 140726224987196 140726224987299 140726224987299 140726224994285 0
/proc/336687/statm: 5894 2782 1153 2753 0 2547 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 42168 KiB
Current children cumulated memory: 14784 KiB

[startup+0.700199 s]
/proc/loadavg: 4.14 4.12 4.09 6/267 336723
/proc/meminfo: memFree=127083104/131524600 swapFree=131071216/131071996
[pid=336680] ppid=336673 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/336680/stat : 336680 (Hybrid-LSMabSP+) S 336673 336680 334493 0 -1 4194304 234 102 0 0 0 0 0 0 20 0 1 0 61777468 10170368 665 134679101440 94861090492416 94861091571736 140721407874592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94861093670192 94861093717380 94861098618880 140721407878120 140721407878266 140721407878266 140721407885281 0
/proc/336680/statm: 2483 665 588 264 0 134 0
[pid=336685] ppid=336680 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/336685/stat : 336685 (timeout) S 336680 336685 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777468 8867840 249 134679101440 94763256369152 94763256404168 140734673345120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94763258501584 94763258503716 94763279491072 140734673351721 140734673351837 140734673351837 140734673358823 0
/proc/336685/statm: 2165 249 225 9 0 87 0
[pid=336687] ppid=336685 vsize=26264 memory=13304 CPUtime=0.68 cores=1,3
/proc/336687/stat : 336687 (LS-MabSP) R 336685 336685 334493 0 -1 4194304 2167 0 0 0 68 0 0 0 20 0 1 0 61777468 26894336 3326 134679101440 4194304 15467897 140726224978608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47763456 140726224987196 140726224987299 140726224987299 140726224994285 0
/proc/336687/statm: 6566 3326 1153 2753 0 3219 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44856 KiB
Current children cumulated memory: 16960 KiB

[startup+1.5002 s]
/proc/loadavg: 4.14 4.12 4.09 6/267 336723
/proc/meminfo: memFree=127059332/131524600 swapFree=131071216/131071996
[pid=336680] ppid=336673 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/336680/stat : 336680 (Hybrid-LSMabSP+) S 336673 336680 334493 0 -1 4194304 234 102 0 0 0 0 0 0 20 0 1 0 61777468 10170368 665 134679101440 94861090492416 94861091571736 140721407874592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94861093670192 94861093717380 94861098618880 140721407878120 140721407878266 140721407878266 140721407885281 0
/proc/336680/statm: 2483 665 588 264 0 134 0
[pid=336685] ppid=336680 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/336685/stat : 336685 (timeout) S 336680 336685 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777468 8867840 249 134679101440 94763256369152 94763256404168 140734673345120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94763258501584 94763258503716 94763279491072 140734673351721 140734673351837 140734673351837 140734673358823 0
/proc/336685/statm: 2165 249 225 9 0 87 0
[pid=336687] ppid=336685 vsize=39068 memory=26152 CPUtime=1.47 cores=1,3
/proc/336687/stat : 336687 (LS-MabSP) R 336685 336685 334493 0 -1 4194304 4677 0 0 0 147 0 0 0 20 0 1 0 61777468 40005632 6538 134679101440 4194304 15467897 140726224978608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47763456 140726224987196 140726224987299 140726224987299 140726224994285 0
/proc/336687/statm: 9767 6538 1153 2753 0 6420 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 57660 KiB
Current children cumulated memory: 29808 KiB

[startup+3.10626 s]
/proc/loadavg: 4.14 4.12 4.09 6/267 336723
/proc/meminfo: memFree=127049016/131524600 swapFree=131071216/131071996
[pid=336680] ppid=336673 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/336680/stat : 336680 (Hybrid-LSMabSP+) S 336673 336680 334493 0 -1 4194304 234 102 0 0 0 0 0 0 20 0 1 0 61777468 10170368 665 134679101440 94861090492416 94861091571736 140721407874592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94861093670192 94861093717380 94861098618880 140721407878120 140721407878266 140721407878266 140721407885281 0
/proc/336680/statm: 2483 665 588 264 0 134 0
[pid=336685] ppid=336680 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/336685/stat : 336685 (timeout) S 336680 336685 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777468 8867840 249 134679101440 94763256369152 94763256404168 140734673345120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94763258501584 94763258503716 94763279491072 140734673351721 140734673351837 140734673351837 140734673358823 0
/proc/336685/statm: 2165 249 225 9 0 87 0
[pid=336687] ppid=336685 vsize=40672 memory=32896 CPUtime=3.08 cores=1,3
/proc/336687/stat : 336687 (LS-MabSP) R 336685 336685 334493 0 -1 4194304 6348 0 0 0 306 2 0 0 20 0 1 0 61777468 41648128 8224 134679101440 4194304 15467897 140726224978608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47763456 140726224987196 140726224987299 140726224987299 140726224994285 0
/proc/336687/statm: 10168 8224 2849 2753 0 6821 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 59264 KiB
Current children cumulated memory: 36552 KiB

[startup+6.30019 s]
/proc/loadavg: 4.13 4.12 4.09 6/267 336723
/proc/meminfo: memFree=127048376/131524600 swapFree=131071216/131071996
[pid=336680] ppid=336673 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/336680/stat : 336680 (Hybrid-LSMabSP+) S 336673 336680 334493 0 -1 4194304 234 102 0 0 0 0 0 0 20 0 1 0 61777468 10170368 665 134679101440 94861090492416 94861091571736 140721407874592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94861093670192 94861093717380 94861098618880 140721407878120 140721407878266 140721407878266 140721407885281 0
/proc/336680/statm: 2483 665 588 264 0 134 0
[pid=336685] ppid=336680 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/336685/stat : 336685 (timeout) S 336680 336685 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777468 8867840 249 134679101440 94763256369152 94763256404168 140734673345120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94763258501584 94763258503716 94763279491072 140734673351721 140734673351837 140734673351837 140734673358823 0
/proc/336685/statm: 2165 249 225 9 0 87 0
[pid=336687] ppid=336685 vsize=40672 memory=32896 CPUtime=6.27 cores=1,3
/proc/336687/stat : 336687 (LS-MabSP) R 336685 336685 334493 0 -1 4194304 6348 0 0 0 592 35 0 0 20 0 1 0 61777468 41648128 8224 134679101440 4194304 15467897 140726224978608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47763456 140726224987196 140726224987299 140726224987299 140726224994285 0
/proc/336687/statm: 10168 8224 2849 2753 0 6821 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 59264 KiB
Current children cumulated memory: 36552 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.14 4.10 6/267 336725
/proc/meminfo: memFree=127047844/131524600 swapFree=131071216/131071996
[pid=336680] ppid=336673 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/336680/stat : 336680 (Hybrid-LSMabSP+) S 336673 336680 334493 0 -1 4194304 234 102 0 0 0 0 0 0 20 0 1 0 61777468 10170368 665 134679101440 94861090492416 94861091571736 140721407874592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94861093670192 94861093717380 94861098618880 140721407878120 140721407878266 140721407878266 140721407885281 0
/proc/336680/statm: 2483 665 588 264 0 134 0
[pid=336685] ppid=336680 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/336685/stat : 336685 (timeout) S 336680 336685 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777468 8867840 249 134679101440 94763256369152 94763256404168 140734673345120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94763258501584 94763258503716 94763279491072 140734673351721 140734673351837 140734673351837 140734673358823 0
/proc/336685/statm: 2165 249 225 9 0 87 0
[pid=336687] ppid=336685 vsize=40672 memory=32896 CPUtime=12.66 cores=1,3
/proc/336687/stat : 336687 (LS-MabSP) R 336685 336685 334493 0 -1 4194304 6348 0 0 0 1164 102 0 0 20 0 1 0 61777468 41648128 8224 134679101440 4194304 15467897 140726224978608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47763456 140726224987196 140726224987299 140726224987299 140726224994285 0
/proc/336687/statm: 10168 8224 2849 2753 0 6821 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 59264 KiB
Current children cumulated memory: 36552 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 4.09 6/267 336726
/proc/meminfo: memFree=127047692/131524600 swapFree=131071216/131071996
[pid=336680] ppid=336673 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/336680/stat : 336680 (Hybrid-LSMabSP+) S 336673 336680 334493 0 -1 4194304 234 102 0 0 0 0 0 0 20 0 1 0 61777468 10170368 665 134679101440 94861090492416 94861091571736 140721407874592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94861093670192 94861093717380 94861098618880 140721407878120 140721407878266 140721407878266 140721407885281 0
/proc/336680/statm: 2483 665 588 264 0 134 0
[pid=336685] ppid=336680 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/336685/stat : 336685 (timeout) S 336680 336685 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777468 8867840 249 134679101440 94763256369152 94763256404168 140734673345120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94763258501584 94763258503716 94763279491072 140734673351721 140734673351837 140734673351837 140734673358823 0
/proc/336685/statm: 2165 249 225 9 0 87 0
[pid=336687] ppid=336685 vsize=40672 memory=32896 CPUtime=25.43 cores=1,3
/proc/336687/stat : 336687 (LS-MabSP) R 336685 336685 334493 0 -1 4194304 6359 0 0 0 2306 237 0 0 20 0 1 0 61777468 41648128 8224 134679101440 4194304 15467897 140726224978608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47763456 140726224987196 140726224987299 140726224987299 140726224994285 0
/proc/336687/statm: 10168 8224 2849 2753 0 6821 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 59264 KiB
Current children cumulated memory: 36552 KiB

[startup+51.1052 s]
/proc/loadavg: 4.17 4.13 4.10 6/267 336731
/proc/meminfo: memFree=127043144/131524600 swapFree=131071216/131071996
[pid=336680] ppid=336673 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/336680/stat : 336680 (Hybrid-LSMabSP+) S 336673 336680 334493 0 -1 4194304 234 102 0 0 0 0 0 0 20 0 1 0 61777468 10170368 665 134679101440 94861090492416 94861091571736 140721407874592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94861093670192 94861093717380 94861098618880 140721407878120 140721407878266 140721407878266 140721407885281 0
/proc/336680/statm: 2483 665 588 264 0 134 0
[pid=336685] ppid=336680 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/336685/stat : 336685 (timeout) S 336680 336685 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777468 8867840 249 134679101440 94763256369152 94763256404168 140734673345120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94763258501584 94763258503716 94763279491072 140734673351721 140734673351837 140734673351837 140734673358823 0
/proc/336685/statm: 2165 249 225 9 0 87 0
[pid=336687] ppid=336685 vsize=40672 memory=35016 CPUtime=51 cores=1,3
/proc/336687/stat : 336687 (LS-MabSP) R 336685 336685 334493 0 -1 4194304 6376 0 0 0 4583 517 0 0 20 0 1 0 61777468 41648128 8754 134679101440 4194304 15467897 140726224978608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47763456 140726224987196 140726224987299 140726224987299 140726224994285 0
/proc/336687/statm: 10168 8754 2849 2753 0 6821 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 59264 KiB
Current children cumulated memory: 38672 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.09 6/267 336740
/proc/meminfo: memFree=127042336/131524600 swapFree=131071216/131071996
[pid=336680] ppid=336673 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/336680/stat : 336680 (Hybrid-LSMabSP+) S 336673 336680 334493 0 -1 4194304 234 102 0 0 0 0 0 0 20 0 1 0 61777468 10170368 665 134679101440 94861090492416 94861091571736 140721407874592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94861093670192 94861093717380 94861098618880 140721407878120 140721407878266 140721407878266 140721407885281 0

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

/proc/336680/statm: 2483 665 588 264 0 134 0
[pid=336685] ppid=336680 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/336685/stat : 336685 (timeout) S 336680 336685 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777468 8867840 249 134679101440 94763256369152 94763256404168 140734673345120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94763258501584 94763258503716 94763279491072 140734673351721 140734673351837 140734673351837 140734673358823 0
/proc/336685/statm: 2165 249 225 9 0 87 0
[pid=336687] ppid=336685 vsize=40672 memory=35016 CPUtime=1659.55 cores=1,3
/proc/336687/stat : 336687 (LS-MabSP) R 336685 336685 334493 0 -1 4194304 6496 0 0 0 147209 18746 0 0 20 0 1 0 61777468 41648128 8754 134679101440 4194304 15467897 140726224978608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47763456 140726224987196 140726224987299 140726224987299 140726224994285 0
/proc/336687/statm: 10168 8754 2849 2753 0 6821 0
Current children cumulated CPU time: 1659.55 s
Current children cumulated vsize: 59264 KiB
Current children cumulated memory: 38672 KiB

[startup+1722.3 s]
/proc/loadavg: 4.15 4.12 4.10 6/266 337617
/proc/meminfo: memFree=127120540/131524600 swapFree=131071216/131071996
[pid=336680] ppid=336673 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/336680/stat : 336680 (Hybrid-LSMabSP+) S 336673 336680 334493 0 -1 4194304 234 102 0 0 0 0 0 0 20 0 1 0 61777468 10170368 665 134679101440 94861090492416 94861091571736 140721407874592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94861093670192 94861093717380 94861098618880 140721407878120 140721407878266 140721407878266 140721407885281 0
/proc/336680/statm: 2483 665 588 264 0 134 0
[pid=336685] ppid=336680 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/336685/stat : 336685 (timeout) S 336680 336685 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777468 8867840 249 134679101440 94763256369152 94763256404168 140734673345120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94763258501584 94763258503716 94763279491072 140734673351721 140734673351837 140734673351837 140734673358823 0
/proc/336685/statm: 2165 249 225 9 0 87 0
[pid=336687] ppid=336685 vsize=40672 memory=35016 CPUtime=1719.45 cores=1,3
/proc/336687/stat : 336687 (LS-MabSP) R 336685 336685 334493 0 -1 4194304 6500 0 0 0 152527 19418 0 0 20 0 1 0 61777468 41648128 8754 134679101440 4194304 15467897 140726224978608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47763456 140726224987196 140726224987299 140726224987299 140726224994285 0
/proc/336687/statm: 10168 8754 2849 2753 0 6821 0
Current children cumulated CPU time: 1719.45 s
Current children cumulated vsize: 59264 KiB
Current children cumulated memory: 38672 KiB

[startup+1782.3 s]
/proc/loadavg: 4.16 4.13 4.10 6/266 337627
/proc/meminfo: memFree=127119780/131524600 swapFree=131071216/131071996
[pid=336680] ppid=336673 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/336680/stat : 336680 (Hybrid-LSMabSP+) S 336673 336680 334493 0 -1 4194304 234 102 0 0 0 0 0 0 20 0 1 0 61777468 10170368 665 134679101440 94861090492416 94861091571736 140721407874592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94861093670192 94861093717380 94861098618880 140721407878120 140721407878266 140721407878266 140721407885281 0
/proc/336680/statm: 2483 665 588 264 0 134 0
[pid=336685] ppid=336680 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/336685/stat : 336685 (timeout) S 336680 336685 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777468 8867840 249 134679101440 94763256369152 94763256404168 140734673345120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94763258501584 94763258503716 94763279491072 140734673351721 140734673351837 140734673351837 140734673358823 0
/proc/336685/statm: 2165 249 225 9 0 87 0
[pid=336687] ppid=336685 vsize=40672 memory=35016 CPUtime=1779.34 cores=1,3
/proc/336687/stat : 336687 (LS-MabSP) R 336685 336685 334493 0 -1 4194304 6504 0 0 0 157816 20118 0 0 20 0 1 0 61777468 41648128 8754 134679101440 4194304 15467897 140726224978608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47763456 140726224987196 140726224987299 140726224987299 140726224994285 0
/proc/336687/statm: 10168 8754 2849 2753 0 6821 0
Current children cumulated CPU time: 1779.34 s
Current children cumulated vsize: 59264 KiB
Current children cumulated memory: 38672 KiB

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

# cumulated CPU time of all completed processes:  user=1595.9 s, system=203.109 s

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

[startup+1792 s]*
/proc/loadavg: 4.14 4.12 4.10 6/266 337629
/proc/meminfo: memFree=127119728/131524600 swapFree=131071216/131071996
[pid=336680] ppid=336673 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/336680/stat : 336680 (Hybrid-LSMabSP+) S 336673 336680 334493 0 -1 4194304 234 102 0 0 0 0 0 0 20 0 1 0 61777468 10170368 665 134679101440 94861090492416 94861091571736 140721407874592 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94861093670192 94861093717380 94861098618880 140721407878120 140721407878266 140721407878266 140721407885281 0
/proc/336680/statm: 2483 665 588 264 0 134 0
[pid=336685] ppid=336680 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/336685/stat : 336685 (timeout) S 336680 336685 334493 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61777468 8867840 249 134679101440 94763256369152 94763256404168 140734673345120 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94763258501584 94763258503716 94763279491072 140734673351721 140734673351837 140734673351837 140734673358823 0
/proc/336685/statm: 2165 249 225 9 0 87 0
[pid=336687] ppid=336685 vsize=40672 memory=35016 CPUtime=1789.04 cores=1,3
/proc/336687/stat : 336687 (LS-MabSP) R 336685 336685 334493 0 -1 4194304 6504 0 0 0 158675 20229 0 0 20 0 1 0 61777468 41648128 8754 134679101440 4194304 15467897 140726224978608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47763456 140726224987196 140726224987299 140726224987299 140726224994285 0
/proc/336687/statm: 10168 8754 2849 2753 0 6821 0
Current children cumulated CPU time: 1789.04 s
Current children cumulated vsize: 59264 KiB
Current children cumulated memory: 38672 KiB

[startup+1798.4 s]
/proc/loadavg: 4.13 4.12 4.10 6/266 337629
/proc/meminfo: memFree=127119728/131524600 swapFree=131071216/131071996
[pid=336680] ppid=336673 vsize=9932 memory=2712 CPUtime=1795.03 cores=1,3
/proc/336680/stat : 336680 (Hybrid-LSMabSP+) S 336673 336680 334493 0 -1 4194304 266 6734 0 0 0 0 159195 20308 20 0 1 0 61777468 10170368 678 134679101440 94861090492416 94861091571736 140721407874592 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94861093670192 94861093717380 94861098618880 140721407878120 140721407878266 140721407878266 140721407885281 0
/proc/336680/statm: 2483 678 588 264 0 134 0
Current children cumulated CPU time: 1795.03 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2712 KiB

[startup+1800 s]*
/proc/loadavg: 4.12 4.12 4.10 5/267 337817
/proc/meminfo: memFree=127135732/131524600 swapFree=131071216/131071996
[pid=336680] ppid=336673 vsize=9932 memory=2712 CPUtime=1795.03 cores=1,3
/proc/336680/stat : 336680 (Hybrid-LSMabSP+) S 336673 336680 334493 0 -1 4194304 266 6734 0 0 0 0 159195 20308 20 0 1 0 61777468 10170368 678 134679101440 94861090492416 94861091571736 140721407874592 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94861093670192 94861093717380 94861098618880 140721407878120 140721407878266 140721407878266 140721407885281 0
/proc/336680/statm: 2483 678 588 264 0 134 0
[pid=337632] ppid=336680 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/337632/stat : 337632 (timeout) S 336680 337632 334493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61957268 8867840 257 134679101440 93847914065920 93847914100936 140735987596608 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93847916198352 93847916200484 93847944015872 140735987602420 140735987602589 140735987602589 140735987609575 0
/proc/337632/statm: 2165 257 232 9 0 87 0
[pid=337633] ppid=337632 vsize=35560 memory=21372 CPUtime=1.98 cores=1,3
/proc/337633/stat : 337633 (Exact) R 337632 337632 334493 0 -1 4194304 2787 0 0 0 198 0 0 0 20 0 1 0 61957268 36413440 5343 134679101440 4194304 7210733 140729054036992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 23433216 140729054041104 140729054041254 140729054041254 140729054048240 0
/proc/337633/statm: 8890 5343 748 737 0 7978 0
Current children cumulated CPU time: 1797.01 s
Current children cumulated vsize: 54152 KiB
Current children cumulated memory: 25112 KiB

[startup+1800.8 s]
/proc/loadavg: 4.12 4.12 4.10 5/267 337817
/proc/meminfo: memFree=127135732/131524600 swapFree=131071216/131071996
[pid=336680] ppid=336673 vsize=9932 memory=2712 CPUtime=1795.03 cores=1,3
/proc/336680/stat : 336680 (Hybrid-LSMabSP+) S 336673 336680 334493 0 -1 4194304 266 6734 0 0 0 0 159195 20308 20 0 1 0 61777468 10170368 678 134679101440 94861090492416 94861091571736 140721407874592 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94861093670192 94861093717380 94861098618880 140721407878120 140721407878266 140721407878266 140721407885281 0
/proc/336680/statm: 2483 678 588 264 0 134 0
[pid=337632] ppid=336680 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/337632/stat : 337632 (timeout) S 336680 337632 334493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61957268 8867840 257 134679101440 93847914065920 93847914100936 140735987596608 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93847916198352 93847916200484 93847944015872 140735987602420 140735987602589 140735987602589 140735987609575 0
/proc/337632/statm: 2165 257 232 9 0 87 0
[pid=337633] ppid=337632 vsize=54888 memory=37736 CPUtime=2.77 cores=1,3
/proc/337633/stat : 337633 (Exact) R 337632 337632 334493 0 -1 4194304 5086 0 0 0 276 1 0 0 20 0 1 0 61957268 56205312 9434 134679101440 4194304 7210733 140729054036992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 23433216 140729054041104 140729054041254 140729054041254 140729054048240 0
/proc/337633/statm: 13722 9434 748 737 0 12810 0
Current children cumulated CPU time: 1797.8 s
Current children cumulated vsize: 73480 KiB
Current children cumulated memory: 41476 KiB

[startup+1801.6 s]
/proc/loadavg: 4.12 4.12 4.10 5/267 337817
/proc/meminfo: memFree=127118340/131524600 swapFree=131071216/131071996
[pid=336680] ppid=336673 vsize=9932 memory=2712 CPUtime=1795.03 cores=1,3
/proc/336680/stat : 336680 (Hybrid-LSMabSP+) S 336673 336680 334493 0 -1 4194304 266 6734 0 0 0 0 159195 20308 20 0 1 0 61777468 10170368 678 134679101440 94861090492416 94861091571736 140721407874592 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94861093670192 94861093717380 94861098618880 140721407878120 140721407878266 140721407878266 140721407885281 0
/proc/336680/statm: 2483 678 588 264 0 134 0
[pid=337632] ppid=336680 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/337632/stat : 337632 (timeout) S 336680 337632 334493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61957268 8867840 257 134679101440 93847914065920 93847914100936 140735987596608 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93847916198352 93847916200484 93847944015872 140735987602420 140735987602589 140735987602589 140735987609575 0
/proc/337632/statm: 2165 257 232 9 0 87 0
[pid=337633] ppid=337632 vsize=61224 memory=43544 CPUtime=3.57 cores=1,3
/proc/337633/stat : 337633 (Exact) R 337632 337632 334493 0 -1 4194304 6905 0 0 0 356 1 0 0 20 0 1 0 61957268 62693376 10886 134679101440 4194304 7210733 140729054036992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 23433216 140729054041104 140729054041254 140729054041254 140729054048240 0
/proc/337633/statm: 15306 10886 748 737 0 14394 0
Current children cumulated CPU time: 1798.6 s
Current children cumulated vsize: 79816 KiB
Current children cumulated memory: 47284 KiB

[startup+1801.8 s]
/proc/loadavg: 4.12 4.12 4.10 5/267 337817
/proc/meminfo: memFree=127118340/131524600 swapFree=131071216/131071996
[pid=336680] ppid=336673 vsize=9932 memory=2712 CPUtime=1795.03 cores=1,3
/proc/336680/stat : 336680 (Hybrid-LSMabSP+) S 336673 336680 334493 0 -1 4194304 266 6734 0 0 0 0 159195 20308 20 0 1 0 61777468 10170368 678 134679101440 94861090492416 94861091571736 140721407874592 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94861093670192 94861093717380 94861098618880 140721407878120 140721407878266 140721407878266 140721407885281 0
/proc/336680/statm: 2483 678 588 264 0 134 0
[pid=337632] ppid=336680 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/337632/stat : 337632 (timeout) S 336680 337632 334493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61957268 8867840 257 134679101440 93847914065920 93847914100936 140735987596608 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93847916198352 93847916200484 93847944015872 140735987602420 140735987602589 140735987602589 140735987609575 0
/proc/337632/statm: 2165 257 232 9 0 87 0
[pid=337633] ppid=337632 vsize=61224 memory=43544 CPUtime=3.77 cores=1,3
/proc/337633/stat : 337633 (Exact) R 337632 337632 334493 0 -1 4194304 6907 0 0 0 376 1 0 0 20 0 1 0 61957268 62693376 10886 134679101440 4194304 7210733 140729054036992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 23433216 140729054041104 140729054041254 140729054041254 140729054048240 0
/proc/337633/statm: 15306 10886 748 737 0 14394 0
Current children cumulated CPU time: 1798.8 s
Current children cumulated vsize: 79816 KiB
Current children cumulated memory: 47284 KiB

[startup+1801.9 s]
/proc/loadavg: 4.12 4.12 4.10 5/267 337817
/proc/meminfo: memFree=127118340/131524600 swapFree=131071216/131071996
[pid=336680] ppid=336673 vsize=9932 memory=2712 CPUtime=1795.03 cores=1,3
/proc/336680/stat : 336680 (Hybrid-LSMabSP+) S 336673 336680 334493 0 -1 4194304 266 6734 0 0 0 0 159195 20308 20 0 1 0 61777468 10170368 678 134679101440 94861090492416 94861091571736 140721407874592 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94861093670192 94861093717380 94861098618880 140721407878120 140721407878266 140721407878266 140721407885281 0
/proc/336680/statm: 2483 678 588 264 0 134 0
[pid=337632] ppid=336680 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/337632/stat : 337632 (timeout) S 336680 337632 334493 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61957268 8867840 257 134679101440 93847914065920 93847914100936 140735987596608 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93847916198352 93847916200484 93847944015872 140735987602420 140735987602589 140735987602589 140735987609575 0
/proc/337632/statm: 2165 257 232 9 0 87 0
[pid=337633] ppid=337632 vsize=61224 memory=43544 CPUtime=3.87 cores=1,3
/proc/337633/stat : 337633 (Exact) R 337632 337632 334493 0 -1 4194304 6907 0 0 0 386 1 0 0 20 0 1 0 61957268 62693376 10886 134679101440 4194304 7210733 140729054036992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 23433216 140729054041104 140729054041254 140729054041254 140729054048240 0
/proc/337633/statm: 15306 10886 748 737 0 14394 0
Current children cumulated CPU time: 1798.9 s
Current children cumulated vsize: 79816 KiB
Current children cumulated memory: 47284 KiB

Child status: 0

Real time (s): 1801.99
CPU time (s): 1799.01
CPU user time (s): 1595.9
CPU system time (s): 203.109
CPU usage (%): 99.8343
Max. virtual memory (cumulated for all children) (KiB): 79816
Max. memory (cumulated for all children) (KiB): 47284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1595.9
system time used= 203.109
maximum resident set size= 50924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15161
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61
involuntary context switches= 604


# summary of solver processes directly reported to runsolver:
#   pid: 336680
#   total CPU time (s): 1799.01
#   total CPU user time (s): 1595.9
#   total CPU system time (s): 203.109

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.41611 second user time and 7.17564 second system time

The end