runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (63391 MiB free)
memory of node 1: 64510 MiB (63605 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424290-1720874152/watcher-4424290-1720874152 -o /tmp/evaluation-result-4424290-1720874152/solver-4424290-1720874152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1720874164-706098 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424290-1720874152.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=706167, runsolver pid=706162
[startup+0.100968 s]*
/proc/loadavg: 0.11 0.10 0.09 5/270 706191
/proc/meminfo: memFree=129986692/131655788 swapFree=131071996/131071996
[pid=706167] ppid=706162 vsize=18175400 memory=29436 CPUtime=0.02 cores=0,2
/proc/706167/stat : 706167 (java) S 706162 706167 706088 0 -1 1077936128 2500 0 12 0 0 2 0 0 20 0 7 0 139573329 18611609600 7359 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 0 0 16784588 0 0 0 17 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
/proc/706167/statm: 4543850 7359 3721 1 0 544764 0
[pid=706167/tid=706170] ppid=706162 vsize=18175400 memory=4026561586 CPUtime=0.01 cores=0,2
/proc/706167/task/706170/stat : 706170 (java) D 706162 706167 706088 0 -1 4194368 1932 0 12 0 0 1 0 0 20 0 7 0 139573333 18611609600 7359 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16784588 0 0 0 -1 0 0 0 2 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 29436 KiB
[startup+0.214286 s]*
/proc/loadavg: 0.11 0.10 0.09 1/272 706193
/proc/meminfo: memFree=129934684/131655788 swapFree=131071996/131071996
[pid=706167] ppid=706162 vsize=18175400 memory=39368 CPUtime=0.04 cores=0,2
/proc/706167/stat : 706167 (java) S 706162 706167 706088 0 -1 1077936128 4942 0 18 0 1 3 0 0 20 0 7 0 139573329 18611609600 9842 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 0 0 16784588 0 0 0 17 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
/proc/706167/statm: 4543850 9842 3761 1 0 546859 0
[pid=706167/tid=706170] ppid=706162 vsize=18175400 memory=8737651120394928259 CPUtime=0.04 cores=0,2
/proc/706167/task/706170/stat : 706170 (java) D 706162 706167 706088 0 -1 4194368 4374 0 18 0 1 3 0 0 20 0 7 0 139573333 18611609600 9842 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16784588 0 0 0 -1 0 0 0 14 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 39368 KiB
[startup+0.321653 s]*
/proc/loadavg: 0.11 0.10 0.09 11/317 706238
/proc/meminfo: memFree=129883692/131655788 swapFree=131071996/131071996
[pid=706167] ppid=706162 vsize=18975048 memory=55376 CPUtime=0.15 cores=0,2
/proc/706167/stat : 706167 (java) S 706162 706167 706088 0 -1 1077936128 6473 0 58 0 10 5 0 0 20 0 18 0 139573329 19430449152 13844 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
/proc/706167/statm: 4743762 13844 5566 1 0 550748 0
[pid=706167/tid=706170] ppid=706162 vsize=18975048 memory=-9031803466373571260 CPUtime=0.1 cores=0,2
/proc/706167/task/706170/stat : 706170 (java) R 706162 706167 706088 0 -1 4194368 5383 0 39 0 6 4 0 0 20 0 18 0 139573333 19430449152 13844 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706207] ppid=706162 vsize=18975048 memory=7366882501727836484 CPUtime=0 cores=0,2
/proc/706167/task/706207/stat : 706207 (Finalizer) S 706162 706167 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 139573356 19430449152 13844 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706235] ppid=706162 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/706167/task/706235/stat : 706235 (Common-Cleaner) S 706162 706167 706088 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 139573357 19430449152 13844 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55376 KiB
[startup+0.70042 s]
/proc/loadavg: 0.11 0.10 0.09 10/317 706238
/proc/meminfo: memFree=129850424/131655788 swapFree=131071996/131071996
[pid=706167] ppid=706162 vsize=18975048 memory=69536 CPUtime=0.75 cores=0,2
/proc/706167/stat : 706167 (java) S 706162 706167 706088 0 -1 1077936128 7782 0 58 0 69 6 0 0 20 0 18 0 139573329 19430449152 17384 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
/proc/706167/statm: 4743762 17384 5811 1 0 551745 0
[pid=706167/tid=706170] ppid=706162 vsize=18975048 memory=0 CPUtime=0.43 cores=0,2
/proc/706167/task/706170/stat : 706170 (java) R 706162 706167 706088 0 -1 4194368 6118 0 39 0 38 5 0 0 20 0 18 0 139573333 19430449152 17384 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706207] ppid=706162 vsize=18975048 memory=2692 CPUtime=0 cores=0,2
/proc/706167/task/706207/stat : 706207 (Finalizer) S 706162 706167 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 139573356 19430449152 17384 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706235] ppid=706162 vsize=18975048 memory=4905 CPUtime=0 cores=0,2
/proc/706167/task/706235/stat : 706235 (Common-Cleaner) S 706162 706167 706088 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 139573357 19430449152 17384 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
Current children cumulated CPU time: 0.75 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69536 KiB
[startup+1.50055 s]
/proc/loadavg: 1.14 0.32 0.16 11/321 706242
/proc/meminfo: memFree=129632472/131655788 swapFree=131071996/131071996
[pid=706167] ppid=706162 vsize=19041612 memory=168140 CPUtime=2.32 cores=0,2
/proc/706167/stat : 706167 (java) S 706162 706167 706088 0 -1 1077936128 19860 0 59 0 219 13 0 0 20 0 19 0 139573329 19498610688 42035 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
/proc/706167/statm: 4760403 42035 5859 1 0 556935 0
[pid=706167/tid=706170] ppid=706162 vsize=19041612 memory=0 CPUtime=1.18 cores=0,2
/proc/706167/task/706170/stat : 706170 (java) R 706162 706167 706088 0 -1 4194368 6933 0 40 0 110 8 0 0 20 0 19 0 139573333 19498610688 42035 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706207] ppid=706162 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/706167/task/706207/stat : 706207 (Finalizer) S 706162 706167 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 139573356 19498610688 42035 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706235] ppid=706162 vsize=19041612 memory=2692 CPUtime=0 cores=0,2
/proc/706167/task/706235/stat : 706235 (Common-Cleaner) S 706162 706167 706088 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 139573357 19498610688 42035 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706240] ppid=706162 vsize=19041612 memory=12440 CPUtime=0 cores=0,2
/proc/706167/task/706240/stat : 706240 (Timer-0) S 706162 706167 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 139573406 19498610688 42035 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
Current children cumulated CPU time: 2.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 168140 KiB
[startup+3.10646 s]
/proc/loadavg: 1.14 0.32 0.16 10/324 706312
/proc/meminfo: memFree=129052440/131655788 swapFree=131071996/131071996
[pid=706167] ppid=706162 vsize=19108176 memory=209388 CPUtime=5.49 cores=0,2
/proc/706167/stat : 706167 (java) S 706162 706167 706088 0 -1 1077936128 25250 0 59 0 535 14 0 0 20 0 20 0 139573329 19566772224 52347 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
/proc/706167/statm: 4777044 52347 5921 1 0 559172 0
[pid=706167/tid=706170] ppid=706162 vsize=19108176 memory=0 CPUtime=2.72 cores=0,2
/proc/706167/task/706170/stat : 706170 (java) R 706162 706167 706088 0 -1 4194368 7354 0 40 0 264 8 0 0 20 0 20 0 139573333 19566772224 52347 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706207] ppid=706162 vsize=19108176 memory=72724 CPUtime=0 cores=0,2
/proc/706167/task/706207/stat : 706207 (Finalizer) S 706162 706167 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139573356 19566772224 52347 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706235] ppid=706162 vsize=19108176 memory=2692 CPUtime=0 cores=0,2
/proc/706167/task/706235/stat : 706235 (Common-Cleaner) S 706162 706167 706088 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 139573357 19566772224 52347 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706240] ppid=706162 vsize=19108176 memory=139855342382241 CPUtime=0 cores=0,2
/proc/706167/task/706240/stat : 706240 (Timer-0) S 706162 706167 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573406 19566772224 52347 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
Current children cumulated CPU time: 5.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 209388 KiB
[startup+6.30044 s]
/proc/loadavg: 1.61 0.43 0.20 6/324 706446
/proc/meminfo: memFree=127751592/131655788 swapFree=131071996/131071996
[pid=706167] ppid=706162 vsize=19108176 memory=478508 CPUtime=9.71 cores=0,2
/proc/706167/stat : 706167 (java) S 706162 706167 706088 0 -1 1077936128 26262 0 59 0 952 19 0 0 20 0 20 0 139573329 19566772224 119627 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
/proc/706167/statm: 4777044 119627 5921 1 0 559829 0
[pid=706167/tid=706170] ppid=706162 vsize=19108176 memory=0 CPUtime=5.89 cores=0,2
/proc/706167/task/706170/stat : 706170 (java) R 706162 706167 706088 0 -1 4194368 7671 0 40 0 576 13 0 0 20 0 20 0 139573333 19566772224 119627 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706207] ppid=706162 vsize=19108176 memory=185364 CPUtime=0 cores=0,2
/proc/706167/task/706207/stat : 706207 (Finalizer) S 706162 706167 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139573356 19566772224 119627 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706235] ppid=706162 vsize=19108176 memory=36940 CPUtime=0 cores=0,2
/proc/706167/task/706235/stat : 706235 (Common-Cleaner) S 706162 706167 706088 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 139573357 19566772224 119627 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706240] ppid=706162 vsize=19108176 memory=182840 CPUtime=0 cores=0,2
/proc/706167/task/706240/stat : 706240 (Timer-0) S 706162 706167 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573406 19566772224 119627 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
Current children cumulated CPU time: 9.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 478508 KiB
[startup+12.7005 s]
/proc/loadavg: 1.80 0.49 0.22 5/325 706449
/proc/meminfo: memFree=125587540/131655788 swapFree=131071996/131071996
[pid=706167] ppid=706162 vsize=19108176 memory=721508 CPUtime=16.14 cores=0,2
/proc/706167/stat : 706167 (java) S 706162 706167 706088 0 -1 1077936128 30759 0 59 0 1589 25 0 0 20 0 20 0 139573329 19566772224 180377 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
/proc/706167/statm: 4777044 180377 5921 1 0 559829 0
[pid=706167/tid=706170] ppid=706162 vsize=19108176 memory=715364 CPUtime=12.14 cores=0,2
/proc/706167/task/706170/stat : 706170 (java) R 706162 706167 706088 0 -1 4194368 9198 0 40 0 1196 18 0 0 20 0 20 0 139573333 19566772224 180377 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706207] ppid=706162 vsize=19108176 memory=36940 CPUtime=0 cores=0,2
/proc/706167/task/706207/stat : 706207 (Finalizer) S 706162 706167 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139573356 19566772224 180377 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706235] ppid=706162 vsize=19108176 memory=715364 CPUtime=0 cores=0,2
/proc/706167/task/706235/stat : 706235 (Common-Cleaner) S 706162 706167 706088 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 139573357 19566772224 180377 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706240] ppid=706162 vsize=19108176 memory=523668 CPUtime=0 cores=0,2
/proc/706167/task/706240/stat : 706240 (Timer-0) S 706162 706167 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573406 19566772224 180377 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
Current children cumulated CPU time: 16.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 721508 KiB
[startup+25.5005 s]
/proc/loadavg: 2.30 0.64 0.27 6/325 706450
/proc/meminfo: memFree=123628932/131655788 swapFree=131071996/131071996
[pid=706167] ppid=706162 vsize=19108176 memory=1346232 CPUtime=29.3 cores=0,2
/proc/706167/stat : 706167 (java) S 706162 706167 706088 0 -1 1077936128 40208 0 59 0 2891 39 0 0 20 0 20 0 139573329 19566772224 336558 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
/proc/706167/statm: 4777044 336558 5921 1 0 559829 0
[pid=706167/tid=706170] ppid=706162 vsize=19108176 memory=715364 CPUtime=24.74 cores=0,2
/proc/706167/task/706170/stat : 706170 (java) R 706162 706167 706088 0 -1 4194368 12219 0 40 0 2445 29 0 0 20 0 20 0 139573333 19566772224 336558 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706207] ppid=706162 vsize=19108176 memory=12440 CPUtime=0 cores=0,2
/proc/706167/task/706207/stat : 706207 (Finalizer) S 706162 706167 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139573356 19566772224 336558 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706235] ppid=706162 vsize=19108176 memory=494996 CPUtime=0 cores=0,2
/proc/706167/task/706235/stat : 706235 (Common-Cleaner) S 706162 706167 706088 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 139573357 19566772224 336558 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706240] ppid=706162 vsize=19108176 memory=12440 CPUtime=0 cores=0,2
/proc/706167/task/706240/stat : 706240 (Timer-0) S 706162 706167 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573406 19566772224 336558 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
Current children cumulated CPU time: 29.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1346232 KiB
[startup+51.1141 s]
/proc/loadavg: 3.02 0.97 0.39 5/325 706455
/proc/meminfo: memFree=122715252/131655788 swapFree=131071996/131071996
[pid=706167] ppid=706162 vsize=19108176 memory=1352428 CPUtime=54.97 cores=0,2
/proc/706167/stat : 706167 (java) S 706162 706167 706088 0 -1 1077936128 46053 0 59 0 5456 41 0 0 20 0 20 0 139573329 19566772224 338107 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
/proc/706167/statm: 4777044 338107 5921 1 0 559829 0
[pid=706167/tid=706170] ppid=706162 vsize=19108176 memory=12440 CPUtime=50.05 cores=0,2
/proc/706167/task/706170/stat : 706170 (java) R 706162 706167 706088 0 -1 4194368 14447 0 40 0 4976 29 0 0 20 0 20 0 139573333 19566772224 338107 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706207] ppid=706162 vsize=19108176 memory=12440 CPUtime=0 cores=0,2
/proc/706167/task/706207/stat : 706207 (Finalizer) S 706162 706167 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139573356 19566772224 338107 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706235] ppid=706162 vsize=19108176 memory=20532 CPUtime=0 cores=0,2
/proc/706167/task/706235/stat : 706235 (Common-Cleaner) S 706162 706167 706088 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 139573357 19566772224 338107 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706240] ppid=706162 vsize=19108176 memory=36940 CPUtime=0 cores=0,2
/proc/706167/task/706240/stat : 706240 (Timer-0) S 706162 706167 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573406 19566772224 338107 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
Current children cumulated CPU time: 54.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1352428 KiB
[startup+102.3 s]
/proc/loadavg: 3.88 1.52 0.61 5/325 706463
/proc/meminfo: memFree=121942448/131655788 swapFree=131071996/131071996
################
# More data... #
################
[pid=706167] ppid=706162 vsize=19108176 memory=1551856 CPUtime=1307.32 cores=0,2
/proc/706167/stat : 706167 (java) S 706162 706167 706088 0 -1 1077936128 112173 0 59 0 130611 121 0 0 20 0 20 0 139573329 19566772224 387964 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
/proc/706167/statm: 4777044 387964 5938 1 0 559878 0
[pid=706167/tid=706170] ppid=706162 vsize=19108176 memory=4980 CPUtime=1290.79 cores=0,2
/proc/706167/task/706170/stat : 706170 (java) R 706162 706167 706088 0 -1 4194368 47508 0 40 0 129043 36 0 0 20 0 20 0 139573333 19566772224 387964 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706207] ppid=706162 vsize=19108176 memory=12440 CPUtime=0 cores=0,2
/proc/706167/task/706207/stat : 706207 (Finalizer) S 706162 706167 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139573356 19566772224 387964 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706235] ppid=706162 vsize=19108176 memory=12440 CPUtime=0 cores=0,2
/proc/706167/task/706235/stat : 706235 (Common-Cleaner) S 706162 706167 706088 0 -1 1077936192 1179 0 0 0 0 0 0 0 20 0 20 0 139573357 19566772224 387964 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706240] ppid=706162 vsize=19108176 memory=1551856 CPUtime=0 cores=0,2
/proc/706167/task/706240/stat : 706240 (Timer-0) S 706162 706167 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573406 19566772224 387964 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
Current children cumulated CPU time: 1307.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1551856 KiB
[startup+1331.2 s]
/proc/loadavg: 4.13 4.25 3.35 5/319 707352
/proc/meminfo: memFree=118133048/131655788 swapFree=131071996/131071996
[pid=706167] ppid=706162 vsize=19108176 memory=1553904 CPUtime=1332.9 cores=0,2
/proc/706167/stat : 706167 (java) S 706162 706167 706088 0 -1 1077936128 112689 0 59 0 133167 123 0 0 20 0 20 0 139573329 19566772224 388476 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
/proc/706167/statm: 4777044 388476 5938 1 0 559878 0
[pid=706167/tid=706170] ppid=706162 vsize=19108176 memory=1535440 CPUtime=1316.14 cores=0,2
/proc/706167/task/706170/stat : 706170 (java) R 706162 706167 706088 0 -1 4194368 47905 0 40 0 131578 36 0 0 20 0 20 0 139573333 19566772224 388476 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706207] ppid=706162 vsize=19108176 memory=1537492 CPUtime=0 cores=0,2
/proc/706167/task/706207/stat : 706207 (Finalizer) S 706162 706167 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139573356 19566772224 388476 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706235] ppid=706162 vsize=19108176 memory=1533392 CPUtime=0 cores=0,2
/proc/706167/task/706235/stat : 706235 (Common-Cleaner) S 706162 706167 706088 0 -1 1077936192 1246 0 0 0 0 0 0 0 20 0 20 0 139573357 19566772224 388476 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706240] ppid=706162 vsize=19108176 memory=1529280 CPUtime=0 cores=0,2
/proc/706167/task/706240/stat : 706240 (Timer-0) S 706162 706167 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573406 19566772224 388476 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
Current children cumulated CPU time: 1332.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1553904 KiB
[startup+1344 s]*
/proc/loadavg: 4.10 4.24 3.37 5/319 707354
/proc/meminfo: memFree=118132872/131655788 swapFree=131071996/131071996
[pid=706167] ppid=706162 vsize=19108176 memory=1553904 CPUtime=1345.68 cores=0,2
/proc/706167/stat : 706167 (java) S 706162 706167 706088 0 -1 1077936128 112905 0 59 0 134445 123 0 0 20 0 20 0 139573329 19566772224 388476 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
/proc/706167/statm: 4777044 388476 5938 1 0 559878 0
[pid=706167/tid=706170] ppid=706162 vsize=19108176 memory=6944656592455360604 CPUtime=1328.85 cores=0,2
/proc/706167/task/706170/stat : 706170 (java) R 706162 706167 706088 0 -1 4194368 48115 0 40 0 132849 36 0 0 20 0 20 0 139573333 19566772224 388476 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706207] ppid=706162 vsize=19108176 memory=-7234602508921300093 CPUtime=0 cores=0,2
/proc/706167/task/706207/stat : 706207 (Finalizer) S 706162 706167 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139573356 19566772224 388476 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706235] ppid=706162 vsize=19108176 memory=11232 CPUtime=0 cores=0,2
/proc/706167/task/706235/stat : 706235 (Common-Cleaner) S 706162 706167 706088 0 -1 1077936192 1246 0 0 0 0 0 0 0 20 0 20 0 139573357 19566772224 388476 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706240] ppid=706162 vsize=19108176 memory=11528 CPUtime=0 cores=0,2
/proc/706167/task/706240/stat : 706240 (Timer-0) S 706162 706167 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573406 19566772224 388476 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
Current children cumulated CPU time: 1345.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1553904 KiB
[startup+1347.2 s]
/proc/loadavg: 4.09 4.23 3.37 5/319 707354
/proc/meminfo: memFree=118132872/131655788 swapFree=131071996/131071996
[pid=706167] ppid=706162 vsize=19108176 memory=1553912 CPUtime=1348.87 cores=0,2
/proc/706167/stat : 706167 (java) S 706162 706167 706088 0 -1 1077936128 113491 0 59 0 134763 124 0 0 20 0 20 0 139573329 19566772224 388478 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
/proc/706167/statm: 4777044 388478 5938 1 0 559878 0
[pid=706167/tid=706170] ppid=706162 vsize=19108176 memory=2692 CPUtime=1332.02 cores=0,2
/proc/706167/task/706170/stat : 706170 (java) R 706162 706167 706088 0 -1 4194368 48644 0 40 0 133166 36 0 0 20 0 20 0 139573333 19566772224 388478 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706207] ppid=706162 vsize=19108176 memory=2216 CPUtime=0 cores=0,2
/proc/706167/task/706207/stat : 706207 (Finalizer) S 706162 706167 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139573356 19566772224 388478 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706235] ppid=706162 vsize=19108176 memory=5608 CPUtime=0 cores=0,2
/proc/706167/task/706235/stat : 706235 (Common-Cleaner) S 706162 706167 706088 0 -1 1077936192 1246 0 0 0 0 0 0 0 20 0 20 0 139573357 19566772224 388478 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706240] ppid=706162 vsize=19108176 memory=4402712 CPUtime=0 cores=0,2
/proc/706167/task/706240/stat : 706240 (Timer-0) S 706162 706167 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573406 19566772224 388478 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
Current children cumulated CPU time: 1348.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1553912 KiB
[startup+1350.4 s]
/proc/loadavg: 4.09 4.23 3.37 5/319 707355
/proc/meminfo: memFree=118132764/131655788 swapFree=131071996/131071996
[pid=706167] ppid=706162 vsize=19108176 memory=1553920 CPUtime=1352.17 cores=0,2
/proc/706167/stat : 706167 (java) S 706162 706167 706088 0 -1 1077936128 114887 0 59 0 135093 124 0 0 20 0 20 0 139573329 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
/proc/706167/statm: 4777044 388480 5938 1 0 559891 0
[pid=706167/tid=706170] ppid=706162 vsize=19108176 memory=1553904 CPUtime=1335.21 cores=0,2
/proc/706167/task/706170/stat : 706170 (java) R 706162 706167 706088 0 -1 4194368 48689 0 40 0 133485 36 0 0 20 0 20 0 139573333 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706207] ppid=706162 vsize=19108176 memory=-9031803466373571260 CPUtime=0 cores=0,2
/proc/706167/task/706207/stat : 706207 (Finalizer) S 706162 706167 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139573356 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706235] ppid=706162 vsize=19108176 memory=2692 CPUtime=0 cores=0,2
/proc/706167/task/706235/stat : 706235 (Common-Cleaner) S 706162 706167 706088 0 -1 1077936192 1246 0 0 0 0 0 0 0 20 0 20 0 139573357 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706240] ppid=706162 vsize=19108176 memory=1553904 CPUtime=0 cores=0,2
/proc/706167/task/706240/stat : 706240 (Timer-0) S 706162 706167 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573406 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
Current children cumulated CPU time: 1352.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1553920 KiB
[startup+1351.2 s]
/proc/loadavg: 4.09 4.23 3.37 6/319 707355
/proc/meminfo: memFree=118132764/131655788 swapFree=131071996/131071996
[pid=706167] ppid=706162 vsize=19108176 memory=1553920 CPUtime=1352.97 cores=0,2
/proc/706167/stat : 706167 (java) S 706162 706167 706088 0 -1 1077936128 114890 0 59 0 135173 124 0 0 20 0 20 0 139573329 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
/proc/706167/statm: 4777044 388480 5938 1 0 559891 0
[pid=706167/tid=706170] ppid=706162 vsize=19108176 memory=12440 CPUtime=1336.01 cores=0,2
/proc/706167/task/706170/stat : 706170 (java) R 706162 706167 706088 0 -1 4194368 48689 0 40 0 133565 36 0 0 20 0 20 0 139573333 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706207] ppid=706162 vsize=19108176 memory=36940 CPUtime=0 cores=0,2
/proc/706167/task/706207/stat : 706207 (Finalizer) S 706162 706167 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139573356 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706235] ppid=706162 vsize=19108176 memory=1553912 CPUtime=0 cores=0,2
/proc/706167/task/706235/stat : 706235 (Common-Cleaner) S 706162 706167 706088 0 -1 1077936192 1246 0 0 0 0 0 0 0 20 0 20 0 139573357 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706240] ppid=706162 vsize=19108176 memory=12440 CPUtime=0 cores=0,2
/proc/706167/task/706240/stat : 706240 (Timer-0) S 706162 706167 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573406 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
Current children cumulated CPU time: 1352.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1553920 KiB
[startup+1351.6 s]
/proc/loadavg: 4.09 4.23 3.37 6/319 707355
/proc/meminfo: memFree=118132764/131655788 swapFree=131071996/131071996
[pid=706167] ppid=706162 vsize=19108176 memory=1553920 CPUtime=1353.37 cores=0,2
/proc/706167/stat : 706167 (java) S 706162 706167 706088 0 -1 1077936128 114890 0 59 0 135213 124 0 0 20 0 20 0 139573329 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
/proc/706167/statm: 4777044 388480 5938 1 0 559891 0
[pid=706167/tid=706170] ppid=706162 vsize=19108176 memory=2216 CPUtime=1336.41 cores=0,2
/proc/706167/task/706170/stat : 706170 (java) R 706162 706167 706088 0 -1 4194368 48689 0 40 0 133605 36 0 0 20 0 20 0 139573333 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706207] ppid=706162 vsize=19108176 memory=5608 CPUtime=0 cores=0,2
/proc/706167/task/706207/stat : 706207 (Finalizer) S 706162 706167 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139573356 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706235] ppid=706162 vsize=19108176 memory=-9031803466373571260 CPUtime=0 cores=0,2
/proc/706167/task/706235/stat : 706235 (Common-Cleaner) S 706162 706167 706088 0 -1 1077936192 1246 0 0 0 0 0 0 0 20 0 20 0 139573357 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706240] ppid=706162 vsize=19108176 memory=7696 CPUtime=0 cores=0,2
/proc/706167/task/706240/stat : 706240 (Timer-0) S 706162 706167 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573406 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
Current children cumulated CPU time: 1353.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1553920 KiB
[startup+1352 s]*
/proc/loadavg: 4.09 4.23 3.37 5/319 707355
/proc/meminfo: memFree=118132768/131655788 swapFree=131071996/131071996
[pid=706167] ppid=706162 vsize=19108176 memory=1553920 CPUtime=1353.78 cores=0,2
/proc/706167/stat : 706167 (java) S 706162 706167 706088 0 -1 1077936128 114890 0 59 0 135254 124 0 0 20 0 20 0 139573329 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
/proc/706167/statm: 4777044 388480 5938 1 0 559891 0
[pid=706167/tid=706170] ppid=706162 vsize=19108176 memory=-8672915174486090428 CPUtime=1336.82 cores=0,2
/proc/706167/task/706170/stat : 706170 (java) R 706162 706167 706088 0 -1 4194368 48689 0 40 0 133646 36 0 0 20 0 20 0 139573333 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706207] ppid=706162 vsize=19108176 memory=-7234602508921300093 CPUtime=0 cores=0,2
/proc/706167/task/706207/stat : 706207 (Finalizer) S 706162 706167 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139573356 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706235] ppid=706162 vsize=19108176 memory=1553920 CPUtime=0 cores=0,2
/proc/706167/task/706235/stat : 706235 (Common-Cleaner) S 706162 706167 706088 0 -1 1077936192 1246 0 0 0 0 0 0 0 20 0 20 0 139573357 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706240] ppid=706162 vsize=19108176 memory=2684 CPUtime=0 cores=0,2
/proc/706167/task/706240/stat : 706240 (Timer-0) S 706162 706167 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573406 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
Current children cumulated CPU time: 1353.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1553920 KiB
[startup+1352.11 s]
/proc/loadavg: 4.09 4.23 3.37 5/319 707355
/proc/meminfo: memFree=118132768/131655788 swapFree=131071996/131071996
[pid=706167] ppid=706162 vsize=19108176 memory=1553920 CPUtime=1353.88 cores=0,2
/proc/706167/stat : 706167 (java) S 706162 706167 706088 0 -1 1077936128 114890 0 59 0 135264 124 0 0 20 0 20 0 139573329 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
/proc/706167/statm: 4777044 388480 5938 1 0 559891 0
[pid=706167/tid=706170] ppid=706162 vsize=19108176 memory=1553904 CPUtime=1336.92 cores=0,2
/proc/706167/task/706170/stat : 706170 (java) R 706162 706167 706088 0 -1 4194368 48689 0 40 0 133656 36 0 0 20 0 20 0 139573333 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706207] ppid=706162 vsize=19108176 memory=12676 CPUtime=0 cores=0,2
/proc/706167/task/706207/stat : 706207 (Finalizer) S 706162 706167 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139573356 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706235] ppid=706162 vsize=19108176 memory=12676 CPUtime=0 cores=0,2
/proc/706167/task/706235/stat : 706235 (Common-Cleaner) S 706162 706167 706088 0 -1 1077936192 1246 0 0 0 0 0 0 0 20 0 20 0 139573357 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
[pid=706167/tid=706240] ppid=706162 vsize=19108176 memory=1553912 CPUtime=0 cores=0,2
/proc/706167/task/706240/stat : 706240 (Timer-0) S 706162 706167 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573406 19566772224 388480 134679101440 94823387971584 94823387975280 140724307664736 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94823387983096 94823387983888 94823396294656 140724307674070 140724307674183 140724307674183 140724307681224 0
Current children cumulated CPU time: 1353.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1553920 KiB
Child status: 30
Real time (s): 1352.17
CPU time (s): 1353.96
CPU user time (s): 1352.71
CPU system time (s): 1.25537
CPU usage (%): 100.132
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 1553920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1352.71
system time used= 1.25537
maximum resident set size= 1555348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116884
page faults= 59
swaps= 0
block input operations= 8536
block output operations= 1504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46467
involuntary context switches= 11068
# summary of solver processes directly reported to runsolver:
# pid: 706167
# total CPU time (s): 1353.96
# total CPU user time (s): 1352.71
# total CPU system time (s): 1.25537
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.19795 second user time and 14.5997 second system time
The end