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 (59965 MiB free)
memory of node 1: 64510 MiB (60576 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452241-1721444901/watcher-4452241-1721444901 -o /tmp/evaluation-result-4452241-1721444901/solver-4452241-1721444901 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721444913-1069358 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4452241-1721444901.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
solver pid=1069388, runsolver pid=1069385
Current StackSize limit: 8192 KiB
[startup+0.103984 s]*
/proc/loadavg: 3.66 4.02 4.10 6/315 1069481
/proc/meminfo: memFree=123294764/131524600 swapFree=131071996/131071996
[pid=1069388] ppid=1069385 vsize=18975048 memory=63228 CPUtime=0.15 cores=0,2
/proc/1069388/stat : 1069388 (java) S 1069385 1069388 1069348 0 -1 1077936128 7262 0 0 0 13 2 0 0 20 0 18 0 196655446 19430449152 15807 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
/proc/1069388/statm: 4743762 15807 5654 1 0 549383 0
[pid=1069388/tid=1069390] ppid=1069385 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=0,2
/proc/1069388/task/1069390/stat : 1069390 (java) S 1069385 1069388 1069348 0 -1 1077936192 5773 0 0 0 7 1 0 0 20 0 18 0 196655447 19430449152 15807 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069409] ppid=1069385 vsize=18975048 memory=1670 CPUtime=0 cores=0,2
/proc/1069388/task/1069409/stat : 1069409 (Finalizer) S 1069385 1069388 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196655449 19430449152 15807 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069422] ppid=1069385 vsize=18975048 memory=14418111545738792 CPUtime=0 cores=0,2
/proc/1069388/task/1069422/stat : 1069422 (Common-Cleaner) S 1069385 1069388 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196655450 19430449152 15807 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63228 KiB
[startup+0.209567 s]*
/proc/loadavg: 3.66 4.02 4.10 13/324 1069490
/proc/meminfo: memFree=123242824/131524600 swapFree=131071996/131071996
[pid=1069388] ppid=1069385 vsize=18975048 memory=76440 CPUtime=0.34 cores=0,2
/proc/1069388/stat : 1069388 (java) S 1069385 1069388 1069348 0 -1 1077936128 7777 0 0 0 32 2 0 0 20 0 18 0 196655446 19430449152 19110 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
/proc/1069388/statm: 4743762 19110 5841 1 0 549691 0
[pid=1069388/tid=1069390] ppid=1069385 vsize=18975048 memory=6876556183782621315 CPUtime=0.18 cores=0,2
/proc/1069388/task/1069390/stat : 1069390 (java) R 1069385 1069388 1069348 0 -1 4194368 6044 0 0 0 17 1 0 0 20 0 18 0 196655447 19430449152 19110 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069409] ppid=1069385 vsize=18975048 memory=1670 CPUtime=0 cores=0,2
/proc/1069388/task/1069409/stat : 1069409 (Finalizer) S 1069385 1069388 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196655449 19430449152 19110 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069422] ppid=1069385 vsize=18975048 memory=14418111545738792 CPUtime=0 cores=0,2
/proc/1069388/task/1069422/stat : 1069422 (Common-Cleaner) S 1069385 1069388 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196655450 19430449152 19110 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 76440 KiB
[startup+0.305888 s]*
/proc/loadavg: 3.66 4.02 4.10 12/325 1069491
/proc/meminfo: memFree=123063432/131524600 swapFree=131071996/131071996
[pid=1069388] ppid=1069385 vsize=19041612 memory=165712 CPUtime=0.52 cores=0,2
/proc/1069388/stat : 1069388 (java) S 1069385 1069388 1069348 0 -1 1077936128 9204 0 0 0 47 5 0 0 20 0 19 0 196655446 19498610688 41428 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
/proc/1069388/statm: 4760403 41428 5889 1 0 550746 0
[pid=1069388/tid=1069390] ppid=1069385 vsize=19041612 memory=-7163077989868791139 CPUtime=0.26 cores=0,2
/proc/1069388/task/1069390/stat : 1069390 (java) R 1069385 1069388 1069348 0 -1 1077936192 6093 0 0 0 22 4 0 0 20 0 19 0 196655447 19498610688 41428 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069409] ppid=1069385 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1069388/task/1069409/stat : 1069409 (Finalizer) S 1069385 1069388 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196655449 19498610688 41428 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069422] ppid=1069385 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1069388/task/1069422/stat : 1069422 (Common-Cleaner) S 1069385 1069388 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 196655450 19498610688 41428 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 165712 KiB
[startup+0.706172 s]
/proc/loadavg: 3.66 4.02 4.10 12/327 1069493
/proc/meminfo: memFree=122526304/131524600 swapFree=131071996/131071996
[pid=1069388] ppid=1069385 vsize=19042640 memory=986628 CPUtime=1.26 cores=0,2
/proc/1069388/stat : 1069388 (java) S 1069385 1069388 1069348 0 -1 1077936128 14126 0 0 0 104 22 0 0 20 0 20 0 196655446 19499663360 246657 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
/proc/1069388/statm: 4760660 246657 5889 1 0 553391 0
[pid=1069388/tid=1069390] ppid=1069385 vsize=19042640 memory=16096 CPUtime=0.61 cores=0,2
/proc/1069388/task/1069390/stat : 1069390 (java) S 1069385 1069388 1069348 0 -1 1077936192 6507 0 0 0 42 19 0 0 20 0 20 0 196655447 19499663360 246657 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069409] ppid=1069385 vsize=19042640 memory=13040 CPUtime=0 cores=0,2
/proc/1069388/task/1069409/stat : 1069409 (Finalizer) S 1069385 1069388 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655449 19499663360 246657 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069422] ppid=1069385 vsize=19042640 memory=104 CPUtime=0 cores=0,2
/proc/1069388/task/1069422/stat : 1069422 (Common-Cleaner) S 1069385 1069388 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196655450 19499663360 246657 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19042640 KiB
Current children cumulated memory: 986628 KiB
[startup+1.50096 s]
/proc/loadavg: 3.66 4.02 4.10 9/329 1069495
/proc/meminfo: memFree=119725252/131524600 swapFree=131071996/131071996
[pid=1069388] ppid=1069385 vsize=19108176 memory=1019008 CPUtime=2.83 cores=0,2
/proc/1069388/stat : 1069388 (java) S 1069385 1069388 1069348 0 -1 1077936128 22685 0 0 0 259 24 0 0 20 0 20 0 196655446 19566772224 254752 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
/proc/1069388/statm: 4777044 254752 5889 1 0 557878 0
[pid=1069388/tid=1069390] ppid=1069385 vsize=19108176 memory=104 CPUtime=1.37 cores=0,2
/proc/1069388/task/1069390/stat : 1069390 (java) R 1069385 1069388 1069348 0 -1 4194368 6576 0 0 0 118 19 0 0 20 0 20 0 196655447 19566772224 254752 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069409] ppid=1069385 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1069388/task/1069409/stat : 1069409 (Finalizer) S 1069385 1069388 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655449 19566772224 254752 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069422] ppid=1069385 vsize=19108176 memory=13040 CPUtime=0 cores=0,2
/proc/1069388/task/1069422/stat : 1069422 (Common-Cleaner) S 1069385 1069388 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196655450 19566772224 254752 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069495] ppid=1069385 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1069388/task/1069495/stat : 1069495 (Timer-0) S 1069385 1069388 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655517 19566772224 254752 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1019008 KiB
[startup+3.11596 s]
/proc/loadavg: 3.66 4.02 4.10 10/331 1069497
/proc/meminfo: memFree=115483212/131524600 swapFree=131071996/131071996
[pid=1069388] ppid=1069385 vsize=19108176 memory=1060536 CPUtime=5.82 cores=0,2
/proc/1069388/stat : 1069388 (java) S 1069385 1069388 1069348 0 -1 1077936128 22906 0 0 0 557 25 0 0 20 0 20 0 196655446 19566772224 265134 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
/proc/1069388/statm: 4777044 265134 5889 1 0 557906 0
[pid=1069388/tid=1069390] ppid=1069385 vsize=19108176 memory=13040 CPUtime=2.94 cores=0,2
/proc/1069388/task/1069390/stat : 1069390 (java) R 1069385 1069388 1069348 0 -1 4194368 6650 0 0 0 274 20 0 0 20 0 20 0 196655447 19566772224 265134 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069409] ppid=1069385 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1069388/task/1069409/stat : 1069409 (Finalizer) S 1069385 1069388 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655449 19566772224 265134 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069422] ppid=1069385 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1069388/task/1069422/stat : 1069422 (Common-Cleaner) S 1069385 1069388 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196655450 19566772224 265134 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069495] ppid=1069385 vsize=19108176 memory=-7163077989869052772 CPUtime=0 cores=0,2
/proc/1069388/task/1069495/stat : 1069495 (Timer-0) S 1069385 1069388 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655517 19566772224 265134 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
Current children cumulated CPU time: 5.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1060536 KiB
[startup+6.30098 s]
/proc/loadavg: 3.85 4.06 4.11 6/331 1069499
/proc/meminfo: memFree=115157384/131524600 swapFree=131071996/131071996
[pid=1069388] ppid=1069385 vsize=19108176 memory=1171428 CPUtime=10.09 cores=0,2
/proc/1069388/stat : 1069388 (java) S 1069385 1069388 1069348 0 -1 1077936128 28376 0 0 0 980 29 0 0 20 0 20 0 196655446 19566772224 292857 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
/proc/1069388/statm: 4777044 292857 5889 1 0 557915 0
[pid=1069388/tid=1069390] ppid=1069385 vsize=19108176 memory=0 CPUtime=6.1 cores=0,2
/proc/1069388/task/1069390/stat : 1069390 (java) R 1069385 1069388 1069348 0 -1 4194368 7194 0 0 0 587 23 0 0 20 0 20 0 196655447 19566772224 292857 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069409] ppid=1069385 vsize=19108176 memory=13040 CPUtime=0 cores=0,2
/proc/1069388/task/1069409/stat : 1069409 (Finalizer) S 1069385 1069388 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655449 19566772224 292857 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069422] ppid=1069385 vsize=19108176 memory=1956 CPUtime=0 cores=0,2
/proc/1069388/task/1069422/stat : 1069422 (Common-Cleaner) S 1069385 1069388 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196655450 19566772224 292857 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069495] ppid=1069385 vsize=19108176 memory=-7163077989869052772 CPUtime=0 cores=0,2
/proc/1069388/task/1069495/stat : 1069495 (Timer-0) S 1069385 1069388 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655517 19566772224 292857 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
Current children cumulated CPU time: 10.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1171428 KiB
[startup+12.701 s]
/proc/loadavg: 3.86 4.05 4.11 5/331 1069499
/proc/meminfo: memFree=114809204/131524600 swapFree=131071996/131071996
[pid=1069388] ppid=1069385 vsize=19108176 memory=1327500 CPUtime=17.12 cores=0,2
/proc/1069388/stat : 1069388 (java) S 1069385 1069388 1069348 0 -1 1077936128 31715 0 0 0 1679 33 0 0 20 0 20 0 196655446 19566772224 331875 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
/proc/1069388/statm: 4777044 331875 5905 1 0 557915 0
[pid=1069388/tid=1069390] ppid=1069385 vsize=19108176 memory=-7163077989869052772 CPUtime=12.43 cores=0,2
/proc/1069388/task/1069390/stat : 1069390 (java) R 1069385 1069388 1069348 0 -1 4194368 7546 0 0 0 1216 27 0 0 20 0 20 0 196655447 19566772224 331875 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069409] ppid=1069385 vsize=19108176 memory=1286280 CPUtime=0 cores=0,2
/proc/1069388/task/1069409/stat : 1069409 (Finalizer) S 1069385 1069388 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655449 19566772224 331875 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069422] ppid=1069385 vsize=19108176 memory=13040 CPUtime=0 cores=0,2
/proc/1069388/task/1069422/stat : 1069422 (Common-Cleaner) S 1069385 1069388 1069348 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 196655450 19566772224 331875 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069495] ppid=1069385 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1069388/task/1069495/stat : 1069495 (Timer-0) S 1069385 1069388 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655517 19566772224 331875 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
Current children cumulated CPU time: 17.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1327500 KiB
[startup+25.501 s]
/proc/loadavg: 3.89 4.05 4.11 5/331 1069502
/proc/meminfo: memFree=114400168/131524600 swapFree=131071996/131071996
[pid=1069388] ppid=1069385 vsize=19108176 memory=1331868 CPUtime=30.51 cores=0,2
/proc/1069388/stat : 1069388 (java) S 1069385 1069388 1069348 0 -1 1077936128 37276 0 0 0 3017 34 0 0 20 0 20 0 196655446 19566772224 332967 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
/proc/1069388/statm: 4777044 332967 5905 1 0 557915 0
[pid=1069388/tid=1069390] ppid=1069385 vsize=19108176 memory=-7163077989869052772 CPUtime=25.09 cores=0,2
/proc/1069388/task/1069390/stat : 1069390 (java) R 1069385 1069388 1069348 0 -1 4194368 8368 0 0 0 2482 27 0 0 20 0 20 0 196655447 19566772224 332967 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069409] ppid=1069385 vsize=19108176 memory=11860 CPUtime=0 cores=0,2
/proc/1069388/task/1069409/stat : 1069409 (Finalizer) S 1069385 1069388 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655449 19566772224 332967 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069422] ppid=1069385 vsize=19108176 memory=1331836 CPUtime=0 cores=0,2
/proc/1069388/task/1069422/stat : 1069422 (Common-Cleaner) S 1069385 1069388 1069348 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 196655450 19566772224 332967 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069495] ppid=1069385 vsize=19108176 memory=11860 CPUtime=0 cores=0,2
/proc/1069388/task/1069495/stat : 1069495 (Timer-0) S 1069385 1069388 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655517 19566772224 332967 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
Current children cumulated CPU time: 30.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1331868 KiB
[startup+51.106 s]
/proc/loadavg: 3.99 4.06 4.11 5/331 1069506
/proc/meminfo: memFree=113531404/131524600 swapFree=131071996/131071996
[pid=1069388] ppid=1069385 vsize=19108176 memory=1346388 CPUtime=56.16 cores=0,2
/proc/1069388/stat : 1069388 (java) S 1069385 1069388 1069348 0 -1 1077936128 47234 0 0 0 5580 36 0 0 20 0 20 0 196655446 19566772224 336597 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
/proc/1069388/statm: 4777044 336597 5905 1 0 557945 0
[pid=1069388/tid=1069390] ppid=1069385 vsize=19108176 memory=1346388 CPUtime=50.37 cores=0,2
/proc/1069388/task/1069390/stat : 1069390 (java) R 1069385 1069388 1069348 0 -1 4194368 10107 0 0 0 5009 28 0 0 20 0 20 0 196655447 19566772224 336597 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069409] ppid=1069385 vsize=19108176 memory=1332040 CPUtime=0 cores=0,2
/proc/1069388/task/1069409/stat : 1069409 (Finalizer) S 1069385 1069388 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655449 19566772224 336597 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069422] ppid=1069385 vsize=19108176 memory=1331880 CPUtime=0 cores=0,2
/proc/1069388/task/1069422/stat : 1069422 (Common-Cleaner) S 1069385 1069388 1069348 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 196655450 19566772224 336597 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
################
# More data... #
################
/proc/meminfo: memFree=104189992/131524600 swapFree=131071996/131071996
[pid=1069388] ppid=1069385 vsize=19108176 memory=2192980 CPUtime=3227.56 cores=0,2
/proc/1069388/stat : 1069388 (java) S 1069385 1069388 1069348 0 -1 1077936128 268884 0 0 0 322592 164 0 0 20 0 20 0 196655446 19566772224 548245 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
/proc/1069388/statm: 4777044 548245 5917 1 0 559138 0
[pid=1069388/tid=1069390] ppid=1069385 vsize=19108176 memory=7996 CPUtime=3199.51 cores=0,2
/proc/1069388/task/1069390/stat : 1069390 (java) R 1069385 1069388 1069348 0 -1 4194368 95527 0 0 0 319906 45 0 0 20 0 20 0 196655447 19566772224 548245 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069409] ppid=1069385 vsize=19108176 memory=2192960 CPUtime=0 cores=0,2
/proc/1069388/task/1069409/stat : 1069409 (Finalizer) S 1069385 1069388 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655449 19566772224 548245 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069422] ppid=1069385 vsize=19108176 memory=2192960 CPUtime=0 cores=0,2
/proc/1069388/task/1069422/stat : 1069422 (Common-Cleaner) S 1069385 1069388 1069348 0 -1 1077936192 3949 0 0 0 0 0 0 0 20 0 20 0 196655450 19566772224 548245 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069495] ppid=1069385 vsize=19108176 memory=2192980 CPUtime=0 cores=0,2
/proc/1069388/task/1069495/stat : 1069495 (Timer-0) S 1069385 1069388 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655517 19566772224 548245 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
Current children cumulated CPU time: 3227.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2192980 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.26 4.26 5/335 1071307
/proc/meminfo: memFree=104055116/131524600 swapFree=131071996/131071996
[pid=1069388] ppid=1069385 vsize=19108176 memory=2192992 CPUtime=3288.74 cores=0,2
/proc/1069388/stat : 1069388 (java) S 1069385 1069388 1069348 0 -1 1077936128 275629 0 0 0 328707 167 0 0 20 0 20 0 196655446 19566772224 548248 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
/proc/1069388/statm: 4777044 548248 5917 1 0 559140 0
[pid=1069388/tid=1069390] ppid=1069385 vsize=19108176 memory=2192992 CPUtime=3259.26 cores=0,2
/proc/1069388/task/1069390/stat : 1069390 (java) R 1069385 1069388 1069348 0 -1 4194368 96896 0 0 0 325881 45 0 0 20 0 20 0 196655447 19566772224 548248 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069409] ppid=1069385 vsize=19108176 memory=2192992 CPUtime=0 cores=0,2
/proc/1069388/task/1069409/stat : 1069409 (Finalizer) S 1069385 1069388 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655449 19566772224 548248 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069422] ppid=1069385 vsize=19108176 memory=2192992 CPUtime=0 cores=0,2
/proc/1069388/task/1069422/stat : 1069422 (Common-Cleaner) S 1069385 1069388 1069348 0 -1 1077936192 3984 0 0 0 0 0 0 0 20 0 20 0 196655450 19566772224 548248 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069495] ppid=1069385 vsize=19108176 memory=2192980 CPUtime=0 cores=0,2
/proc/1069388/task/1069495/stat : 1069495 (Timer-0) S 1069385 1069388 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655517 19566772224 548248 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
Current children cumulated CPU time: 3288.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2192992 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.22 4.25 5/333 1071318
/proc/meminfo: memFree=103774620/131524600 swapFree=131071996/131071996
[pid=1069388] ppid=1069385 vsize=19108176 memory=2193004 CPUtime=3350.09 cores=0,2
/proc/1069388/stat : 1069388 (java) S 1069385 1069388 1069348 0 -1 1077936128 285511 0 0 0 334839 170 0 0 20 0 20 0 196655446 19566772224 548251 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
/proc/1069388/statm: 4777044 548251 5917 1 0 559156 0
[pid=1069388/tid=1069390] ppid=1069385 vsize=19108176 memory=46916 CPUtime=3318.83 cores=0,2
/proc/1069388/task/1069390/stat : 1069390 (java) R 1069385 1069388 1069348 0 -1 4194368 99702 0 0 0 331837 46 0 0 20 0 20 0 196655447 19566772224 548251 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069409] ppid=1069385 vsize=19108176 memory=2192992 CPUtime=0 cores=0,2
/proc/1069388/task/1069409/stat : 1069409 (Finalizer) S 1069385 1069388 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655449 19566772224 548251 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069422] ppid=1069385 vsize=19108176 memory=2192992 CPUtime=0 cores=0,2
/proc/1069388/task/1069422/stat : 1069422 (Common-Cleaner) S 1069385 1069388 1069348 0 -1 1077936192 4045 0 0 0 0 0 0 0 20 0 20 0 196655450 19566772224 548251 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069495] ppid=1069385 vsize=19108176 memory=2192992 CPUtime=0 cores=0,2
/proc/1069388/task/1069495/stat : 1069495 (Timer-0) S 1069385 1069388 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655517 19566772224 548251 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
Current children cumulated CPU time: 3350.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2193004 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.20 4.24 6/333 1071329
/proc/meminfo: memFree=103486060/131524600 swapFree=131071996/131071996
[pid=1069388] ppid=1069385 vsize=19108176 memory=2195284 CPUtime=3409.93 cores=0,2
/proc/1069388/stat : 1069388 (java) S 1069385 1069388 1069348 0 -1 1077936128 289018 0 0 0 340821 172 0 0 20 0 20 0 196655446 19566772224 548821 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
/proc/1069388/statm: 4777044 548821 5917 1 0 559156 0
[pid=1069388/tid=1069390] ppid=1069385 vsize=19108176 memory=2192992 CPUtime=3378.16 cores=0,2
/proc/1069388/task/1069390/stat : 1069390 (java) R 1069385 1069388 1069348 0 -1 4194368 101432 0 0 0 337770 46 0 0 20 0 20 0 196655447 19566772224 548821 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069409] ppid=1069385 vsize=19108176 memory=2195272 CPUtime=0 cores=0,2
/proc/1069388/task/1069409/stat : 1069409 (Finalizer) S 1069385 1069388 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655449 19566772224 548821 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069422] ppid=1069385 vsize=19108176 memory=2244 CPUtime=0 cores=0,2
/proc/1069388/task/1069422/stat : 1069422 (Common-Cleaner) S 1069385 1069388 1069348 0 -1 1077936192 4073 0 0 0 0 0 0 0 20 0 20 0 196655450 19566772224 548821 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069495] ppid=1069385 vsize=19108176 memory=2195284 CPUtime=0 cores=0,2
/proc/1069388/task/1069495/stat : 1069495 (Timer-0) S 1069385 1069388 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655517 19566772224 548821 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
Current children cumulated CPU time: 3409.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2195284 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.19 4.23 5/332 1071407
/proc/meminfo: memFree=106913332/131524600 swapFree=131071996/131071996
[pid=1069388] ppid=1069385 vsize=19108176 memory=2212084 CPUtime=3470.79 cores=0,2
/proc/1069388/stat : 1069388 (java) S 1069385 1069388 1069348 0 -1 1077936128 297207 0 0 0 346903 176 0 0 20 0 20 0 196655446 19566772224 553021 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
/proc/1069388/statm: 4777044 553021 5932 1 0 563333 0
[pid=1069388/tid=1069390] ppid=1069385 vsize=19108176 memory=2195272 CPUtime=3437.43 cores=0,2
/proc/1069388/task/1069390/stat : 1069390 (java) R 1069385 1069388 1069348 0 -1 4194368 103415 0 0 0 343696 47 0 0 20 0 20 0 196655447 19566772224 553021 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069409] ppid=1069385 vsize=19108176 memory=2212004 CPUtime=0 cores=0,2
/proc/1069388/task/1069409/stat : 1069409 (Finalizer) S 1069385 1069388 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655449 19566772224 553021 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069422] ppid=1069385 vsize=19108176 memory=-7163077989869052772 CPUtime=0 cores=0,2
/proc/1069388/task/1069422/stat : 1069422 (Common-Cleaner) S 1069385 1069388 1069348 0 -1 1077936192 4109 0 0 0 0 0 0 0 20 0 20 0 196655450 19566772224 553021 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069495] ppid=1069385 vsize=19108176 memory=11860 CPUtime=0 cores=0,2
/proc/1069388/task/1069495/stat : 1069495 (Timer-0) S 1069385 1069388 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655517 19566772224 553021 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
Current children cumulated CPU time: 3470.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2212084 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.17 4.22 5/333 1071421
/proc/meminfo: memFree=106903604/131524600 swapFree=131071996/131071996
[pid=1069388] ppid=1069385 vsize=19108176 memory=2220336 CPUtime=3531.64 cores=0,2
/proc/1069388/stat : 1069388 (java) S 1069385 1069388 1069348 0 -1 1077936128 305476 0 0 0 352984 180 0 0 20 0 20 0 196655446 19566772224 555084 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
/proc/1069388/statm: 4777044 555084 5932 1 0 565423 0
[pid=1069388/tid=1069390] ppid=1069385 vsize=19108176 memory=2212004 CPUtime=3496.85 cores=0,2
/proc/1069388/task/1069390/stat : 1069390 (java) R 1069385 1069388 1069348 0 -1 4194368 105400 0 0 0 349637 48 0 0 20 0 20 0 196655447 19566772224 555084 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069409] ppid=1069385 vsize=19108176 memory=2212084 CPUtime=0 cores=0,2
/proc/1069388/task/1069409/stat : 1069409 (Finalizer) S 1069385 1069388 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655449 19566772224 555084 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069422] ppid=1069385 vsize=19108176 memory=2220336 CPUtime=0 cores=0,2
/proc/1069388/task/1069422/stat : 1069422 (Common-Cleaner) S 1069385 1069388 1069348 0 -1 1077936192 4168 0 0 0 0 0 0 0 20 0 20 0 196655450 19566772224 555084 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069495] ppid=1069385 vsize=19108176 memory=2220336 CPUtime=0 cores=0,2
/proc/1069388/task/1069495/stat : 1069495 (Timer-0) S 1069385 1069388 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655517 19566772224 555084 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
Current children cumulated CPU time: 3531.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2220336 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.16 4.22 5/333 1071432
/proc/meminfo: memFree=106902668/131524600 swapFree=131071996/131071996
[pid=1069388] ppid=1069385 vsize=19108176 memory=2220440 CPUtime=3591.39 cores=0,2
/proc/1069388/stat : 1069388 (java) S 1069385 1069388 1069348 0 -1 1077936128 308551 0 0 0 358958 181 0 0 20 0 20 0 196655446 19566772224 555110 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
/proc/1069388/statm: 4777044 555110 5932 1 0 565423 0
[pid=1069388/tid=1069390] ppid=1069385 vsize=19108176 memory=1471052474921025665 CPUtime=3556.49 cores=0,2
/proc/1069388/task/1069390/stat : 1069390 (java) R 1069385 1069388 1069348 0 -1 4194368 107125 0 0 0 355601 48 0 0 20 0 20 0 196655447 19566772224 555110 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069409] ppid=1069385 vsize=19108176 memory=2220440 CPUtime=0 cores=0,2
/proc/1069388/task/1069409/stat : 1069409 (Finalizer) S 1069385 1069388 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655449 19566772224 555110 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069422] ppid=1069385 vsize=19108176 memory=11860 CPUtime=0 cores=0,2
/proc/1069388/task/1069422/stat : 1069422 (Common-Cleaner) S 1069385 1069388 1069348 0 -1 1077936192 4200 0 0 0 0 0 0 0 20 0 20 0 196655450 19566772224 555110 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069495] ppid=1069385 vsize=19108176 memory=2220440 CPUtime=0 cores=0,2
/proc/1069388/task/1069495/stat : 1069495 (Timer-0) S 1069385 1069388 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655517 19566772224 555110 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
Current children cumulated CPU time: 3591.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2220440 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3591 s]*
/proc/loadavg: 4.26 4.19 4.23 5/333 1071503
/proc/meminfo: memFree=109899908/131524600 swapFree=131071996/131071996
[pid=1069388] ppid=1069385 vsize=19108176 memory=2220440 CPUtime=3600.01 cores=0,2
/proc/1069388/stat : 1069388 (java) S 1069385 1069388 1069348 0 -1 1077936128 308778 0 0 0 359820 181 0 0 20 0 20 0 196655446 19566772224 555110 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
/proc/1069388/statm: 4777044 555110 5932 1 0 565423 0
[pid=1069388/tid=1069390] ppid=1069385 vsize=19108176 memory=33608 CPUtime=3565.11 cores=0,2
/proc/1069388/task/1069390/stat : 1069390 (java) R 1069385 1069388 1069348 0 -1 4194368 107352 0 0 0 356463 48 0 0 20 0 20 0 196655447 19566772224 555110 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069409] ppid=1069385 vsize=19108176 memory=38112 CPUtime=0 cores=0,2
/proc/1069388/task/1069409/stat : 1069409 (Finalizer) S 1069385 1069388 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655449 19566772224 555110 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069422] ppid=1069385 vsize=19108176 memory=5476 CPUtime=0 cores=0,2
/proc/1069388/task/1069422/stat : 1069422 (Common-Cleaner) S 1069385 1069388 1069348 0 -1 1077936192 4200 0 0 0 0 0 0 0 20 0 20 0 196655450 19566772224 555110 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
[pid=1069388/tid=1069495] ppid=1069385 vsize=19108176 memory=-7739257267196093283 CPUtime=0 cores=0,2
/proc/1069388/task/1069495/stat : 1069495 (Timer-0) S 1069385 1069388 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655517 19566772224 555110 134679101440 93832109961216 93832109964912 140731106658880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93832109972728 93832109973520 93832141410304 140731106661363 140731106661471 140731106661471 140731106668488 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2220440 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3591.07 s]
# the end of solver process 1069388 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.29 s, system=1.83046 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3591.07
CPU time (s): 3600.12
CPU user time (s): 3598.29
CPU system time (s): 1.83046
CPU usage (%): 100.252
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2220440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.29
system time used= 1.83046
maximum resident set size= 2222104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311300
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111172
involuntary context switches= 33889
# summary of solver processes directly reported to runsolver:
# pid: 1069388
# total CPU time (s): 3600.12
# total CPU user time (s): 3598.29
# total CPU system time (s): 1.83046
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.94348 second user time and 17.282 second system time
The end