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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443594-1721307814/watcher-4443594-1721307814 -o /tmp/evaluation-result-4443594-1721307814/solver-4443594-1721307814 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721304193-928351 --watchdog 3760 ./Hybrid-LSMabSP+Exact HOME/instance-4443594-1721307814.opb 3600 HOME 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=930960, runsolver pid=930957
Current StackSize limit: 8192 KiB


[startup+0.100085 s]*
/proc/loadavg: 4.19 4.16 4.16 5/264 930964
/proc/meminfo: memFree=125254724/131524600 swapFree=131071996/131071996
[pid=930960] ppid=930957 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/930960/stat : 930960 (Hybrid-LSMabSP+) S 930957 930960 928340 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182941955 10170368 663 134679101440 94131932049408 94131933128728 140729325876512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94131935227184 94131935274372 94131946299392 140729325884391 140729325884537 140729325884537 140729325891553 0
/proc/930960/statm: 2483 663 586 264 0 134 0
[pid=930963] ppid=930960 vsize=8660 memory=988 CPUtime=0 cores=4,6
/proc/930963/stat : 930963 (timeout) S 930960 930963 928340 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182941955 8867840 247 134679101440 93829637324800 93829637359816 140726913527904 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93829639457232 93829639459364 93829650251776 140726913537064 140726913537180 140726913537180 140726913544167 0
/proc/930963/statm: 2165 247 222 9 0 87 0
[pid=930964] ppid=930963 vsize=37080 memory=24524 CPUtime=0.09 cores=4,6
/proc/930964/stat : 930964 (LS-MabSP) R 930963 930963 928340 0 -1 4194304 3132 0 0 0 9 0 0 0 20 0 1 0 182941955 37969920 6131 134679101440 4194304 15467897 140720715100896 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 50081792 140720715109435 140720715109538 140720715109538 140720715116525 0
/proc/930964/statm: 9270 6131 1073 2753 0 5923 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55672 KiB
Current children cumulated memory: 28164 KiB

[startup+0.205744 s]*
/proc/loadavg: 4.19 4.16 4.16 5/264 930964
/proc/meminfo: memFree=125249472/131524600 swapFree=131071996/131071996
[pid=930960] ppid=930957 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/930960/stat : 930960 (Hybrid-LSMabSP+) S 930957 930960 928340 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182941955 10170368 663 134679101440 94131932049408 94131933128728 140729325876512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94131935227184 94131935274372 94131946299392 140729325884391 140729325884537 140729325884537 140729325891553 0
/proc/930960/statm: 2483 663 586 264 0 134 0
[pid=930963] ppid=930960 vsize=8660 memory=988 CPUtime=0 cores=4,6
/proc/930963/stat : 930963 (timeout) S 930960 930963 928340 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182941955 8867840 247 134679101440 93829637324800 93829637359816 140726913527904 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93829639457232 93829639459364 93829650251776 140726913537064 140726913537180 140726913537180 140726913544167 0
/proc/930963/statm: 2165 247 222 9 0 87 0
[pid=930964] ppid=930963 vsize=43224 memory=28992 CPUtime=0.19 cores=4,6
/proc/930964/stat : 930964 (LS-MabSP) R 930963 930963 928340 0 -1 4194304 3685 0 0 0 19 0 0 0 20 0 1 0 182941955 44261376 7248 134679101440 4194304 15467897 140720715100896 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 50081792 140720715109435 140720715109538 140720715109538 140720715116525 0
/proc/930964/statm: 10806 7248 1073 2753 0 7459 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61816 KiB
Current children cumulated memory: 32632 KiB

[startup+0.305565 s]*
/proc/loadavg: 4.19 4.16 4.16 6/264 930964
/proc/meminfo: memFree=125245688/131524600 swapFree=131071996/131071996
[pid=930960] ppid=930957 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/930960/stat : 930960 (Hybrid-LSMabSP+) S 930957 930960 928340 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182941955 10170368 663 134679101440 94131932049408 94131933128728 140729325876512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94131935227184 94131935274372 94131946299392 140729325884391 140729325884537 140729325884537 140729325891553 0
/proc/930960/statm: 2483 663 586 264 0 134 0
[pid=930963] ppid=930960 vsize=8660 memory=988 CPUtime=0 cores=4,6
/proc/930963/stat : 930963 (timeout) S 930960 930963 928340 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182941955 8867840 247 134679101440 93829637324800 93829637359816 140726913527904 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93829639457232 93829639459364 93829650251776 140726913537064 140726913537180 140726913537180 140726913544167 0
/proc/930963/statm: 2165 247 222 9 0 87 0
[pid=930964] ppid=930963 vsize=43224 memory=28992 CPUtime=0.29 cores=4,6
/proc/930964/stat : 930964 (LS-MabSP) R 930963 930963 928340 0 -1 4194304 3726 0 0 0 29 0 0 0 20 0 1 0 182941955 44261376 7248 134679101440 4194304 15467897 140720715100896 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 50081792 140720715109435 140720715109538 140720715109538 140720715116525 0
/proc/930964/statm: 10806 7248 1073 2753 0 7459 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 61816 KiB
Current children cumulated memory: 32632 KiB

[startup+0.700291 s]
/proc/loadavg: 4.19 4.16 4.16 5/264 930964
/proc/meminfo: memFree=125235448/131524600 swapFree=131071996/131071996
[pid=930960] ppid=930957 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/930960/stat : 930960 (Hybrid-LSMabSP+) S 930957 930960 928340 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182941955 10170368 663 134679101440 94131932049408 94131933128728 140729325876512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94131935227184 94131935274372 94131946299392 140729325884391 140729325884537 140729325884537 140729325891553 0
/proc/930960/statm: 2483 663 586 264 0 134 0
[pid=930963] ppid=930960 vsize=8660 memory=988 CPUtime=0 cores=4,6
/proc/930963/stat : 930963 (timeout) S 930960 930963 928340 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182941955 8867840 247 134679101440 93829637324800 93829637359816 140726913527904 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93829639457232 93829639459364 93829650251776 140726913537064 140726913537180 140726913537180 140726913544167 0
/proc/930963/statm: 2165 247 222 9 0 87 0
[pid=930964] ppid=930963 vsize=51416 memory=37436 CPUtime=0.68 cores=4,6
/proc/930964/stat : 930964 (LS-MabSP) R 930963 930963 928340 0 -1 4194304 4300 0 0 0 68 0 0 0 20 0 1 0 182941955 52649984 9359 134679101440 4194304 15467897 140720715100896 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 50081792 140720715109435 140720715109538 140720715109538 140720715116525 0
/proc/930964/statm: 12854 9359 1073 2753 0 9507 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 70008 KiB
Current children cumulated memory: 41076 KiB

[startup+1.5003 s]
/proc/loadavg: 4.19 4.16 4.16 5/264 930964
/proc/meminfo: memFree=125056800/131524600 swapFree=131071996/131071996
[pid=930960] ppid=930957 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/930960/stat : 930960 (Hybrid-LSMabSP+) S 930957 930960 928340 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182941955 10170368 663 134679101440 94131932049408 94131933128728 140729325876512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94131935227184 94131935274372 94131946299392 140729325884391 140729325884537 140729325884537 140729325891553 0
/proc/930960/statm: 2483 663 586 264 0 134 0
[pid=930963] ppid=930960 vsize=8660 memory=988 CPUtime=0 cores=4,6
/proc/930963/stat : 930963 (timeout) S 930960 930963 928340 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182941955 8867840 247 134679101440 93829637324800 93829637359816 140726913527904 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93829639457232 93829639459364 93829650251776 140726913537064 140726913537180 140726913537180 140726913544167 0
/proc/930963/statm: 2165 247 222 9 0 87 0
[pid=930964] ppid=930963 vsize=67800 memory=54072 CPUtime=1.48 cores=4,6
/proc/930964/stat : 930964 (LS-MabSP) R 930963 930963 928340 0 -1 4194304 4920 0 0 0 147 1 0 0 20 0 1 0 182941955 69427200 13518 134679101440 4194304 15467897 140720715100896 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 50081792 140720715109435 140720715109538 140720715109538 140720715116525 0
/proc/930964/statm: 16950 13518 1073 2753 0 13603 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 86392 KiB
Current children cumulated memory: 57712 KiB

[startup+3.10571 s]
/proc/loadavg: 4.18 4.16 4.16 5/264 930964
/proc/meminfo: memFree=124908768/131524600 swapFree=131071996/131071996
[pid=930960] ppid=930957 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/930960/stat : 930960 (Hybrid-LSMabSP+) S 930957 930960 928340 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182941955 10170368 663 134679101440 94131932049408 94131933128728 140729325876512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94131935227184 94131935274372 94131946299392 140729325884391 140729325884537 140729325884537 140729325891553 0
/proc/930960/statm: 2483 663 586 264 0 134 0
[pid=930963] ppid=930960 vsize=8660 memory=988 CPUtime=0 cores=4,6
/proc/930963/stat : 930963 (timeout) S 930960 930963 928340 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182941955 8867840 247 134679101440 93829637324800 93829637359816 140726913527904 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93829639457232 93829639459364 93829650251776 140726913537064 140726913537180 140726913537180 140726913544167 0
/proc/930963/statm: 2165 247 222 9 0 87 0
[pid=930964] ppid=930963 vsize=266724 memory=223892 CPUtime=3.08 cores=4,6
/proc/930964/stat : 930964 (LS-MabSP) R 930963 930963 928340 0 -1 4194304 15673 0 0 0 302 6 0 0 20 0 1 0 182941955 273125376 55973 134679101440 4194304 15467897 140720715100896 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 50081792 140720715109435 140720715109538 140720715109538 140720715116525 0
/proc/930964/statm: 66681 55973 1105 2753 0 63334 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 285316 KiB
Current children cumulated memory: 227532 KiB

[startup+6.30028 s]
/proc/loadavg: 4.18 4.16 4.16 5/264 930964
/proc/meminfo: memFree=124801048/131524600 swapFree=131071996/131071996
[pid=930960] ppid=930957 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/930960/stat : 930960 (Hybrid-LSMabSP+) S 930957 930960 928340 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182941955 10170368 663 134679101440 94131932049408 94131933128728 140729325876512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94131935227184 94131935274372 94131946299392 140729325884391 140729325884537 140729325884537 140729325891553 0
/proc/930960/statm: 2483 663 586 264 0 134 0
[pid=930963] ppid=930960 vsize=8660 memory=988 CPUtime=0 cores=4,6
/proc/930963/stat : 930963 (timeout) S 930960 930963 928340 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182941955 8867840 247 134679101440 93829637324800 93829637359816 140726913527904 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93829639457232 93829639459364 93829650251776 140726913537064 140726913537180 140726913537180 140726913544167 0
/proc/930963/statm: 2165 247 222 9 0 87 0
[pid=930964] ppid=930963 vsize=266724 memory=224084 CPUtime=6.27 cores=4,6
/proc/930964/stat : 930964 (LS-MabSP) R 930963 930963 928340 0 -1 4194304 15717 0 0 0 621 6 0 0 20 0 1 0 182941955 273125376 56021 134679101440 4194304 15467897 140720715100896 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 50081792 140720715109435 140720715109538 140720715109538 140720715116525 0
/proc/930964/statm: 66681 56021 1153 2753 0 63334 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 285316 KiB
Current children cumulated memory: 227724 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.16 4.16 5/264 931018
/proc/meminfo: memFree=123768016/131524600 swapFree=131071996/131071996
[pid=930960] ppid=930957 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/930960/stat : 930960 (Hybrid-LSMabSP+) S 930957 930960 928340 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182941955 10170368 663 134679101440 94131932049408 94131933128728 140729325876512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94131935227184 94131935274372 94131946299392 140729325884391 140729325884537 140729325884537 140729325891553 0
/proc/930960/statm: 2483 663 586 264 0 134 0
[pid=930963] ppid=930960 vsize=8660 memory=988 CPUtime=0 cores=4,6
/proc/930963/stat : 930963 (timeout) S 930960 930963 928340 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182941955 8867840 247 134679101440 93829637324800 93829637359816 140726913527904 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93829639457232 93829639459364 93829650251776 140726913537064 140726913537180 140726913537180 140726913544167 0
/proc/930963/statm: 2165 247 222 9 0 87 0
[pid=930964] ppid=930963 vsize=1140032 memory=1034096 CPUtime=12.66 cores=4,6
/proc/930964/stat : 930964 (LS-MabSP) R 930963 930963 928340 0 -1 4194304 191474 0 0 0 1232 34 0 0 20 0 1 0 182941955 1167392768 258524 134679101440 4194304 15467897 140720715100896 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 50081792 140720715109435 140720715109538 140720715109538 140720715116525 0
/proc/930964/statm: 285008 258524 2721 2753 0 281661 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1158624 KiB
Current children cumulated memory: 1037736 KiB

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

# cumulated CPU time of all completed processes:  user=14.9257 s, system=0.508982 s

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

[startup+12.8003 s]
/proc/loadavg: 4.15 4.16 4.16 5/264 931018
/proc/meminfo: memFree=123768016/131524600 swapFree=131071996/131071996
[pid=930960] ppid=930957 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/930960/stat : 930960 (Hybrid-LSMabSP+) S 930957 930960 928340 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182941955 10170368 663 134679101440 94131932049408 94131933128728 140729325876512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94131935227184 94131935274372 94131946299392 140729325884391 140729325884537 140729325884537 140729325891553 0
/proc/930960/statm: 2483 663 586 264 0 134 0
[pid=930963] ppid=930960 vsize=8660 memory=988 CPUtime=0 cores=4,6
/proc/930963/stat : 930963 (timeout) S 930960 930963 928340 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182941955 8867840 247 134679101440 93829637324800 93829637359816 140726913527904 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93829639457232 93829639459364 93829650251776 140726913537064 140726913537180 140726913537180 140726913544167 0
/proc/930963/statm: 2165 247 222 9 0 87 0
[pid=930964] ppid=930963 vsize=1140032 memory=1034096 CPUtime=12.76 cores=4,6
/proc/930964/stat : 930964 (LS-MabSP) R 930963 930963 928340 0 -1 4194304 191474 0 0 0 1242 34 0 0 20 0 1 0 182941955 1167392768 258524 134679101440 4194304 15467897 140720715100896 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 50081792 140720715109435 140720715109538 140720715109538 140720715116525 0
/proc/930964/statm: 285008 258524 2721 2753 0 281661 0
Current children cumulated CPU time: 12.76 s
Current children cumulated vsize: 1158624 KiB
Current children cumulated memory: 1037736 KiB

[startup+14.4003 s]
/proc/loadavg: 4.15 4.16 4.16 5/264 931018
/proc/meminfo: memFree=123200404/131524600 swapFree=131071996/131071996
[pid=930960] ppid=930957 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/930960/stat : 930960 (Hybrid-LSMabSP+) S 930957 930960 928340 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182941955 10170368 663 134679101440 94131932049408 94131933128728 140729325876512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94131935227184 94131935274372 94131946299392 140729325884391 140729325884537 140729325884537 140729325891553 0
/proc/930960/statm: 2483 663 586 264 0 134 0
[pid=930963] ppid=930960 vsize=8660 memory=988 CPUtime=0 cores=4,6
/proc/930963/stat : 930963 (timeout) S 930960 930963 928340 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182941955 8867840 247 134679101440 93829637324800 93829637359816 140726913527904 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93829639457232 93829639459364 93829650251776 140726913537064 140726913537180 140726913537180 140726913544167 0
/proc/930963/statm: 2165 247 222 9 0 87 0
[pid=930964] ppid=930963 vsize=1440308 memory=1326372 CPUtime=14.35 cores=4,6
/proc/930964/stat : 930964 (LS-MabSP) R 930963 930963 928340 0 -1 4194304 240593 0 0 0 1391 44 0 0 20 0 1 0 182941955 1474875392 331593 134679101440 4194304 15467897 140720715100896 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 50081792 140720715109435 140720715109538 140720715109538 140720715116525 0
/proc/930964/statm: 360077 331593 2769 2753 0 356730 0
Current children cumulated CPU time: 14.35 s
Current children cumulated vsize: 1458900 KiB
Current children cumulated memory: 1330012 KiB

[startup+15.2003 s]
/proc/loadavg: 4.15 4.16 4.16 5/257 931025
/proc/meminfo: memFree=124267148/131524600 swapFree=131071996/131071996
[pid=930960] ppid=930957 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/930960/stat : 930960 (Hybrid-LSMabSP+) S 930957 930960 928340 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182941955 10170368 663 134679101440 94131932049408 94131933128728 140729325876512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94131935227184 94131935274372 94131946299392 140729325884391 140729325884537 140729325884537 140729325891553 0
/proc/930960/statm: 2483 663 586 264 0 134 0
[pid=930963] ppid=930960 vsize=8660 memory=988 CPUtime=0 cores=4,6
/proc/930963/stat : 930963 (timeout) S 930960 930963 928340 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182941955 8867840 247 134679101440 93829637324800 93829637359816 140726913527904 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93829639457232 93829639459364 93829650251776 140726913537064 140726913537180 140726913537180 140726913544167 0
/proc/930963/statm: 2165 247 222 9 0 87 0
[pid=930964] ppid=930963 vsize=1490468 memory=1375612 CPUtime=15.16 cores=4,6
/proc/930964/stat : 930964 (LS-MabSP) R 930963 930963 928340 0 -1 4194304 247295 0 0 0 1470 46 0 0 20 0 1 0 182941955 1526239232 343903 134679101440 4194304 15467897 140720715100896 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 50081792 140720715109435 140720715109538 140720715109538 140720715116525 0
/proc/930964/statm: 372617 343903 2801 2753 0 369270 0
Current children cumulated CPU time: 15.16 s
Current children cumulated vsize: 1509060 KiB
Current children cumulated memory: 1379252 KiB

[startup+15.4003 s]
/proc/loadavg: 4.15 4.16 4.16 5/257 931025
/proc/meminfo: memFree=124267148/131524600 swapFree=131071996/131071996
[pid=930960] ppid=930957 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/930960/stat : 930960 (Hybrid-LSMabSP+) S 930957 930960 928340 0 -1 4194304 232 103 0 0 0 0 0 0 20 0 1 0 182941955 10170368 663 134679101440 94131932049408 94131933128728 140729325876512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94131935227184 94131935274372 94131946299392 140729325884391 140729325884537 140729325884537 140729325891553 0
/proc/930960/statm: 2483 663 586 264 0 134 0
[pid=930963] ppid=930960 vsize=8660 memory=988 CPUtime=0 cores=4,6
/proc/930963/stat : 930963 (timeout) S 930960 930963 928340 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182941955 8867840 247 134679101440 93829637324800 93829637359816 140726913527904 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93829639457232 93829639459364 93829650251776 140726913537064 140726913537180 140726913537180 140726913544167 0
/proc/930963/statm: 2165 247 222 9 0 87 0
[pid=930964] ppid=930963 vsize=1296052 memory=1232528 CPUtime=15.35 cores=4,6
/proc/930964/stat : 930964 (LS-MabSP) R 930963 930963 928340 0 -1 4194304 249826 0 0 0 1489 46 0 0 20 0 1 0 182941955 1327157248 308132 134679101440 4194304 15467897 140720715100896 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 50081792 140720715109435 140720715109538 140720715109538 140720715116525 0
/proc/930964/statm: 324013 308132 2801 2753 0 320666 0
Current children cumulated CPU time: 15.35 s
Current children cumulated vsize: 1314644 KiB
Current children cumulated memory: 1236168 KiB

Child status: 0

Real time (s): 15.4691
CPU time (s): 15.4347
CPU user time (s): 14.9257
CPU system time (s): 0.508982
CPU usage (%): 99.778
Max. virtual memory (cumulated for all children) (KiB): 1514488
Max. memory (cumulated for all children) (KiB): 1383428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.9257
system time used= 0.508982
maximum resident set size= 1413556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250519
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 19


# summary of solver processes directly reported to runsolver:
#   pid: 930960
#   total CPU time (s): 15.4347
#   total CPU user time (s): 14.9257
#   total CPU system time (s): 0.508982

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050467 second user time and 0.096698 second system time

The end