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: 64059 MiB (61083 MiB free)
memory of node 1: 64510 MiB (61176 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456160-1721717825/watcher-4456160-1721717825 -o /tmp/evaluation-result-4456160-1721717825/solver-4456160-1721717825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721717812-78075 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4456160-1721717825.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=79923, runsolver pid=79920
[startup+0.100646 s]*
/proc/loadavg: 2.75 2.23 2.13 8/321 79941
/proc/meminfo: memFree=125135132/131655788 swapFree=131071996/131071996
[pid=79923] ppid=79920 vsize=18975048 memory=56056 CPUtime=0.13 cores=5,7
/proc/79923/stat : 79923 (java) S 79920 79923 78062 0 -1 1077936128 6562 0 0 0 10 3 0 0 20 0 18 0 7771839 19430449152 14011 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
/proc/79923/statm: 4743762 14011 5610 1 0 550892 0
[pid=79923/tid=79925] ppid=79920 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/79923/task/79925/stat : 79925 (java) R 79920 79923 78062 0 -1 4194368 5500 0 0 0 6 3 0 0 20 0 18 0 7771840 19430449152 14014 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79934] ppid=79920 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/79923/task/79934/stat : 79934 (Finalizer) S 79920 79923 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7771845 19430449152 14014 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79941] ppid=79920 vsize=18975048 memory=15539622046449866 CPUtime=0 cores=5,7
/proc/79923/task/79941/stat : 79941 (Common-Cleaner) S 79920 79923 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 7771846 19430449152 14014 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56056 KiB
[startup+0.20861 s]*
/proc/loadavg: 2.75 2.23 2.13 13/322 79942
/proc/meminfo: memFree=125092024/131655788 swapFree=131071996/131071996
[pid=79923] ppid=79920 vsize=18975048 memory=66192 CPUtime=0.32 cores=5,7
/proc/79923/stat : 79923 (java) S 79920 79923 78062 0 -1 1077936128 7373 0 0 0 28 4 0 0 20 0 18 0 7771839 19430449152 16548 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
/proc/79923/statm: 4743762 16548 5754 1 0 551543 0
[pid=79923/tid=79925] ppid=79920 vsize=18975048 memory=664970838410264707 CPUtime=0.18 cores=5,7
/proc/79923/task/79925/stat : 79925 (java) R 79920 79923 78062 0 -1 1077936192 5911 0 0 0 15 3 0 0 20 0 18 0 7771840 19430449152 16548 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79934] ppid=79920 vsize=18975048 memory=3637 CPUtime=0 cores=5,7
/proc/79923/task/79934/stat : 79934 (Finalizer) S 79920 79923 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7771845 19430449152 16548 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79941] ppid=79920 vsize=18975048 memory=14126749604647555 CPUtime=0 cores=5,7
/proc/79923/task/79941/stat : 79941 (Common-Cleaner) S 79920 79923 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 7771846 19430449152 16548 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66192 KiB
[startup+0.310579 s]*
/proc/loadavg: 2.75 2.23 2.13 9/303 79945
/proc/meminfo: memFree=125170852/131655788 swapFree=131071996/131071996
[pid=79923] ppid=79920 vsize=18975048 memory=73296 CPUtime=0.51 cores=5,7
/proc/79923/stat : 79923 (java) S 79920 79923 78062 0 -1 1077936128 7621 0 0 0 47 4 0 0 20 0 18 0 7771839 19430449152 18324 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
/proc/79923/statm: 4743762 18324 5768 1 0 551757 0
[pid=79923/tid=79925] ppid=79920 vsize=18975048 memory=-6000919507116319592 CPUtime=0.27 cores=5,7
/proc/79923/task/79925/stat : 79925 (java) S 79920 79923 78062 0 -1 1077936192 6107 0 0 0 24 3 0 0 20 0 18 0 7771840 19430449152 18324 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79934] ppid=79920 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/79923/task/79934/stat : 79934 (Finalizer) S 79920 79923 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7771845 19430449152 18324 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79941] ppid=79920 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/79923/task/79941/stat : 79941 (Common-Cleaner) S 79920 79923 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 7771846 19430449152 18324 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 73296 KiB
[startup+0.700644 s]
/proc/loadavg: 2.75 2.23 2.13 11/301 79964
/proc/meminfo: memFree=125120016/131655788 swapFree=131071996/131071996
[pid=79923] ppid=79920 vsize=19041612 memory=117620 CPUtime=1.25 cores=5,7
/proc/79923/stat : 79923 (java) S 79920 79923 78062 0 -1 1077936128 11437 0 0 0 118 7 0 0 20 0 19 0 7771839 19498610688 29405 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
/proc/79923/statm: 4760403 29405 5905 1 0 554504 0
[pid=79923/tid=79925] ppid=79920 vsize=19041612 memory=15976 CPUtime=0.62 cores=5,7
/proc/79923/task/79925/stat : 79925 (java) R 79920 79923 78062 0 -1 4194368 6281 0 0 0 57 5 0 0 20 0 19 0 7771840 19498610688 29405 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79934] ppid=79920 vsize=19041612 memory=12932 CPUtime=0 cores=5,7
/proc/79923/task/79934/stat : 79934 (Finalizer) S 79920 79923 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7771845 19498610688 29405 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79941] ppid=79920 vsize=19041612 memory=5548 CPUtime=0 cores=5,7
/proc/79923/task/79941/stat : 79941 (Common-Cleaner) S 79920 79923 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 7771846 19498610688 29405 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79950] ppid=79920 vsize=19041612 memory=1784 CPUtime=0 cores=5,7
/proc/79923/task/79950/stat : 79950 (Timer-0) S 79920 79923 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 7771874 19498610688 29405 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 117620 KiB
[startup+1.50065 s]
/proc/loadavg: 2.75 2.23 2.13 11/326 80012
/proc/meminfo: memFree=124917180/131655788 swapFree=131071996/131071996
[pid=79923] ppid=79920 vsize=19108176 memory=182848 CPUtime=2.83 cores=5,7
/proc/79923/stat : 79923 (java) S 79920 79923 78062 0 -1 1077936128 18649 0 0 0 274 9 0 0 20 0 20 0 7771839 19566772224 45712 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
/proc/79923/statm: 4777044 45712 5937 1 0 557305 0
[pid=79923/tid=79925] ppid=79920 vsize=19108176 memory=12932 CPUtime=1.37 cores=5,7
/proc/79923/task/79925/stat : 79925 (java) R 79920 79923 78062 0 -1 4194368 6681 0 0 0 132 5 0 0 20 0 20 0 7771840 19566772224 45712 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79934] ppid=79920 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/79923/task/79934/stat : 79934 (Finalizer) S 79920 79923 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771845 19566772224 45712 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79941] ppid=79920 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/79923/task/79941/stat : 79941 (Common-Cleaner) S 79920 79923 78062 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 7771846 19566772224 45712 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79950] ppid=79920 vsize=19108176 memory=3527 CPUtime=0 cores=5,7
/proc/79923/task/79950/stat : 79950 (Timer-0) S 79920 79923 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771874 19566772224 45712 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182848 KiB
[startup+3.10664 s]
/proc/loadavg: 3.33 2.36 2.18 8/327 80079
/proc/meminfo: memFree=124691104/131655788 swapFree=131071996/131071996
[pid=79923] ppid=79920 vsize=19108176 memory=243104 CPUtime=5.72 cores=5,7
/proc/79923/stat : 79923 (java) S 79920 79923 78062 0 -1 1077936128 21778 0 0 0 561 11 0 0 20 0 20 0 7771839 19566772224 60776 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
/proc/79923/statm: 4777044 60776 5968 1 0 557311 0
[pid=79923/tid=79925] ppid=79920 vsize=19108176 memory=0 CPUtime=2.92 cores=5,7
/proc/79923/task/79925/stat : 79925 (java) R 79920 79923 78062 0 -1 4194368 7383 0 0 0 286 6 0 0 20 0 20 0 7771840 19566772224 60776 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79934] ppid=79920 vsize=19108176 memory=12932 CPUtime=0 cores=5,7
/proc/79923/task/79934/stat : 79934 (Finalizer) S 79920 79923 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771845 19566772224 60776 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79941] ppid=79920 vsize=19108176 memory=140612531803697 CPUtime=0 cores=5,7
/proc/79923/task/79941/stat : 79941 (Common-Cleaner) S 79920 79923 78062 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 7771846 19566772224 60776 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79950] ppid=79920 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/79923/task/79950/stat : 79950 (Timer-0) S 79920 79923 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771874 19566772224 60776 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
Current children cumulated CPU time: 5.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 243104 KiB
[startup+6.30064 s]
/proc/loadavg: 3.33 2.36 2.18 7/304 80239
/proc/meminfo: memFree=124148628/131655788 swapFree=131071996/131071996
[pid=79923] ppid=79920 vsize=19108176 memory=417968 CPUtime=9.74 cores=5,7
/proc/79923/stat : 79923 (java) S 79920 79923 78062 0 -1 1077936128 24949 0 0 0 958 16 0 0 20 0 20 0 7771839 19566772224 104492 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
/proc/79923/statm: 4777044 104492 5968 1 0 557331 0
[pid=79923/tid=79925] ppid=79920 vsize=19108176 memory=12932 CPUtime=6.06 cores=5,7
/proc/79923/task/79925/stat : 79925 (java) R 79920 79923 78062 0 -1 4194368 7793 0 0 0 596 10 0 0 20 0 20 0 7771840 19566772224 104492 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79934] ppid=79920 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/79923/task/79934/stat : 79934 (Finalizer) S 79920 79923 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771845 19566772224 104492 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79941] ppid=79920 vsize=19108176 memory=281225063541920 CPUtime=0 cores=5,7
/proc/79923/task/79941/stat : 79941 (Common-Cleaner) S 79920 79923 78062 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 7771846 19566772224 104492 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79950] ppid=79920 vsize=19108176 memory=11652 CPUtime=0 cores=5,7
/proc/79923/task/79950/stat : 79950 (Timer-0) S 79920 79923 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771874 19566772224 104492 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
Current children cumulated CPU time: 9.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 417968 KiB
[startup+12.7005 s]
/proc/loadavg: 3.63 2.44 2.20 6/326 80344
/proc/meminfo: memFree=119765772/131655788 swapFree=131071996/131071996
[pid=79923] ppid=79920 vsize=19108176 memory=917768 CPUtime=16.26 cores=5,7
/proc/79923/stat : 79923 (java) S 79920 79923 78062 0 -1 1077936128 29225 0 0 0 1598 28 0 0 20 0 20 0 7771839 19566772224 229442 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
/proc/79923/statm: 4777044 229442 5968 1 0 557331 0
[pid=79923/tid=79925] ppid=79920 vsize=19108176 memory=825580 CPUtime=12.33 cores=5,7
/proc/79923/task/79925/stat : 79925 (java) R 79920 79923 78062 0 -1 4194368 9241 0 0 0 1213 20 0 0 20 0 20 0 7771840 19566772224 229442 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79934] ppid=79920 vsize=19108176 memory=-6000919502821747815 CPUtime=0 cores=5,7
/proc/79923/task/79934/stat : 79934 (Finalizer) S 79920 79923 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771845 19566772224 229442 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79941] ppid=79920 vsize=19108176 memory=12932 CPUtime=0 cores=5,7
/proc/79923/task/79941/stat : 79941 (Common-Cleaner) S 79920 79923 78062 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 7771846 19566772224 229442 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79950] ppid=79920 vsize=19108176 memory=11652 CPUtime=0 cores=5,7
/proc/79923/task/79950/stat : 79950 (Timer-0) S 79920 79923 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771874 19566772224 229442 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
Current children cumulated CPU time: 16.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 917768 KiB
[startup+25.5005 s]
/proc/loadavg: 3.94 2.57 2.25 5/326 80614
/proc/meminfo: memFree=118308564/131655788 swapFree=131071996/131071996
[pid=79923] ppid=79920 vsize=19108176 memory=1281948 CPUtime=31.12 cores=5,7
/proc/79923/stat : 79923 (java) S 79920 79923 78062 0 -1 1077936128 44758 0 0 0 3072 40 0 0 20 0 20 0 7771839 19566772224 320487 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
/proc/79923/statm: 4777044 320487 5967 1 0 562921 0
[pid=79923/tid=79925] ppid=79920 vsize=19108176 memory=12932 CPUtime=24.97 cores=5,7
/proc/79923/task/79925/stat : 79925 (java) R 79920 79923 78062 0 -1 4194368 12569 0 0 0 2470 27 0 0 20 0 20 0 7771840 19566772224 320487 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79934] ppid=79920 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/79923/task/79934/stat : 79934 (Finalizer) S 79920 79923 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771845 19566772224 320487 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79941] ppid=79920 vsize=19108176 memory=31436 CPUtime=0 cores=5,7
/proc/79923/task/79941/stat : 79941 (Common-Cleaner) S 79920 79923 78062 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 7771846 19566772224 320487 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79950] ppid=79920 vsize=19108176 memory=12932 CPUtime=0 cores=5,7
/proc/79923/task/79950/stat : 79950 (Timer-0) S 79920 79923 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771874 19566772224 320487 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
Current children cumulated CPU time: 31.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1281948 KiB
[startup+51.1141 s]
/proc/loadavg: 4.24 2.75 2.32 5/327 80820
/proc/meminfo: memFree=119028664/131655788 swapFree=131071996/131071996
[pid=79923] ppid=79920 vsize=19108176 memory=1363980 CPUtime=57.09 cores=5,7
/proc/79923/stat : 79923 (java) S 79920 79923 78062 0 -1 1077936128 51362 0 0 0 5664 45 0 0 20 0 20 0 7771839 19566772224 340995 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
/proc/79923/statm: 4777044 340995 5967 1 0 562921 0
[pid=79923/tid=79925] ppid=79920 vsize=19108176 memory=922048 CPUtime=50.15 cores=5,7
/proc/79923/task/79925/stat : 79925 (java) R 79920 79923 78062 0 -1 4194368 14166 0 0 0 4987 28 0 0 20 0 20 0 7771840 19566772224 340995 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79934] ppid=79920 vsize=19108176 memory=1363980 CPUtime=0 cores=5,7
/proc/79923/task/79934/stat : 79934 (Finalizer) S 79920 79923 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771845 19566772224 340995 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79941] ppid=79920 vsize=19108176 memory=1363980 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/79923/task/79950/stat : 79950 (Timer-0) S 79920 79923 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771874 19566772224 340995 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
Current children cumulated CPU time: 57.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1363980 KiB
[startup+102.301 s]
/proc/loadavg: 4.46 3.04 2.44 8/327 81129
/proc/meminfo: memFree=119688472/131655788 swapFree=131071996/131071996
[pid=79923] ppid=79920 vsize=19108176 memory=1404404 CPUtime=108.61 cores=5,7
/proc/79923/stat : 79923 (java) S 79920 79923 78062 0 -1 1077936128 60551 0 0 0 10809 52 0 0 20 0 20 0 7771839 19566772224 351101 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
/proc/79923/statm: 4777044 351101 5967 1 0 562921 0
[pid=79923/tid=79925] ppid=79920 vsize=19108176 memory=1396868 CPUtime=100.35 cores=5,7
/proc/79923/task/79925/stat : 79925 (java) R 79920 79923 78062 0 -1 4194368 16682 0 0 0 10006 29 0 0 20 0 20 0 7771840 19566772224 351101 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79934] ppid=79920 vsize=19108176 memory=11652 CPUtime=0 cores=5,7
/proc/79923/task/79934/stat : 79934 (Finalizer) S 79920 79923 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771845 19566772224 351101 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79941] ppid=79920 vsize=19108176 memory=1382520 CPUtime=0 cores=5,7
/proc/79923/task/79941/stat : 79941 (Common-Cleaner) S 79920 79923 78062 0 -1 1077936192 86 0 0 0 0 0 0 0 20 0 20 0 7771846 19566772224 351101 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79950] ppid=79920 vsize=19108176 memory=921904 CPUtime=0 cores=5,7
/proc/79923/task/79950/stat : 79950 (Timer-0) S 79920 79923 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771874 19566772224 351101 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
Current children cumulated CPU time: 108.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1404404 KiB
[startup+162.3 s]
/proc/loadavg: 4.42 3.30 2.57 5/328 81207
/proc/meminfo: memFree=113382540/131655788 swapFree=131071996/131071996
[pid=79923] ppid=79920 vsize=19108176 memory=1440200 CPUtime=168.65 cores=5,7
/proc/79923/stat : 79923 (java) S 79920 79923 78062 0 -1 1077936128 66720 0 0 0 16809 56 0 0 20 0 20 0 7771839 19566772224 360050 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
/proc/79923/statm: 4777044 360050 5967 1 0 562921 0
[pid=79923/tid=79925] ppid=79920 vsize=19108176 memory=2337 CPUtime=159.2 cores=5,7
/proc/79923/task/79925/stat : 79925 (java) R 79920 79923 78062 0 -1 4194368 18612 0 0 0 15891 29 0 0 20 0 20 0 7771840 19566772224 360050 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79934] ppid=79920 vsize=19108176 memory=31436 CPUtime=0 cores=5,7
/proc/79923/task/79934/stat : 79934 (Finalizer) S 79920 79923 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771845 19566772224 360050 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79941] ppid=79920 vsize=19108176 memory=1440200 CPUtime=0 cores=5,7
/proc/79923/task/79941/stat : 79941 (Common-Cleaner) S 79920 79923 78062 0 -1 1077936192 143 0 0 0 0 0 0 0 20 0 20 0 7771846 19566772224 360050 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79950] ppid=79920 vsize=19108176 memory=-6000919507116319592 CPUtime=0 cores=5,7
/proc/79923/task/79950/stat : 79950 (Timer-0) S 79920 79923 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771874 19566772224 360050 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
Current children cumulated CPU time: 168.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1440200 KiB
[startup+173.254 s]
# the end of solver process 79923 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=179.089 s, system=0.59759 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+166.4 s]
/proc/loadavg: 4.39 3.31 2.58 5/328 81208
/proc/meminfo: memFree=113363880/131655788 swapFree=131071996/131071996
[pid=79923] ppid=79920 vsize=19108176 memory=1444296 CPUtime=172.76 cores=5,7
/proc/79923/stat : 79923 (java) S 79920 79923 78062 0 -1 1077936128 66757 0 0 0 17219 57 0 0 20 0 20 0 7771839 19566772224 361074 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
/proc/79923/statm: 4777044 361074 5967 1 0 562921 0
[pid=79923/tid=79925] ppid=79920 vsize=19108176 memory=32872 CPUtime=163.16 cores=5,7
/proc/79923/task/79925/stat : 79925 (java) R 79920 79923 78062 0 -1 4194368 18636 0 0 0 16287 29 0 0 20 0 20 0 7771840 19566772224 361074 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79934] ppid=79920 vsize=19108176 memory=1440200 CPUtime=0 cores=5,7
/proc/79923/task/79934/stat : 79934 (Finalizer) S 79920 79923 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771845 19566772224 361074 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79941] ppid=79920 vsize=19108176 memory=18180 CPUtime=0 cores=5,7
/proc/79923/task/79941/stat : 79941 (Common-Cleaner) S 79920 79923 78062 0 -1 1077936192 143 0 0 0 0 0 0 0 20 0 20 0 7771846 19566772224 361074 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79950] ppid=79920 vsize=19108176 memory=1436104 CPUtime=0 cores=5,7
/proc/79923/task/79950/stat : 79950 (Timer-0) S 79920 79923 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771874 19566772224 361074 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
Current children cumulated CPU time: 172.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1444296 KiB
[startup+169.6 s]
/proc/loadavg: 4.35 3.33 2.59 5/328 81210
/proc/meminfo: memFree=112816624/131655788 swapFree=131071996/131071996
[pid=79923] ppid=79920 vsize=19108176 memory=1444296 CPUtime=175.95 cores=5,7
/proc/79923/stat : 79923 (java) S 79920 79923 78062 0 -1 1077936128 66758 0 0 0 17538 57 0 0 20 0 20 0 7771839 19566772224 361074 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
/proc/79923/statm: 4777044 361074 5967 1 0 562921 0
[pid=79923/tid=79925] ppid=79920 vsize=19108176 memory=1444296 CPUtime=166.35 cores=5,7
/proc/79923/task/79925/stat : 79925 (java) R 79920 79923 78062 0 -1 4194368 18637 0 0 0 16606 29 0 0 20 0 20 0 7771840 19566772224 361074 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79934] ppid=79920 vsize=19108176 memory=7008847136402074433 CPUtime=0 cores=5,7
/proc/79923/task/79934/stat : 79934 (Finalizer) S 79920 79923 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771845 19566772224 361074 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79941] ppid=79920 vsize=19108176 memory=3928 CPUtime=0 cores=5,7
/proc/79923/task/79941/stat : 79941 (Common-Cleaner) S 79920 79923 78062 0 -1 1077936192 143 0 0 0 0 0 0 0 20 0 20 0 7771846 19566772224 361074 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79950] ppid=79920 vsize=19108176 memory=3905801989564739456 CPUtime=0 cores=5,7
/proc/79923/task/79950/stat : 79950 (Timer-0) S 79920 79923 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771874 19566772224 361074 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
Current children cumulated CPU time: 175.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1444296 KiB
[startup+171.2 s]
/proc/loadavg: 4.35 3.33 2.59 5/328 81210
/proc/meminfo: memFree=112794092/131655788 swapFree=131071996/131071996
[pid=79923] ppid=79920 vsize=19108176 memory=1450440 CPUtime=177.54 cores=5,7
/proc/79923/stat : 79923 (java) S 79920 79923 78062 0 -1 1077936128 66875 0 0 0 17697 57 0 0 20 0 20 0 7771839 19566772224 362610 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
/proc/79923/statm: 4777044 362610 5967 1 0 562921 0
[pid=79923/tid=79925] ppid=79920 vsize=19108176 memory=11652 CPUtime=167.8 cores=5,7
/proc/79923/task/79925/stat : 79925 (java) R 79920 79923 78062 0 -1 4194368 18713 0 0 0 16751 29 0 0 20 0 20 0 7771840 19566772224 362610 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79934] ppid=79920 vsize=19108176 memory=1444296 CPUtime=0 cores=5,7
/proc/79923/task/79934/stat : 79934 (Finalizer) S 79920 79923 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771845 19566772224 362610 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79941] ppid=79920 vsize=19108176 memory=-6000919507116319592 CPUtime=0 cores=5,7
/proc/79923/task/79941/stat : 79941 (Common-Cleaner) S 79920 79923 78062 0 -1 1077936192 143 0 0 0 0 0 0 0 20 0 20 0 7771846 19566772224 362610 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79950] ppid=79920 vsize=19108176 memory=100 CPUtime=0 cores=5,7
/proc/79923/task/79950/stat : 79950 (Timer-0) S 79920 79923 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771874 19566772224 362610 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
Current children cumulated CPU time: 177.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1450440 KiB
[startup+172 s]*
/proc/loadavg: 4.35 3.33 2.59 5/328 81210
/proc/meminfo: memFree=112783852/131655788 swapFree=131071996/131071996
[pid=79923] ppid=79920 vsize=19108176 memory=1450440 CPUtime=178.36 cores=5,7
/proc/79923/stat : 79923 (java) S 79920 79923 78062 0 -1 1077936128 67437 0 0 0 17779 57 0 0 20 0 20 0 7771839 19566772224 362610 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
/proc/79923/statm: 4777044 362610 5967 1 0 562937 0
[pid=79923/tid=79925] ppid=79920 vsize=19108176 memory=-6000919485558123367 CPUtime=168.61 cores=5,7
/proc/79923/task/79925/stat : 79925 (java) R 79920 79923 78062 0 -1 4194368 19216 0 0 0 16832 29 0 0 20 0 20 0 7771840 19566772224 362610 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79934] ppid=79920 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/79923/task/79934/stat : 79934 (Finalizer) S 79920 79923 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771845 19566772224 362610 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79941] ppid=79920 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/79923/task/79941/stat : 79941 (Common-Cleaner) S 79920 79923 78062 0 -1 1077936192 143 0 0 0 0 0 0 0 20 0 20 0 7771846 19566772224 362610 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79950] ppid=79920 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/79923/task/79950/stat : 79950 (Timer-0) S 79920 79923 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771874 19566772224 362610 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
Current children cumulated CPU time: 178.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1450440 KiB
[startup+172.8 s]
/proc/loadavg: 4.35 3.33 2.59 5/328 81210
/proc/meminfo: memFree=112783852/131655788 swapFree=131071996/131071996
[pid=79923] ppid=79920 vsize=19108176 memory=1450452 CPUtime=179.21 cores=5,7
/proc/79923/stat : 79923 (java) S 79920 79923 78062 0 -1 1077936128 67782 0 0 0 17863 58 0 0 20 0 20 0 7771839 19566772224 362613 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
/proc/79923/statm: 4777044 362613 5967 1 0 562937 0
[pid=79923/tid=79925] ppid=79920 vsize=19108176 memory=1440200 CPUtime=169.39 cores=5,7
/proc/79923/task/79925/stat : 79925 (java) R 79920 79923 78062 0 -1 4194368 19237 0 0 0 16910 29 0 0 20 0 20 0 7771840 19566772224 362613 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79934] ppid=79920 vsize=19108176 memory=-6000919507116319592 CPUtime=0 cores=5,7
/proc/79923/task/79934/stat : 79934 (Finalizer) S 79920 79923 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771845 19566772224 362613 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79941] ppid=79920 vsize=19108176 memory=100 CPUtime=0 cores=5,7
/proc/79923/task/79941/stat : 79941 (Common-Cleaner) S 79920 79923 78062 0 -1 1077936192 143 0 0 0 0 0 0 0 20 0 20 0 7771846 19566772224 362613 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79950] ppid=79920 vsize=19108176 memory=11652 CPUtime=0 cores=5,7
/proc/79923/task/79950/stat : 79950 (Timer-0) S 79920 79923 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771874 19566772224 362613 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
Current children cumulated CPU time: 179.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1450452 KiB
[startup+173.21 s]
/proc/loadavg: 4.33 3.34 2.59 5/328 81210
/proc/meminfo: memFree=112781704/131655788 swapFree=131071996/131071996
[pid=79923] ppid=79920 vsize=19109204 memory=1450536 CPUtime=179.62 cores=5,7
/proc/79923/stat : 79923 (java) S 79920 79923 78062 0 -1 1077936128 68917 0 0 0 17904 58 0 0 20 0 21 0 7771839 19567824896 362634 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
/proc/79923/statm: 4777301 362634 5966 1 0 563225 0
[pid=79923/tid=79925] ppid=79920 vsize=19109204 memory=31436 CPUtime=169.79 cores=5,7
/proc/79923/task/79925/stat : 79925 (java) S 79920 79923 78062 0 -1 1077936192 20341 0 0 0 16950 29 0 0 20 0 21 0 7771840 19567824896 362634 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79934] ppid=79920 vsize=19109204 memory=12932 CPUtime=0 cores=5,7
/proc/79923/task/79934/stat : 79934 (Finalizer) S 79920 79923 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 7771845 19567824896 362634 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79941] ppid=79920 vsize=19109204 memory=5472 CPUtime=0 cores=5,7
/proc/79923/task/79941/stat : 79941 (Common-Cleaner) S 79920 79923 78062 0 -1 1077936192 143 0 0 0 0 0 0 0 20 0 21 0 7771846 19567824896 362634 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
[pid=79923/tid=79950] ppid=79920 vsize=19109204 memory=15976 CPUtime=0 cores=5,7
/proc/79923/task/79950/stat : 79950 (Timer-0) S 79920 79923 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 7771874 19567824896 362634 134679101440 94434878300160 94434878303856 140730733090896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94434878311672 94434878312464 94434879221760 140730733097972 140730733098080 140730733098080 140730733105096 0
Current children cumulated CPU time: 179.62 s
Current children cumulated vsize: 19109204 KiB
Current children cumulated memory: 1450536 KiB
Child status: 30
Real time (s): 173.254
CPU time (s): 179.687
CPU user time (s): 179.089
CPU system time (s): 0.59759
CPU usage (%): 103.713
Max. virtual memory (cumulated for all children) (KiB): 19112784
Max. memory (cumulated for all children) (KiB): 1450536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 179.089
system time used= 0.59759
maximum resident set size= 1451864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69634
page faults= 0
swaps= 0
block input operations= 0
block output operations= 288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6937
involuntary context switches= 916
# summary of solver processes directly reported to runsolver:
# pid: 79923
# total CPU time (s): 179.687
# total CPU user time (s): 179.089
# total CPU system time (s): 0.59759
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.00306 second user time and 1.8602 second system time
The end