0.66/0.52
0.66/0.52 scop order+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Thu Jul 26 02:15:06 CEST 2018
0.66/0.55 c PID: 2115
0.66/0.55 c IP: 172.20.3.150
0.66/0.55 c HOST: node150.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.51/0.95 c (0,0) Parsing End
1.51/0.96 c (0,0) CSP: 120 int (0 aux), 0 bool (0 aux), 241 ctr, max domain size 120
1.51/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.51/0.96 c (0,0) Constraint Name Generate Begin
1.51/0.97 c (0,0) Ctr:HOME/instance-4295239-1532564105.xml,AllDifferent:ExtensionSupport:IntVar
1.51/0.97 c (0,0) Constraint Name Generate End
1.51/0.97 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.51/0.97 c (0,0) CSP to CSPinCNF Begin
9.42/3.65 c (3,3) translated 25 (10%) constraints
11.51/5.08 c (4,4) translated 49 (20%) constraints
13.03/6.46 c (5,5) translated 73 (30%) constraints
14.52/7.82 c (7,7) translated 97 (40%) constraints
16.42/9.28 c (8,8) translated 121 (50%) constraints
17.79/10.53 c (10,9) translated 145 (60%) constraints
19.00/11.77 c (11,11) translated 169 (70%) constraints
20.33/13.03 c (12,12) translated 193 (80%) constraints
22.63/14.55 c (14,13) translated 217 (90%) constraints
23.93/15.80 c (15,14) translated 241 (100%) constraints
25.60/16.76 c (16,15) STATISTICS1:HOME/instance-4295239-1532564105.xml,AllDifferent:ExtensionSupport:IntVar,28920,355622,120,120,121,2,120:7140,120:652920;2:377040,121:240;120:2;3:290160;2:65220,2:7140;1:1015680;0:240,
25.60/16.76 c (16,15) ===========================================
25.60/16.76 c (16,15) Order
25.60/16.76 c (16,15) ===========================================
27.85/17.58 c (17,16) translated 35563 (10%) constraints
28.47/18.02 c (17,17) translated 71125 (20%) constraints
28.86/18.46 c (17,17) translated 106687 (30%) constraints
30.58/19.21 c (18,17) translated 142249 (40%) constraints
31.00/19.65 c (19,18) translated 177811 (50%) constraints
31.41/20.08 c (19,18) translated 213374 (60%) constraints
31.90/20.52 c (19,19) translated 248936 (70%) constraints
32.30/20.96 c (20,19) translated 284498 (80%) constraints
32.70/21.39 c (20,20) translated 320060 (90%) constraints
33.20/21.83 c (21,20) translated 355622 (100%) constraints
33.20/21.83 c (21,20) CSP to CSPinCNF End
33.20/21.84 c (21,20) CSP: 120 int (0 aux), 28800 bool (28800 aux), 355622 ctr, max domain size 120
33.20/21.84 c (21,20) Heap : 1352 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
33.20/21.84 c (21,20) CSPinCNF Propagation Begin
35.31/23.53 c (23,22) 0 values, 240 unsatisfiable literals, and 0 valid clauses are removed
35.31/23.53 c (23,22) CSPinCNF Propagation End
35.31/23.54 c (23,22) CSP: 120 int (0 aux), 28800 bool (28800 aux), 355622 ctr, max domain size 120
35.31/23.54 c (23,22) Heap : 3112 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
35.31/23.54 c (23,22) Simplify CSPinCNF Begin
37.77/24.52 c (23,22) Simplify CSPinCNF End
37.77/24.53 c (24,22) CSP: 120 int (0 aux), 43080 bool (43080 aux), 369902 ctr, max domain size 120
37.77/24.53 c (24,22) Heap : 710 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
37.77/24.53 c (24,22) Calculate Precise Domain Begin
37.77/24.53 c (24,22) 0 values are removed by re-calculation
37.77/24.54 c (24,22) Calculate Precise Domain End
37.77/24.54 c (24,22) CSP: 120 int (0 aux), 43080 bool (43080 aux), 369902 ctr, max domain size 120
37.77/24.54 c (24,22) Heap : 710 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
37.77/24.54 c (24,22) CSPinCNF to SatSolver Begin
43.66/28.88 c (28,27) 36991 (10 %) CSP clauses are encoded (57360 SAT variables, 1750470 SAT clauses)
43.95/29.05 c (28,27) 73981 (20 %) CSP clauses are encoded (57360 SAT variables, 1787460 SAT clauses)
44.17/29.22 c (28,27) 110971 (30 %) CSP clauses are encoded (57360 SAT variables, 1824450 SAT clauses)
44.27/29.39 c (28,27) 147961 (40 %) CSP clauses are encoded (57360 SAT variables, 1861440 SAT clauses)
44.47/29.55 c (29,27) 184951 (50 %) CSP clauses are encoded (57360 SAT variables, 1898430 SAT clauses)
44.66/29.72 c (29,27) 221942 (60 %) CSP clauses are encoded (57360 SAT variables, 1935421 SAT clauses)
44.77/29.89 c (29,28) 258932 (70 %) CSP clauses are encoded (57360 SAT variables, 1972411 SAT clauses)
44.98/30.06 c (29,28) 295922 (80 %) CSP clauses are encoded (57360 SAT variables, 2009401 SAT clauses)
46.03/30.45 c (29,28) 332912 (90 %) CSP clauses are encoded (57360 SAT variables, 2046391 SAT clauses)
46.24/30.62 c (30,28) 369902 (100 %) CSP clauses are encoded (57360 SAT variables, 2083381 SAT clauses)
46.24/30.62 c (30,28) CSPinCNF to SatSolver End
46.24/30.62 c (30,28) Heap : 538 MiB used (max 10837 MiB), NonHeap : 30 MiB used (max 0 MiB)
47.23/31.39 c (30,29) STATISTICS2:HOME/instance-4295239-1532564105.xml,AllDifferent:ExtensionSupport:IntVar,43200,369902,120,120,120,2,120:14280,120:667200;2:405600,120:242;3:290160;2:79500,2:14280;1:1044240,
47.23/31.39 c (30,29) SatSolver.solve Begin
47.23/31.39 c (30,29) 57360 bool, 2083382 clause
47.23/31.39 c (30,29) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4295239-1532564105.xml-scop-2115.cnf HOME/instance-4295239-1532564105.xml-scop-2115.cnf.out
49.01/33.01 c (32,0) receiving signal SIGTERM
49.01/33.01 s UNKNOWN
49.01/33.02 c (32,29) SatSolver is killed by some reasons.
49.01/33.02 c (32,29) 0,0,21,23,24,24,30,TO,TO,STOP-AFTER(DIMACS)
49.01/33.02 c END-Prog: Thu Jul 26 02:15:39 CEST 2018
runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (9873 MiB free)
memory of node 1: 16384 MiB (10351 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295239-1532564105/watcher-4295239-1532564105 -o /tmp/evaluation-result-4295239-1532564105/solver-4295239-1532564105 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32680 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295239-1532564105.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2115, runsolver pid=2112
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 4.30 4.50 4.03 3/220 2130
/proc/meminfo: memFree=20648784/32770624 swapFree=67108860/67108860
[pid=2115] ppid=2112 vsize=15011656 memory=74068 CPUtime=0.11 cores=0,2,4,6
/proc/2115/stat : 2115 (java) S 2112 2115 32649 0 -1 1077944320 6676 0 0 0 9 2 0 0 20 0 15 0 73973816 15371935744 18517 33554432000 4194304 4196468 140720421786064 140720421768608 140676253245175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
/proc/2115/statm: 3752914 18517 2782 1 0 3715374 0
[pid=2115/tid=2117] ppid=2112 vsize=15011656 memory=7100839861430815080 CPUtime=0.09 cores=0,2,4,6
/proc/2115/task/2117/stat : 2117 (java) R 2112 2115 32649 0 -1 4202560 5204 0 0 0 7 2 0 0 20 0 15 0 73973816 15371935744 18913 33554432000 4194304 4196468 140720421786064 140676225057160 140676233520896 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2118] ppid=2112 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2118/stat : 2118 (java) S 2112 2115 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73973817 15371935744 18913 33554432000 4194304 4196468 140720421786064 140676257487632 140676253255381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2119] ppid=2112 vsize=15011656 memory=140119171266176 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2119/stat : 2119 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973817 15371935744 18979 33554432000 4194304 4196468 140720421786064 140675713858448 140676253255381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2120] ppid=2112 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2120/stat : 2120 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973817 15371935744 18979 33554432000 4194304 4196468 140720421786064 140675712805904 140676253255381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2121] ppid=2112 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2121/stat : 2121 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973817 15371935744 18979 33554432000 4194304 4196468 140720421786064 140675711753360 140676253255381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2122] ppid=2112 vsize=15011656 memory=140119171266176 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2122/stat : 2122 (java) S 2112 2115 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73973819 15371935744 18979 33554432000 4194304 4196468 140720421786064 140675592955888 140676253256322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2123] ppid=2112 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2123/stat : 2123 (java) S 2112 2115 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73973819 15371935744 18979 33554432000 4194304 4196468 140720421786064 140674842223520 140676253255381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2124] ppid=2112 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2124/stat : 2124 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973820 15371935744 18979 33554432000 4194304 4196468 140720421786064 140674607342576 140676253255381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2125] ppid=2112 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2125/stat : 2125 (java) S 2112 2115 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73973822 15371935744 18979 33554432000 4194304 4196468 140720421786064 140674232834256 140676253263771 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2126] ppid=2112 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2126/stat : 2126 (java) S 2112 2115 32649 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 73973822 15371935744 18979 33554432000 4194304 4196468 140720421786064 140675591903728 140676253256322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2127] ppid=2112 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2127/stat : 2127 (java) S 2112 2115 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73973822 15371935744 18979 33554432000 4194304 4196468 140720421786064 140675590851184 140676253256322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2128] ppid=2112 vsize=15011656 memory=140119171266176 CPUtime=0.01 cores=0,2,4,6
/proc/2115/task/2128/stat : 2128 (java) S 2112 2115 32649 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 15 0 73973822 15371935744 18979 33554432000 4194304 4196468 140720421786064 140675589798640 140676253256322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2129] ppid=2112 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2129/stat : 2129 (java) S 2112 2115 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73973822 15371935744 18979 33554432000 4194304 4196468 140720421786064 140673734929504 140676253255381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2130] ppid=2112 vsize=15011656 memory=140119171266176 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2130/stat : 2130 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973822 15371935744 19045 33554432000 4194304 4196468 140720421786064 140675588745520 140676253256322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74068 KiB
[startup+0.210411 s]*
/proc/loadavg: 4.30 4.50 4.03 4/220 2130
/proc/meminfo: memFree=20632040/32770624 swapFree=67108860/67108860
[pid=2115] ppid=2112 vsize=15011656 memory=89132 CPUtime=0.25 cores=0,2,4,6
/proc/2115/stat : 2115 (java) S 2112 2115 32649 0 -1 1077944320 10738 0 0 0 22 3 0 0 20 0 15 0 73973816 15371935744 22283 33554432000 4194304 4196468 140720421786064 140720421768608 140676253245175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
/proc/2115/statm: 3752914 22283 2883 1 0 3715374 0
[pid=2115/tid=2117] ppid=2112 vsize=15011656 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/2115/task/2117/stat : 2117 (java) R 2112 2115 32649 0 -1 4202560 8645 0 0 0 17 2 0 0 20 0 15 0 73973816 15371935744 22283 33554432000 4194304 4196468 140720421786064 140676225064432 140676253267101 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2118] ppid=2112 vsize=15011656 memory=288230617609666583 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2118/stat : 2118 (java) S 2112 2115 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73973817 15371935744 22283 33554432000 4194304 4196468 140720421786064 140676257487632 140676253255381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2119] ppid=2112 vsize=15011656 memory=288370495322977920 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2119/stat : 2119 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973817 15371935744 22283 33554432000 4194304 4196468 140720421786064 140675713858448 140676253255381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2120] ppid=2112 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2120/stat : 2120 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973817 15371935744 22283 33554432000 4194304 4196468 140720421786064 140675712805904 140676253255381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2121] ppid=2112 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2121/stat : 2121 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973817 15371935744 22283 33554432000 4194304 4196468 140720421786064 140675711753360 140676253255381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2122] ppid=2112 vsize=15011656 memory=140119171266176 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2122/stat : 2122 (java) S 2112 2115 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73973819 15371935744 22283 33554432000 4194304 4196468 140720421786064 140675592955888 140676253256322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2123] ppid=2112 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2123/stat : 2123 (java) S 2112 2115 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73973819 15371935744 22283 33554432000 4194304 4196468 140720421786064 140674842223520 140676253255381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2124] ppid=2112 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2124/stat : 2124 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973820 15371935744 22283 33554432000 4194304 4196468 140720421786064 140674607342576 140676253255381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2125] ppid=2112 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2125/stat : 2125 (java) S 2112 2115 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73973822 15371935744 22283 33554432000 4194304 4196468 140720421786064 140674232834256 140676253263771 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2126] ppid=2112 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2115/task/2126/stat : 2126 (java) R 2112 2115 32649 0 -1 4202560 450 0 0 0 1 0 0 0 20 0 15 0 73973822 15371935744 22283 33554432000 4194304 4196468 140720421786064 140675591895232 140676230904240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2127] ppid=2112 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2127/stat : 2127 (java) R 2112 2115 32649 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 73973822 15371935744 22283 33554432000 4194304 4196468 140720421786064 140675590851280 140676253255381 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2128] ppid=2112 vsize=15011656 memory=140119171266176 CPUtime=0.03 cores=0,2,4,6
/proc/2115/task/2128/stat : 2128 (java) S 2112 2115 32649 0 -1 1077944384 292 0 0 0 3 0 0 0 20 0 15 0 73973822 15371935744 22283 33554432000 4194304 4196468 140720421786064 140675589798640 140676253256322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2129] ppid=2112 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2129/stat : 2129 (java) S 2112 2115 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73973822 15371935744 22283 33554432000 4194304 4196468 140720421786064 140673734929504 140676253255381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2130] ppid=2112 vsize=15011656 memory=140119171266176 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2130/stat : 2130 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973822 15371935744 22283 33554432000 4194304 4196468 140720421786064 140675588745520 140676253256322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89132 KiB
[startup+0.310483 s]*
/proc/loadavg: 4.30 4.50 4.03 3/220 2130
/proc/meminfo: memFree=20628876/32770624 swapFree=67108860/67108860
[pid=2115] ppid=2112 vsize=15011656 memory=92496 CPUtime=0.42 cores=0,2,4,6
/proc/2115/stat : 2115 (java) S 2112 2115 32649 0 -1 1077944320 11184 0 0 0 39 3 0 0 20 0 15 0 73973816 15371935744 23124 33554432000 4194304 4196468 140720421786064 140720421768608 140676253245175 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
/proc/2115/statm: 3752914 23124 2997 1 0 3715374 0
[pid=2115/tid=2117] ppid=2112 vsize=15011656 memory=4134692831991786133 CPUtime=0.3 cores=0,2,4,6
/proc/2115/task/2117/stat : 2117 (java) R 2112 2115 32649 0 -1 4202560 8949 0 0 0 27 3 0 0 20 0 15 0 73973816 15371935744 23190 33554432000 4194304 4196468 140720421786064 140676225072768 140676237325662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2118] ppid=2112 vsize=15011656 memory=140123308131791 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2118/stat : 2118 (java) S 2112 2115 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73973817 15371935744 23190 33554432000 4194304 4196468 140720421786064 140676257487632 140676253255381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2119] ppid=2112 vsize=15011656 memory=140119171266176 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2119/stat : 2119 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973817 15371935744 23190 33554432000 4194304 4196468 140720421786064 140675713858448 140676253255381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2120] ppid=2112 vsize=15011656 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2120/stat : 2120 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973817 15371935744 23190 33554432000 4194304 4196468 140720421786064 140675712805904 140676253255381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2121] ppid=2112 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2121/stat : 2121 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973817 15371935744 23190 33554432000 4194304 4196468 140720421786064 140675711753360 140676253255381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2122] ppid=2112 vsize=15011656 memory=140119171266176 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2122/stat : 2122 (java) S 2112 2115 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73973819 15371935744 23190 33554432000 4194304 4196468 140720421786064 140675592955888 140676253256322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2123] ppid=2112 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2123/stat : 2123 (java) S 2112 2115 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73973819 15371935744 23190 33554432000 4194304 4196468 140720421786064 140674842223520 140676253255381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2124] ppid=2112 vsize=15011656 memory=280238026338208 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2124/stat : 2124 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973820 15371935744 23190 33554432000 4194304 4196468 140720421786064 140674607342576 140676253255381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2125] ppid=2112 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2125/stat : 2125 (java) S 2112 2115 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73973822 15371935744 23190 33554432000 4194304 4196468 140720421786064 140674232834256 140676253263771 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2126] ppid=2112 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2115/task/2126/stat : 2126 (java) S 2112 2115 32649 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 15 0 73973822 15371935744 23190 33554432000 4194304 4196468 140720421786064 140675591903728 140676253256322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2127] ppid=2112 vsize=15011656 memory=140119013203887 CPUtime=0.03 cores=0,2,4,6
/proc/2115/task/2127/stat : 2127 (java) S 2112 2115 32649 0 -1 1077944384 134 0 0 0 3 0 0 0 20 0 15 0 73973822 15371935744 23190 33554432000 4194304 4196468 140720421786064 140675590851184 140676253256322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2128] ppid=2112 vsize=15011656 memory=140119171266176 CPUtime=0.07 cores=0,2,4,6
/proc/2115/task/2128/stat : 2128 (java) R 2112 2115 32649 0 -1 4202560 312 0 0 0 7 0 0 0 20 0 15 0 73973822 15371935744 23190 33554432000 4194304 4196468 140720421786064 140675589798640 140676245482302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2129] ppid=2112 vsize=15011656 memory=140119013208991 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2129/stat : 2129 (java) S 2112 2115 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73973822 15371935744 23190 33554432000 4194304 4196468 140720421786064 140673734929504 140676253255381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2130] ppid=2112 vsize=15011656 memory=140119245239992 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2130/stat : 2130 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973822 15371935744 23190 33554432000 4194304 4196468 140720421786064 140675588745520 140676253256322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 92496 KiB
[startup+0.700706 s]
/proc/loadavg: 4.30 4.50 4.03 3/220 2130
/proc/meminfo: memFree=20607484/32770624 swapFree=67108860/67108860
[pid=2115] ppid=2112 vsize=15020052 memory=129888 CPUtime=0.99 cores=0,2,4,6
/proc/2115/stat : 2115 (java) S 2112 2115 32649 0 -1 1077944320 17690 0 0 0 93 6 0 0 20 0 15 0 73973816 15380533248 32472 33554432000 4194304 4196468 140720421786064 140720421768608 140676253245175 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
/proc/2115/statm: 3755013 32472 3157 1 0 3716398 0
[pid=2115/tid=2117] ppid=2112 vsize=15020052 memory=53 CPUtime=0.68 cores=0,2,4,6
/proc/2115/task/2117/stat : 2117 (java) R 2112 2115 32649 0 -1 4202560 15035 0 0 0 63 5 0 0 20 0 15 0 73973816 15380533248 32472 33554432000 4194304 4196468 140720421786064 140676225078912 140676253257110 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2118] ppid=2112 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2118/stat : 2118 (java) S 2112 2115 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73973817 15380533248 32472 33554432000 4194304 4196468 140720421786064 140676257487632 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2119] ppid=2112 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2119/stat : 2119 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973817 15380533248 32472 33554432000 4194304 4196468 140720421786064 140675713858448 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2120] ppid=2112 vsize=15020052 memory=79 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2120/stat : 2120 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973817 15380533248 32472 33554432000 4194304 4196468 140720421786064 140675712805904 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2121] ppid=2112 vsize=15020052 memory=1 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2121/stat : 2121 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973817 15380533248 32472 33554432000 4194304 4196468 140720421786064 140675711753360 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2122] ppid=2112 vsize=15020052 memory=7813587196152723253 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2122/stat : 2122 (java) S 2112 2115 32649 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 73973819 15380533248 32472 33554432000 4194304 4196468 140720421786064 140675592955888 140676253256322 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2123] ppid=2112 vsize=15020052 memory=5787495302040675136 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2123/stat : 2123 (java) S 2112 2115 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73973819 15380533248 32472 33554432000 4194304 4196468 140720421786064 140674842223520 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2124] ppid=2112 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2124/stat : 2124 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973820 15380533248 32472 33554432000 4194304 4196468 140720421786064 140674607342576 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2125] ppid=2112 vsize=15020052 memory=149232933673897 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2125/stat : 2125 (java) S 2112 2115 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73973822 15380533248 32472 33554432000 4194304 4196468 140720421786064 140674232834256 140676253263771 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2126] ppid=2112 vsize=15020052 memory=431481 CPUtime=0.06 cores=0,2,4,6
/proc/2115/task/2126/stat : 2126 (java) R 2112 2115 32649 0 -1 1077944384 710 0 0 0 6 0 0 0 20 0 15 0 73973822 15380533248 32472 33554432000 4194304 4196468 140720421786064 140675591903728 140676253256322 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2127] ppid=2112 vsize=15020052 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/2115/task/2127/stat : 2127 (java) R 2112 2115 32649 0 -1 4202560 209 0 0 0 6 0 0 0 20 0 15 0 73973822 15380533248 32472 33554432000 4194304 4196468 140720421786064 140675590832200 140676234771174 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2128] ppid=2112 vsize=15020052 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/2115/task/2128/stat : 2128 (java) S 2112 2115 32649 0 -1 1077944384 395 0 0 0 17 0 0 0 20 0 15 0 73973822 15380533248 32472 33554432000 4194304 4196468 140720421786064 140675589798640 140676253256322 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2129] ppid=2112 vsize=15020052 memory=280238026129648 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2129/stat : 2129 (java) S 2112 2115 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73973822 15380533248 32472 33554432000 4194304 4196468 140720421786064 140673734929504 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2130] ppid=2112 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2130/stat : 2130 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973822 15380533248 32472 33554432000 4194304 4196468 140720421786064 140675588745520 140676253256322 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129888 KiB
[startup+1.50161 s]
/proc/loadavg: 4.30 4.50 4.03 3/220 2130
/proc/meminfo: memFree=20578624/32770624 swapFree=67108860/67108860
[pid=2115] ppid=2112 vsize=15022100 memory=226904 CPUtime=3.05 cores=0,2,4,6
/proc/2115/stat : 2115 (java) S 2112 2115 32649 0 -1 1077944320 21484 0 0 0 297 8 0 0 20 0 15 0 73973816 15382630400 56726 33554432000 4194304 4196468 140720421786064 140720421768608 140676253245175 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
/proc/2115/statm: 3755525 56726 3200 1 0 3716910 0
[pid=2115/tid=2117] ppid=2112 vsize=15022100 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/2115/task/2117/stat : 2117 (java) R 2112 2115 32649 0 -1 4202560 15976 0 0 0 141 6 0 0 20 0 15 0 73973816 15382630400 56726 33554432000 4194304 4196468 140720421786064 140676225082208 140675760689452 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2118] ppid=2112 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2118/stat : 2118 (java) S 2112 2115 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73973817 15382630400 56726 33554432000 4194304 4196468 140720421786064 140676257487632 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2119] ppid=2112 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2119/stat : 2119 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973817 15382630400 56726 33554432000 4194304 4196468 140720421786064 140675713858448 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2120] ppid=2112 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2120/stat : 2120 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973817 15382630400 56726 33554432000 4194304 4196468 140720421786064 140675712805904 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2121] ppid=2112 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2121/stat : 2121 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973817 15382630400 56726 33554432000 4194304 4196468 140720421786064 140675711753360 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2122] ppid=2112 vsize=15022100 memory=2209 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2122/stat : 2122 (java) S 2112 2115 32649 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 73973819 15382630400 56726 33554432000 4194304 4196468 140720421786064 140675592955888 140676253256322 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
################
# More data... #
################
[pid=2115/tid=2123] ppid=2112 vsize=15024148 memory=5939234598703162725 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2123/stat : 2123 (java) S 2112 2115 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73973819 15384727552 516932 33554432000 4194304 4196468 140720421786064 140674842223520 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2124] ppid=2112 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2124/stat : 2124 (java) S 2112 2115 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73973820 15384727552 516932 33554432000 4194304 4196468 140720421786064 140674607342576 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2125] ppid=2112 vsize=15024148 memory=64 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2125/stat : 2125 (java) S 2112 2115 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73973822 15384727552 516932 33554432000 4194304 4196468 140720421786064 140674232834256 140676253263771 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2126] ppid=2112 vsize=15024148 memory=0 CPUtime=2.59 cores=0,2,4,6
/proc/2115/task/2126/stat : 2126 (java) S 2112 2115 32649 0 -1 1077944384 3877 0 0 0 259 0 0 0 20 0 15 0 73973822 15384727552 516932 33554432000 4194304 4196468 140720421786064 140675591903728 140676253256322 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2127] ppid=2112 vsize=15024148 memory=0 CPUtime=3.03 cores=0,2,4,6
/proc/2115/task/2127/stat : 2127 (java) S 2112 2115 32649 0 -1 1077944384 2990 0 0 0 303 0 0 0 20 0 15 0 73973822 15384727552 516932 33554432000 4194304 4196468 140720421786064 140675590851184 140676253256322 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2128] ppid=2112 vsize=15024148 memory=164 CPUtime=1 cores=0,2,4,6
/proc/2115/task/2128/stat : 2128 (java) S 2112 2115 32649 0 -1 1077944384 3914 0 0 0 99 1 0 0 20 0 15 0 73973822 15384727552 516932 33554432000 4194304 4196468 140720421786064 140675589798640 140676253256322 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2129] ppid=2112 vsize=15024148 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2129/stat : 2129 (java) S 2112 2115 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73973822 15384727552 516932 33554432000 4194304 4196468 140720421786064 140673734929504 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2130] ppid=2112 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2130/stat : 2130 (java) S 2112 2115 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73973822 15384727552 516932 33554432000 4194304 4196468 140720421786064 140675588745520 140676253256322 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
Current children cumulated CPU time: 12.93 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 2067728 KiB
[startup+12.7007 s]
/proc/loadavg: 3.94 4.41 4.01 3/220 2130
/proc/meminfo: memFree=17575708/32770624 swapFree=67108860/67108860
[pid=2115] ppid=2112 vsize=15024148 memory=3118912 CPUtime=20.02 cores=0,2,4,6
/proc/2115/stat : 2115 (java) S 2112 2115 32649 0 -1 1077944320 31218 0 0 0 1934 68 0 0 20 0 15 0 73973816 15384727552 779728 33554432000 4194304 4196468 140720421786064 140720421768608 140676253245175 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
/proc/2115/statm: 3756037 779728 3213 1 0 3717422 0
[pid=2115/tid=2117] ppid=2112 vsize=15024148 memory=10799 CPUtime=12.49 cores=0,2,4,6
/proc/2115/task/2117/stat : 2117 (java) R 2112 2115 32649 0 -1 4202560 18475 0 0 0 1201 48 0 0 20 0 15 0 73973816 15384727552 779728 33554432000 4194304 4196468 140720421786064 140676225070664 140675761963247 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2118] ppid=2112 vsize=15024148 memory=280238026224872 CPUtime=0.14 cores=0,2,4,6
/proc/2115/task/2118/stat : 2118 (java) S 2112 2115 32649 0 -1 1077944384 65 0 0 0 11 3 0 0 20 0 15 0 73973817 15384727552 779728 33554432000 4194304 4196468 140720421786064 140676257487632 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2119] ppid=2112 vsize=15024148 memory=7976406965554101975 CPUtime=0.14 cores=0,2,4,6
/proc/2115/task/2119/stat : 2119 (java) S 2112 2115 32649 0 -1 1077944384 233 0 0 0 11 3 0 0 20 0 15 0 73973817 15384727552 779728 33554432000 4194304 4196468 140720421786064 140675713858448 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2120] ppid=2112 vsize=15024148 memory=4136 CPUtime=0.14 cores=0,2,4,6
/proc/2115/task/2120/stat : 2120 (java) S 2112 2115 32649 0 -1 1077944384 135 0 0 0 11 3 0 0 20 0 15 0 73973817 15384727552 779728 33554432000 4194304 4196468 140720421786064 140675712805904 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2121] ppid=2112 vsize=15024148 memory=280238026249488 CPUtime=0.14 cores=0,2,4,6
/proc/2115/task/2121/stat : 2121 (java) S 2112 2115 32649 0 -1 1077944384 109 0 0 0 11 3 0 0 20 0 15 0 73973817 15384727552 779728 33554432000 4194304 4196468 140720421786064 140675711753360 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2122] ppid=2112 vsize=15024148 memory=3118912 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2122/stat : 2122 (java) S 2112 2115 32649 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 73973819 15384727552 779728 33554432000 4194304 4196468 140720421786064 140675592955888 140676253256322 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2123] ppid=2112 vsize=15024148 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2123/stat : 2123 (java) S 2112 2115 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 73973819 15384727552 779728 33554432000 4194304 4196468 140720421786064 140674842223584 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2124] ppid=2112 vsize=15024148 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2124/stat : 2124 (java) S 2112 2115 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73973820 15384727552 779728 33554432000 4194304 4196468 140720421786064 140674607342576 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2125] ppid=2112 vsize=15024148 memory=22484 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2125/stat : 2125 (java) S 2112 2115 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73973822 15384727552 779728 33554432000 4194304 4196468 140720421786064 140674232834256 140676253263771 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2126] ppid=2112 vsize=15024148 memory=2206992 CPUtime=2.68 cores=0,2,4,6
/proc/2115/task/2126/stat : 2126 (java) S 2112 2115 32649 0 -1 1077944384 3897 0 0 0 268 0 0 0 20 0 15 0 73973822 15384727552 779728 33554432000 4194304 4196468 140720421786064 140675591903728 140676253256322 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2127] ppid=2112 vsize=15024148 memory=280238026129648 CPUtime=3.14 cores=0,2,4,6
/proc/2115/task/2127/stat : 2127 (java) S 2112 2115 32649 0 -1 1077944384 3008 0 0 0 313 1 0 0 20 0 15 0 73973822 15384727552 779728 33554432000 4194304 4196468 140720421786064 140675590851184 140676253256322 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2128] ppid=2112 vsize=15024148 memory=3118616 CPUtime=1.03 cores=0,2,4,6
/proc/2115/task/2128/stat : 2128 (java) S 2112 2115 32649 0 -1 1077944384 3938 0 0 0 102 1 0 0 20 0 15 0 73973822 15384727552 779728 33554432000 4194304 4196468 140720421786064 140675589798640 140676253256322 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2129] ppid=2112 vsize=15024148 memory=280238026830528 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2129/stat : 2129 (java) S 2112 2115 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73973822 15384727552 779728 33554432000 4194304 4196468 140720421786064 140673734929504 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2130] ppid=2112 vsize=15024148 memory=11220 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2130/stat : 2130 (java) S 2112 2115 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73973822 15384727552 779728 33554432000 4194304 4196468 140720421786064 140675588745520 140676253256322 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
Current children cumulated CPU time: 20.02 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 3118912 KiB
[startup+25.5008 s]
/proc/loadavg: 3.67 4.33 3.99 3/220 2130
/proc/meminfo: memFree=17016316/32770624 swapFree=67108860/67108860
[pid=2115] ppid=2112 vsize=15026264 memory=3671344 CPUtime=39.57 cores=0,2,4,6
/proc/2115/stat : 2115 (java) S 2112 2115 32649 0 -1 1077944320 52104 0 0 0 3821 136 0 0 20 0 15 0 73973816 15386894336 917836 33554432000 4194304 4196468 140720421786064 140720421768608 140676253245175 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
/proc/2115/statm: 3756566 917836 3257 1 0 3717422 0
[pid=2115/tid=2117] ppid=2112 vsize=15026264 memory=3572548 CPUtime=24.42 cores=0,2,4,6
/proc/2115/task/2117/stat : 2117 (java) R 2112 2115 32649 0 -1 4202560 21386 0 0 0 2392 50 0 0 20 0 15 0 73973816 15386894336 917836 33554432000 4194304 4196468 140720421786064 140676225079088 140675757378700 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2118] ppid=2112 vsize=15026264 memory=3118660 CPUtime=0.99 cores=0,2,4,6
/proc/2115/task/2118/stat : 2118 (java) S 2112 2115 32649 0 -1 1077944384 780 0 0 0 80 19 0 0 20 0 15 0 73973817 15386894336 917836 33554432000 4194304 4196468 140720421786064 140676257487632 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2119] ppid=2112 vsize=15026264 memory=3671344 CPUtime=1.01 cores=0,2,4,6
/proc/2115/task/2119/stat : 2119 (java) S 2112 2115 32649 0 -1 1077944384 680 0 0 0 82 19 0 0 20 0 15 0 73973817 15386894336 917836 33554432000 4194304 4196468 140720421786064 140675713858448 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2120] ppid=2112 vsize=15026264 memory=4136 CPUtime=1.01 cores=0,2,4,6
/proc/2115/task/2120/stat : 2120 (java) S 2112 2115 32649 0 -1 1077944384 475 0 0 0 82 19 0 0 20 0 15 0 73973817 15386894336 917836 33554432000 4194304 4196468 140720421786064 140675712805904 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2121] ppid=2112 vsize=15026264 memory=4136 CPUtime=0.99 cores=0,2,4,6
/proc/2115/task/2121/stat : 2121 (java) S 2112 2115 32649 0 -1 1077944384 577 0 0 0 80 19 0 0 20 0 15 0 73973817 15386894336 917836 33554432000 4194304 4196468 140720421786064 140675711753360 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2122] ppid=2112 vsize=15026264 memory=4100 CPUtime=0.01 cores=0,2,4,6
/proc/2115/task/2122/stat : 2122 (java) S 2112 2115 32649 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 15 0 73973819 15386894336 917836 33554432000 4194304 4196468 140720421786064 140675592955888 140676253256322 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2123] ppid=2112 vsize=15026264 memory=280238026401440 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2123/stat : 2123 (java) S 2112 2115 32649 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 73973819 15386894336 917836 33554432000 4194304 4196468 140720421786064 140674842223584 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2124] ppid=2112 vsize=15026264 memory=2321380415167657785 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2124/stat : 2124 (java) S 2112 2115 32649 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 73973820 15386894336 917836 33554432000 4194304 4196468 140720421786064 140674607342592 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2125] ppid=2112 vsize=15026264 memory=3575076 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2125/stat : 2125 (java) S 2112 2115 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73973822 15386894336 917836 33554432000 4194304 4196468 140720421786064 140674232834256 140676253263771 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2126] ppid=2112 vsize=15026264 memory=1228 CPUtime=4.65 cores=0,2,4,6
/proc/2115/task/2126/stat : 2126 (java) S 2112 2115 32649 0 -1 1077944384 10893 0 0 0 464 1 0 0 20 0 15 0 73973822 15386894336 917836 33554432000 4194304 4196468 140720421786064 140675591903728 140676253256322 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2127] ppid=2112 vsize=15026264 memory=1200 CPUtime=4.97 cores=0,2,4,6
/proc/2115/task/2127/stat : 2127 (java) S 2112 2115 32649 0 -1 1077944384 6595 0 0 0 496 1 0 0 20 0 15 0 73973822 15386894336 917836 33554432000 4194304 4196468 140720421786064 140675590851184 140676253256322 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2128] ppid=2112 vsize=15026264 memory=3574732 CPUtime=1.42 cores=0,2,4,6
/proc/2115/task/2128/stat : 2128 (java) S 2112 2115 32649 0 -1 1077944384 8405 0 0 0 140 2 0 0 20 0 15 0 73973822 15386894336 917836 33554432000 4194304 4196468 140720421786064 140675589798640 140676253256322 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2129] ppid=2112 vsize=15026264 memory=3575068 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2129/stat : 2129 (java) S 2112 2115 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73973822 15386894336 917836 33554432000 4194304 4196468 140720421786064 140673734929504 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2130] ppid=2112 vsize=15026264 memory=2436 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2130/stat : 2130 (java) S 2112 2115 32649 0 -1 1077944384 779 0 0 0 0 0 0 0 20 0 15 0 73973822 15386894336 917836 33554432000 4194304 4196468 140720421786064 140675588745520 140676253256322 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
Current children cumulated CPU time: 39.57 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 3671344 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+33.0008 s]*
/proc/loadavg: 3.54 4.29 3.98 3/225 2136
/proc/meminfo: memFree=16744748/32770624 swapFree=67108860/67108860
[pid=2115] ppid=2112 vsize=15683912 memory=3738116 CPUtime=47.42 cores=0,2,4,6
/proc/2115/stat : 2115 (java) S 2112 2115 32649 0 -1 1077944320 53201 0 0 0 4591 151 0 0 20 0 19 0 73973816 16060325888 934529 33554432000 4194304 4196468 140720421786064 140720421768608 140676253245175 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
/proc/2115/statm: 3920978 934529 3263 1 0 3881834 0
[pid=2131] ppid=2115 vsize=215124 memory=165860 CPUtime=1.59 cores=0,2,4,6
/proc/2131/stat : 2131 (minisat_release) R 2115 2115 32649 0 -1 4202496 31737 0 0 0 153 6 0 0 20 0 1 0 73976956 220286976 41465 33554432000 4194304 4308513 140736976680176 140736976676984 139800658737707 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6409496 6410680 22814720 140736976683697 140736976684206 140736976684206 140736976687045 0
/proc/2131/statm: 53781 41465 331 28 0 50021 0
[pid=2115/tid=2117] ppid=2112 vsize=15683912 memory=7022364632946311227 CPUtime=29.91 cores=0,2,4,6
/proc/2115/task/2117/stat : 2117 (java) S 2112 2115 32649 0 -1 1077944384 21902 0 0 0 2935 56 0 0 20 0 19 0 73973816 16060325888 934529 33554432000 4194304 4196468 140720421786064 140676225084416 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2118] ppid=2112 vsize=15683912 memory=4294977874 CPUtime=1.42 cores=0,2,4,6
/proc/2115/task/2118/stat : 2118 (java) S 2112 2115 32649 0 -1 1077944384 825 0 0 0 121 21 0 0 20 0 19 0 73973817 16060325888 934529 33554432000 4194304 4196468 140720421786064 140676257487632 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2119] ppid=2112 vsize=15683912 memory=445446 CPUtime=1.43 cores=0,2,4,6
/proc/2115/task/2119/stat : 2119 (java) S 2112 2115 32649 0 -1 1077944384 718 0 0 0 122 21 0 0 20 0 19 0 73973817 16060325888 934529 33554432000 4194304 4196468 140720421786064 140675713858448 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2120] ppid=2112 vsize=15683912 memory=7812726516167831618 CPUtime=1.43 cores=0,2,4,6
/proc/2115/task/2120/stat : 2120 (java) S 2112 2115 32649 0 -1 1077944384 523 0 0 0 122 21 0 0 20 0 19 0 73973817 16060325888 934529 33554432000 4194304 4196468 140720421786064 140675712805904 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2121] ppid=2112 vsize=15683912 memory=3472468415398945456 CPUtime=1.42 cores=0,2,4,6
/proc/2115/task/2121/stat : 2121 (java) S 2112 2115 32649 0 -1 1077944384 646 0 0 0 121 21 0 0 20 0 19 0 73973817 16060325888 934529 33554432000 4194304 4196468 140720421786064 140675711753360 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2122] ppid=2112 vsize=15683912 memory=3472328296227680303 CPUtime=0.02 cores=0,2,4,6
/proc/2115/task/2122/stat : 2122 (java) S 2112 2115 32649 0 -1 1077944384 205 0 0 0 2 0 0 0 20 0 19 0 73973819 16060325888 934529 33554432000 4194304 4196468 140720421786064 140675592955888 140676253256322 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2123] ppid=2112 vsize=15683912 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2123/stat : 2123 (java) S 2112 2115 32649 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 73973819 16060325888 934529 33554432000 4194304 4196468 140720421786064 140674842223584 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2124] ppid=2112 vsize=15683912 memory=-6941274563296925119 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2124/stat : 2124 (java) S 2112 2115 32649 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 73973820 16060325888 934529 33554432000 4194304 4196468 140720421786064 140674607342592 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2125] ppid=2112 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2125/stat : 2125 (java) S 2112 2115 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73973822 16060325888 934529 33554432000 4194304 4196468 140720421786064 140674232834256 140676253263771 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2126] ppid=2112 vsize=15683912 memory=7589420999132590127 CPUtime=4.93 cores=0,2,4,6
/proc/2115/task/2126/stat : 2126 (java) S 2112 2115 32649 0 -1 1077944384 10952 0 0 0 492 1 0 0 20 0 19 0 73973822 16060325888 934529 33554432000 4194304 4196468 140720421786064 140675591903728 140676253256322 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2127] ppid=2112 vsize=15683912 memory=140119171266176 CPUtime=5.25 cores=0,2,4,6
/proc/2115/task/2127/stat : 2127 (java) S 2112 2115 32649 0 -1 1077944384 6634 0 0 0 524 1 0 0 20 0 19 0 73973822 16060325888 934529 33554432000 4194304 4196468 140720421786064 140675590851184 140676253256322 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2128] ppid=2112 vsize=15683912 memory=40256 CPUtime=1.49 cores=0,2,4,6
/proc/2115/task/2128/stat : 2128 (java) S 2112 2115 32649 0 -1 1077944384 8611 0 0 0 146 3 0 0 20 0 19 0 73973822 16060325888 934529 33554432000 4194304 4196468 140720421786064 140675589798640 140676253256322 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2129] ppid=2112 vsize=15683912 memory=3689771517025003936 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2129/stat : 2129 (java) S 2112 2115 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73973822 16060325888 934529 33554432000 4194304 4196468 140720421786064 140673734929504 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2130] ppid=2112 vsize=15683912 memory=3756055004066231093 CPUtime=0.01 cores=0,2,4,6
/proc/2115/task/2130/stat : 2130 (java) S 2112 2115 32649 0 -1 1077944384 779 0 0 0 0 1 0 0 20 0 19 0 73973822 16060325888 934529 33554432000 4194304 4196468 140720421786064 140675588745520 140676253256322 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2132] ppid=2112 vsize=15683912 memory=7881974866149665125 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2132/stat : 2132 (java) S 2112 2115 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 73976956 16060325888 934529 33554432000 4194304 4196468 140720421786064 140676083979328 140676253269785 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2134] ppid=2112 vsize=15683912 memory=7524503900901105746 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2134/stat : 2134 (java) S 2112 2115 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 73976957 16060325888 934529 33554432000 4194304 4196468 140720421786064 140673198042672 140676253267101 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2135] ppid=2112 vsize=15683912 memory=2983474677292557676 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2135/stat : 2135 (java) S 2112 2115 32649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 73976957 16060325888 934529 33554432000 4194304 4196468 140720421786064 140672929611440 140676253267101 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
[pid=2115/tid=2136] ppid=2112 vsize=15683912 memory=3473692833983583497 CPUtime=0 cores=0,2,4,6
/proc/2115/task/2136/stat : 2136 (java) S 2112 2115 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 73976959 16060325888 934529 33554432000 4194304 4196468 140720421786064 140673332272672 140676253255381 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32514048 140720421790707 140720421790985 140720421790985 140720421793743 0
Current children cumulated CPU time: 49.01 s
Current children cumulated vsize: 15899036 KiB
Current children cumulated memory: 3903976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+33.0522 s]
# the end of solver process 2115 was just reported to runsolver
# cumulated CPU time of all completed processes: user=47.4535 s, system=1.62315 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 33.0523
CPU time (s): 49.0766
CPU user time (s): 47.4535
CPU system time (s): 1.62315
CPU usage (%): 148.482
Max. virtual memory (cumulated for all children) (KiB): 15899036
Max. memory (cumulated for all children) (KiB): 3903976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.4535
system time used= 1.62315
maximum resident set size= 3740196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85037
page faults= 0
swaps= 0
block input operations= 0
block output operations= 82152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6563
involuntary context switches= 156
# summary of solver processes directly reported to runsolver:
# pid: 2115
# total CPU time (s): 49.0766
# total CPU user time (s): 47.4535
# total CPU system time (s): 1.62315
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.193772 second user time and 0.384146 second system time
The end