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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427996-1722813218/watcher-4427996-1722813218 -o /tmp/evaluation-result-4427996-1722813218/solver-4427996-1722813218 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722806085-257747 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427996-1722813218.opb -t 3558 -s 861795388 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100089 s]*
/proc/loadavg: 4.20 4.24 4.15 4/256 262266
/proc/meminfo: memFree=129571428/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=25072 memory=12496 CPUtime=0.09 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 2142 0 0 0 9 0 0 0 20 0 1 0 47922304 25673728 3124 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 6268 3124 1073 2753 0 2921 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25072 KiB
Current children cumulated memory: 12496 KiB

[startup+0.205274 s]*
/proc/loadavg: 4.20 4.24 4.15 5/256 262280
/proc/meminfo: memFree=129540676/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=38896 memory=26456 CPUtime=0.2 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 5748 0 0 0 19 1 0 0 20 0 1 0 47922304 39829504 6614 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 9724 6614 1137 2753 0 6377 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38896 KiB
Current children cumulated memory: 26456 KiB

[startup+0.305623 s]*
/proc/loadavg: 4.20 4.24 4.15 5/255 262286
/proc/meminfo: memFree=129530324/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=38896 memory=26456 CPUtime=0.3 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 5749 0 0 0 29 1 0 0 20 0 1 0 47922304 39829504 6614 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 9724 6614 1137 2753 0 6377 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38896 KiB
Current children cumulated memory: 26456 KiB

[startup+0.700233 s]
/proc/loadavg: 4.20 4.24 4.15 6/258 262312
/proc/meminfo: memFree=129521956/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=102144 memory=92932 CPUtime=0.69 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 21517 0 0 0 66 3 0 0 20 0 1 0 47922304 104595456 23233 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 25536 23233 2705 2753 0 22189 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 102144 KiB
Current children cumulated memory: 92932 KiB

[startup+1.50018 s]
/proc/loadavg: 4.20 4.24 4.15 5/258 262312
/proc/meminfo: memFree=129365272/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=119928 memory=109564 CPUtime=1.48 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 25678 0 0 0 145 3 0 0 20 0 1 0 47922304 122806272 27391 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 29982 27391 2705 2753 0 26635 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 119928 KiB
Current children cumulated memory: 109564 KiB

[startup+3.10549 s]
/proc/loadavg: 4.19 4.23 4.15 5/258 262312
/proc/meminfo: memFree=129170700/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=126732 memory=115976 CPUtime=3.09 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 27235 0 0 0 305 4 0 0 20 0 1 0 47922304 129773568 28994 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 31683 28994 2737 2753 0 28336 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 126732 KiB
Current children cumulated memory: 115976 KiB

[startup+6.30019 s]
/proc/loadavg: 4.19 4.23 4.15 5/258 262360
/proc/meminfo: memFree=129049100/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=216528 memory=199100 CPUtime=6.27 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 42819 0 0 0 620 7 0 0 20 0 1 0 47922304 221724672 49775 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 54132 49775 2817 2753 0 50785 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 216528 KiB
Current children cumulated memory: 199100 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.23 4.15 5/258 262360
/proc/meminfo: memFree=127483888/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=217032 memory=199628 CPUtime=12.65 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 42959 0 0 0 1258 7 0 0 20 0 1 0 47922304 222240768 49907 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 54258 49907 2817 2753 0 50911 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 217032 KiB
Current children cumulated memory: 199628 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.22 4.14 5/258 262361
/proc/meminfo: memFree=127426940/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=263772 memory=241860 CPUtime=25.42 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 53554 0 0 0 2533 9 0 0 20 0 1 0 47922304 270102528 60465 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 65943 60465 2849 2753 0 62596 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 263772 KiB
Current children cumulated memory: 241860 KiB

[startup+51.1055 s]
/proc/loadavg: 4.15 4.21 4.14 5/258 262367
/proc/meminfo: memFree=127386336/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=263772 memory=242116 CPUtime=50.95 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 53590 0 0 0 5085 10 0 0 20 0 1 0 47922304 270102528 60529 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 65943 60529 2849 2753 0 62596 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 263772 KiB
Current children cumulated memory: 242116 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.20 4.14 5/258 262375
/proc/meminfo: memFree=127362292/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=263772 memory=242364 CPUtime=102 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 53660 0 0 0 10190 10 0 0 20 0 1 0 47922304 270102528 60591 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 65943 60591 2849 2753 0 62596 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 263772 KiB
Current children cumulated memory: 242364 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.19 4.14 5/255 262385
/proc/meminfo: memFree=127327508/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=285180 memory=263992 CPUtime=161.83 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 62147 0 0 0 16171 12 0 0 20 0 1 0 47922304 292024320 65998 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 71295 65998 2849 2753 0 67948 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 285180 KiB
Current children cumulated memory: 263992 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.17 4.13 5/256 262396
/proc/meminfo: memFree=127286364/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=295556 memory=274696 CPUtime=221.65 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 64803 0 0 0 22153 12 0 0 20 0 1 0 47922304 302649344 68674 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 73889 68674 2849 2753 0 70542 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 295556 KiB
Current children cumulated memory: 274696 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.15 4.13 5/256 262408
/proc/meminfo: memFree=127252388/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=295556 memory=276004 CPUtime=281.47 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 65172 0 0 0 28135 12 0 0 20 0 1 0 47922304 302649344 69001 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 73889 69001 2849 2753 0 70542 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 295556 KiB
Current children cumulated memory: 276004 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.15 4.13 5/255 262418
/proc/meminfo: memFree=127257788/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=247832 memory=238340 CPUtime=341.34 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 65197 0 0 0 34114 20 0 0 20 0 1 0 47922304 253779968 59585 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 61958 59585 2849 2753 0 58611 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 247832 KiB
Current children cumulated memory: 238340 KiB

[startup+402.3 s]
/proc/loadavg: 4.42 4.22 4.15 5/257 262432
/proc/meminfo: memFree=127219628/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=247832 memory=242084 CPUtime=401.22 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 65212 0 0 0 40092 30 0 0 20 0 1 0 47922304 253779968 60521 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 61958 60521 2849 2753 0 58611 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 247832 KiB
Current children cumulated memory: 242084 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 4.19 4.15 5/257 262443
/proc/meminfo: memFree=127180508/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=247832 memory=242196 CPUtime=461.1 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 65227 0 0 0 46070 40 0 0 20 0 1 0 47922304 253779968 60549 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0

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

/proc/loadavg: 4.12 4.12 4.09 5/255 264110
/proc/meminfo: memFree=126620108/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=247832 memory=242200 CPUtime=3155.96 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 65902 0 0 0 315028 568 0 0 20 0 1 0 47922304 253779968 60550 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 61958 60550 2849 2753 0 58611 0
Current children cumulated CPU time: 3155.96 s
Current children cumulated vsize: 247832 KiB
Current children cumulated memory: 242200 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 264120
/proc/meminfo: memFree=126619828/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=247832 memory=242200 CPUtime=3215.85 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 65917 0 0 0 321007 578 0 0 20 0 1 0 47922304 253779968 60550 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 61958 60550 2849 2753 0 58611 0
Current children cumulated CPU time: 3215.85 s
Current children cumulated vsize: 247832 KiB
Current children cumulated memory: 242200 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 264132
/proc/meminfo: memFree=126619396/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=247832 memory=242200 CPUtime=3275.75 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 65932 0 0 0 326986 589 0 0 20 0 1 0 47922304 253779968 60550 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 61958 60550 2849 2753 0 58611 0
Current children cumulated CPU time: 3275.75 s
Current children cumulated vsize: 247832 KiB
Current children cumulated memory: 242200 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 264142
/proc/meminfo: memFree=126619056/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=247832 memory=242200 CPUtime=3335.63 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 65947 0 0 0 332963 600 0 0 20 0 1 0 47922304 253779968 60550 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 61958 60550 2849 2753 0 58611 0
Current children cumulated CPU time: 3335.63 s
Current children cumulated vsize: 247832 KiB
Current children cumulated memory: 242200 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 264156
/proc/meminfo: memFree=126618804/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=247832 memory=242200 CPUtime=3395.52 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 65962 0 0 0 338939 613 0 0 20 0 1 0 47922304 253779968 60550 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 61958 60550 2849 2753 0 58611 0
Current children cumulated CPU time: 3395.52 s
Current children cumulated vsize: 247832 KiB
Current children cumulated memory: 242200 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 264168
/proc/meminfo: memFree=126618472/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=247832 memory=242200 CPUtime=3455.41 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 65977 0 0 0 344916 625 0 0 20 0 1 0 47922304 253779968 60550 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 61958 60550 2849 2753 0 58611 0
Current children cumulated CPU time: 3455.41 s
Current children cumulated vsize: 247832 KiB
Current children cumulated memory: 242200 KiB

[startup+3522.3 s]
/proc/loadavg: 4.49 4.20 4.12 5/256 264178
/proc/meminfo: memFree=126618168/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=247832 memory=242200 CPUtime=3515.29 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 65992 0 0 0 350891 638 0 0 20 0 1 0 47922304 253779968 60550 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 61958 60550 2849 2753 0 58611 0
Current children cumulated CPU time: 3515.29 s
Current children cumulated vsize: 247832 KiB
Current children cumulated memory: 242200 KiB

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

# cumulated CPU time of all completed processes:  user=3551.54 s, system=6.48035 s

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

[startup+3532.8 s]
/proc/loadavg: 4.42 4.19 4.12 5/256 264179
/proc/meminfo: memFree=126618108/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=247832 memory=242200 CPUtime=3525.78 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 65992 0 0 0 351937 641 0 0 20 0 1 0 47922304 253779968 60550 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 61958 60550 2849 2753 0 58611 0
Current children cumulated CPU time: 3525.78 s
Current children cumulated vsize: 247832 KiB
Current children cumulated memory: 242200 KiB

[startup+3545.6 s]
/proc/loadavg: 4.32 4.18 4.12 5/256 264181
/proc/meminfo: memFree=126618048/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=247832 memory=242200 CPUtime=3538.55 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 65992 0 0 0 353212 643 0 0 20 0 1 0 47922304 253779968 60550 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 61958 60550 2849 2753 0 58611 0
Current children cumulated CPU time: 3538.55 s
Current children cumulated vsize: 247832 KiB
Current children cumulated memory: 242200 KiB

[startup+3558.4 s]
/proc/loadavg: 4.27 4.18 4.11 5/256 264185
/proc/meminfo: memFree=126617908/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=247832 memory=242200 CPUtime=3551.33 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 65992 0 0 0 354487 646 0 0 20 0 1 0 47922304 253779968 60550 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 61958 60550 2849 2753 0 58611 0
Current children cumulated CPU time: 3551.33 s
Current children cumulated vsize: 247832 KiB
Current children cumulated memory: 242200 KiB

[startup+3561.6 s]
/proc/loadavg: 4.25 4.17 4.11 5/256 264185
/proc/meminfo: memFree=126617936/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=247832 memory=242200 CPUtime=3554.53 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 65992 0 0 0 354806 647 0 0 20 0 1 0 47922304 253779968 60550 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 61958 60550 2849 2753 0 58611 0
Current children cumulated CPU time: 3554.53 s
Current children cumulated vsize: 247832 KiB
Current children cumulated memory: 242200 KiB

[startup+3563.2 s]
/proc/loadavg: 4.25 4.17 4.11 5/256 264185
/proc/meminfo: memFree=126617936/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=247832 memory=242200 CPUtime=3556.12 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 65992 0 0 0 354965 647 0 0 20 0 1 0 47922304 253779968 60550 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 61958 60550 2849 2753 0 58611 0
Current children cumulated CPU time: 3556.12 s
Current children cumulated vsize: 247832 KiB
Current children cumulated memory: 242200 KiB

[startup+3564 s]*
/proc/loadavg: 4.31 4.19 4.12 5/256 264185
/proc/meminfo: memFree=126617940/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=247832 memory=242200 CPUtime=3556.92 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 65992 0 0 0 355045 647 0 0 20 0 1 0 47922304 253779968 60550 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 61958 60550 2849 2753 0 58611 0
Current children cumulated CPU time: 3556.92 s
Current children cumulated vsize: 247832 KiB
Current children cumulated memory: 242200 KiB

[startup+3564.8 s]
/proc/loadavg: 4.31 4.19 4.12 5/256 264185
/proc/meminfo: memFree=126617940/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=247832 memory=242200 CPUtime=3557.71 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 65992 0 0 0 355124 647 0 0 20 0 1 0 47922304 253779968 60550 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 61958 60550 2849 2753 0 58611 0
Current children cumulated CPU time: 3557.71 s
Current children cumulated vsize: 247832 KiB
Current children cumulated memory: 242200 KiB

[startup+3565 s]*
/proc/loadavg: 4.31 4.19 4.12 5/256 264185
/proc/meminfo: memFree=126617940/131524600 swapFree=131071996/131071996
[pid=262265] ppid=262262 vsize=247832 memory=242200 CPUtime=3557.92 cores=5,7
/proc/262265/stat : 262265 (LS-MabSP) R 262262 262265 257734 0 -1 4194304 65992 0 0 0 355145 647 0 0 20 0 1 0 47922304 253779968 60550 134679101440 4194304 15467897 140725912845168 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44265472 140725912851487 140725912851589 140725912851589 140725912858605 0
/proc/262265/statm: 61958 60550 2849 2753 0 58611 0
Current children cumulated CPU time: 3557.92 s
Current children cumulated vsize: 247832 KiB
Current children cumulated memory: 242200 KiB

Child status: 0

Real time (s): 3565.09
CPU time (s): 3558.02
CPU user time (s): 3551.54
CPU system time (s): 6.48035
CPU usage (%): 99.8016
Max. virtual memory (cumulated for all children) (KiB): 295556
Max. memory (cumulated for all children) (KiB): 276988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3551.54
system time used= 6.48035
maximum resident set size= 276988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66049
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= 3
involuntary context switches= 1299


# summary of solver processes directly reported to runsolver:
#   pid: 262265
#   total CPU time (s): 3558.02
#   total CPU user time (s): 3551.54
#   total CPU system time (s): 6.48035

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.85747 second user time and 13.8292 second system time

The end