0.67/0.52
0.67/0.53 scop both+minisat_release (2018-06-13)
0.67/0.53
0.67/0.55 c BEGIN-Prog: Mon Jul 23 09:56:00 CEST 2018
0.67/0.55 c PID: 9339
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.56 c (0,0) Parsing Begin
1.42/0.96 c (0,0) Parsing End
1.42/0.96 c (0,0) CSP: 256 int (0 aux), 0 bool (0 aux), 90 ctr, max domain size 16
1.42/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/0.96 c (0,0) Constraint Name Generate Begin
1.42/0.97 c (0,0) Ctr:HOME/instance-4292816-1532332559.xml,AllDifferent:IntVar
1.42/0.97 c (0,0) Constraint Name Generate End
1.42/0.97 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.42/0.97 c (0,0) CSP to CSPinCNF Begin
2.38/1.32 c (0,0) translated 9 (10%) constraints
2.38/1.40 c (0,0) translated 18 (20%) constraints
2.73/1.46 c (0,0) translated 27 (30%) constraints
3.03/1.50 c (0,0) translated 36 (40%) constraints
3.03/1.52 c (0,0) translated 45 (50%) constraints
3.03/1.53 c (1,0) translated 54 (60%) constraints
3.03/1.54 c (1,1) translated 63 (70%) constraints
3.03/1.55 c (1,1) translated 72 (80%) constraints
3.03/1.58 c (1,1) translated 81 (90%) constraints
3.03/1.59 c (1,1) translated 90 (100%) constraints
3.67/1.70 c (1,1) STATISTICS1:HOME/instance-4292816-1532332559.xml,AllDifferent:IntVar,256,6500,16,16,16,2,16:6320,16:14680,16:68;15:8;14:8;13:8;12:8;11:8;10:8;9:8;8:8;7:8;6:8;5:8;4:8;3:8;2:6328,2:6320;1:2040,
3.67/1.70 c (1,1) ===========================================
3.67/1.70 c (1,1) Both Encoding selects:
3.67/1.71 c (1,1) Order
3.67/1.71 c (1,1) ===========================================
3.67/1.78 c (1,1) translated 650 (10%) constraints
4.05/1.82 c (1,1) translated 1300 (20%) constraints
4.05/1.86 c (1,1) translated 1950 (30%) constraints
4.05/1.90 c (1,1) translated 2600 (40%) constraints
4.41/1.94 c (1,1) translated 3250 (50%) constraints
4.41/1.97 c (1,1) translated 3900 (60%) constraints
4.41/2.00 c (1,1) translated 4550 (70%) constraints
4.72/2.03 c (1,1) translated 5200 (80%) constraints
4.72/2.05 c (1,1) translated 5850 (90%) constraints
4.72/2.07 c (1,1) translated 6500 (100%) constraints
4.72/2.08 c (1,1) CSP to CSPinCNF End
4.72/2.08 c (1,1) CSP: 256 int (0 aux), 0 bool (0 aux), 6500 ctr, max domain size 16
4.72/2.08 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.72/2.08 c (1,1) CSPinCNF Propagation Begin
5.03/2.17 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
5.03/2.17 c (1,1) CSPinCNF Propagation End
5.03/2.17 c (1,1) CSP: 256 int (0 aux), 0 bool (0 aux), 6500 ctr, max domain size 16
5.03/2.17 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.03/2.17 c (1,1) Simplify CSPinCNF Begin
6.26/2.57 c (2,2) Simplify CSPinCNF End
6.26/2.58 c (2,2) CSP: 256 int (0 aux), 12640 bool (12640 aux), 19140 ctr, max domain size 16
6.26/2.58 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
6.26/2.58 c (2,2) Calculate Precise Domain Begin
6.26/2.58 c (2,2) 0 values are removed by re-calculation
6.26/2.58 c (2,2) Calculate Precise Domain End
6.26/2.58 c (2,2) CSP: 256 int (0 aux), 12640 bool (12640 aux), 19140 ctr, max domain size 16
6.26/2.58 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
6.26/2.58 c (2,2) CSPinCNF to SatSolver Begin
7.25/2.85 c (2,2) 1914 (10 %) CSP clauses are encoded (16480 SAT variables, 24517 SAT clauses)
7.56/2.96 c (2,2) 3828 (20 %) CSP clauses are encoded (16480 SAT variables, 45481 SAT clauses)
7.89/3.06 c (2,2) 5742 (30 %) CSP clauses are encoded (16480 SAT variables, 66430 SAT clauses)
8.16/3.13 c (2,2) 7656 (40 %) CSP clauses are encoded (16480 SAT variables, 87364 SAT clauses)
8.40/3.20 c (2,2) 9570 (50 %) CSP clauses are encoded (16480 SAT variables, 108313 SAT clauses)
8.40/3.27 c (2,2) 11484 (60 %) CSP clauses are encoded (16480 SAT variables, 129277 SAT clauses)
8.55/3.33 c (2,2) 13398 (70 %) CSP clauses are encoded (16480 SAT variables, 150151 SAT clauses)
8.55/3.39 c (2,2) 15312 (80 %) CSP clauses are encoded (16480 SAT variables, 170860 SAT clauses)
8.68/3.46 c (2,2) 17226 (90 %) CSP clauses are encoded (16480 SAT variables, 191554 SAT clauses)
8.79/3.52 c (2,2) 19140 (100 %) CSP clauses are encoded (16480 SAT variables, 212323 SAT clauses)
8.79/3.52 c (2,2) CSPinCNF to SatSolver End
8.79/3.52 c (2,2) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
9.05/3.66 c (3,3) STATISTICS2:HOME/instance-4292816-1532332559.xml,AllDifferent:IntVar,12896,19140,16,16,16,2,16:12640,16:27320;2:25280,16:68;15:8;14:8;13:8;12:8;11:8;10:8;9:8;8:8;7:8;6:8;5:8;4:8;3:8;2:18968,2:12640;1:27320,
9.05/3.66 c (3,3) SatSolver.solve Begin
9.05/3.66 c (3,3) 16480 bool, 212324 clause
9.05/3.66 c (3,3) 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-4292816-1532332559.xml-scop-9339.cnf HOME/instance-4292816-1532332559.xml-scop-9339.cnf.out
2520.01/2512.80 c (2512,3) SatSolver is killed by some reasons.
2520.01/2512.80 c (2512,3) 0,0,1,1,2,2,2,TO,TO,STOP-AFTER(DIMACS)
2520.01/2512.80 s UNKNOWN
2520.01/2512.80 c END-Prog: Mon Jul 23 10:37:52 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 (5819 MiB free)
memory of node 1: 16384 MiB (10168 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292816-1532332559/watcher-4292816-1532332559 -o /tmp/evaluation-result-4292816-1532332559/solver-4292816-1532332559 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8950 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4292816-1532332559.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
Current StackSize limit: 8192 KiB
solver pid=9339, runsolver pid=9336
[startup+0.100058 s]*
/proc/loadavg: 2.09 2.04 1.97 4/220 9354
/proc/meminfo: memFree=16312928/32770624 swapFree=67108860/67108860
[pid=9339] ppid=9336 vsize=15011656 memory=71556 CPUtime=0.12 cores=0,2,4,6
/proc/9339/stat : 9339 (java) S 9336 9339 8919 0 -1 1077944320 6085 0 0 0 10 2 0 0 20 0 15 0 50819063 15371935744 17889 33554432000 4194304 4196468 140734034725968 140734034708512 139625563393783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
/proc/9339/statm: 3752914 17889 2774 1 0 3715374 0
[pid=9339/tid=9341] ppid=9336 vsize=15011656 memory=4138986864094843795 CPUtime=0.09 cores=0,2,4,6
/proc/9339/task/9341/stat : 9341 (java) R 9336 9339 8919 0 -1 4202560 4231 0 0 0 8 1 0 0 20 0 15 0 50819063 15371935744 17955 33554432000 4194304 4196468 140734034725968 139625535205768 139625543672359 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9342] ppid=9336 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9342/stat : 9342 (java) S 9336 9339 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50819065 15371935744 17955 33554432000 4194304 4196468 140734034725968 139625567636240 139625563403989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9343] ppid=9336 vsize=15011656 memory=139998436005504 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9343/stat : 9343 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50819065 15371935744 17955 33554432000 4194304 4196468 140734034725968 139625366412176 139625563403989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9344] ppid=9336 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9344/stat : 9344 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50819065 15371935744 17955 33554432000 4194304 4196468 140734034725968 139625365359632 139625563403989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9345] ppid=9336 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9345/stat : 9345 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50819065 15371935744 17955 33554432000 4194304 4196468 140734034725968 139625364307088 139625563403989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9346] ppid=9336 vsize=15011656 memory=139998436005504 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9346/stat : 9346 (java) S 9336 9339 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50819067 15371935744 18021 33554432000 4194304 4196468 140734034725968 139624533927920 139625563404930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9347] ppid=9336 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9347/stat : 9347 (java) S 9336 9339 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50819067 15371935744 18021 33554432000 4194304 4196468 140734034725968 139624018076576 139625563403989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9348] ppid=9336 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9348/stat : 9348 (java) S 9336 9339 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50819067 15371935744 18021 33554432000 4194304 4196468 140734034725968 139623883854832 139625563403989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9349] ppid=9336 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9349/stat : 9349 (java) S 9336 9339 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50819070 15371935744 18021 33554432000 4194304 4196468 140734034725968 139623509350608 139625563412379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9350] ppid=9336 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9350/stat : 9350 (java) S 9336 9339 8919 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 50819070 15371935744 18021 33554432000 4194304 4196468 140734034725968 139624532875760 139625563404930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9351] ppid=9336 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9351/stat : 9351 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50819070 15371935744 18021 33554432000 4194304 4196468 140734034725968 139624531823216 139625563404930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9352] ppid=9336 vsize=15011656 memory=139998436005504 CPUtime=0.01 cores=0,2,4,6
/proc/9339/task/9352/stat : 9352 (java) S 9336 9339 8919 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 15 0 50819070 15371935744 18021 33554432000 4194304 4196468 140734034725968 139624530770672 139625563404930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9353] ppid=9336 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9353/stat : 9353 (java) S 9336 9339 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50819070 15371935744 18021 33554432000 4194304 4196468 140734034725968 139623011445856 139625563403989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9354] ppid=9336 vsize=15011656 memory=139998436005504 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9354/stat : 9354 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50819070 15371935744 18021 33554432000 4194304 4196468 140734034725968 139624529717552 139625563404930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71556 KiB
[startup+0.21042 s]*
/proc/loadavg: 2.09 2.04 1.97 3/220 9354
/proc/meminfo: memFree=16298820/32770624 swapFree=67108860/67108860
[pid=9339] ppid=9336 vsize=15011656 memory=84636 CPUtime=0.26 cores=0,2,4,6
/proc/9339/stat : 9339 (java) S 9336 9339 8919 0 -1 1077944320 9609 0 0 0 23 3 0 0 20 0 15 0 50819063 15371935744 21159 33554432000 4194304 4196468 140734034725968 140734034708512 139625563393783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
/proc/9339/statm: 3752914 21159 2878 1 0 3715374 0
[pid=9339/tid=9341] ppid=9336 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/9339/task/9341/stat : 9341 (java) R 9336 9339 8919 0 -1 4202560 7484 0 0 0 18 2 0 0 20 0 15 0 50819063 15371935744 21159 33554432000 4194304 4196468 140734034725968 139625535220176 139625041625623 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9342] ppid=9336 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9342/stat : 9342 (java) S 9336 9339 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50819065 15371935744 21159 33554432000 4194304 4196468 140734034725968 139625567636240 139625563403989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9343] ppid=9336 vsize=15011656 memory=15679624861193880 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9343/stat : 9343 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50819065 15371935744 21159 33554432000 4194304 4196468 140734034725968 139625366412176 139625563403989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9344] ppid=9336 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9344/stat : 9344 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50819065 15371935744 21159 33554432000 4194304 4196468 140734034725968 139625365359632 139625563403989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9345] ppid=9336 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9345/stat : 9345 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50819065 15371935744 21159 33554432000 4194304 4196468 140734034725968 139625364307088 139625563403989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9346] ppid=9336 vsize=15011656 memory=139998436005504 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9346/stat : 9346 (java) S 9336 9339 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50819067 15371935744 21159 33554432000 4194304 4196468 140734034725968 139624533927920 139625563404930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9347] ppid=9336 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9347/stat : 9347 (java) S 9336 9339 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50819067 15371935744 21159 33554432000 4194304 4196468 140734034725968 139624018076576 139625563403989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9348] ppid=9336 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9348/stat : 9348 (java) S 9336 9339 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50819067 15371935744 21159 33554432000 4194304 4196468 140734034725968 139623883854832 139625563403989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9349] ppid=9336 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9349/stat : 9349 (java) S 9336 9339 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50819070 15371935744 21159 33554432000 4194304 4196468 140734034725968 139623509350608 139625563412379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9350] ppid=9336 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9350/stat : 9350 (java) R 9336 9339 8919 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 15 0 50819070 15371935744 21159 33554432000 4194304 4196468 140734034725968 139624532875760 139625563404930 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9351] ppid=9336 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9351/stat : 9351 (java) S 9336 9339 8919 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 50819070 15371935744 21159 33554432000 4194304 4196468 140734034725968 139624531823216 139625563404930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9352] ppid=9336 vsize=15011656 memory=139998436005504 CPUtime=0.03 cores=0,2,4,6
/proc/9339/task/9352/stat : 9352 (java) S 9336 9339 8919 0 -1 1077944384 300 0 0 0 3 0 0 0 20 0 15 0 50819070 15371935744 21159 33554432000 4194304 4196468 140734034725968 139624530770672 139625563404930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9353] ppid=9336 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9353/stat : 9353 (java) S 9336 9339 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50819070 15371935744 21159 33554432000 4194304 4196468 140734034725968 139623011445856 139625563403989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9354] ppid=9336 vsize=15011656 memory=139998436005504 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9354/stat : 9354 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50819070 15371935744 21159 33554432000 4194304 4196468 140734034725968 139624529717552 139625563404930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84636 KiB
[startup+0.310312 s]*
/proc/loadavg: 2.09 2.04 1.97 4/220 9354
/proc/meminfo: memFree=16295904/32770624 swapFree=67108860/67108860
[pid=9339] ppid=9336 vsize=15011656 memory=88108 CPUtime=0.42 cores=0,2,4,6
/proc/9339/stat : 9339 (java) S 9336 9339 8919 0 -1 1077944320 10141 0 0 0 39 3 0 0 20 0 15 0 50819063 15371935744 22027 33554432000 4194304 4196468 140734034725968 140734034708512 139625563393783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
/proc/9339/statm: 3752914 22027 2975 1 0 3715374 0
[pid=9339/tid=9341] ppid=9336 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/9339/task/9341/stat : 9341 (java) R 9336 9339 8919 0 -1 4202560 7853 0 0 0 27 2 0 0 20 0 15 0 50819063 15371935744 22027 33554432000 4194304 4196468 140734034725968 139625535208800 139625042977261 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9342] ppid=9336 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9342/stat : 9342 (java) S 9336 9339 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50819065 15371935744 22027 33554432000 4194304 4196468 140734034725968 139625567636240 139625563403989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9343] ppid=9336 vsize=15011656 memory=139998436015318 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9343/stat : 9343 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50819065 15371935744 22027 33554432000 4194304 4196468 140734034725968 139625366412176 139625563403989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9344] ppid=9336 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9344/stat : 9344 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50819065 15371935744 22027 33554432000 4194304 4196468 140734034725968 139625365359632 139625563403989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9345] ppid=9336 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9345/stat : 9345 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50819065 15371935744 22027 33554432000 4194304 4196468 140734034725968 139625364307088 139625563403989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9346] ppid=9336 vsize=15011656 memory=139998436005504 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9346/stat : 9346 (java) S 9336 9339 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50819067 15371935744 22027 33554432000 4194304 4196468 140734034725968 139624533927920 139625563404930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9347] ppid=9336 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9347/stat : 9347 (java) S 9336 9339 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50819067 15371935744 22027 33554432000 4194304 4196468 140734034725968 139624018076576 139625563403989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9348] ppid=9336 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9348/stat : 9348 (java) S 9336 9339 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50819067 15371935744 22027 33554432000 4194304 4196468 140734034725968 139623883854832 139625563403989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9349] ppid=9336 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9349/stat : 9349 (java) S 9336 9339 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50819070 15371935744 22027 33554432000 4194304 4196468 140734034725968 139623509350608 139625563412379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9350] ppid=9336 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9339/task/9350/stat : 9350 (java) R 9336 9339 8919 0 -1 4202560 383 0 0 0 2 0 0 0 20 0 15 0 50819070 15371935744 22027 33554432000 4194304 4196468 140734034725968 139624532875760 139625549408164 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9351] ppid=9336 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9339/task/9351/stat : 9351 (java) R 9336 9339 8919 0 -1 1077944384 229 0 0 0 2 0 0 0 20 0 15 0 50819070 15371935744 22027 33554432000 4194304 4196468 140734034725968 139624531823216 139625563404930 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9352] ppid=9336 vsize=15011656 memory=139998436005504 CPUtime=0.07 cores=0,2,4,6
/proc/9339/task/9352/stat : 9352 (java) R 9336 9339 8919 0 -1 4202560 318 0 0 0 7 0 0 0 20 0 15 0 50819070 15371935744 22027 33554432000 4194304 4196468 140734034725968 139624530770672 139625542354741 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9353] ppid=9336 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9353/stat : 9353 (java) S 9336 9339 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50819070 15371935744 22027 33554432000 4194304 4196468 140734034725968 139623011445856 139625563403989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9354] ppid=9336 vsize=15011656 memory=139998436005504 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9354/stat : 9354 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50819070 15371935744 22027 33554432000 4194304 4196468 140734034725968 139624529717552 139625563404930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88108 KiB
[startup+0.700704 s]
/proc/loadavg: 2.09 2.04 1.97 3/220 9354
/proc/meminfo: memFree=16271752/32770624 swapFree=67108860/67108860
[pid=9339] ppid=9336 vsize=15020052 memory=127756 CPUtime=1.02 cores=0,2,4,6
/proc/9339/stat : 9339 (java) S 9336 9339 8919 0 -1 1077944320 17154 0 0 0 96 6 0 0 20 0 15 0 50819063 15380533248 31939 33554432000 4194304 4196468 140734034725968 140734034708512 139625563393783 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
/proc/9339/statm: 3755013 31939 3155 1 0 3716398 0
[pid=9339/tid=9341] ppid=9336 vsize=15020052 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/9339/task/9341/stat : 9341 (java) D 9336 9339 8919 0 -1 1077944384 14426 0 0 0 63 4 0 0 20 0 15 0 50819063 15380533248 31939 33554432000 4194304 4196468 140734034725968 139625535210400 139625556073005 0 4 0 25189583 18446744072101764644 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9342] ppid=9336 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9342/stat : 9342 (java) S 9336 9339 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50819065 15380533248 31939 33554432000 4194304 4196468 140734034725968 139625567636240 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9343] ppid=9336 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9343/stat : 9343 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50819065 15380533248 31939 33554432000 4194304 4196468 140734034725968 139625366412176 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9344] ppid=9336 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9344/stat : 9344 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50819065 15380533248 31939 33554432000 4194304 4196468 140734034725968 139625365359632 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9345] ppid=9336 vsize=15020052 memory=180139048581089 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9345/stat : 9345 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50819065 15380533248 31939 33554432000 4194304 4196468 140734034725968 139625364307088 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9346] ppid=9336 vsize=15020052 memory=268934 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9346/stat : 9346 (java) S 9336 9339 8919 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 50819067 15380533248 31939 33554432000 4194304 4196468 140734034725968 139624533927920 139625563404930 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9347] ppid=9336 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9347/stat : 9347 (java) S 9336 9339 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 50819067 15380533248 31939 33554432000 4194304 4196468 140734034725968 139624018076576 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9348] ppid=9336 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9348/stat : 9348 (java) S 9336 9339 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50819067 15380533248 31939 33554432000 4194304 4196468 140734034725968 139623883854832 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9349] ppid=9336 vsize=15020052 memory=7809523229951467570 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9349/stat : 9349 (java) S 9336 9339 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50819070 15380533248 31939 33554432000 4194304 4196468 140734034725968 139623509350608 139625563412379 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9350] ppid=9336 vsize=15020052 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/9339/task/9350/stat : 9350 (java) S 9336 9339 8919 0 -1 1077944384 629 0 0 0 10 0 0 0 20 0 15 0 50819070 15380533248 31939 33554432000 4194304 4196468 140734034725968 139624532875760 139625563404930 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9351] ppid=9336 vsize=15020052 memory=-3472574513799858009 CPUtime=0.05 cores=0,2,4,6
/proc/9339/task/9351/stat : 9351 (java) S 9336 9339 8919 0 -1 1077944384 293 0 0 0 5 0 0 0 20 0 15 0 50819070 15380533248 31939 33554432000 4194304 4196468 140734034725968 139624531823216 139625563404930 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9352] ppid=9336 vsize=15020052 memory=6944656592387989600 CPUtime=0.16 cores=0,2,4,6
/proc/9339/task/9352/stat : 9352 (java) S 9336 9339 8919 0 -1 1077944384 444 0 0 0 16 0 0 0 20 0 15 0 50819070 15380533248 31939 33554432000 4194304 4196468 140734034725968 139624530770672 139625563404930 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9353] ppid=9336 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9353/stat : 9353 (java) S 9336 9339 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50819070 15380533248 31939 33554432000 4194304 4196468 140734034725968 139623011445856 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9354] ppid=9336 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9354/stat : 9354 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50819070 15380533248 31939 33554432000 4194304 4196468 140734034725968 139624529717552 139625563404930 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 127756 KiB
[startup+1.50162 s]
/proc/loadavg: 2.00 2.02 1.97 3/220 9354
/proc/meminfo: memFree=16245636/32770624 swapFree=67108860/67108860
[pid=9339] ppid=9336 vsize=15022100 memory=202224 CPUtime=3.03 cores=0,2,4,6
/proc/9339/stat : 9339 (java) S 9336 9339 8919 0 -1 1077944320 20962 0 0 0 294 9 0 0 20 0 15 0 50819063 15382630400 50556 33554432000 4194304 4196468 140734034725968 140734034708512 139625563393783 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
/proc/9339/statm: 3755525 50556 3203 1 0 3716910 0
[pid=9339/tid=9341] ppid=9336 vsize=15022100 memory=127 CPUtime=1.47 cores=0,2,4,6
/proc/9339/task/9341/stat : 9341 (java) R 9336 9339 8919 0 -1 4202560 15428 0 0 0 142 5 0 0 20 0 15 0 50819063 15382630400 50556 33554432000 4194304 4196468 140734034725968 139625535229048 139625042525503 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9342] ppid=9336 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9342/stat : 9342 (java) S 9336 9339 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50819065 15382630400 50556 33554432000 4194304 4196468 140734034725968 139625567636240 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9343] ppid=9336 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9343/stat : 9343 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50819065 15382630400 50556 33554432000 4194304 4196468 140734034725968 139625366412176 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9344] ppid=9336 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9344/stat : 9344 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50819065 15382630400 50556 33554432000 4194304 4196468 140734034725968 139625365359632 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9345] ppid=9336 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9345/stat : 9345 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50819065 15382630400 50556 33554432000 4194304 4196468 140734034725968 139625364307088 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9346] ppid=9336 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9346/stat : 9346 (java) S 9336 9339 8919 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 50819067 15382630400 50556 33554432000 4194304 4196468 140734034725968 139624533927920 139625563404930 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
################
# More data... #
################
/proc/meminfo: memFree=15111064/32770624 swapFree=67108860/67108860
[pid=9339] ppid=9336 vsize=15681864 memory=1114444 CPUtime=10.91 cores=0,2,4,6
/proc/9339/stat : 9339 (java) S 9336 9339 8919 0 -1 1077944320 28216 0 0 0 1009 82 0 0 20 0 19 0 50819063 16058228736 278611 33554432000 4194304 4196468 140734034725968 140734034708512 139625563393783 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
/proc/9339/statm: 3920466 278611 3234 1 0 3881322 0
[pid=9355] ppid=9339 vsize=134192 memory=101284 CPUtime=2438.56 cores=0,2,4,6
/proc/9355/stat : 9355 (minisat_release) R 9339 9339 8919 0 -1 4202496 275990 0 0 0 243740 116 0 0 20 0 1 0 50819431 137412608 25321 33554432000 4194304 4308513 140736551209152 140736551206600 4276080 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 18354176 140736551211697 140736551212206 140736551212206 140736551215045 0
/proc/9355/statm: 33548 25321 354 28 0 29788 0
[pid=9339/tid=9341] ppid=9336 vsize=15681864 memory=1114444 CPUtime=3.69 cores=0,2,4,6
/proc/9339/task/9341/stat : 9341 (java) S 9336 9339 8919 0 -1 1077944384 16638 0 0 0 349 20 0 0 20 0 19 0 50819063 16058228736 278611 33554432000 4194304 4196468 140734034725968 139625535233024 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9342] ppid=9336 vsize=15681864 memory=1114444 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9342/stat : 9342 (java) S 9336 9339 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 50819065 16058228736 278611 33554432000 4194304 4196468 140734034725968 139625567636240 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9343] ppid=9336 vsize=15681864 memory=1114444 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9343/stat : 9343 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 50819065 16058228736 278611 33554432000 4194304 4196468 140734034725968 139625366412176 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9344] ppid=9336 vsize=15681864 memory=1114444 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9344/stat : 9344 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 50819065 16058228736 278611 33554432000 4194304 4196468 140734034725968 139625365359632 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9345] ppid=9336 vsize=15681864 memory=1114444 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9345/stat : 9345 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 50819065 16058228736 278611 33554432000 4194304 4196468 140734034725968 139625364307088 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9346] ppid=9336 vsize=15681864 memory=55 CPUtime=0.05 cores=0,2,4,6
/proc/9339/task/9346/stat : 9346 (java) S 9336 9339 8919 0 -1 1077944384 6 0 0 0 2 3 0 0 20 0 19 0 50819067 16058228736 278611 33554432000 4194304 4196468 140734034725968 139624533927920 139625563404930 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9347] ppid=9336 vsize=15681864 memory=101284 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9347/stat : 9347 (java) S 9336 9339 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 50819067 16058228736 278611 33554432000 4194304 4196468 140734034725968 139624018076576 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9348] ppid=9336 vsize=15681864 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9348/stat : 9348 (java) S 9336 9339 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 50819067 16058228736 278611 33554432000 4194304 4196468 140734034725968 139623883854832 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9349] ppid=9336 vsize=15681864 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9349/stat : 9349 (java) S 9336 9339 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 50819070 16058228736 278611 33554432000 4194304 4196468 140734034725968 139623509350608 139625563412379 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9350] ppid=9336 vsize=15681864 memory=1712 CPUtime=2.34 cores=0,2,4,6
/proc/9339/task/9350/stat : 9350 (java) S 9336 9339 8919 0 -1 1077944384 4104 0 0 0 232 2 0 0 20 0 19 0 50819070 16058228736 278611 33554432000 4194304 4196468 140734034725968 139624532875760 139625563404930 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9351] ppid=9336 vsize=15681864 memory=5524 CPUtime=2.27 cores=0,2,4,6
/proc/9339/task/9351/stat : 9351 (java) S 9336 9339 8919 0 -1 1077944384 2334 0 0 0 225 2 0 0 20 0 19 0 50819070 16058228736 278611 33554432000 4194304 4196468 140734034725968 139624531823216 139625563404930 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9352] ppid=9336 vsize=15681864 memory=10644 CPUtime=1.1 cores=0,2,4,6
/proc/9339/task/9352/stat : 9352 (java) S 9336 9339 8919 0 -1 1077944384 3556 0 0 0 108 2 0 0 20 0 19 0 50819070 16058228736 278611 33554432000 4194304 4196468 140734034725968 139624530770672 139625563404930 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9353] ppid=9336 vsize=15681864 memory=16444 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9353/stat : 9353 (java) S 9336 9339 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 50819070 16058228736 278611 33554432000 4194304 4196468 140734034725968 139623011445856 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9354] ppid=9336 vsize=15681864 memory=4140 CPUtime=1.4 cores=0,2,4,6
/proc/9339/task/9354/stat : 9354 (java) S 9336 9339 8919 0 -1 1077944384 165 0 0 0 77 63 0 0 20 0 19 0 50819070 16058228736 278611 33554432000 4194304 4196468 140734034725968 139624529717552 139625563404930 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9356] ppid=9336 vsize=15681864 memory=1114444 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9356/stat : 9356 (java) S 9336 9339 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 50819432 16058228736 278611 33554432000 4194304 4196468 140734034725968 139624622433344 139625563418393 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9358] ppid=9336 vsize=15681864 memory=1114444 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9358/stat : 9358 (java) S 9336 9339 8919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 50819432 16058228736 278611 33554432000 4194304 4196468 140734034725968 139622474563120 139625563415709 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9359] ppid=9336 vsize=15681864 memory=101284 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9359/stat : 9359 (java) S 9336 9339 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 50819432 16058228736 278611 33554432000 4194304 4196468 140734034725968 139622206127792 139625563415709 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9360] ppid=9336 vsize=15681864 memory=-5059952977386882957 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9360/stat : 9360 (java) S 9336 9339 8919 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 50819434 16058228736 278611 33554432000 4194304 4196468 140734034725968 139622743006752 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
Current children cumulated CPU time: 2449.47 s
Current children cumulated vsize: 15816056 KiB
Current children cumulated memory: 1215728 KiB
[startup+2502.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/225 9540
/proc/meminfo: memFree=15111320/32770624 swapFree=67108860/67108860
[pid=9339] ppid=9336 vsize=15681864 memory=1114444 CPUtime=10.94 cores=0,2,4,6
/proc/9339/stat : 9339 (java) S 9336 9339 8919 0 -1 1077944320 28220 0 0 0 1011 83 0 0 20 0 19 0 50819063 16058228736 278611 33554432000 4194304 4196468 140734034725968 140734034708512 139625563393783 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
/proc/9339/statm: 3920466 278611 3234 1 0 3881322 0
[pid=9355] ppid=9339 vsize=134192 memory=101284 CPUtime=2498.56 cores=0,2,4,6
/proc/9355/stat : 9355 (minisat_release) R 9339 9339 8919 0 -1 4202496 283715 0 0 0 249735 121 0 0 20 0 1 0 50819431 137412608 25321 33554432000 4194304 4308513 140736551209152 140736551206600 4275920 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 18354176 140736551211697 140736551212206 140736551212206 140736551215045 0
/proc/9355/statm: 33548 25321 354 28 0 29788 0
[pid=9339/tid=9341] ppid=9336 vsize=15681864 memory=101284 CPUtime=3.69 cores=0,2,4,6
/proc/9339/task/9341/stat : 9341 (java) S 9336 9339 8919 0 -1 1077944384 16638 0 0 0 349 20 0 0 20 0 19 0 50819063 16058228736 278611 33554432000 4194304 4196468 140734034725968 139625535233024 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9342] ppid=9336 vsize=15681864 memory=133040 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9342/stat : 9342 (java) S 9336 9339 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 50819065 16058228736 278611 33554432000 4194304 4196468 140734034725968 139625567636240 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9343] ppid=9336 vsize=15681864 memory=1114444 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9343/stat : 9343 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 50819065 16058228736 278611 33554432000 4194304 4196468 140734034725968 139625366412176 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9344] ppid=9336 vsize=15681864 memory=640 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9344/stat : 9344 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 50819065 16058228736 278611 33554432000 4194304 4196468 140734034725968 139625365359632 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9345] ppid=9336 vsize=15681864 memory=1114444 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9345/stat : 9345 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 50819065 16058228736 278611 33554432000 4194304 4196468 140734034725968 139625364307088 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9346] ppid=9336 vsize=15681864 memory=1114444 CPUtime=0.05 cores=0,2,4,6
/proc/9339/task/9346/stat : 9346 (java) S 9336 9339 8919 0 -1 1077944384 6 0 0 0 2 3 0 0 20 0 19 0 50819067 16058228736 278611 33554432000 4194304 4196468 140734034725968 139624533927920 139625563404930 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9347] ppid=9336 vsize=15681864 memory=1114444 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9347/stat : 9347 (java) S 9336 9339 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 50819067 16058228736 278611 33554432000 4194304 4196468 140734034725968 139624018076576 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9348] ppid=9336 vsize=15681864 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9348/stat : 9348 (java) S 9336 9339 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 50819067 16058228736 278611 33554432000 4194304 4196468 140734034725968 139623883854832 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9349] ppid=9336 vsize=15681864 memory=16540 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9349/stat : 9349 (java) S 9336 9339 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 50819070 16058228736 278611 33554432000 4194304 4196468 140734034725968 139623509350608 139625563412379 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9350] ppid=9336 vsize=15681864 memory=1114444 CPUtime=2.34 cores=0,2,4,6
/proc/9339/task/9350/stat : 9350 (java) S 9336 9339 8919 0 -1 1077944384 4104 0 0 0 232 2 0 0 20 0 19 0 50819070 16058228736 278611 33554432000 4194304 4196468 140734034725968 139624532875760 139625563404930 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9351] ppid=9336 vsize=15681864 memory=101284 CPUtime=2.27 cores=0,2,4,6
/proc/9339/task/9351/stat : 9351 (java) S 9336 9339 8919 0 -1 1077944384 2334 0 0 0 225 2 0 0 20 0 19 0 50819070 16058228736 278611 33554432000 4194304 4196468 140734034725968 139624531823216 139625563404930 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9352] ppid=9336 vsize=15681864 memory=101284 CPUtime=1.1 cores=0,2,4,6
/proc/9339/task/9352/stat : 9352 (java) S 9336 9339 8919 0 -1 1077944384 3556 0 0 0 108 2 0 0 20 0 19 0 50819070 16058228736 278611 33554432000 4194304 4196468 140734034725968 139624530770672 139625563404930 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9353] ppid=9336 vsize=15681864 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9353/stat : 9353 (java) S 9336 9339 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 50819070 16058228736 278611 33554432000 4194304 4196468 140734034725968 139623011445856 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9354] ppid=9336 vsize=15681864 memory=4140 CPUtime=1.44 cores=0,2,4,6
/proc/9339/task/9354/stat : 9354 (java) S 9336 9339 8919 0 -1 1077944384 169 0 0 0 79 65 0 0 20 0 19 0 50819070 16058228736 278611 33554432000 4194304 4196468 140734034725968 139624529717552 139625563404930 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9356] ppid=9336 vsize=15681864 memory=16540 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9356/stat : 9356 (java) S 9336 9339 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 50819432 16058228736 278611 33554432000 4194304 4196468 140734034725968 139624622433344 139625563418393 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9358] ppid=9336 vsize=15681864 memory=1114444 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9358/stat : 9358 (java) S 9336 9339 8919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 50819432 16058228736 278611 33554432000 4194304 4196468 140734034725968 139622474563120 139625563415709 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9359] ppid=9336 vsize=15681864 memory=1114444 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9359/stat : 9359 (java) S 9336 9339 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 50819432 16058228736 278611 33554432000 4194304 4196468 140734034725968 139622206127792 139625563415709 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9360] ppid=9336 vsize=15681864 memory=133040 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9360/stat : 9360 (java) S 9336 9339 8919 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 50819434 16058228736 278611 33554432000 4194304 4196468 140734034725968 139622743006752 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
Current children cumulated CPU time: 2509.5 s
Current children cumulated vsize: 15816056 KiB
Current children cumulated memory: 1215728 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.8 s]
/proc/loadavg: 2.03 2.02 2.05 3/225 9540
/proc/meminfo: memFree=15111304/32770624 swapFree=67108860/67108860
[pid=9339] ppid=9336 vsize=15681864 memory=1114444 CPUtime=10.96 cores=0,2,4,6
/proc/9339/stat : 9339 (java) S 9336 9339 8919 0 -1 1077944320 28220 0 0 0 1012 84 0 0 20 0 19 0 50819063 16058228736 278611 33554432000 4194304 4196468 140734034725968 140734034708512 139625563393783 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
/proc/9339/statm: 3920466 278611 3234 1 0 3881322 0
[pid=9355] ppid=9339 vsize=134192 memory=101284 CPUtime=2509.05 cores=0,2,4,6
/proc/9355/stat : 9355 (minisat_release) R 9339 9339 8919 0 -1 4202496 284033 0 0 0 250784 121 0 0 20 0 1 0 50819431 137412608 25321 33554432000 4194304 4308513 140736551209152 140736551206600 4276008 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 18354176 140736551211697 140736551212206 140736551212206 140736551215045 0
/proc/9355/statm: 33548 25321 354 28 0 29788 0
[pid=9339/tid=9341] ppid=9336 vsize=15681864 memory=-5059952977386882957 CPUtime=3.69 cores=0,2,4,6
/proc/9339/task/9341/stat : 9341 (java) S 9336 9339 8919 0 -1 1077944384 16638 0 0 0 349 20 0 0 20 0 19 0 50819063 16058228736 278611 33554432000 4194304 4196468 140734034725968 139625535233024 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9342] ppid=9336 vsize=15681864 memory=10644 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9342/stat : 9342 (java) S 9336 9339 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 50819065 16058228736 278611 33554432000 4194304 4196468 140734034725968 139625567636240 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9343] ppid=9336 vsize=15681864 memory=16444 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9343/stat : 9343 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 50819065 16058228736 278611 33554432000 4194304 4196468 140734034725968 139625366412176 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9344] ppid=9336 vsize=15681864 memory=640 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9344/stat : 9344 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 50819065 16058228736 278611 33554432000 4194304 4196468 140734034725968 139625365359632 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9345] ppid=9336 vsize=15681864 memory=-5059952977386882957 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9345/stat : 9345 (java) S 9336 9339 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 50819065 16058228736 278611 33554432000 4194304 4196468 140734034725968 139625364307088 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9346] ppid=9336 vsize=15681864 memory=1224 CPUtime=0.05 cores=0,2,4,6
/proc/9339/task/9346/stat : 9346 (java) S 9336 9339 8919 0 -1 1077944384 6 0 0 0 2 3 0 0 20 0 19 0 50819067 16058228736 278611 33554432000 4194304 4196468 140734034725968 139624533927920 139625563404930 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9347] ppid=9336 vsize=15681864 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9347/stat : 9347 (java) S 9336 9339 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 50819067 16058228736 278611 33554432000 4194304 4196468 140734034725968 139624018076576 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9348] ppid=9336 vsize=15681864 memory=1114444 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9348/stat : 9348 (java) S 9336 9339 8919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 50819067 16058228736 278611 33554432000 4194304 4196468 140734034725968 139623883854832 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9349] ppid=9336 vsize=15681864 memory=-5059952977386882957 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9349/stat : 9349 (java) S 9336 9339 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 50819070 16058228736 278611 33554432000 4194304 4196468 140734034725968 139623509350608 139625563412379 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9350] ppid=9336 vsize=15681864 memory=16540 CPUtime=2.34 cores=0,2,4,6
/proc/9339/task/9350/stat : 9350 (java) S 9336 9339 8919 0 -1 1077944384 4104 0 0 0 232 2 0 0 20 0 19 0 50819070 16058228736 278611 33554432000 4194304 4196468 140734034725968 139624532875760 139625563404930 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9351] ppid=9336 vsize=15681864 memory=1296 CPUtime=2.27 cores=0,2,4,6
/proc/9339/task/9351/stat : 9351 (java) S 9336 9339 8919 0 -1 1077944384 2334 0 0 0 225 2 0 0 20 0 19 0 50819070 16058228736 278611 33554432000 4194304 4196468 140734034725968 139624531823216 139625563404930 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9352] ppid=9336 vsize=15681864 memory=2340 CPUtime=1.1 cores=0,2,4,6
/proc/9339/task/9352/stat : 9352 (java) S 9336 9339 8919 0 -1 1077944384 3556 0 0 0 108 2 0 0 20 0 19 0 50819070 16058228736 278611 33554432000 4194304 4196468 140734034725968 139624530770672 139625563404930 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9353] ppid=9336 vsize=15681864 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9353/stat : 9353 (java) S 9336 9339 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 50819070 16058228736 278611 33554432000 4194304 4196468 140734034725968 139623011445856 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9354] ppid=9336 vsize=15681864 memory=279996568710728 CPUtime=1.45 cores=0,2,4,6
/proc/9339/task/9354/stat : 9354 (java) S 9336 9339 8919 0 -1 1077944384 169 0 0 0 80 65 0 0 20 0 19 0 50819070 16058228736 278611 33554432000 4194304 4196468 140734034725968 139624529717552 139625563404930 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9356] ppid=9336 vsize=15681864 memory=369 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9356/stat : 9356 (java) S 9336 9339 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 50819432 16058228736 278611 33554432000 4194304 4196468 140734034725968 139624622433344 139625563418393 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9358] ppid=9336 vsize=15681864 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9358/stat : 9358 (java) S 9336 9339 8919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 50819432 16058228736 278611 33554432000 4194304 4196468 140734034725968 139622474563120 139625563415709 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9359] ppid=9336 vsize=15681864 memory=7956010499115057218 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9359/stat : 9359 (java) S 9336 9339 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 50819432 16058228736 278611 33554432000 4194304 4196468 140734034725968 139622206127792 139625563415709 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
[pid=9339/tid=9360] ppid=9336 vsize=15681864 memory=1114444 CPUtime=0 cores=0,2,4,6
/proc/9339/task/9360/stat : 9360 (java) S 9336 9339 8919 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 50819434 16058228736 278611 33554432000 4194304 4196468 140734034725968 139622743006752 139625563403989 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26845184 140734034727924 140734034728201 140734034728201 140734034730959 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 15816056 KiB
Current children cumulated memory: 1215728 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.82 s]
# the end of solver process 9339 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.97 s, system=2.07484 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2512.82
CPU time (s): 2520.05
CPU user time (s): 2517.97
CPU system time (s): 2.07484
CPU usage (%): 100.288
Max. virtual memory (cumulated for all children) (KiB): 15865376
Max. memory (cumulated for all children) (KiB): 1251736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.97
system time used= 2.07484
maximum resident set size= 1115264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 312308
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58642
involuntary context switches= 3395
# summary of solver processes directly reported to runsolver:
# pid: 9339
# total CPU time (s): 2520.05
# total CPU user time (s): 2517.97
# total CPU system time (s): 2.07484
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3207 second user time and 25.6407 second system time
The end