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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428095-1722823967/watcher-4428095-1722823967 -o /tmp/evaluation-result-4428095-1722823967/solver-4428095-1722823967 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722816809-265299 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4428095-1722823967.opb -t 3558 -s 1068745357 

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=269467, runsolver pid=269464

[startup+0.10057 s]*
/proc/loadavg: 4.36 4.32 4.19 5/258 269468
/proc/meminfo: memFree=128143372/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=23124 memory=10796 CPUtime=0.1 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 1485 0 0 0 10 0 0 0 20 0 1 0 48995701 23678976 2699 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 5781 2699 1105 2753 0 2434 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23124 KiB
Current children cumulated memory: 10796 KiB

[startup+0.205393 s]*
/proc/loadavg: 4.36 4.32 4.19 5/258 269468
/proc/meminfo: memFree=128143004/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=22784 memory=10656 CPUtime=0.2 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 1485 0 0 0 20 0 0 0 20 0 1 0 48995701 23330816 2664 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 5696 2664 1153 2753 0 2349 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 22784 KiB
Current children cumulated memory: 10656 KiB

[startup+0.30446 s]*
/proc/loadavg: 4.36 4.32 4.19 5/258 269468
/proc/meminfo: memFree=128116320/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=54380 memory=45468 CPUtime=0.3 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 8812 0 0 0 29 1 0 0 20 0 1 0 48995701 55685120 11367 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 13595 11367 2737 2753 0 10248 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 54380 KiB
Current children cumulated memory: 45468 KiB

[startup+0.70017 s]
/proc/loadavg: 4.36 4.32 4.19 5/258 269468
/proc/meminfo: memFree=128103404/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=68040 memory=58436 CPUtime=0.69 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 12311 0 0 0 67 2 0 0 20 0 1 0 48995701 69672960 14609 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 17010 14609 2817 2753 0 13663 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 68040 KiB
Current children cumulated memory: 58436 KiB

[startup+1.50017 s]
/proc/loadavg: 4.33 4.32 4.18 5/258 269470
/proc/meminfo: memFree=128068732/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=102580 memory=92036 CPUtime=1.48 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 23395 0 0 0 144 4 0 0 20 0 1 0 48995701 105041920 23009 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 25645 23009 2833 2753 0 22298 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 102580 KiB
Current children cumulated memory: 92036 KiB

[startup+3.10539 s]
/proc/loadavg: 4.33 4.32 4.18 5/258 269470
/proc/meminfo: memFree=128064976/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=104984 memory=95456 CPUtime=3.08 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 24221 0 0 0 304 4 0 0 20 0 1 0 48995701 107503616 23864 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 26246 23864 2833 2753 0 22899 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 104984 KiB
Current children cumulated memory: 95456 KiB

[startup+6.30014 s]
/proc/loadavg: 4.38 4.33 4.19 5/258 269470
/proc/meminfo: memFree=128053272/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=121112 memory=107068 CPUtime=6.26 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 27164 0 0 0 622 4 0 0 20 0 1 0 48995701 124018688 26767 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 30278 26767 2833 2753 0 26931 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 121112 KiB
Current children cumulated memory: 107068 KiB

[startup+12.7002 s]
/proc/loadavg: 4.35 4.32 4.19 5/258 269471
/proc/meminfo: memFree=128045848/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=130768 memory=113916 CPUtime=12.64 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 28865 0 0 0 1260 4 0 0 20 0 1 0 48995701 133906432 28479 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 32692 28479 2833 2753 0 29345 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 130768 KiB
Current children cumulated memory: 113916 KiB

[startup+25.5002 s]
/proc/loadavg: 4.30 4.31 4.18 5/258 269473
/proc/meminfo: memFree=128043512/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=130768 memory=115004 CPUtime=25.4 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 28886 0 0 0 2536 4 0 0 20 0 1 0 48995701 133906432 28751 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 32692 28751 2833 2753 0 29345 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 130768 KiB
Current children cumulated memory: 115004 KiB

[startup+51.1052 s]
/proc/loadavg: 4.26 4.30 4.18 5/258 269478
/proc/meminfo: memFree=128030080/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=143328 memory=128404 CPUtime=50.92 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 31817 0 0 0 5087 5 0 0 20 0 1 0 48995701 146767872 32101 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 35832 32101 2833 2753 0 32485 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 143328 KiB
Current children cumulated memory: 128404 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.27 4.18 5/258 269487
/proc/meminfo: memFree=128020184/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=143328 memory=137880 CPUtime=101.95 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 31916 0 0 0 10190 5 0 0 20 0 1 0 48995701 146767872 34470 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 35832 34470 2833 2753 0 32485 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 143328 KiB
Current children cumulated memory: 137880 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.25 4.18 5/258 269498
/proc/meminfo: memFree=128017896/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=145392 memory=139436 CPUtime=161.77 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 32423 0 0 0 16172 5 0 0 20 0 1 0 48995701 148881408 34859 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 36348 34859 2833 2753 0 33001 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 145392 KiB
Current children cumulated memory: 139436 KiB

[startup+222.3 s]
/proc/loadavg: 4.31 4.26 4.19 5/256 269508
/proc/meminfo: memFree=128003016/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=163768 memory=153836 CPUtime=221.6 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 36096 0 0 0 22154 6 0 0 20 0 1 0 48995701 167698432 38459 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 40942 38459 2833 2753 0 37595 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 163768 KiB
Current children cumulated memory: 153836 KiB

[startup+282.3 s]
/proc/loadavg: 4.44 4.32 4.21 5/256 269519
/proc/meminfo: memFree=127999092/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=166052 memory=157420 CPUtime=281.41 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 38738 0 0 0 28135 6 0 0 20 0 1 0 48995701 170037248 39355 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 41513 39355 2849 2753 0 38166 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 166052 KiB
Current children cumulated memory: 157420 KiB

[startup+342.3 s]
/proc/loadavg: 4.43 4.32 4.22 5/255 269531
/proc/meminfo: memFree=127998784/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=167368 memory=157420 CPUtime=341.25 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 38799 0 0 0 34118 7 0 0 20 0 1 0 48995701 171384832 39355 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 41842 39355 2849 2753 0 38495 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 167368 KiB
Current children cumulated memory: 157420 KiB

[startup+402.3 s]
/proc/loadavg: 4.32 4.32 4.22 5/255 269541
/proc/meminfo: memFree=127996848/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=171484 memory=159056 CPUtime=401.07 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 39284 0 0 0 40100 7 0 0 20 0 1 0 48995701 175599616 39764 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 42871 39764 2849 2753 0 39524 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 171484 KiB
Current children cumulated memory: 159056 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.28 4.21 5/255 269551
/proc/meminfo: memFree=127971080/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=197196 memory=184280 CPUtime=460.88 cores=0,2

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

/proc/loadavg: 4.12 4.11 4.09 5/257 271230
/proc/meminfo: memFree=127850496/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=294904 memory=289284 CPUtime=3153.93 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 71764 0 0 0 293138 22255 0 0 20 0 1 0 48995701 301981696 72321 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 73726 72321 2849 2753 0 70379 0
Current children cumulated CPU time: 3153.93 s
Current children cumulated vsize: 294904 KiB
Current children cumulated memory: 289284 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 271241
/proc/meminfo: memFree=127850224/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=294904 memory=289284 CPUtime=3213.79 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 71766 0 0 0 298143 23236 0 0 20 0 1 0 48995701 301981696 72321 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 73726 72321 2849 2753 0 70379 0
Current children cumulated CPU time: 3213.79 s
Current children cumulated vsize: 294904 KiB
Current children cumulated memory: 289284 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/255 271251
/proc/meminfo: memFree=127849900/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=294904 memory=289284 CPUtime=3273.66 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 71768 0 0 0 303168 24198 0 0 20 0 1 0 48995701 301981696 72321 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 73726 72321 2849 2753 0 70379 0
Current children cumulated CPU time: 3273.66 s
Current children cumulated vsize: 294904 KiB
Current children cumulated memory: 289284 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 271263
/proc/meminfo: memFree=127849600/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=294904 memory=289284 CPUtime=3333.53 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 71770 0 0 0 308197 25156 0 0 20 0 1 0 48995701 301981696 72321 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 73726 72321 2849 2753 0 70379 0
Current children cumulated CPU time: 3333.53 s
Current children cumulated vsize: 294904 KiB
Current children cumulated memory: 289284 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.14 4.10 5/255 271273
/proc/meminfo: memFree=127849408/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=294904 memory=289284 CPUtime=3393.39 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 71772 0 0 0 313186 26153 0 0 20 0 1 0 48995701 301981696 72321 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 73726 72321 2849 2753 0 70379 0
Current children cumulated CPU time: 3393.39 s
Current children cumulated vsize: 294904 KiB
Current children cumulated memory: 289284 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/255 271283
/proc/meminfo: memFree=127849136/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=294904 memory=289284 CPUtime=3453.27 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 71774 0 0 0 318254 27073 0 0 20 0 1 0 48995701 301981696 72321 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 73726 72321 2849 2753 0 70379 0
Current children cumulated CPU time: 3453.27 s
Current children cumulated vsize: 294904 KiB
Current children cumulated memory: 289284 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 271298
/proc/meminfo: memFree=127848804/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=294904 memory=289284 CPUtime=3513.13 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 71776 0 0 0 323254 28059 0 0 20 0 1 0 48995701 301981696 72321 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 73726 72321 2849 2753 0 70379 0
Current children cumulated CPU time: 3513.13 s
Current children cumulated vsize: 294904 KiB
Current children cumulated memory: 289284 KiB

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

# cumulated CPU time of all completed processes:  user=3270.2 s, system=287.811 s

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

[startup+3532.8 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 271300
/proc/meminfo: memFree=127848708/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=294904 memory=289284 CPUtime=3523.61 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 71776 0 0 0 324124 28237 0 0 20 0 1 0 48995701 301981696 72321 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 73726 72321 2849 2753 0 70379 0
Current children cumulated CPU time: 3523.61 s
Current children cumulated vsize: 294904 KiB
Current children cumulated memory: 289284 KiB

[startup+3545.6 s]
/proc/loadavg: 3.98 4.09 4.08 2/236 271396
/proc/meminfo: memFree=127942392/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=294904 memory=289284 CPUtime=3536.38 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 71776 0 0 0 325195 28443 0 0 20 0 1 0 48995701 301981696 72321 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 73726 72321 2849 2753 0 70379 0
Current children cumulated CPU time: 3536.38 s
Current children cumulated vsize: 294904 KiB
Current children cumulated memory: 289284 KiB

[startup+3558.4 s]
/proc/loadavg: 3.32 3.94 4.03 2/236 271397
/proc/meminfo: memFree=127942460/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=294904 memory=289284 CPUtime=3549.15 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 71776 0 0 0 326272 28643 0 0 20 0 1 0 48995701 301981696 72321 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 73726 72321 2849 2753 0 70379 0
Current children cumulated CPU time: 3549.15 s
Current children cumulated vsize: 294904 KiB
Current children cumulated memory: 289284 KiB

[startup+3561.6 s]
/proc/loadavg: 3.32 3.94 4.03 2/236 271399
/proc/meminfo: memFree=127942460/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=294904 memory=289284 CPUtime=3552.35 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 71776 0 0 0 326538 28697 0 0 20 0 1 0 48995701 301981696 72321 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 73726 72321 2849 2753 0 70379 0
Current children cumulated CPU time: 3552.35 s
Current children cumulated vsize: 294904 KiB
Current children cumulated memory: 289284 KiB

[startup+3564.8 s]
/proc/loadavg: 3.14 3.89 4.02 2/236 271399
/proc/meminfo: memFree=127942516/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=294904 memory=289284 CPUtime=3555.54 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 71776 0 0 0 326809 28745 0 0 20 0 1 0 48995701 301981696 72321 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 73726 72321 2849 2753 0 70379 0
Current children cumulated CPU time: 3555.54 s
Current children cumulated vsize: 294904 KiB
Current children cumulated memory: 289284 KiB

[startup+3566.4 s]
/proc/loadavg: 3.14 3.89 4.02 2/236 271399
/proc/meminfo: memFree=127942516/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=294904 memory=289284 CPUtime=3557.14 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 71776 0 0 0 326946 28768 0 0 20 0 1 0 48995701 301981696 72321 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 73726 72321 2849 2753 0 70379 0
Current children cumulated CPU time: 3557.14 s
Current children cumulated vsize: 294904 KiB
Current children cumulated memory: 289284 KiB

[startup+3566.8 s]
/proc/loadavg: 3.14 3.89 4.02 2/236 271399
/proc/meminfo: memFree=127942516/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=294904 memory=289284 CPUtime=3557.53 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 71776 0 0 0 326979 28774 0 0 20 0 1 0 48995701 301981696 72321 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 73726 72321 2849 2753 0 70379 0
Current children cumulated CPU time: 3557.53 s
Current children cumulated vsize: 294904 KiB
Current children cumulated memory: 289284 KiB

[startup+3567.2 s]
/proc/loadavg: 2.97 3.84 4.00 2/236 271399
/proc/meminfo: memFree=127942516/131524600 swapFree=131071728/131071996
[pid=269467] ppid=269464 vsize=294904 memory=289284 CPUtime=3557.93 cores=0,2
/proc/269467/stat : 269467 (LS-MabSP) R 269464 269467 265289 0 -1 4194304 71778 0 0 0 327013 28780 0 0 20 0 1 0 48995701 301981696 72321 134679101440 4194304 15467897 140727834311648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25501696 140727834317854 140727834317957 140727834317957 140727834324973 0
/proc/269467/statm: 73726 72321 2849 2753 0 70379 0
Current children cumulated CPU time: 3557.93 s
Current children cumulated vsize: 294904 KiB
Current children cumulated memory: 289284 KiB

Child status: 0

Real time (s): 3567.26
CPU time (s): 3558.01
CPU user time (s): 3270.2
CPU system time (s): 287.811
CPU usage (%): 99.7405
Max. virtual memory (cumulated for all children) (KiB): 320472
Max. memory (cumulated for all children) (KiB): 314668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3270.2
system time used= 287.811
maximum resident set size= 314668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71817
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48
involuntary context switches= 24887


# summary of solver processes directly reported to runsolver:
#   pid: 269467
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3270.2
#   total CPU system time (s): 287.811

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.25932 second user time and 11.7923 second system time

The end