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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427937-1722809652/watcher-4427937-1722809652 -o /tmp/evaluation-result-4427937-1722809652/solver-4427937-1722809652 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722806084-259813 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427937-1722809652.opb -t 3558 -s 893628007 

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=262429, runsolver pid=262426

[startup+0.100884 s]*
/proc/loadavg: 4.12 4.13 4.05 5/257 262430
/proc/meminfo: memFree=127170128/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=23016 memory=10404 CPUtime=0.09 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 1636 0 0 0 9 0 0 0 20 0 1 0 47562193 23568384 2601 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 5754 2601 1073 2753 0 2407 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23016 KiB
Current children cumulated memory: 10404 KiB

[startup+0.205861 s]*
/proc/loadavg: 4.12 4.13 4.05 5/257 262430
/proc/meminfo: memFree=127141928/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=39608 memory=26400 CPUtime=0.2 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 6308 0 0 0 19 1 0 0 20 0 1 0 47562193 40558592 6600 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 9902 6600 1105 2753 0 6555 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39608 KiB
Current children cumulated memory: 26400 KiB

[startup+0.30616 s]*
/proc/loadavg: 4.12 4.13 4.05 5/257 262430
/proc/meminfo: memFree=127133552/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=39608 memory=26400 CPUtime=0.3 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 6308 0 0 0 29 1 0 0 20 0 1 0 47562193 40558592 6600 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 9902 6600 1105 2753 0 6555 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39608 KiB
Current children cumulated memory: 26400 KiB

[startup+0.700144 s]
/proc/loadavg: 4.12 4.13 4.05 5/257 262430
/proc/meminfo: memFree=127123136/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=39608 memory=26400 CPUtime=0.69 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 6308 0 0 0 68 1 0 0 20 0 1 0 47562193 40558592 6600 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 9902 6600 1105 2753 0 6555 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39608 KiB
Current children cumulated memory: 26400 KiB

[startup+1.50014 s]
/proc/loadavg: 4.12 4.13 4.05 5/257 262430
/proc/meminfo: memFree=127051380/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=39608 memory=26400 CPUtime=1.49 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 6308 0 0 0 148 1 0 0 20 0 1 0 47562193 40558592 6600 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 9902 6600 1105 2753 0 6555 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39608 KiB
Current children cumulated memory: 26400 KiB

[startup+3.10578 s]
/proc/loadavg: 4.12 4.13 4.05 5/257 262432
/proc/meminfo: memFree=126980284/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=138408 memory=127360 CPUtime=3.09 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 30857 0 0 0 305 4 0 0 20 0 1 0 47562193 141729792 31840 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 34602 31840 2817 2753 0 31255 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 138408 KiB
Current children cumulated memory: 127360 KiB

[startup+6.30014 s]
/proc/loadavg: 4.11 4.12 4.05 5/257 262432
/proc/meminfo: memFree=126783408/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=139256 memory=127888 CPUtime=6.27 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 31001 0 0 0 623 4 0 0 20 0 1 0 47562193 142598144 31972 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 34814 31972 2817 2753 0 31467 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 139256 KiB
Current children cumulated memory: 127888 KiB

[startup+12.7001 s]
/proc/loadavg: 4.10 4.12 4.05 5/257 262432
/proc/meminfo: memFree=126775220/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=150896 memory=135656 CPUtime=12.65 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 32913 0 0 0 1261 4 0 0 20 0 1 0 47562193 154517504 33914 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 37724 33914 2849 2753 0 34377 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 150896 KiB
Current children cumulated memory: 135656 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.13 4.06 5/257 262436
/proc/meminfo: memFree=126748252/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=183080 memory=160988 CPUtime=25.42 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 39240 0 0 0 2537 5 0 0 20 0 1 0 47562193 187473920 40247 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 45770 40247 2849 2753 0 42423 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 183080 KiB
Current children cumulated memory: 160988 KiB

[startup+51.1051 s]
/proc/loadavg: 4.17 4.14 4.06 5/257 262439
/proc/meminfo: memFree=126702452/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=248892 memory=205860 CPUtime=50.95 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 50467 0 0 0 5088 7 0 0 20 0 1 0 47562193 254865408 51465 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 62223 51465 2849 2753 0 58876 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 248892 KiB
Current children cumulated memory: 205860 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.13 4.06 5/256 262447
/proc/meminfo: memFree=126673568/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=268812 memory=207964 CPUtime=102.02 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 50993 0 0 0 10194 8 0 0 20 0 1 0 47562193 275263488 51991 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 67203 51991 2849 2753 0 63856 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 268812 KiB
Current children cumulated memory: 207964 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.13 4.07 5/256 262458
/proc/meminfo: memFree=126641248/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=301084 memory=239260 CPUtime=161.86 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 58890 0 0 0 16177 9 0 0 20 0 1 0 47562193 308310016 59815 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 75271 59815 2849 2753 0 71924 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 301084 KiB
Current children cumulated memory: 239260 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.07 5/256 262471
/proc/meminfo: memFree=126639816/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=301084 memory=239512 CPUtime=221.69 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 58936 0 0 0 22160 9 0 0 20 0 1 0 47562193 308310016 59878 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 75271 59878 2849 2753 0 71924 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 301084 KiB
Current children cumulated memory: 239512 KiB

[startup+282.3 s]
/proc/loadavg: 4.20 4.14 4.08 5/256 262481
/proc/meminfo: memFree=126639124/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=301084 memory=239512 CPUtime=281.51 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 58941 0 0 0 28142 9 0 0 20 0 1 0 47562193 308310016 59878 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 75271 59878 2849 2753 0 71924 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 301084 KiB
Current children cumulated memory: 239512 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.13 4.08 5/256 262491
/proc/meminfo: memFree=126637236/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=301084 memory=240524 CPUtime=341.33 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 59203 0 0 0 34124 9 0 0 20 0 1 0 47562193 308310016 60131 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 75271 60131 2849 2753 0 71924 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 301084 KiB
Current children cumulated memory: 240524 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.14 4.08 5/258 262505
/proc/meminfo: memFree=126631864/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=314528 memory=245008 CPUtime=401.16 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 60294 0 0 0 40107 9 0 0 20 0 1 0 47562193 322076672 61252 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 78632 61252 2849 2753 0 75285 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 314528 KiB
Current children cumulated memory: 245008 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.08 5/257 262516
/proc/meminfo: memFree=126622752/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=335216 memory=253192 CPUtime=460.98 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 62384 0 0 0 46088 10 0 0 20 0 1 0 47562193 343261184 63298 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0

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

/proc/loadavg: 4.13 4.14 4.11 5/255 264216
/proc/meminfo: memFree=126431720/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=449936 memory=427616 CPUtime=3214.56 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 88548 0 0 0 315649 5807 0 0 20 0 1 0 47562193 460734464 106904 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 112484 106904 2849 2753 0 109137 0
Current children cumulated CPU time: 3214.56 s
Current children cumulated vsize: 449936 KiB
Current children cumulated memory: 427616 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/255 264227
/proc/meminfo: memFree=126430868/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=449936 memory=427616 CPUtime=3274.45 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 88558 0 0 0 321385 6060 0 0 20 0 1 0 47562193 460734464 106904 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 112484 106904 2849 2753 0 109137 0
Current children cumulated CPU time: 3274.45 s
Current children cumulated vsize: 449936 KiB
Current children cumulated memory: 427616 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.14 4.11 5/255 264237
/proc/meminfo: memFree=126430220/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=449936 memory=427616 CPUtime=3334.34 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 88568 0 0 0 327126 6308 0 0 20 0 1 0 47562193 460734464 106904 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 112484 106904 2849 2753 0 109137 0
Current children cumulated CPU time: 3334.34 s
Current children cumulated vsize: 449936 KiB
Current children cumulated memory: 427616 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/258 264252
/proc/meminfo: memFree=126429300/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=449936 memory=427616 CPUtime=3394.22 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 88578 0 0 0 332856 6566 0 0 20 0 1 0 47562193 460734464 106904 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 112484 106904 2849 2753 0 109137 0
Current children cumulated CPU time: 3394.22 s
Current children cumulated vsize: 449936 KiB
Current children cumulated memory: 427616 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/259 264265
/proc/meminfo: memFree=126428720/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=449936 memory=427616 CPUtime=3454.11 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 88588 0 0 0 338605 6806 0 0 20 0 1 0 47562193 460734464 106904 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 112484 106904 2849 2753 0 109137 0
Current children cumulated CPU time: 3454.11 s
Current children cumulated vsize: 449936 KiB
Current children cumulated memory: 427616 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/259 264276
/proc/meminfo: memFree=126427924/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=449936 memory=427616 CPUtime=3514 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 88598 0 0 0 344338 7062 0 0 20 0 1 0 47562193 460734464 106904 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 112484 106904 2849 2753 0 109137 0
Current children cumulated CPU time: 3514 s
Current children cumulated vsize: 449936 KiB
Current children cumulated memory: 427616 KiB

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

# cumulated CPU time of all completed processes:  user=3485.53 s, system=72.4832 s

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

[startup+3532.8 s]
/proc/loadavg: 4.09 4.12 4.09 5/259 264278
/proc/meminfo: memFree=126427876/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=449936 memory=427616 CPUtime=3524.48 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 88598 0 0 0 345346 7102 0 0 20 0 1 0 47562193 460734464 106904 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 112484 106904 2849 2753 0 109137 0
Current children cumulated CPU time: 3524.48 s
Current children cumulated vsize: 449936 KiB
Current children cumulated memory: 427616 KiB

[startup+3545.6 s]
/proc/loadavg: 4.14 4.13 4.10 5/259 264282
/proc/meminfo: memFree=126427676/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=449936 memory=427616 CPUtime=3537.25 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 88598 0 0 0 346569 7156 0 0 20 0 1 0 47562193 460734464 106904 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 112484 106904 2849 2753 0 109137 0
Current children cumulated CPU time: 3537.25 s
Current children cumulated vsize: 449936 KiB
Current children cumulated memory: 427616 KiB

[startup+3558.4 s]
/proc/loadavg: 4.12 4.12 4.09 5/259 264283
/proc/meminfo: memFree=126427600/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=449936 memory=427616 CPUtime=3550.03 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 88598 0 0 0 347791 7212 0 0 20 0 1 0 47562193 460734464 106904 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 112484 106904 2849 2753 0 109137 0
Current children cumulated CPU time: 3550.03 s
Current children cumulated vsize: 449936 KiB
Current children cumulated memory: 427616 KiB

[startup+3561.6 s]
/proc/loadavg: 4.11 4.12 4.09 4/256 264297
/proc/meminfo: memFree=126633892/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=449936 memory=427616 CPUtime=3553.23 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 88598 0 0 0 348097 7226 0 0 20 0 1 0 47562193 460734464 106904 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 112484 106904 2849 2753 0 109137 0
Current children cumulated CPU time: 3553.23 s
Current children cumulated vsize: 449936 KiB
Current children cumulated memory: 427616 KiB

[startup+3564.8 s]
/proc/loadavg: 4.10 4.12 4.09 5/259 264377
/proc/meminfo: memFree=126601580/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=449936 memory=427616 CPUtime=3556.42 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 88598 0 0 0 348401 7241 0 0 20 0 1 0 47562193 460734464 106904 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 112484 106904 2849 2753 0 109137 0
Current children cumulated CPU time: 3556.42 s
Current children cumulated vsize: 449936 KiB
Current children cumulated memory: 427616 KiB

[startup+3565.6 s]
/proc/loadavg: 4.10 4.12 4.09 5/259 264377
/proc/meminfo: memFree=126601572/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=449936 memory=427616 CPUtime=3557.21 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 88598 0 0 0 348476 7245 0 0 20 0 1 0 47562193 460734464 106904 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 112484 106904 2849 2753 0 109137 0
Current children cumulated CPU time: 3557.21 s
Current children cumulated vsize: 449936 KiB
Current children cumulated memory: 427616 KiB

[startup+3566 s]*
/proc/loadavg: 4.10 4.12 4.09 5/259 264377
/proc/meminfo: memFree=126591400/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=449936 memory=427616 CPUtime=3557.63 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 88598 0 0 0 348516 7247 0 0 20 0 1 0 47562193 460734464 106904 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 112484 106904 2849 2753 0 109137 0
Current children cumulated CPU time: 3557.63 s
Current children cumulated vsize: 449936 KiB
Current children cumulated memory: 427616 KiB

[startup+3566.2 s]
/proc/loadavg: 4.10 4.12 4.09 5/259 264377
/proc/meminfo: memFree=126591400/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=449936 memory=427616 CPUtime=3557.82 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 88598 0 0 0 348535 7247 0 0 20 0 1 0 47562193 460734464 106904 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 112484 106904 2849 2753 0 109137 0
Current children cumulated CPU time: 3557.82 s
Current children cumulated vsize: 449936 KiB
Current children cumulated memory: 427616 KiB

[startup+3566.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/259 264377
/proc/meminfo: memFree=126591400/131524600 swapFree=131071216/131071996
[pid=262429] ppid=262426 vsize=449936 memory=427616 CPUtime=3557.92 cores=1,3
/proc/262429/stat : 262429 (LS-MabSP) R 262426 262429 259801 0 -1 4194304 88598 0 0 0 348544 7248 0 0 20 0 1 0 47562193 460734464 106904 134679101440 4194304 15467897 140724379445040 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 40103936 140724379448351 140724379448453 140724379448453 140724379455469 0
/proc/262429/statm: 112484 106904 2849 2753 0 109137 0
Current children cumulated CPU time: 3557.92 s
Current children cumulated vsize: 449936 KiB
Current children cumulated memory: 427616 KiB

Child status: 0

Real time (s): 3566.39
CPU time (s): 3558.01
CPU user time (s): 3485.53
CPU system time (s): 72.4832
CPU usage (%): 99.765
Max. virtual memory (cumulated for all children) (KiB): 449936
Max. memory (cumulated for all children) (KiB): 427616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3485.53
system time used= 72.4832
maximum resident set size= 427616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88654
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= 25
involuntary context switches= 1534


# summary of solver processes directly reported to runsolver:
#   pid: 262429
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3485.53
#   total CPU system time (s): 72.4832

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78868 second user time and 11.8171 second system time

The end