runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61630 MiB free)
memory of node 1: 64510 MiB (62448 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427424-1720994537/watcher-4427424-1720994537 -o /tmp/evaluation-result-4427424-1720994537/solver-4427424-1720994537 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1720994549-769276 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427424-1720994537.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=769336, runsolver pid=769323
[startup+0.103365 s]*
/proc/loadavg: 0.13 0.11 0.09 14/327 769409
/proc/meminfo: memFree=126885976/131524600 swapFree=131071996/131071996
[pid=769336] ppid=769323 vsize=18975048 memory=63436 CPUtime=0.12 cores=0,2
/proc/769336/stat : 769336 (java) S 769323 769336 769266 0 -1 1077936128 7233 0 0 0 10 2 0 0 20 0 18 0 151623399 19430449152 15859 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
/proc/769336/statm: 4743762 15859 5749 1 0 549317 0
[pid=769336/tid=769343] ppid=769323 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/769336/task/769343/stat : 769343 (java) R 769323 769336 769266 0 -1 1077936192 5762 0 0 0 7 1 0 0 20 0 18 0 151623399 19430449152 15859 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 151623400 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769377] ppid=769323 vsize=18975048 memory=228556276070 CPUtime=0 cores=0,2
/proc/769336/task/769377/stat : 769377 (Finalizer) S 769323 769336 769266 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151623402 19430449152 15859 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769409] ppid=769323 vsize=18975048 memory=15817789847927870 CPUtime=0 cores=0,2
/proc/769336/task/769409/stat : 769409 (Common-Cleaner) S 769323 769336 769266 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 151623403 19430449152 15859 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63436 KiB
[startup+0.206908 s]*
/proc/loadavg: 0.13 0.11 0.09 15/327 769409
/proc/meminfo: memFree=126834940/131524600 swapFree=131071996/131071996
[pid=769336] ppid=769323 vsize=18975048 memory=71896 CPUtime=0.31 cores=0,2
/proc/769336/stat : 769336 (java) S 769323 769336 769266 0 -1 1077936128 7815 0 0 0 29 2 0 0 20 0 18 0 151623399 19430449152 17974 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
/proc/769336/statm: 4743762 17974 5836 1 0 549687 0
[pid=769336/tid=769343] ppid=769323 vsize=18975048 memory=664970851429515395 CPUtime=0.17 cores=0,2
/proc/769336/task/769343/stat : 769343 (java) S 769323 769336 769266 0 -1 1077936192 6062 0 0 0 16 1 0 0 20 0 18 0 151623399 19430449152 17974 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 151623400 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769377] ppid=769323 vsize=18975048 memory=17963 CPUtime=0 cores=0,2
/proc/769336/task/769377/stat : 769377 (Finalizer) S 769323 769336 769266 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151623402 19430449152 17974 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769409] ppid=769323 vsize=18975048 memory=14697378909259238 CPUtime=0 cores=0,2
/proc/769336/task/769409/stat : 769409 (Common-Cleaner) S 769323 769336 769266 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 151623403 19430449152 17974 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71896 KiB
[startup+0.307063 s]*
/proc/loadavg: 0.13 0.11 0.09 19/330 769412
/proc/meminfo: memFree=126687796/131524600 swapFree=131071996/131071996
[pid=769336] ppid=769323 vsize=19041612 memory=85744 CPUtime=0.51 cores=0,2
/proc/769336/stat : 769336 (java) S 769323 769336 769266 0 -1 1077936128 8204 0 0 0 48 3 0 0 20 0 19 0 151623399 19498610688 21436 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
/proc/769336/statm: 4760403 21436 5874 1 0 550129 0
[pid=769336/tid=769343] ppid=769323 vsize=19041612 memory=-8960869560233665212 CPUtime=0.27 cores=0,2
/proc/769336/task/769343/stat : 769343 (java) R 769323 769336 769266 0 -1 4194368 6203 0 0 0 25 2 0 0 20 0 19 0 151623399 19498610688 21436 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 151623400 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769377] ppid=769323 vsize=19041612 memory=1468803969481410393 CPUtime=0 cores=0,2
/proc/769336/task/769377/stat : 769377 (Finalizer) S 769323 769336 769266 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 151623402 19498610688 21436 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769409] ppid=769323 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/769336/task/769409/stat : 769409 (Common-Cleaner) S 769323 769336 769266 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 151623403 19498610688 21436 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769410] ppid=769323 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/769336/task/769410/stat : 769410 (Timer-0) S 769323 769336 769266 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 151623422 19498610688 21436 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 85744 KiB
[startup+0.700243 s]
/proc/loadavg: 0.13 0.11 0.09 13/331 769413
/proc/meminfo: memFree=126525612/131524600 swapFree=131071996/131071996
[pid=769336] ppid=769323 vsize=19108176 memory=178204 CPUtime=1.26 cores=0,2
/proc/769336/stat : 769336 (java) S 769323 769336 769266 0 -1 1077936128 14789 0 0 0 121 5 0 0 20 0 20 0 151623399 19566772224 44551 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
/proc/769336/statm: 4777044 44551 5889 1 0 554442 0
[pid=769336/tid=769343] ppid=769323 vsize=19108176 memory=12312 CPUtime=0.61 cores=0,2
/proc/769336/task/769343/stat : 769343 (java) R 769323 769336 769266 0 -1 4194368 6257 0 0 0 57 4 0 0 20 0 20 0 151623399 19566772224 44551 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 151623400 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769377] ppid=769323 vsize=19108176 memory=12312 CPUtime=0 cores=0,2
/proc/769336/task/769377/stat : 769377 (Finalizer) S 769323 769336 769266 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151623402 19566772224 44551 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769409] ppid=769323 vsize=19108176 memory=279615256196064 CPUtime=0 cores=0,2
/proc/769336/task/769409/stat : 769409 (Common-Cleaner) S 769323 769336 769266 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151623403 19566772224 44551 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769410] ppid=769323 vsize=19108176 memory=5568 CPUtime=0 cores=0,2
/proc/769336/task/769410/stat : 769410 (Timer-0) S 769323 769336 769266 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151623422 19566772224 44551 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178204 KiB
[startup+1.50106 s]
/proc/loadavg: 0.13 0.11 0.09 14/335 769417
/proc/meminfo: memFree=126440604/131524600 swapFree=131071996/131071996
[pid=769336] ppid=769323 vsize=19108176 memory=243836 CPUtime=2.83 cores=0,2
/proc/769336/stat : 769336 (java) S 769323 769336 769266 0 -1 1077936128 20803 0 0 0 276 7 0 0 20 0 20 0 151623399 19566772224 60959 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
/proc/769336/statm: 4777044 60959 5889 1 0 554758 0
[pid=769336/tid=769343] ppid=769323 vsize=19108176 memory=12312 CPUtime=1.35 cores=0,2
/proc/769336/task/769343/stat : 769343 (java) R 769323 769336 769266 0 -1 4194368 6588 0 0 0 131 4 0 0 20 0 20 0 151623399 19566772224 60959 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 151623400 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769377] ppid=769323 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/769336/task/769377/stat : 769377 (Finalizer) S 769323 769336 769266 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151623402 19566772224 60959 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769409] ppid=769323 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/769336/task/769409/stat : 769409 (Common-Cleaner) S 769323 769336 769266 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151623403 19566772224 60959 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769410] ppid=769323 vsize=19108176 memory=65 CPUtime=0 cores=0,2
/proc/769336/task/769410/stat : 769410 (Timer-0) S 769323 769336 769266 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151623422 19566772224 60959 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 243836 KiB
[startup+3.10706 s]
/proc/loadavg: 0.13 0.11 0.09 11/335 769417
/proc/meminfo: memFree=125466744/131524600 swapFree=131071996/131071996
[pid=769336] ppid=769323 vsize=19108176 memory=649276 CPUtime=5.67 cores=0,2
/proc/769336/stat : 769336 (java) S 769323 769336 769266 0 -1 1077936128 25029 0 0 0 551 16 0 0 20 0 20 0 151623399 19566772224 162319 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
/proc/769336/statm: 4777044 162319 5905 1 0 679040 0
[pid=769336/tid=769343] ppid=769323 vsize=19108176 memory=0 CPUtime=2.88 cores=0,2
/proc/769336/task/769343/stat : 769343 (java) R 769323 769336 769266 0 -1 4194368 7607 0 0 0 276 12 0 0 20 0 20 0 151623399 19566772224 162319 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 151623400 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769377] ppid=769323 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/769336/task/769377/stat : 769377 (Finalizer) S 769323 769336 769266 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151623402 19566772224 162319 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769409] ppid=769323 vsize=19108176 memory=346416 CPUtime=0 cores=0,2
/proc/769336/task/769409/stat : 769409 (Common-Cleaner) S 769323 769336 769266 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151623403 19566772224 162319 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769410] ppid=769323 vsize=19108176 memory=12312 CPUtime=0 cores=0,2
/proc/769336/task/769410/stat : 769410 (Timer-0) S 769323 769336 769266 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151623422 19566772224 162319 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
Current children cumulated CPU time: 5.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 649276 KiB
[startup+6.30106 s]
/proc/loadavg: 0.44 0.18 0.11 9/335 769417
/proc/meminfo: memFree=125088028/131524600 swapFree=131071996/131071996
[pid=769336] ppid=769323 vsize=19108176 memory=838408 CPUtime=9.1 cores=0,2
/proc/769336/stat : 769336 (java) S 769323 769336 769266 0 -1 1077936128 25402 0 0 0 890 20 0 0 20 0 20 0 151623399 19566772224 209602 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
/proc/769336/statm: 4777044 209602 5905 1 0 679045 0
[pid=769336/tid=769343] ppid=769323 vsize=19108176 memory=0 CPUtime=6 cores=0,2
/proc/769336/task/769343/stat : 769343 (java) R 769323 769336 769266 0 -1 4194368 7874 0 0 0 584 16 0 0 20 0 20 0 151623399 19566772224 209602 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 151623400 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769377] ppid=769323 vsize=19108176 memory=6226623869968275283 CPUtime=0 cores=0,2
/proc/769336/task/769377/stat : 769377 (Finalizer) S 769323 769336 769266 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151623402 19566772224 209602 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769409] ppid=769323 vsize=19108176 memory=8326441112149131695 CPUtime=0 cores=0,2
/proc/769336/task/769409/stat : 769409 (Common-Cleaner) S 769323 769336 769266 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151623403 19566772224 209602 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769410] ppid=769323 vsize=19108176 memory=5492 CPUtime=0 cores=0,2
/proc/769336/task/769410/stat : 769410 (Timer-0) S 769323 769336 769266 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151623422 19566772224 209602 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
Current children cumulated CPU time: 9.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 838408 KiB
[startup+12.7011 s]
/proc/loadavg: 0.72 0.24 0.13 9/335 769419
/proc/meminfo: memFree=124456300/131524600 swapFree=131071996/131071996
[pid=769336] ppid=769323 vsize=19108176 memory=959464 CPUtime=15.73 cores=0,2
/proc/769336/stat : 769336 (java) S 769323 769336 769266 0 -1 1077936128 27137 0 0 0 1548 25 0 0 20 0 20 0 151623399 19566772224 239866 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
/proc/769336/statm: 4777044 239866 5905 1 0 679046 0
[pid=769336/tid=769343] ppid=769323 vsize=19108176 memory=959316 CPUtime=12.22 cores=0,2
/proc/769336/task/769343/stat : 769343 (java) R 769323 769336 769266 0 -1 4194368 9010 0 0 0 1205 17 0 0 20 0 20 0 151623399 19566772224 239866 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 151623400 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769377] ppid=769323 vsize=19108176 memory=38140 CPUtime=0 cores=0,2
/proc/769336/task/769377/stat : 769377 (Finalizer) S 769323 769336 769266 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151623402 19566772224 239866 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769409] ppid=769323 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/769336/task/769409/stat : 769409 (Common-Cleaner) S 769323 769336 769266 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151623403 19566772224 239866 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769410] ppid=769323 vsize=19108176 memory=838408 CPUtime=0 cores=0,2
/proc/769336/task/769410/stat : 769410 (Timer-0) S 769323 769336 769266 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151623422 19566772224 239866 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
Current children cumulated CPU time: 15.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 959464 KiB
[startup+25.5011 s]
/proc/loadavg: 1.45 0.43 0.20 8/335 769420
/proc/meminfo: memFree=122468124/131524600 swapFree=131071996/131071996
[pid=769336] ppid=769323 vsize=19108176 memory=1486136 CPUtime=28.63 cores=0,2
/proc/769336/stat : 769336 (java) S 769323 769336 769266 0 -1 1077936128 33914 0 0 0 2827 36 0 0 20 0 20 0 151623399 19566772224 371534 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
/proc/769336/statm: 4777044 371534 5905 1 0 679049 0
[pid=769336/tid=769343] ppid=769323 vsize=19108176 memory=959316 CPUtime=24.67 cores=0,2
/proc/769336/task/769343/stat : 769343 (java) R 769323 769336 769266 0 -1 4194368 11450 0 0 0 2442 25 0 0 20 0 20 0 151623399 19566772224 371534 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 151623400 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769377] ppid=769323 vsize=19108176 memory=1467696 CPUtime=0 cores=0,2
/proc/769336/task/769377/stat : 769377 (Finalizer) S 769323 769336 769266 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151623402 19566772224 371534 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769409] ppid=769323 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/769336/task/769409/stat : 769409 (Common-Cleaner) S 769323 769336 769266 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151623403 19566772224 371534 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769410] ppid=769323 vsize=19108176 memory=838408 CPUtime=0 cores=0,2
/proc/769336/task/769410/stat : 769410 (Timer-0) S 769323 769336 769266 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151623422 19566772224 371534 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
Current children cumulated CPU time: 28.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1486136 KiB
[startup+51.107 s]
/proc/loadavg: 2.44 0.75 0.31 8/335 769425
/proc/meminfo: memFree=120769208/131524600 swapFree=131071996/131071996
[pid=769336] ppid=769323 vsize=19108176 memory=1754824 CPUtime=54.65 cores=0,2
/proc/769336/stat : 769336 (java) S 769323 769336 769266 0 -1 1077936128 43088 0 0 0 5421 44 0 0 20 0 20 0 151623399 19566772224 438706 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
/proc/769336/statm: 4777044 438706 5920 1 0 679098 0
[pid=769336/tid=769343] ppid=769323 vsize=19108176 memory=1754824 CPUtime=49.81 cores=0,2
/proc/769336/task/769343/stat : 769343 (java) R 769323 769336 769266 0 -1 4194368 15333 0 0 0 4953 28 0 0 20 0 20 0 151623399 19566772224 438706 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 151623400 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
################
# More data... #
################
/proc/meminfo: memFree=115244092/131524600 swapFree=131071996/131071996
[pid=769336] ppid=769323 vsize=19108176 memory=3203812 CPUtime=3207.46 cores=0,2
/proc/769336/stat : 769336 (java) S 769323 769336 769266 0 -1 1077936128 366043 0 0 0 320508 238 0 0 20 0 20 0 151623399 19566772224 800953 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
/proc/769336/statm: 4777044 800953 5957 1 0 811297 0
[pid=769336/tid=769343] ppid=769323 vsize=19108176 memory=3203800 CPUtime=3107.87 cores=0,2
/proc/769336/task/769343/stat : 769343 (java) R 769323 769336 769266 0 -1 4194368 126933 0 0 0 310721 66 0 0 20 0 20 0 151623399 19566772224 800953 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 151623410 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769377] ppid=769323 vsize=19108176 memory=3203804 CPUtime=0 cores=0,2
/proc/769336/task/769377/stat : 769377 (Finalizer) S 769323 769336 769266 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151623402 19566772224 800953 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769409] ppid=769323 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/769336/task/769409/stat : 769409 (Common-Cleaner) S 769323 769336 769266 0 -1 1077936192 2516 0 0 0 0 0 0 0 20 0 20 0 151623403 19566772224 800953 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769410] ppid=769323 vsize=19108176 memory=3203812 CPUtime=0 cores=0,2
/proc/769336/task/769410/stat : 769410 (Timer-0) S 769323 769336 769266 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151623422 19566772224 800953 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
Current children cumulated CPU time: 3207.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3203812 KiB
[startup+3222.3 s]
/proc/loadavg: 4.44 4.33 4.17 9/337 771526
/proc/meminfo: memFree=115240692/131524600 swapFree=131071996/131071996
[pid=769336] ppid=769323 vsize=19108176 memory=3203812 CPUtime=3270.13 cores=0,2
/proc/769336/stat : 769336 (java) S 769323 769336 769266 0 -1 1077936128 367182 0 0 0 326772 241 0 0 20 0 20 0 151623399 19566772224 800953 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
/proc/769336/statm: 4777044 800953 5957 1 0 811297 0
[pid=769336/tid=769343] ppid=769323 vsize=19108176 memory=3203812 CPUtime=3166.88 cores=0,2
/proc/769336/task/769343/stat : 769343 (java) R 769323 769336 769266 0 -1 4194368 127742 0 0 0 316621 67 0 0 20 0 20 0 151623399 19566772224 800953 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 151623410 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769377] ppid=769323 vsize=19108176 memory=3203800 CPUtime=0 cores=0,2
/proc/769336/task/769377/stat : 769377 (Finalizer) S 769323 769336 769266 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151623402 19566772224 800953 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769409] ppid=769323 vsize=19108176 memory=3203812 CPUtime=0 cores=0,2
/proc/769336/task/769409/stat : 769409 (Common-Cleaner) S 769323 769336 769266 0 -1 1077936192 2569 0 0 0 0 0 0 0 20 0 20 0 151623403 19566772224 800953 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769410] ppid=769323 vsize=19108176 memory=15844 CPUtime=0 cores=0,2
/proc/769336/task/769410/stat : 769410 (Timer-0) S 769323 769336 769266 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151623422 19566772224 800953 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
Current children cumulated CPU time: 3270.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3203812 KiB
[startup+3282.3 s]
/proc/loadavg: 4.26 4.30 4.17 9/334 771536
/proc/meminfo: memFree=115240224/131524600 swapFree=131071996/131071996
[pid=769336] ppid=769323 vsize=19108176 memory=3203812 CPUtime=3332.8 cores=0,2
/proc/769336/stat : 769336 (java) S 769323 769336 769266 0 -1 1077936128 379511 0 0 0 333035 245 0 0 20 0 20 0 151623399 19566772224 800953 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
/proc/769336/statm: 4777044 800953 5957 1 0 811297 0
[pid=769336/tid=769343] ppid=769323 vsize=19108176 memory=3203812 CPUtime=3225.82 cores=0,2
/proc/769336/task/769343/stat : 769343 (java) R 769323 769336 769266 0 -1 4194368 131267 0 0 0 322515 67 0 0 20 0 20 0 151623399 19566772224 800953 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 151623410 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769377] ppid=769323 vsize=19108176 memory=3203812 CPUtime=0 cores=0,2
/proc/769336/task/769377/stat : 769377 (Finalizer) S 769323 769336 769266 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151623402 19566772224 800953 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769409] ppid=769323 vsize=19108176 memory=3203812 CPUtime=0 cores=0,2
/proc/769336/task/769409/stat : 769409 (Common-Cleaner) S 769323 769336 769266 0 -1 1077936192 2570 0 0 0 0 0 0 0 20 0 20 0 151623403 19566772224 800953 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769410] ppid=769323 vsize=19108176 memory=3203812 CPUtime=0 cores=0,2
/proc/769336/task/769410/stat : 769410 (Timer-0) S 769323 769336 769266 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151623422 19566772224 800953 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
Current children cumulated CPU time: 3332.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3203812 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.27 4.17 8/334 771547
/proc/meminfo: memFree=115239144/131524600 swapFree=131071996/131071996
[pid=769336] ppid=769323 vsize=19108176 memory=3204432 CPUtime=3395.58 cores=0,2
/proc/769336/stat : 769336 (java) S 769323 769336 769266 0 -1 1077936128 383068 0 0 0 339307 251 0 0 20 0 20 0 151623399 19566772224 801108 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
/proc/769336/statm: 4777044 801108 5957 1 0 811422 0
[pid=769336/tid=769343] ppid=769323 vsize=19108176 memory=0 CPUtime=3284.79 cores=0,2
/proc/769336/task/769343/stat : 769343 (java) R 769323 769336 769266 0 -1 4194368 133679 0 0 0 328410 69 0 0 20 0 20 0 151623399 19566772224 801108 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 151623410 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769377] ppid=769323 vsize=19108176 memory=3204224 CPUtime=0 cores=0,2
/proc/769336/task/769377/stat : 769377 (Finalizer) S 769323 769336 769266 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151623402 19566772224 801108 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769409] ppid=769323 vsize=19108176 memory=3204224 CPUtime=0 cores=0,2
/proc/769336/task/769409/stat : 769409 (Common-Cleaner) S 769323 769336 769266 0 -1 1077936192 2602 0 0 0 0 0 0 0 20 0 20 0 151623403 19566772224 801108 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769410] ppid=769323 vsize=19108176 memory=3203812 CPUtime=0 cores=0,2
/proc/769336/task/769410/stat : 769410 (Timer-0) S 769323 769336 769266 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151623422 19566772224 801108 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
Current children cumulated CPU time: 3395.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3204432 KiB
[startup+3402.3 s]
/proc/loadavg: 4.40 4.31 4.20 8/336 771728
/proc/meminfo: memFree=115121584/131524600 swapFree=131071996/131071996
[pid=769336] ppid=769323 vsize=19108176 memory=3204504 CPUtime=3456.23 cores=0,2
/proc/769336/stat : 769336 (java) S 769323 769336 769266 0 -1 1077936128 385879 0 0 0 345370 253 0 0 20 0 20 0 151623399 19566772224 801126 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
/proc/769336/statm: 4777044 801126 5973 1 0 811422 0
[pid=769336/tid=769343] ppid=769323 vsize=19108176 memory=3204224 CPUtime=3343.68 cores=0,2
/proc/769336/task/769343/stat : 769343 (java) R 769323 769336 769266 0 -1 4194368 135019 0 0 0 334299 69 0 0 20 0 20 0 151623399 19566772224 801126 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 151623410 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769377] ppid=769323 vsize=19108176 memory=3204440 CPUtime=0 cores=0,2
/proc/769336/task/769377/stat : 769377 (Finalizer) S 769323 769336 769266 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151623402 19566772224 801126 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769409] ppid=769323 vsize=19108176 memory=3204440 CPUtime=0 cores=0,2
/proc/769336/task/769409/stat : 769409 (Common-Cleaner) S 769323 769336 769266 0 -1 1077936192 2682 0 0 0 0 0 0 0 20 0 20 0 151623403 19566772224 801126 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769410] ppid=769323 vsize=19108176 memory=5568 CPUtime=0 cores=0,2
/proc/769336/task/769410/stat : 769410 (Timer-0) S 769323 769336 769266 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151623422 19566772224 801126 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
Current children cumulated CPU time: 3456.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3204504 KiB
[startup+3462.3 s]
/proc/loadavg: 4.28 4.30 4.19 8/336 771738
/proc/meminfo: memFree=115120536/131524600 swapFree=131071996/131071996
[pid=769336] ppid=769323 vsize=19108176 memory=3204824 CPUtime=3519.24 cores=0,2
/proc/769336/stat : 769336 (java) S 769323 769336 769266 0 -1 1077936128 404070 0 0 0 351665 259 0 0 20 0 20 0 151623399 19566772224 801206 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
/proc/769336/statm: 4777044 801206 5973 1 0 811519 0
[pid=769336/tid=769343] ppid=769323 vsize=19108176 memory=12316 CPUtime=3402.7 cores=0,2
/proc/769336/task/769343/stat : 769343 (java) R 769323 769336 769266 0 -1 4194368 138432 0 0 0 340200 70 0 0 20 0 20 0 151623399 19566772224 801206 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 151623410 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769377] ppid=769323 vsize=19108176 memory=38140 CPUtime=0 cores=0,2
/proc/769336/task/769377/stat : 769377 (Finalizer) S 769323 769336 769266 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151623402 19566772224 801206 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769409] ppid=769323 vsize=19108176 memory=12312 CPUtime=0 cores=0,2
/proc/769336/task/769409/stat : 769409 (Common-Cleaner) S 769323 769336 769266 0 -1 1077936192 2682 0 0 0 0 0 0 0 20 0 20 0 151623403 19566772224 801206 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769410] ppid=769323 vsize=19108176 memory=3204824 CPUtime=0 cores=0,2
/proc/769336/task/769410/stat : 769410 (Timer-0) S 769323 769336 769266 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151623422 19566772224 801206 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
Current children cumulated CPU time: 3519.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3204824 KiB
[startup+3522.3 s]
/proc/loadavg: 4.52 4.35 4.22 6/334 771903
/proc/meminfo: memFree=116381368/131524600 swapFree=131071996/131071996
[pid=769336] ppid=769323 vsize=19108176 memory=3204888 CPUtime=3583.29 cores=0,2
/proc/769336/stat : 769336 (java) S 769323 769336 769266 0 -1 1077936128 416758 0 0 0 358065 264 0 0 20 0 20 0 151623399 19566772224 801222 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
/proc/769336/statm: 4777044 801222 5973 1 0 811519 0
[pid=769336/tid=769343] ppid=769323 vsize=19108176 memory=3204824 CPUtime=3461.43 cores=0,2
/proc/769336/task/769343/stat : 769343 (java) R 769323 769336 769266 0 -1 4194368 141393 0 0 0 346073 70 0 0 20 0 20 0 151623399 19566772224 801222 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 151623410 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769377] ppid=769323 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/769336/task/769377/stat : 769377 (Finalizer) S 769323 769336 769266 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151623402 19566772224 801222 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769409] ppid=769323 vsize=19108176 memory=12312 CPUtime=0 cores=0,2
/proc/769336/task/769409/stat : 769409 (Common-Cleaner) S 769323 769336 769266 0 -1 1077936192 2717 0 0 0 0 0 0 0 20 0 20 0 151623403 19566772224 801222 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769410] ppid=769323 vsize=19108176 memory=3204888 CPUtime=0 cores=0,2
/proc/769336/task/769410/stat : 769410 (Timer-0) S 769323 769336 769266 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151623422 19566772224 801222 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
Current children cumulated CPU time: 3583.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3204888 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3539 s]*
/proc/loadavg: 4.56 4.37 4.22 10/333 771973
/proc/meminfo: memFree=118490020/131524600 swapFree=131071996/131071996
[pid=769336] ppid=769323 vsize=19108176 memory=3204888 CPUtime=3600.03 cores=0,2
/proc/769336/stat : 769336 (java) S 769323 769336 769266 0 -1 1077936128 417131 0 0 0 359738 265 0 0 20 0 20 0 151623399 19566772224 801222 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
/proc/769336/statm: 4777044 801222 5973 1 0 811519 0
[pid=769336/tid=769343] ppid=769323 vsize=19108176 memory=-9104133760652583612 CPUtime=3477.85 cores=0,2
/proc/769336/task/769343/stat : 769343 (java) R 769323 769336 769266 0 -1 4194368 141627 0 0 0 347715 70 0 0 20 0 20 0 151623399 19566772224 801222 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 151623410 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769377] ppid=769323 vsize=19108176 memory=2689856 CPUtime=0 cores=0,2
/proc/769336/task/769377/stat : 769377 (Finalizer) S 769323 769336 769266 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151623402 19566772224 801222 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769409] ppid=769323 vsize=19108176 memory=-8887680603073716924 CPUtime=0 cores=0,2
/proc/769336/task/769409/stat : 769409 (Common-Cleaner) S 769323 769336 769266 0 -1 1077936192 2751 0 0 0 0 0 0 0 20 0 20 0 151623403 19566772224 801222 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
[pid=769336/tid=769410] ppid=769323 vsize=19108176 memory=32260 CPUtime=0 cores=0,2
/proc/769336/task/769410/stat : 769410 (Timer-0) S 769323 769336 769266 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151623422 19566772224 801222 134679101440 94105479335936 94105479339632 140732806363008 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94105479347448 94105479348240 94105495826432 140732806366192 140732806366305 140732806366305 140732806373320 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3204888 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3539.09 s]
# the end of solver process 769336 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.53 s, system=2.6684 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3539.09
CPU time (s): 3600.2
CPU user time (s): 3597.53
CPU system time (s): 2.6684
CPU usage (%): 101.727
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3204888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.53
system time used= 2.6684
maximum resident set size= 3206388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 419357
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132147
involuntary context switches= 33396
# summary of solver processes directly reported to runsolver:
# pid: 769336
# total CPU time (s): 3600.2
# total CPU user time (s): 3597.53
# total CPU system time (s): 2.6684
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.86395 second user time and 20.0392 second system time
The end