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 (51890 MiB free)
memory of node 1: 64510 MiB (59589 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456330-1721717999/watcher-4456330-1721717999 -o /tmp/evaluation-result-4456330-1721717999/solver-4456330-1721717999 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721717812-78075 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4456330-1721717999.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
solver pid=81257, runsolver pid=81254
Current StackSize limit: 8192 KiB
[startup+0.104237 s]*
/proc/loadavg: 4.33 3.34 2.59 7/326 81275
/proc/meminfo: memFree=114117768/131655788 swapFree=131071996/131071996
[pid=81257] ppid=81254 vsize=18975048 memory=60624 CPUtime=0.15 cores=5,7
/proc/81257/stat : 81257 (java) S 81254 81257 78062 0 -1 1077936128 6622 0 0 0 12 3 0 0 20 0 18 0 7789284 19430449152 15156 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
/proc/81257/statm: 4743762 15156 5633 1 0 550932 0
[pid=81257/tid=81259] ppid=81254 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/81257/task/81259/stat : 81259 (java) R 81254 81257 78062 0 -1 4194368 5545 0 0 0 6 2 0 0 20 0 18 0 7789285 19430449152 15156 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81268] ppid=81254 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/81257/task/81268/stat : 81268 (Finalizer) S 81254 81257 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7789290 19430449152 15156 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81275] ppid=81254 vsize=18975048 memory=15539622046449866 CPUtime=0 cores=5,7
/proc/81257/task/81275/stat : 81275 (Common-Cleaner) S 81254 81257 78062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 7789290 19430449152 15156 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60624 KiB
[startup+0.211024 s]*
/proc/loadavg: 4.33 3.34 2.59 5/326 81275
/proc/meminfo: memFree=114106612/131655788 swapFree=131071996/131071996
[pid=81257] ppid=81254 vsize=18975048 memory=69168 CPUtime=0.29 cores=5,7
/proc/81257/stat : 81257 (java) S 81254 81257 78062 0 -1 1077936128 7219 0 0 0 26 3 0 0 20 0 18 0 7789284 19430449152 17292 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
/proc/81257/statm: 4743762 17292 5621 1 0 551470 0
[pid=81257/tid=81259] ppid=81254 vsize=18975048 memory=664970838410264707 CPUtime=0.18 cores=5,7
/proc/81257/task/81259/stat : 81259 (java) S 81254 81257 78062 0 -1 1077936192 5791 0 0 0 16 2 0 0 20 0 18 0 7789285 19430449152 17292 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81268] ppid=81254 vsize=18975048 memory=3637 CPUtime=0 cores=5,7
/proc/81257/task/81268/stat : 81268 (Finalizer) S 81254 81257 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7789290 19430449152 17292 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81275] ppid=81254 vsize=18975048 memory=14126749604647555 CPUtime=0 cores=5,7
/proc/81257/task/81275/stat : 81275 (Common-Cleaner) S 81254 81257 78062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 7789290 19430449152 17292 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69168 KiB
[startup+0.309282 s]*
/proc/loadavg: 4.33 3.34 2.59 6/326 81275
/proc/meminfo: memFree=114103612/131655788 swapFree=131071996/131071996
[pid=81257] ppid=81254 vsize=18975048 memory=70516 CPUtime=0.46 cores=5,7
/proc/81257/stat : 81257 (java) S 81254 81257 78062 0 -1 1077936128 7462 0 0 0 42 4 0 0 20 0 18 0 7789284 19430449152 17629 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
/proc/81257/statm: 4743762 17629 5726 1 0 551673 0
[pid=81257/tid=81259] ppid=81254 vsize=18975048 memory=-6000919489886579559 CPUtime=0.28 cores=5,7
/proc/81257/task/81259/stat : 81259 (java) R 81254 81257 78062 0 -1 4194368 5965 0 0 0 25 3 0 0 20 0 18 0 7789285 19430449152 17629 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81268] ppid=81254 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/81257/task/81268/stat : 81268 (Finalizer) S 81254 81257 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7789290 19430449152 18141 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81275] ppid=81254 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/81257/task/81275/stat : 81275 (Common-Cleaner) S 81254 81257 78062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 7789290 19430449152 18141 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70516 KiB
[startup+0.707805 s]
/proc/loadavg: 4.33 3.34 2.59 7/327 81276
/proc/meminfo: memFree=114000452/131655788 swapFree=131071996/131071996
[pid=81257] ppid=81254 vsize=19041612 memory=250092 CPUtime=1.17 cores=5,7
/proc/81257/stat : 81257 (java) S 81254 81257 78062 0 -1 1077936128 9353 0 0 0 109 8 0 0 20 0 19 0 7789284 19498610688 62523 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
/proc/81257/statm: 4760403 62523 5866 1 0 553080 0
[pid=81257/tid=81259] ppid=81254 vsize=19041612 memory=5472 CPUtime=0.62 cores=5,7
/proc/81257/task/81259/stat : 81259 (java) R 81254 81257 78062 0 -1 4194368 6141 0 0 0 56 6 0 0 20 0 19 0 7789285 19498610688 62523 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81268] ppid=81254 vsize=19041612 memory=12932 CPUtime=0 cores=5,7
/proc/81257/task/81268/stat : 81268 (Finalizer) S 81254 81257 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 62523 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81275] ppid=81254 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/81257/task/81275/stat : 81275 (Common-Cleaner) S 81254 81257 78062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 62523 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 250092 KiB
[startup+1.50081 s]
/proc/loadavg: 4.33 3.34 2.59 7/327 81276
/proc/meminfo: memFree=113060356/131655788 swapFree=131071996/131071996
[pid=81257] ppid=81254 vsize=19041612 memory=2446104 CPUtime=2.67 cores=5,7
/proc/81257/stat : 81257 (java) S 81254 81257 78062 0 -1 1077936128 17682 0 0 0 214 53 0 0 20 0 19 0 7789284 19498610688 611526 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
/proc/81257/statm: 4760403 611526 5866 1 0 1129432 0
[pid=81257/tid=81259] ppid=81254 vsize=19041612 memory=0 CPUtime=1.37 cores=5,7
/proc/81257/task/81259/stat : 81259 (java) R 81254 81257 78062 0 -1 4194368 7197 0 0 0 88 49 0 0 20 0 19 0 7789285 19498610688 611526 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81268] ppid=81254 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/81257/task/81268/stat : 81268 (Finalizer) S 81254 81257 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 611526 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81275] ppid=81254 vsize=19041612 memory=12932 CPUtime=0 cores=5,7
/proc/81257/task/81275/stat : 81275 (Common-Cleaner) S 81254 81257 78062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 611526 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2446104 KiB
[startup+3.10581 s]
/proc/loadavg: 4.30 3.35 2.60 5/327 81276
/proc/meminfo: memFree=111014912/131655788 swapFree=131071996/131071996
[pid=81257] ppid=81254 vsize=19041612 memory=3142440 CPUtime=4.45 cores=5,7
/proc/81257/stat : 81257 (java) S 81254 81257 78062 0 -1 1077936128 18612 0 0 0 378 67 0 0 20 0 19 0 7789284 19498610688 785610 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
/proc/81257/statm: 4760403 785610 5866 1 0 1129742 0
[pid=81257/tid=81259] ppid=81254 vsize=19041612 memory=12932 CPUtime=2.9 cores=5,7
/proc/81257/task/81259/stat : 81259 (java) R 81254 81257 78062 0 -1 4194368 7537 0 0 0 228 62 0 0 20 0 19 0 7789285 19498610688 785610 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81268] ppid=81254 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/81257/task/81268/stat : 81268 (Finalizer) S 81254 81257 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 785610 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81275] ppid=81254 vsize=19041612 memory=489669221498217 CPUtime=0 cores=5,7
/proc/81257/task/81275/stat : 81275 (Common-Cleaner) S 81254 81257 78062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 785610 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
Current children cumulated CPU time: 4.45 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3142440 KiB
[startup+6.30381 s]
/proc/loadavg: 4.30 3.35 2.60 5/327 81277
/proc/meminfo: memFree=109832408/131655788 swapFree=131071996/131071996
[pid=81257] ppid=81254 vsize=19041612 memory=4314604 CPUtime=7.75 cores=5,7
/proc/81257/stat : 81257 (java) S 81254 81257 78062 0 -1 1077936128 20110 0 0 0 684 91 0 0 20 0 19 0 7789284 19498610688 1078651 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
/proc/81257/statm: 4760403 1078651 5866 1 0 1430553 0
[pid=81257/tid=81259] ppid=81254 vsize=19041612 memory=12932 CPUtime=5.88 cores=5,7
/proc/81257/task/81259/stat : 81259 (java) S 81254 81257 78062 0 -1 1077936192 8161 0 0 0 503 85 0 0 20 0 19 0 7789285 19498610688 1078651 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81268] ppid=81254 vsize=19041612 memory=3142440 CPUtime=0 cores=5,7
/proc/81257/task/81268/stat : 81268 (Finalizer) S 81254 81257 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 1078651 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81275] ppid=81254 vsize=19041612 memory=11652 CPUtime=0 cores=5,7
/proc/81257/task/81275/stat : 81275 (Common-Cleaner) S 81254 81257 78062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 1078651 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
Current children cumulated CPU time: 7.75 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4314604 KiB
[startup+12.7004 s]
/proc/loadavg: 4.28 3.36 2.61 5/327 81277
/proc/meminfo: memFree=109387768/131655788 swapFree=131071996/131071996
[pid=81257] ppid=81254 vsize=19041612 memory=4752080 CPUtime=14.4 cores=5,7
/proc/81257/stat : 81257 (java) S 81254 81257 78062 0 -1 1077936128 21354 0 0 0 1340 100 0 0 20 0 19 0 7789284 19498610688 1188020 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
/proc/81257/statm: 4760403 1188020 5866 1 0 1537086 0
[pid=81257/tid=81259] ppid=81254 vsize=19041612 memory=11652 CPUtime=11.68 cores=5,7
/proc/81257/task/81259/stat : 81259 (java) R 81254 81257 78062 0 -1 4194368 9069 0 0 0 1075 93 0 0 20 0 19 0 7789285 19498610688 1188020 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81268] ppid=81254 vsize=19041612 memory=15823313192619110 CPUtime=0 cores=5,7
/proc/81257/task/81268/stat : 81268 (Finalizer) S 81254 81257 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 1188020 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81275] ppid=81254 vsize=19041612 memory=4743888 CPUtime=0 cores=5,7
/proc/81257/task/81275/stat : 81275 (Common-Cleaner) S 81254 81257 78062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 1188020 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
Current children cumulated CPU time: 14.4 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4752080 KiB
[startup+25.5098 s]
/proc/loadavg: 4.21 3.39 2.63 5/327 81280
/proc/meminfo: memFree=108865060/131655788 swapFree=131071996/131071996
[pid=81257] ppid=81254 vsize=19041612 memory=5220568 CPUtime=27.56 cores=5,7
/proc/81257/stat : 81257 (java) S 81254 81257 78062 0 -1 1077936128 25926 0 0 0 2645 111 0 0 20 0 19 0 7789284 19498610688 1305142 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
/proc/81257/statm: 4760403 1305142 5866 1 0 1645727 0
[pid=81257/tid=81259] ppid=81254 vsize=19041612 memory=31436 CPUtime=23.78 cores=5,7
/proc/81257/task/81259/stat : 81259 (java) S 81254 81257 78062 0 -1 1077936192 11078 0 0 0 2276 102 0 0 20 0 19 0 7789285 19498610688 1305142 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81268] ppid=81254 vsize=19041612 memory=289 CPUtime=0 cores=5,7
/proc/81257/task/81268/stat : 81268 (Finalizer) S 81254 81257 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 1305142 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81275] ppid=81254 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/81257/task/81275/stat : 81275 (Common-Cleaner) S 81254 81257 78062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 1305142 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
Current children cumulated CPU time: 27.56 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5220568 KiB
[startup+51.1139 s]
/proc/loadavg: 4.20 3.46 2.68 5/327 81287
/proc/meminfo: memFree=108687604/131655788 swapFree=131071996/131071996
[pid=81257] ppid=81254 vsize=19041612 memory=5264012 CPUtime=53.7 cores=5,7
/proc/81257/stat : 81257 (java) S 81254 81257 78062 0 -1 1077936128 28150 0 0 0 5254 116 0 0 20 0 19 0 7789284 19498610688 1316003 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
/proc/81257/statm: 4760403 1316003 5866 1 0 1645728 0
[pid=81257/tid=81259] ppid=81254 vsize=19041612 memory=132 CPUtime=48.45 cores=5,7
/proc/81257/task/81259/stat : 81259 (java) R 81254 81257 78062 0 -1 4194368 12840 0 0 0 4742 103 0 0 20 0 19 0 7789285 19498610688 1316003 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81268] ppid=81254 vsize=19041612 memory=5222616 CPUtime=0 cores=5,7
/proc/81257/task/81268/stat : 81268 (Finalizer) S 81254 81257 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 1316003 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81275] ppid=81254 vsize=19041612 memory=11652 CPUtime=0 cores=5,7
/proc/81257/task/81275/stat : 81275 (Common-Cleaner) S 81254 81257 78062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 1316003 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
Current children cumulated CPU time: 53.7 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 5264012 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 3.59 2.76 5/327 81308
/proc/meminfo: memFree=108499716/131655788 swapFree=131071996/131071996
[pid=81257] ppid=81254 vsize=19041612 memory=5328124 CPUtime=105.47 cores=5,7
/proc/81257/stat : 81257 (java) S 81254 81257 78062 0 -1 1077936128 37289 0 0 0 10422 125 0 0 20 0 19 0 7789284 19498610688 1332031 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
/proc/81257/statm: 4760403 1332031 5866 1 0 1645728 0
[pid=81257/tid=81259] ppid=81254 vsize=19041612 memory=5324028 CPUtime=98.01 cores=5,7
################
# More data... #
################
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 6459944 KiB
[startup+1602.3 s]
/proc/loadavg: 4.34 4.37 4.02 5/316 82030
/proc/meminfo: memFree=104103240/131655788 swapFree=131071996/131071996
[pid=81257] ppid=81254 vsize=19041612 memory=6459944 CPUtime=1609.87 cores=5,7
/proc/81257/stat : 81257 (java) S 81254 81257 78062 0 -1 1077936128 170470 0 0 0 160617 370 0 0 20 0 19 0 7789284 19498610688 1614986 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
/proc/81257/statm: 4760403 1614986 5866 1 0 1645728 0
[pid=81257/tid=81259] ppid=81254 vsize=19041612 memory=15976 CPUtime=1573.06 cores=5,7
/proc/81257/task/81259/stat : 81259 (java) R 81254 81257 78062 0 -1 4194368 75472 0 0 0 157165 141 0 0 20 0 19 0 7789285 19498610688 1614986 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 53 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81268] ppid=81254 vsize=19041612 memory=12932 CPUtime=0 cores=5,7
/proc/81257/task/81268/stat : 81268 (Finalizer) S 81254 81257 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 1614986 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81275] ppid=81254 vsize=19041612 memory=11652 CPUtime=0 cores=5,7
/proc/81257/task/81275/stat : 81275 (Common-Cleaner) S 81254 81257 78062 0 -1 1077936192 2012 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 1614986 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
Current children cumulated CPU time: 1609.87 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 6459944 KiB
[startup+1662.3 s]
/proc/loadavg: 4.22 4.33 4.03 5/316 82040
/proc/meminfo: memFree=104102764/131655788 swapFree=131071996/131071996
[pid=81257] ppid=81254 vsize=19041612 memory=6459944 CPUtime=1669.97 cores=5,7
/proc/81257/stat : 81257 (java) S 81254 81257 78062 0 -1 1077936128 174199 0 0 0 166621 376 0 0 20 0 19 0 7789284 19498610688 1614986 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
/proc/81257/statm: 4760403 1614986 5866 1 0 1645728 0
[pid=81257/tid=81259] ppid=81254 vsize=19041612 memory=15976 CPUtime=1632.3 cores=5,7
/proc/81257/task/81259/stat : 81259 (java) R 81254 81257 78062 0 -1 4194368 77477 0 0 0 163089 141 0 0 20 0 19 0 7789285 19498610688 1614986 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 53 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81268] ppid=81254 vsize=19041612 memory=6459944 CPUtime=0 cores=5,7
/proc/81257/task/81268/stat : 81268 (Finalizer) S 81254 81257 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 1614986 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81275] ppid=81254 vsize=19041612 memory=11652 CPUtime=0 cores=5,7
/proc/81257/task/81275/stat : 81275 (Common-Cleaner) S 81254 81257 78062 0 -1 1077936192 2096 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 1614986 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
Current children cumulated CPU time: 1669.97 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 6459944 KiB
[startup+1722.3 s]
/proc/loadavg: 4.20 4.30 4.03 5/318 82220
/proc/meminfo: memFree=104101916/131655788 swapFree=131071996/131071996
[pid=81257] ppid=81254 vsize=19041612 memory=6459980 CPUtime=1730.11 cores=5,7
/proc/81257/stat : 81257 (java) S 81254 81257 78062 0 -1 1077936128 179796 0 0 0 172626 385 0 0 20 0 19 0 7789284 19498610688 1614995 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
/proc/81257/statm: 4760403 1614995 5866 1 0 1645728 0
[pid=81257/tid=81259] ppid=81254 vsize=19041612 memory=15976 CPUtime=1691.59 cores=5,7
/proc/81257/task/81259/stat : 81259 (java) R 81254 81257 78062 0 -1 4194368 79828 0 0 0 169018 141 0 0 20 0 19 0 7789285 19498610688 1614995 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 53 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81268] ppid=81254 vsize=19041612 memory=6459944 CPUtime=0 cores=5,7
/proc/81257/task/81268/stat : 81268 (Finalizer) S 81254 81257 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 1614995 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81275] ppid=81254 vsize=19041612 memory=100 CPUtime=0 cores=5,7
/proc/81257/task/81275/stat : 81275 (Common-Cleaner) S 81254 81257 78062 0 -1 1077936192 2173 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 1614995 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
Current children cumulated CPU time: 1730.11 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 6459980 KiB
[startup+1739.26 s]
# the end of solver process 81257 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=1745.82 s, system=3.9337 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1728 s]*
/proc/loadavg: 4.18 4.29 4.03 5/318 82222
/proc/meminfo: memFree=104099284/131655788 swapFree=131071996/131071996
[pid=81257] ppid=81254 vsize=19041612 memory=6462596 CPUtime=1736.94 cores=5,7
/proc/81257/stat : 81257 (java) S 81254 81257 78062 0 -1 1077936128 189544 0 0 0 173306 388 0 0 20 0 19 0 7789284 19498610688 1615649 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
/proc/81257/statm: 4760403 1615649 5866 1 0 1647352 0
[pid=81257/tid=81259] ppid=81254 vsize=19041612 memory=40404 CPUtime=1697.22 cores=5,7
/proc/81257/task/81259/stat : 81259 (java) R 81254 81257 78062 0 -1 4194368 81079 0 0 0 169580 142 0 0 20 0 19 0 7789285 19498610688 1615649 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 53 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81268] ppid=81254 vsize=19041612 memory=31524 CPUtime=0 cores=5,7
/proc/81257/task/81268/stat : 81268 (Finalizer) S 81254 81257 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 1615649 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81275] ppid=81254 vsize=19041612 memory=18180 CPUtime=0 cores=5,7
/proc/81257/task/81275/stat : 81275 (Common-Cleaner) S 81254 81257 78062 0 -1 1077936192 2173 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 1615649 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
Current children cumulated CPU time: 1736.94 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 6462596 KiB
[startup+1734.4 s]
/proc/loadavg: 4.15 4.28 4.03 5/318 82223
/proc/meminfo: memFree=104099284/131655788 swapFree=131071996/131071996
[pid=81257] ppid=81254 vsize=19041612 memory=6462596 CPUtime=1743.33 cores=5,7
/proc/81257/stat : 81257 (java) S 81254 81257 78062 0 -1 1077936128 189915 0 0 0 173944 389 0 0 20 0 19 0 7789284 19498610688 1615649 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
/proc/81257/statm: 4760403 1615649 5866 1 0 1647352 0
[pid=81257/tid=81259] ppid=81254 vsize=19041612 memory=11652 CPUtime=1703.49 cores=5,7
/proc/81257/task/81259/stat : 81259 (java) R 81254 81257 78062 0 -1 4194368 81336 0 0 0 170207 142 0 0 20 0 19 0 7789285 19498610688 1615649 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 55 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81268] ppid=81254 vsize=19041612 memory=6477472 CPUtime=0 cores=5,7
/proc/81257/task/81268/stat : 81268 (Finalizer) S 81254 81257 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 1615649 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81275] ppid=81254 vsize=19041612 memory=5548 CPUtime=0 cores=5,7
/proc/81257/task/81275/stat : 81275 (Common-Cleaner) S 81254 81257 78062 0 -1 1077936192 2173 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 1615649 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
Current children cumulated CPU time: 1743.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 6462596 KiB
[startup+1737.6 s]
/proc/loadavg: 4.15 4.28 4.03 5/318 82223
/proc/meminfo: memFree=104099032/131655788 swapFree=131071996/131071996
[pid=81257] ppid=81254 vsize=19041612 memory=6467340 CPUtime=1747.38 cores=5,7
/proc/81257/stat : 81257 (java) S 81254 81257 78062 0 -1 1077936128 193505 0 0 0 174348 390 0 0 20 0 19 0 7789284 19498610688 1616835 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
/proc/81257/statm: 4760403 1616835 5903 1 0 1648458 0
[pid=81257/tid=81259] ppid=81254 vsize=19041612 memory=6462596 CPUtime=1706.64 cores=5,7
/proc/81257/task/81259/stat : 81259 (java) S 81254 81257 78062 0 -1 1077936192 84797 0 0 0 170521 143 0 0 20 0 19 0 7789285 19498610688 1616835 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 55 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81268] ppid=81254 vsize=19041612 memory=6462632 CPUtime=0 cores=5,7
/proc/81257/task/81268/stat : 81268 (Finalizer) S 81254 81257 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 1616835 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81275] ppid=81254 vsize=19041612 memory=-6000919489886579559 CPUtime=0 cores=5,7
/proc/81257/task/81275/stat : 81275 (Common-Cleaner) S 81254 81257 78062 0 -1 1077936192 2173 0 0 0 0 0 0 0 20 0 19 0 7789290 19498610688 1616835 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
Current children cumulated CPU time: 1747.38 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 6467340 KiB
[startup+1738.4 s]
/proc/loadavg: 4.15 4.28 4.03 10/319 82224
/proc/meminfo: memFree=104094684/131655788 swapFree=131071996/131071996
[pid=81257] ppid=81254 vsize=19174740 memory=6467516 CPUtime=1748.82 cores=5,7
/proc/81257/stat : 81257 (java) S 81254 81257 78062 0 -1 1077936128 193929 0 0 0 174491 391 0 0 20 0 21 0 7789284 19634933760 1616879 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
/proc/81257/statm: 4793685 1616879 5903 1 0 1649091 0
[pid=81257/tid=81259] ppid=81254 vsize=19174740 memory=6467340 CPUtime=1706.93 cores=5,7
/proc/81257/task/81259/stat : 81259 (java) R 81254 81257 78062 0 -1 4194368 84882 0 0 0 170550 143 0 0 20 0 21 0 7789285 19634933760 1616879 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 55 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81268] ppid=81254 vsize=19174740 memory=6463004 CPUtime=0 cores=5,7
/proc/81257/task/81268/stat : 81268 (Finalizer) S 81254 81257 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 7789290 19634933760 1616879 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81275] ppid=81254 vsize=19174740 memory=31436 CPUtime=0 cores=5,7
/proc/81257/task/81275/stat : 81275 (Common-Cleaner) S 81254 81257 78062 0 -1 1077936192 2180 0 0 0 0 0 0 0 20 0 21 0 7789290 19634933760 1616879 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
Current children cumulated CPU time: 1748.82 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 6467516 KiB
[startup+1738.8 s]
/proc/loadavg: 4.15 4.28 4.03 10/319 82224
/proc/meminfo: memFree=104094684/131655788 swapFree=131071996/131071996
[pid=81257] ppid=81254 vsize=19174740 memory=6467516 CPUtime=1749.25 cores=5,7
/proc/81257/stat : 81257 (java) S 81254 81257 78062 0 -1 1077936128 193934 0 0 0 174534 391 0 0 20 0 21 0 7789284 19634933760 1616879 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
/proc/81257/statm: 4793685 1616879 5903 1 0 1649091 0
[pid=81257/tid=81259] ppid=81254 vsize=19174740 memory=3491 CPUtime=1707.33 cores=5,7
/proc/81257/task/81259/stat : 81259 (java) R 81254 81257 78062 0 -1 4194368 84882 0 0 0 170590 143 0 0 20 0 21 0 7789285 19634933760 1616879 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 55 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81268] ppid=81254 vsize=19174740 memory=18267 CPUtime=0 cores=5,7
/proc/81257/task/81268/stat : 81268 (Finalizer) S 81254 81257 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 7789290 19634933760 1616879 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81275] ppid=81254 vsize=19174740 memory=462524 CPUtime=0 cores=5,7
/proc/81257/task/81275/stat : 81275 (Common-Cleaner) S 81254 81257 78062 0 -1 1077936192 2180 0 0 0 0 0 0 0 20 0 21 0 7789290 19634933760 1616879 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
Current children cumulated CPU time: 1749.25 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 6467516 KiB
[startup+1739.2 s]
/proc/loadavg: 4.38 4.33 4.05 5/320 82225
/proc/meminfo: memFree=104094132/131655788 swapFree=131071996/131071996
[pid=81257] ppid=81254 vsize=19174740 memory=6467572 CPUtime=1749.69 cores=5,7
/proc/81257/stat : 81257 (java) S 81254 81257 78062 0 -1 1077936128 193973 0 0 0 174578 391 0 0 20 0 21 0 7789284 19634933760 1616893 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
/proc/81257/statm: 4793685 1616893 5903 1 0 1649108 0
[pid=81257/tid=81259] ppid=81254 vsize=19174740 memory=11652 CPUtime=1707.72 cores=5,7
/proc/81257/task/81259/stat : 81259 (java) S 81254 81257 78062 0 -1 1077936192 84919 0 0 0 170629 143 0 0 20 0 21 0 7789285 19634933760 1616893 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 55 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81268] ppid=81254 vsize=19174740 memory=31436 CPUtime=0 cores=5,7
/proc/81257/task/81268/stat : 81268 (Finalizer) S 81254 81257 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 7789290 19634933760 1616893 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=81275] ppid=81254 vsize=19174740 memory=-6000919489886579559 CPUtime=0 cores=5,7
/proc/81257/task/81275/stat : 81275 (Common-Cleaner) S 81254 81257 78062 0 -1 1077936192 2180 0 0 0 0 0 0 0 20 0 21 0 7789290 19634933760 1616893 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
[pid=81257/tid=82225] ppid=81254 vsize=19174740 memory=2316 CPUtime=0 cores=5,7
/proc/81257/task/82225/stat : 82225 (Timer-0) S 81254 81257 78062 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 21 0 7963104 19634933760 1616893 134679101440 94302770130944 94302770134640 140724692280560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94302770142456 94302770143248 94302775615488 140724692288500 140724692288608 140724692288608 140724692295624 0
Current children cumulated CPU time: 1749.69 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 6467572 KiB
Child status: 1
Real time (s): 1739.26
CPU time (s): 1749.75
CPU user time (s): 1745.82
CPU system time (s): 3.9337
CPU usage (%): 100.603
Max. virtual memory (cumulated for all children) (KiB): 19174740
Max. memory (cumulated for all children) (KiB): 6477472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.82
system time used= 3.9337
maximum resident set size= 6477472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194287
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 234512
involuntary context switches= 4125
# summary of solver processes directly reported to runsolver:
# pid: 81257
# total CPU time (s): 1749.75
# total CPU user time (s): 1745.82
# total CPU system time (s): 3.9337
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.47889 second user time and 19.1407 second system time
The end