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 (61818 MiB free)
memory of node 1: 64510 MiB (63408 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429935-1721118372/watcher-4429935-1721118372 -o /tmp/evaluation-result-4429935-1721118372/solver-4429935-1721118372 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721118384-835286 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4429935-1721118372.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=835399, runsolver pid=835396
[startup+0.101777 s]*
/proc/loadavg: 1.06 1.59 2.67 15/310 835417
/proc/meminfo: memFree=128188312/131655788 swapFree=131071996/131071996
[pid=835399] ppid=835396 vsize=18975048 memory=55704 CPUtime=0.12 cores=0,2
/proc/835399/stat : 835399 (java) S 835396 835399 835276 0 -1 1077936128 6400 0 0 0 8 4 0 0 20 0 18 0 163996859 19430449152 13926 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
/proc/835399/statm: 4743762 13926 5642 1 0 550783 0
[pid=835399/tid=835401] ppid=835396 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/835399/task/835401/stat : 835401 (java) R 835396 835399 835276 0 -1 4194368 5307 0 0 0 5 3 0 0 20 0 18 0 163996860 19430449152 13926 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835410] ppid=835396 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/835399/task/835410/stat : 835410 (Finalizer) S 835396 835399 835276 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163996866 19430449152 13926 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835417] ppid=835396 vsize=18975048 memory=15817789915191721 CPUtime=0 cores=0,2
/proc/835399/task/835417/stat : 835417 (Common-Cleaner) S 835396 835399 835276 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 163996867 19430449152 13926 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55704 KiB
[startup+0.215778 s]*
/proc/loadavg: 1.06 1.59 2.67 13/310 835417
/proc/meminfo: memFree=128132824/131655788 swapFree=131071996/131071996
[pid=835399] ppid=835396 vsize=18975048 memory=60516 CPUtime=0.26 cores=0,2
/proc/835399/stat : 835399 (java) S 835396 835399 835276 0 -1 1077936128 7065 0 0 0 22 4 0 0 20 0 18 0 163996859 19430449152 15129 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
/proc/835399/statm: 4743762 15129 5667 1 0 551319 0
[pid=835399/tid=835401] ppid=835396 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=0,2
/proc/835399/task/835401/stat : 835401 (java) R 835396 835399 835276 0 -1 4194368 5640 0 0 0 14 3 0 0 20 0 18 0 163996860 19430449152 15129 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835410] ppid=835396 vsize=18975048 memory=671 CPUtime=0 cores=0,2
/proc/835399/task/835410/stat : 835410 (Finalizer) S 835396 835399 835276 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163996866 19430449152 15129 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835417] ppid=835396 vsize=18975048 memory=14697383271339398 CPUtime=0 cores=0,2
/proc/835399/task/835417/stat : 835417 (Common-Cleaner) S 835396 835399 835276 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 163996867 19430449152 15129 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60516 KiB
[startup+0.314527 s]*
/proc/loadavg: 1.06 1.59 2.67 13/311 835418
/proc/meminfo: memFree=128041412/131655788 swapFree=131071996/131071996
[pid=835399] ppid=835396 vsize=18975048 memory=65264 CPUtime=0.42 cores=0,2
/proc/835399/stat : 835399 (java) S 835396 835399 835276 0 -1 1077936128 7334 0 0 0 37 5 0 0 20 0 18 0 163996859 19430449152 16316 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
/proc/835399/statm: 4743762 16316 5664 1 0 551501 0
[pid=835399/tid=835401] ppid=835396 vsize=18975048 memory=-8742726470513042108 CPUtime=0.26 cores=0,2
/proc/835399/task/835401/stat : 835401 (java) R 835396 835399 835276 0 -1 4194368 5806 0 0 0 22 4 0 0 20 0 18 0 163996860 19430449152 16316 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835410] ppid=835396 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/835399/task/835410/stat : 835410 (Finalizer) S 835396 835399 835276 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163996866 19430449152 16316 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835417] ppid=835396 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/835399/task/835417/stat : 835417 (Common-Cleaner) S 835396 835399 835276 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 163996867 19430449152 16316 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65264 KiB
[startup+0.700358 s]
/proc/loadavg: 1.06 1.59 2.67 11/312 835419
/proc/meminfo: memFree=127938436/131655788 swapFree=131071996/131071996
[pid=835399] ppid=835396 vsize=18975048 memory=113984 CPUtime=1.11 cores=0,2
/proc/835399/stat : 835399 (java) S 835396 835399 835276 0 -1 1077936128 9750 0 0 0 104 7 0 0 20 0 18 0 163996859 19430449152 28496 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
/proc/835399/statm: 4743762 28496 5802 1 0 553060 0
[pid=835399/tid=835401] ppid=835396 vsize=18975048 memory=5544 CPUtime=0.59 cores=0,2
/proc/835399/task/835401/stat : 835401 (java) R 835396 835399 835276 0 -1 4194368 6016 0 0 0 54 5 0 0 20 0 18 0 163996860 19430449152 28496 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835410] ppid=835396 vsize=18975048 memory=12776 CPUtime=0 cores=0,2
/proc/835399/task/835410/stat : 835410 (Finalizer) S 835396 835399 835276 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163996866 19430449152 28496 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835417] ppid=835396 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/835399/task/835417/stat : 835417 (Common-Cleaner) S 835396 835399 835276 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 163996867 19430449152 28496 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 113984 KiB
[startup+1.50077 s]
/proc/loadavg: 1.06 1.59 2.67 11/317 835424
/proc/meminfo: memFree=127056296/131655788 swapFree=131071996/131071996
[pid=835399] ppid=835396 vsize=19041612 memory=393672 CPUtime=2.6 cores=0,2
/proc/835399/stat : 835399 (java) S 835396 835399 835276 0 -1 1077936128 12952 0 0 0 245 15 0 0 20 0 19 0 163996859 19498610688 98418 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
/proc/835399/statm: 4760403 98418 5834 1 0 1083251 0
[pid=835399/tid=835401] ppid=835396 vsize=19041612 memory=12776 CPUtime=1.23 cores=0,2
/proc/835399/task/835401/stat : 835401 (java) R 835396 835399 835276 0 -1 4194368 6182 0 0 0 113 10 0 0 20 0 19 0 163996860 19498610688 98418 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835410] ppid=835396 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/835399/task/835410/stat : 835410 (Finalizer) S 835396 835399 835276 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163996866 19498610688 98418 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835417] ppid=835396 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/835399/task/835417/stat : 835417 (Common-Cleaner) S 835396 835399 835276 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 163996867 19498610688 98418 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
Current children cumulated CPU time: 2.6 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 393672 KiB
[startup+3.11177 s]
/proc/loadavg: 1.06 1.59 2.67 6/295 835497
/proc/meminfo: memFree=125432548/131655788 swapFree=131071996/131071996
[pid=835399] ppid=835396 vsize=19041612 memory=1782808 CPUtime=4.8 cores=0,2
/proc/835399/stat : 835399 (java) S 835396 835399 835276 0 -1 1077936128 15250 0 0 0 435 45 0 0 20 0 19 0 163996859 19498610688 445702 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
/proc/835399/statm: 4760403 445702 5850 1 0 2485154 0
[pid=835399/tid=835401] ppid=835396 vsize=19041612 memory=0 CPUtime=2.44 cores=0,2
/proc/835399/task/835401/stat : 835401 (java) S 835396 835399 835276 0 -1 1077936192 6737 0 0 0 212 32 0 0 20 0 19 0 163996860 19498610688 445702 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835410] ppid=835396 vsize=19041612 memory=12776 CPUtime=0 cores=0,2
/proc/835399/task/835410/stat : 835410 (Finalizer) S 835396 835399 835276 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163996866 19498610688 445702 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835417] ppid=835396 vsize=19041612 memory=33 CPUtime=0 cores=0,2
/proc/835399/task/835417/stat : 835417 (Common-Cleaner) S 835396 835399 835276 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 163996867 19498610688 445702 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
Current children cumulated CPU time: 4.8 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1782808 KiB
[startup+6.30041 s]
/proc/loadavg: 1.37 1.64 2.69 5/317 835558
/proc/meminfo: memFree=120459416/131655788 swapFree=131071996/131071996
[pid=835399] ppid=835396 vsize=19041612 memory=6901568 CPUtime=8.59 cores=0,2
/proc/835399/stat : 835399 (java) S 835396 835399 835276 0 -1 1077936128 19756 0 0 0 713 146 0 0 20 0 19 0 163996859 19498610688 1725392 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
/proc/835399/statm: 4760403 1725392 5850 1 0 3281095 0
[pid=835399/tid=835401] ppid=835396 vsize=19041612 memory=966176 CPUtime=5.02 cores=0,2
/proc/835399/task/835401/stat : 835401 (java) R 835396 835399 835276 0 -1 4194368 9119 0 0 0 376 126 0 0 20 0 19 0 163996860 19498610688 1725392 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835410] ppid=835396 vsize=19041612 memory=12776 CPUtime=0 cores=0,2
/proc/835399/task/835410/stat : 835410 (Finalizer) S 835396 835399 835276 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163996866 19498610688 1725392 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835417] ppid=835396 vsize=19041612 memory=11464 CPUtime=0 cores=0,2
/proc/835399/task/835417/stat : 835417 (Common-Cleaner) S 835396 835399 835276 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 163996867 19498610688 1725392 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
Current children cumulated CPU time: 8.59 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 6901568 KiB
[startup+12.7008 s]
/proc/loadavg: 1.75 1.72 2.70 6/318 835559
/proc/meminfo: memFree=117834208/131655788 swapFree=131071996/131071996
[pid=835399] ppid=835396 vsize=19108176 memory=8310844 CPUtime=17.51 cores=0,2
/proc/835399/stat : 835399 (java) S 835396 835399 835276 0 -1 1077936128 29429 0 0 0 1576 175 0 0 20 0 20 0 163996859 19566772224 2077711 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
/proc/835399/statm: 4777044 2077711 5902 1 0 3285328 0
[pid=835399/tid=835401] ppid=835396 vsize=19108176 memory=11464 CPUtime=11.04 cores=0,2
/proc/835399/task/835401/stat : 835401 (java) R 835396 835399 835276 0 -1 4194368 10177 0 0 0 953 151 0 0 20 0 20 0 163996860 19566772224 2077711 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835410] ppid=835396 vsize=19108176 memory=7855956 CPUtime=0 cores=0,2
/proc/835399/task/835410/stat : 835410 (Finalizer) S 835396 835399 835276 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163996866 19566772224 2077711 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835417] ppid=835396 vsize=19108176 memory=11464 CPUtime=0 cores=0,2
/proc/835399/task/835417/stat : 835417 (Common-Cleaner) S 835396 835399 835276 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 163996867 19566772224 2077711 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835559] ppid=835396 vsize=19108176 memory=12776 CPUtime=0 cores=0,2
/proc/835399/task/835559/stat : 835559 (Timer-0) S 835396 835399 835276 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163997886 19566772224 2077711 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
Current children cumulated CPU time: 17.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8310844 KiB
[startup+25.5008 s]
/proc/loadavg: 2.39 1.86 2.74 5/318 835562
/proc/meminfo: memFree=115908936/131655788 swapFree=131071996/131071996
[pid=835399] ppid=835396 vsize=19108176 memory=8335712 CPUtime=33.13 cores=0,2
/proc/835399/stat : 835399 (java) S 835396 835399 835276 0 -1 1077936128 31792 0 0 0 3136 177 0 0 20 0 20 0 163996859 19566772224 2083928 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
/proc/835399/statm: 4777044 2083928 5902 1 0 3285410 0
[pid=835399/tid=835401] ppid=835396 vsize=19108176 memory=8317256 CPUtime=23.45 cores=0,2
/proc/835399/task/835401/stat : 835401 (java) R 835396 835399 835276 0 -1 4194368 10799 0 0 0 2193 152 0 0 20 0 20 0 163996860 19566772224 2083928 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835410] ppid=835396 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/835399/task/835410/stat : 835410 (Finalizer) S 835396 835399 835276 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163996866 19566772224 2083928 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835417] ppid=835396 vsize=19108176 memory=41676 CPUtime=0 cores=0,2
/proc/835399/task/835417/stat : 835417 (Common-Cleaner) S 835396 835399 835276 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 163996867 19566772224 2083928 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835559] ppid=835396 vsize=19108176 memory=8335712 CPUtime=0 cores=0,2
/proc/835399/task/835559/stat : 835559 (Timer-0) S 835396 835399 835276 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163997886 19566772224 2083928 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
Current children cumulated CPU time: 33.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8335712 KiB
[startup+51.113 s]
/proc/loadavg: 3.12 2.08 2.79 5/318 835565
/proc/meminfo: memFree=115106864/131655788 swapFree=131071996/131071996
[pid=835399] ppid=835396 vsize=19108176 memory=8382088 CPUtime=59.46 cores=0,2
/proc/835399/stat : 835399 (java) S 835396 835399 835276 0 -1 1077936128 41111 0 0 0 5765 181 0 0 20 0 20 0 163996859 19566772224 2095522 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
/proc/835399/statm: 4777044 2095522 5902 1 0 3285510 0
[pid=835399/tid=835401] ppid=835396 vsize=19108176 memory=8382088 CPUtime=48.43 cores=0,2
/proc/835399/task/835401/stat : 835401 (java) R 835396 835399 835276 0 -1 4194368 15625 0 0 0 4691 152 0 0 20 0 20 0 163996860 19566772224 2095522 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835410] ppid=835396 vsize=19108176 memory=8382088 CPUtime=0 cores=0,2
/proc/835399/task/835410/stat : 835410 (Finalizer) S 835396 835399 835276 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163996866 19566772224 2095522 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835417] ppid=835396 vsize=19108176 memory=8381436 CPUtime=0 cores=0,2
/proc/835399/task/835417/stat : 835417 (Common-Cleaner) S 835396 835399 835276 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 163996867 19566772224 2095522 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835559] ppid=835396 vsize=19108176 memory=5544 CPUtime=0 cores=0,2
/proc/835399/task/835559/stat : 835559 (Timer-0) S 835396 835399 835276 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163997886 19566772224 2095522 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
Current children cumulated CPU time: 59.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8382088 KiB
################
# More data... #
################
/proc/835399/task/835410/stat : 835410 (Finalizer) S 835396 835399 835276 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163996866 19566772224 2177403 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835417] ppid=835396 vsize=19108176 memory=8695268 CPUtime=0.01 cores=0,2
/proc/835399/task/835417/stat : 835417 (Common-Cleaner) S 835396 835399 835276 0 -1 1077936192 5619 0 0 0 0 1 0 0 20 0 20 0 163996867 19566772224 2177403 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835559] ppid=835396 vsize=19108176 memory=8709612 CPUtime=0 cores=0,2
/proc/835399/task/835559/stat : 835559 (Timer-0) S 835396 835399 835276 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163997886 19566772224 2177403 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
Current children cumulated CPU time: 3230.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8709612 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.23 4.16 5/323 837022
/proc/meminfo: memFree=95375132/131655788 swapFree=131071996/131071996
[pid=835399] ppid=835396 vsize=19108176 memory=8709612 CPUtime=3289.98 cores=0,2
/proc/835399/stat : 835399 (java) S 835396 835399 835276 0 -1 1077936128 266247 0 0 0 328648 350 0 0 20 0 20 0 163996859 19566772224 2177403 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
/proc/835399/statm: 4777044 2177403 5917 1 0 3286385 0
[pid=835399/tid=835401] ppid=835396 vsize=19108176 memory=8709612 CPUtime=3266.84 cores=0,2
/proc/835399/task/835401/stat : 835401 (java) R 835396 835399 835276 0 -1 4194368 129223 0 0 0 326507 177 0 0 20 0 20 0 163996860 19566772224 2177403 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835410] ppid=835396 vsize=19108176 memory=-8742726470513042108 CPUtime=0 cores=0,2
/proc/835399/task/835410/stat : 835410 (Finalizer) S 835396 835399 835276 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163996866 19566772224 2177403 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835417] ppid=835396 vsize=19108176 memory=32144 CPUtime=0.01 cores=0,2
/proc/835399/task/835417/stat : 835417 (Common-Cleaner) S 835396 835399 835276 0 -1 1077936192 5761 0 0 0 0 1 0 0 20 0 20 0 163996867 19566772224 2177403 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835559] ppid=835396 vsize=19108176 memory=41676 CPUtime=0 cores=0,2
/proc/835399/task/835559/stat : 835559 (Timer-0) S 835396 835399 835276 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163997886 19566772224 2177403 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
Current children cumulated CPU time: 3289.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8709612 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.20 4.16 5/323 837032
/proc/meminfo: memFree=95374972/131655788 swapFree=131071996/131071996
[pid=835399] ppid=835396 vsize=19108176 memory=8709612 CPUtime=3349.84 cores=0,2
/proc/835399/stat : 835399 (java) S 835396 835399 835276 0 -1 1077936128 268527 0 0 0 334631 353 0 0 20 0 20 0 163996859 19566772224 2177403 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
/proc/835399/statm: 4777044 2177403 5917 1 0 3286385 0
[pid=835399/tid=835401] ppid=835396 vsize=19108176 memory=8709612 CPUtime=3326.66 cores=0,2
/proc/835399/task/835401/stat : 835401 (java) R 835396 835399 835276 0 -1 4194368 130850 0 0 0 332488 178 0 0 20 0 20 0 163996860 19566772224 2177403 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835410] ppid=835396 vsize=19108176 memory=-8621784576521387677 CPUtime=0 cores=0,2
/proc/835399/task/835410/stat : 835410 (Finalizer) S 835396 835399 835276 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163996866 19566772224 2177403 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835417] ppid=835396 vsize=19108176 memory=8709612 CPUtime=0.01 cores=0,2
/proc/835399/task/835417/stat : 835417 (Common-Cleaner) S 835396 835399 835276 0 -1 1077936192 5903 0 0 0 0 1 0 0 20 0 20 0 163996867 19566772224 2177403 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835559] ppid=835396 vsize=19108176 memory=8709612 CPUtime=0 cores=0,2
/proc/835399/task/835559/stat : 835559 (Timer-0) S 835396 835399 835276 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163997886 19566772224 2177403 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
Current children cumulated CPU time: 3349.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8709612 KiB
[startup+3402.3 s]
/proc/loadavg: 4.70 4.34 4.20 5/323 837043
/proc/meminfo: memFree=95267892/131655788 swapFree=131071996/131071996
[pid=835399] ppid=835396 vsize=19108176 memory=8709612 CPUtime=3409.7 cores=0,2
/proc/835399/stat : 835399 (java) S 835396 835399 835276 0 -1 1077936128 271514 0 0 0 340615 355 0 0 20 0 20 0 163996859 19566772224 2177403 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
/proc/835399/statm: 4777044 2177403 5917 1 0 3286385 0
[pid=835399/tid=835401] ppid=835396 vsize=19108176 memory=-8621784576521387677 CPUtime=3386.47 cores=0,2
/proc/835399/task/835401/stat : 835401 (java) R 835396 835399 835276 0 -1 4194368 133006 0 0 0 338469 178 0 0 20 0 20 0 163996860 19566772224 2177403 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835410] ppid=835396 vsize=19108176 memory=11464 CPUtime=0 cores=0,2
/proc/835399/task/835410/stat : 835410 (Finalizer) S 835396 835399 835276 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163996866 19566772224 2177403 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835417] ppid=835396 vsize=19108176 memory=8709612 CPUtime=0.01 cores=0,2
/proc/835399/task/835417/stat : 835417 (Common-Cleaner) S 835396 835399 835276 0 -1 1077936192 6045 0 0 0 0 1 0 0 20 0 20 0 163996867 19566772224 2177403 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835559] ppid=835396 vsize=19108176 memory=8709612 CPUtime=0 cores=0,2
/proc/835399/task/835559/stat : 835559 (Timer-0) S 835396 835399 835276 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163997886 19566772224 2177403 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
Current children cumulated CPU time: 3409.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8709612 KiB
[startup+3462.3 s]
/proc/loadavg: 4.55 4.38 4.23 5/323 837053
/proc/meminfo: memFree=95261336/131655788 swapFree=131071996/131071996
[pid=835399] ppid=835396 vsize=19108176 memory=8715756 CPUtime=3469.61 cores=0,2
/proc/835399/stat : 835399 (java) S 835396 835399 835276 0 -1 1077936128 277512 0 0 0 346602 359 0 0 20 0 20 0 163996859 19566772224 2178939 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
/proc/835399/statm: 4777044 2178939 5917 1 0 3286385 0
[pid=835399/tid=835401] ppid=835396 vsize=19108176 memory=-8621784576521387677 CPUtime=3446.14 cores=0,2
/proc/835399/task/835401/stat : 835401 (java) R 835396 835399 835276 0 -1 4194368 135496 0 0 0 344436 178 0 0 20 0 20 0 163996860 19566772224 2178939 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835410] ppid=835396 vsize=19108176 memory=11464 CPUtime=0 cores=0,2
/proc/835399/task/835410/stat : 835410 (Finalizer) S 835396 835399 835276 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163996866 19566772224 2178939 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835417] ppid=835396 vsize=19108176 memory=8715756 CPUtime=0.01 cores=0,2
/proc/835399/task/835417/stat : 835417 (Common-Cleaner) S 835396 835399 835276 0 -1 1077936192 6188 0 0 0 0 1 0 0 20 0 20 0 163996867 19566772224 2178939 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835559] ppid=835396 vsize=19108176 memory=11464 CPUtime=0 cores=0,2
/proc/835399/task/835559/stat : 835559 (Timer-0) S 835396 835399 835276 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163997886 19566772224 2178939 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
Current children cumulated CPU time: 3469.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8715756 KiB
[startup+3522.3 s]
/proc/loadavg: 4.38 4.35 4.23 5/320 837064
/proc/meminfo: memFree=95260936/131655788 swapFree=131071996/131071996
[pid=835399] ppid=835396 vsize=19108176 memory=8715756 CPUtime=3529.5 cores=0,2
/proc/835399/stat : 835399 (java) S 835396 835399 835276 0 -1 1077936128 280117 0 0 0 352588 362 0 0 20 0 20 0 163996859 19566772224 2178939 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
/proc/835399/statm: 4777044 2178939 5917 1 0 3286385 0
[pid=835399/tid=835401] ppid=835396 vsize=19108176 memory=41676 CPUtime=3505.99 cores=0,2
/proc/835399/task/835401/stat : 835401 (java) R 835396 835399 835276 0 -1 4194368 137620 0 0 0 350420 179 0 0 20 0 20 0 163996860 19566772224 2178939 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835410] ppid=835396 vsize=19108176 memory=8715756 CPUtime=0 cores=0,2
/proc/835399/task/835410/stat : 835410 (Finalizer) S 835396 835399 835276 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163996866 19566772224 2178939 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835417] ppid=835396 vsize=19108176 memory=41676 CPUtime=0.01 cores=0,2
/proc/835399/task/835417/stat : 835417 (Common-Cleaner) S 835396 835399 835276 0 -1 1077936192 6189 0 0 0 0 1 0 0 20 0 20 0 163996867 19566772224 2178939 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835559] ppid=835396 vsize=19108176 memory=8715756 CPUtime=0 cores=0,2
/proc/835399/task/835559/stat : 835559 (Timer-0) S 835396 835399 835276 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163997886 19566772224 2178939 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
Current children cumulated CPU time: 3529.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8715756 KiB
[startup+3582.3 s]
/proc/loadavg: 4.34 4.34 4.23 5/319 837525
/proc/meminfo: memFree=98225320/131655788 swapFree=131071996/131071996
[pid=835399] ppid=835396 vsize=19108176 memory=8715756 CPUtime=3589.38 cores=0,2
/proc/835399/stat : 835399 (java) S 835396 835399 835276 0 -1 1077936128 282654 0 0 0 358574 364 0 0 20 0 20 0 163996859 19566772224 2178939 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
/proc/835399/statm: 4777044 2178939 5917 1 0 3286385 0
[pid=835399/tid=835401] ppid=835396 vsize=19108176 memory=11464 CPUtime=3565.83 cores=0,2
/proc/835399/task/835401/stat : 835401 (java) R 835396 835399 835276 0 -1 4194368 139332 0 0 0 356404 179 0 0 20 0 20 0 163996860 19566772224 2178939 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835410] ppid=835396 vsize=19108176 memory=5500 CPUtime=0 cores=0,2
/proc/835399/task/835410/stat : 835410 (Finalizer) S 835396 835399 835276 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163996866 19566772224 2178939 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835417] ppid=835396 vsize=19108176 memory=11464 CPUtime=0.01 cores=0,2
/proc/835399/task/835417/stat : 835417 (Common-Cleaner) S 835396 835399 835276 0 -1 1077936192 6331 0 0 0 0 1 0 0 20 0 20 0 163996867 19566772224 2178939 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835559] ppid=835396 vsize=19108176 memory=8715756 CPUtime=0 cores=0,2
/proc/835399/task/835559/stat : 835559 (Timer-0) S 835396 835399 835276 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163997886 19566772224 2178939 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
Current children cumulated CPU time: 3589.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8715756 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3593 s]*
/proc/loadavg: 4.29 4.32 4.22 5/319 837528
/proc/meminfo: memFree=97708336/131655788 swapFree=131071996/131071996
[pid=835399] ppid=835396 vsize=19108176 memory=8715756 CPUtime=3600.08 cores=0,2
/proc/835399/stat : 835399 (java) S 835396 835399 835276 0 -1 1077936128 283376 0 0 0 359643 365 0 0 20 0 20 0 163996859 19566772224 2178939 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
/proc/835399/statm: 4777044 2178939 5917 1 0 3286385 0
[pid=835399/tid=835401] ppid=835396 vsize=19108176 memory=-8526552580297695932 CPUtime=3576.52 cores=0,2
/proc/835399/task/835401/stat : 835401 (java) R 835396 835399 835276 0 -1 4194368 140014 0 0 0 357473 179 0 0 20 0 20 0 163996860 19566772224 2178939 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835410] ppid=835396 vsize=19108176 memory=19900 CPUtime=0 cores=0,2
/proc/835399/task/835410/stat : 835410 (Finalizer) S 835396 835399 835276 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163996866 19566772224 2178939 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835417] ppid=835396 vsize=19108176 memory=6776 CPUtime=0.01 cores=0,2
/proc/835399/task/835417/stat : 835417 (Common-Cleaner) S 835396 835399 835276 0 -1 1077936192 6331 0 0 0 0 1 0 0 20 0 20 0 163996867 19566772224 2178939 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
[pid=835399/tid=835559] ppid=835396 vsize=19108176 memory=7156 CPUtime=0 cores=0,2
/proc/835399/task/835559/stat : 835559 (Timer-0) S 835396 835399 835276 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163997886 19566772224 2178939 134679101440 94013938819072 94013938822768 140734735321040 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94013938830584 94013938831376 94013966704640 140734735324149 140734735324257 140734735324257 140734735331272 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8715756 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3593.13 s]
# the end of solver process 835399 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.58 s, system=3.68363 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3593.12 s]*
/proc/loadavg: 4.29 4.32 4.22 6/301 837531
/proc/meminfo: memFree=100558936/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3593.13
CPU time (s): 3600.26
CPU user time (s): 3596.58
CPU system time (s): 3.68363
CPU usage (%): 100.198
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 8715756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.58
system time used= 3.68363
maximum resident set size= 8717424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287418
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106175
involuntary context switches= 25796
# summary of solver processes directly reported to runsolver:
# pid: 835399
# total CPU time (s): 3600.26
# total CPU user time (s): 3596.58
# total CPU system time (s): 3.68363
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5579 second user time and 38.3131 second system time
The end