0.67/0.52
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Thu Jul 26 05:57:58 CEST 2018
0.67/0.55 c PID: 5023
0.67/0.55 c IP: 172.20.3.150
0.67/0.55 c HOST: node150.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.64/1.25 c (0,0) Parsing End
2.64/1.25 c (0,0) CSP: 56 int (0 aux), 0 bool (0 aux), 517 ctr, max domain size 25
2.64/1.25 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.64/1.25 c (0,0) Constraint Name Generate Begin
2.64/1.27 c (0,0) Ctr:HOME/instance-4295652-1532577477.xml,ExtensionConflict:ExtensionSupport:IntVar
2.64/1.27 c (0,0) Constraint Name Generate End
2.64/1.27 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.64/1.27 c (0,0) CSP to CSPinCNF Begin
5.74/2.36 c (1,1) translated 52 (10%) constraints
7.29/2.90 c (2,2) translated 104 (20%) constraints
8.80/3.32 c (2,2) translated 156 (30%) constraints
10.01/3.74 c (3,3) translated 207 (40%) constraints
11.27/4.12 c (3,3) translated 259 (50%) constraints
12.14/4.49 c (3,3) translated 311 (60%) constraints
13.35/4.83 c (4,4) translated 362 (70%) constraints
14.21/5.12 c (4,4) translated 414 (80%) constraints
14.65/5.38 c (4,4) translated 466 (90%) constraints
15.32/5.64 c (5,5) translated 517 (100%) constraints
16.51/6.07 c (5,5) STATISTICS1:HOME/instance-4295652-1532577477.xml,ExtensionConflict:ExtensionSupport:IntVar,306,67248,-1,25,26,1,,25:255661;2:3574,26:10;4:57917;3:8675;2:646,1:259235;0:10,
16.51/6.07 c (5,5) ===========================================
16.51/6.07 c (5,5) Order
16.51/6.07 c (5,5) ===========================================
16.99/6.29 c (5,5) translated 6725 (10%) constraints
17.57/6.42 c (5,5) translated 13450 (20%) constraints
17.81/6.54 c (6,6) translated 20175 (30%) constraints
17.92/6.67 c (6,6) translated 26900 (40%) constraints
18.05/6.78 c (6,6) translated 33624 (50%) constraints
18.26/6.90 c (6,6) translated 40349 (60%) constraints
18.36/7.02 c (6,6) translated 47074 (70%) constraints
18.47/7.14 c (6,6) translated 53799 (80%) constraints
18.55/7.26 c (6,6) translated 60524 (90%) constraints
18.65/7.39 c (6,6) translated 67248 (100%) constraints
18.65/7.39 c (6,6) CSP to CSPinCNF End
18.65/7.39 c (6,6) CSP: 56 int (0 aux), 250 bool (250 aux), 67248 ctr, max domain size 25
18.65/7.39 c (6,6) Heap : 2703 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
18.65/7.39 c (6,6) CSPinCNF Propagation Begin
20.10/7.91 c (7,7) 0 values, 6157 unsatisfiable literals, and 0 valid clauses are removed
20.10/7.91 c (7,7) CSPinCNF Propagation End
20.10/7.91 c (7,7) CSP: 56 int (0 aux), 250 bool (250 aux), 67248 ctr, max domain size 25
20.10/7.91 c (7,7) Heap : 334 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
20.10/7.91 c (7,7) Simplify CSPinCNF Begin
20.33/8.04 c (7,7) Simplify CSPinCNF End
20.33/8.04 c (7,7) CSP: 56 int (0 aux), 250 bool (250 aux), 67248 ctr, max domain size 25
20.33/8.04 c (7,7) Heap : 389 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
20.33/8.04 c (7,7) Calculate Precise Domain Begin
20.33/8.04 c (7,7) 0 values are removed by re-calculation
20.33/8.04 c (7,7) Calculate Precise Domain End
20.33/8.05 c (7,7) CSP: 56 int (0 aux), 250 bool (250 aux), 67248 ctr, max domain size 25
20.33/8.05 c (7,7) Heap : 389 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
20.33/8.05 c (7,7) CSPinCNF to SatSolver Begin
20.84/8.21 c (7,7) 6725 (10 %) CSP clauses are encoded (1594 SAT variables, 8012 SAT clauses)
20.84/8.29 c (7,7) 13450 (20 %) CSP clauses are encoded (1594 SAT variables, 14737 SAT clauses)
21.15/8.34 c (7,7) 20175 (30 %) CSP clauses are encoded (1594 SAT variables, 21462 SAT clauses)
21.15/8.38 c (7,7) 26900 (40 %) CSP clauses are encoded (1594 SAT variables, 28187 SAT clauses)
21.29/8.42 c (7,7) 33624 (50 %) CSP clauses are encoded (1594 SAT variables, 34911 SAT clauses)
21.29/8.46 c (7,7) 40349 (60 %) CSP clauses are encoded (1594 SAT variables, 41636 SAT clauses)
21.39/8.50 c (7,7) 47074 (70 %) CSP clauses are encoded (1594 SAT variables, 48361 SAT clauses)
21.39/8.54 c (8,7) 53799 (80 %) CSP clauses are encoded (1594 SAT variables, 55086 SAT clauses)
21.39/8.58 c (8,7) 60524 (90 %) CSP clauses are encoded (1594 SAT variables, 61811 SAT clauses)
21.49/8.62 c (8,7) 67248 (100 %) CSP clauses are encoded (1594 SAT variables, 68535 SAT clauses)
21.49/8.62 c (8,7) CSPinCNF to SatSolver End
21.49/8.62 c (8,7) Heap : 776 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.03/8.88 c (8,8) STATISTICS2:HOME/instance-4295652-1532577477.xml,ExtensionConflict:ExtensionSupport:IntVar,306,67248,-1,25,25,1,,25:249514;2:3574,25:10;4:52208;3:13946;2:1084,1:253088,
22.03/8.88 c (8,8) SatSolver.solve Begin
22.03/8.88 c (8,8) 1594 bool, 68536 clause
22.03/8.88 c (8,8) 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-4295652-1532577477.xml-scop-5023.cnf HOME/instance-4295652-1532577477.xml-scop-5023.cnf.out
2520.08/2505.80 c (2505,8) SatSolver is killed by some reasons.
2520.08/2505.80 c (2505,8) 0,0,6,7,7,7,8,TO,TO,STOP-AFTER(DIMACS)
2520.08/2505.80 s UNKNOWN
2520.08/2505.80 c END-Prog: Thu Jul 26 06:39:43 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 (9862 MiB free)
memory of node 1: 16384 MiB (10875 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295652-1532577477/watcher-4295652-1532577477 -o /tmp/evaluation-result-4295652-1532577477/solver-4295652-1532577477 -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-4295652-1532577477.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=5023, runsolver pid=5020
Current StackSize limit: 8192 KiB
[startup+0.100118 s]*
/proc/loadavg: 2.00 2.01 2.05 3/220 5038
/proc/meminfo: memFree=21177340/32770624 swapFree=67108860/67108860
[pid=5023] ppid=5020 vsize=15011656 memory=71976 CPUtime=0.11 cores=0,2,4,6
/proc/5023/stat : 5023 (java) S 5020 5023 32649 0 -1 1077944320 6160 0 0 0 10 1 0 0 20 0 15 0 75310997 15371935744 17994 33554432000 4194304 4196468 140720616061888 140720616044432 139729555234551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
/proc/5023/statm: 3752914 17994 2778 1 0 3715374 0
[pid=5023/tid=5025] ppid=5020 vsize=15011656 memory=7100839887183514216 CPUtime=0.09 cores=0,2,4,6
/proc/5023/task/5025/stat : 5025 (java) R 5020 5023 32649 0 -1 4202560 4587 0 0 0 8 1 0 0 20 0 15 0 75310998 15371935744 18324 33554432000 4194304 4196468 140720616061888 139729527046536 139729535510300 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5026] ppid=5020 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5026/stat : 5026 (java) S 5020 5023 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75310999 15371935744 18324 33554432000 4194304 4196468 140720616061888 139729559476496 139729555244757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5027] ppid=5020 vsize=15011656 memory=139746578876032 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5027/stat : 5027 (java) S 5020 5023 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75310999 15371935744 18324 33554432000 4194304 4196468 140720616061888 139729015634320 139729555244757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5028] ppid=5020 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5028/stat : 5028 (java) S 5020 5023 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75310999 15371935744 18324 33554432000 4194304 4196468 140720616061888 139729014581776 139729555244757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5029] ppid=5020 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5029/stat : 5029 (java) S 5020 5023 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75310999 15371935744 18324 33554432000 4194304 4196468 140720616061888 139729013529232 139729555244757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5030] ppid=5020 vsize=15011656 memory=139746578876032 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5030/stat : 5030 (java) S 5020 5023 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75311001 15371935744 18324 33554432000 4194304 4196468 140720616061888 139728525556208 139729555245698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5031] ppid=5020 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5031/stat : 5031 (java) S 5020 5023 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75311001 15371935744 18324 33554432000 4194304 4196468 140720616061888 139728171034016 139729555244757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5032] ppid=5020 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5032/stat : 5032 (java) S 5020 5023 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75311002 15371935744 18390 33554432000 4194304 4196468 140720616061888 139728036812272 139729555244757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5033] ppid=5020 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5033/stat : 5033 (java) S 5020 5023 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75311004 15371935744 18390 33554432000 4194304 4196468 140720616061888 139727662308048 139729555253147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5034] ppid=5020 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5034/stat : 5034 (java) S 5020 5023 32649 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 75311004 15371935744 18390 33554432000 4194304 4196468 140720616061888 139728524503024 139729555245698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5035] ppid=5020 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5035/stat : 5035 (java) S 5020 5023 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75311004 15371935744 18390 33554432000 4194304 4196468 140720616061888 139728523450480 139729555245698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5036] ppid=5020 vsize=15011656 memory=139746578876032 CPUtime=0.01 cores=0,2,4,6
/proc/5023/task/5036/stat : 5036 (java) S 5020 5023 32649 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 15 0 75311004 15371935744 18390 33554432000 4194304 4196468 140720616061888 139728522397936 139729555245698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5037] ppid=5020 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5037/stat : 5037 (java) S 5020 5023 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75311004 15371935744 18390 33554432000 4194304 4196468 140720616061888 139727164402272 139729555244757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5038] ppid=5020 vsize=15011656 memory=139746578876032 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5038/stat : 5038 (java) S 5020 5023 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75311004 15371935744 18390 33554432000 4194304 4196468 140720616061888 139728521345840 139729555245698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71976 KiB
[startup+0.210367 s]*
/proc/loadavg: 2.00 2.01 2.05 3/220 5038
/proc/meminfo: memFree=21163524/32770624 swapFree=67108860/67108860
[pid=5023] ppid=5020 vsize=15011656 memory=84800 CPUtime=0.26 cores=0,2,4,6
/proc/5023/stat : 5023 (java) S 5020 5023 32649 0 -1 1077944320 9628 0 0 0 23 3 0 0 20 0 15 0 75310997 15371935744 21200 33554432000 4194304 4196468 140720616061888 140720616044432 139729555234551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
/proc/5023/statm: 3752914 21200 2894 1 0 3715374 0
[pid=5023/tid=5025] ppid=5020 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/5023/task/5025/stat : 5025 (java) R 5020 5023 32649 0 -1 4202560 7522 0 0 0 18 2 0 0 20 0 15 0 75310998 15371935744 21200 33554432000 4194304 4196468 140720616061888 139729527060464 139729555246486 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5026] ppid=5020 vsize=15011656 memory=288230617609666583 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5026/stat : 5026 (java) S 5020 5023 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75310999 15371935744 21200 33554432000 4194304 4196468 140720616061888 139729559476496 139729555244757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5027] ppid=5020 vsize=15011656 memory=288370122730587776 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5027/stat : 5027 (java) S 5020 5023 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75310999 15371935744 21200 33554432000 4194304 4196468 140720616061888 139729015634320 139729555244757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5028] ppid=5020 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5028/stat : 5028 (java) S 5020 5023 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75310999 15371935744 21200 33554432000 4194304 4196468 140720616061888 139729014581776 139729555244757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5029] ppid=5020 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5029/stat : 5029 (java) S 5020 5023 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75310999 15371935744 21200 33554432000 4194304 4196468 140720616061888 139729013529232 139729555244757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5030] ppid=5020 vsize=15011656 memory=139746578876032 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5030/stat : 5030 (java) S 5020 5023 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75311001 15371935744 21200 33554432000 4194304 4196468 140720616061888 139728525556208 139729555245698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5031] ppid=5020 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5031/stat : 5031 (java) S 5020 5023 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75311001 15371935744 21200 33554432000 4194304 4196468 140720616061888 139728171034016 139729555244757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5032] ppid=5020 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5032/stat : 5032 (java) S 5020 5023 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75311002 15371935744 21200 33554432000 4194304 4196468 140720616061888 139728036812272 139729555244757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5033] ppid=5020 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5033/stat : 5033 (java) S 5020 5023 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75311004 15371935744 21200 33554432000 4194304 4196468 140720616061888 139727662308048 139729555253147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5034] ppid=5020 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5034/stat : 5034 (java) R 5020 5023 32649 0 -1 4202560 421 0 0 0 0 0 0 0 20 0 15 0 75311004 15371935744 21200 33554432000 4194304 4196468 140720616061888 139728524494528 139729533102368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5035] ppid=5020 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5035/stat : 5035 (java) R 5020 5023 32649 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 15 0 75311004 15371935744 21200 33554432000 4194304 4196468 140720616061888 139728523450480 139729534397712 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5036] ppid=5020 vsize=15011656 memory=139746578876032 CPUtime=0.03 cores=0,2,4,6
/proc/5023/task/5036/stat : 5036 (java) R 5020 5023 32649 0 -1 1077944384 291 0 0 0 3 0 0 0 20 0 15 0 75311004 15371935744 21200 33554432000 4194304 4196468 140720616061888 139728522397936 139729555245698 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5037] ppid=5020 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5037/stat : 5037 (java) S 5020 5023 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75311004 15371935744 21200 33554432000 4194304 4196468 140720616061888 139727164402272 139729555244757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5038] ppid=5020 vsize=15011656 memory=139746578876032 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5038/stat : 5038 (java) S 5020 5023 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75311004 15371935744 21200 33554432000 4194304 4196468 140720616061888 139728521345840 139729555245698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84800 KiB
[startup+0.310406 s]*
/proc/loadavg: 2.00 2.01 2.05 3/220 5038
/proc/meminfo: memFree=21160236/32770624 swapFree=67108860/67108860
[pid=5023] ppid=5020 vsize=15011656 memory=88268 CPUtime=0.42 cores=0,2,4,6
/proc/5023/stat : 5023 (java) S 5020 5023 32649 0 -1 1077944320 10157 0 0 0 39 3 0 0 20 0 15 0 75310997 15371935744 22067 33554432000 4194304 4196468 140720616061888 140720616044432 139729555234551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
/proc/5023/statm: 3752914 22067 2994 1 0 3715374 0
[pid=5023/tid=5025] ppid=5020 vsize=15011656 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/5023/task/5025/stat : 5025 (java) R 5020 5023 32649 0 -1 4202560 7895 0 0 0 27 2 0 0 20 0 15 0 75310998 15371935744 22067 33554432000 4194304 4196468 140720616061888 139729527062176 139729540400096 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5026] ppid=5020 vsize=15011656 memory=4294967295 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5026/stat : 5026 (java) S 5020 5023 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75310999 15371935744 22067 33554432000 4194304 4196468 140720616061888 139729559476496 139729555244757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5027] ppid=5020 vsize=15011656 memory=139746578876032 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5027/stat : 5027 (java) S 5020 5023 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75310999 15371935744 22067 33554432000 4194304 4196468 140720616061888 139729015634320 139729555244757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5028] ppid=5020 vsize=15011656 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5028/stat : 5028 (java) S 5020 5023 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75310999 15371935744 22067 33554432000 4194304 4196468 140720616061888 139729014581776 139729555244757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5029] ppid=5020 vsize=15011656 memory=139746424758479 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5029/stat : 5029 (java) S 5020 5023 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75310999 15371935744 22067 33554432000 4194304 4196468 140720616061888 139729013529232 139729555244757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5030] ppid=5020 vsize=15011656 memory=139746578876032 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5030/stat : 5030 (java) S 5020 5023 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75311001 15371935744 22067 33554432000 4194304 4196468 140720616061888 139728525556208 139729555245698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5031] ppid=5020 vsize=15011656 memory=139746424779215 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5031/stat : 5031 (java) S 5020 5023 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75311001 15371935744 22067 33554432000 4194304 4196468 140720616061888 139728171034016 139729555244757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5032] ppid=5020 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5032/stat : 5032 (java) S 5020 5023 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75311002 15371935744 22067 33554432000 4194304 4196468 140720616061888 139728036812272 139729555244757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5033] ppid=5020 vsize=15011656 memory=279492849530752 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5033/stat : 5033 (java) S 5020 5023 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75311004 15371935744 22067 33554432000 4194304 4196468 140720616061888 139727662308048 139729555253147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5034] ppid=5020 vsize=15011656 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5023/task/5034/stat : 5034 (java) R 5020 5023 32649 0 -1 1077944384 524 0 0 0 3 0 0 0 20 0 15 0 75311004 15371935744 22067 33554432000 4194304 4196468 140720616061888 139728524503024 139729555245698 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5035] ppid=5020 vsize=15011656 memory=139746424790927 CPUtime=0.01 cores=0,2,4,6
/proc/5023/task/5035/stat : 5035 (java) R 5020 5023 32649 0 -1 4202560 90 0 0 0 1 0 0 0 20 0 15 0 75311004 15371935744 22067 33554432000 4194304 4196468 140720616061888 139728523450480 139729547524000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5036] ppid=5020 vsize=15011656 memory=139746578876032 CPUtime=0.07 cores=0,2,4,6
/proc/5023/task/5036/stat : 5036 (java) R 5020 5023 32649 0 -1 4202560 310 0 0 0 7 0 0 0 20 0 15 0 75311004 15371935744 22067 33554432000 4194304 4196468 140720616061888 139728522397936 139729547471678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5037] ppid=5020 vsize=15011656 memory=139746424796063 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5037/stat : 5037 (java) S 5020 5023 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75311004 15371935744 22067 33554432000 4194304 4196468 140720616061888 139727164402272 139729555244757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5038] ppid=5020 vsize=15011656 memory=139746654187029 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5038/stat : 5038 (java) R 5020 5023 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75311004 15371935744 22067 33554432000 4194304 4196468 140720616061888 139728521345840 139729555245698 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88268 KiB
[startup+0.703312 s]
/proc/loadavg: 2.00 2.01 2.05 3/220 5038
/proc/meminfo: memFree=21136176/32770624 swapFree=67108860/67108860
[pid=5023] ppid=5020 vsize=15017928 memory=127664 CPUtime=1.04 cores=0,2,4,6
/proc/5023/stat : 5023 (java) S 5020 5023 32649 0 -1 1077944320 17099 0 0 0 99 5 0 0 20 0 15 0 75310997 15378358272 31916 33554432000 4194304 4196468 140720616061888 140720616044432 139729555234551 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
/proc/5023/statm: 3754482 31916 3155 1 0 3715886 0
[pid=5023/tid=5025] ppid=5020 vsize=15017928 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/5023/task/5025/stat : 5025 (java) R 5020 5023 32649 0 -1 4202560 14265 0 0 0 64 3 0 0 20 0 15 0 75310998 15378358272 31916 33554432000 4194304 4196468 140720616061888 139729527072224 139729555256477 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5026] ppid=5020 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5026/stat : 5026 (java) S 5020 5023 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75310999 15378358272 31916 33554432000 4194304 4196468 140720616061888 139729559476496 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5027] ppid=5020 vsize=15017928 memory=79 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5027/stat : 5027 (java) S 5020 5023 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75310999 15378358272 31916 33554432000 4194304 4196468 140720616061888 139729015634320 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5028] ppid=5020 vsize=15017928 memory=1 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5028/stat : 5028 (java) S 5020 5023 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75310999 15378358272 31916 33554432000 4194304 4196468 140720616061888 139729014581776 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5029] ppid=5020 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5029/stat : 5029 (java) S 5020 5023 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75310999 15378358272 31916 33554432000 4194304 4196468 140720616061888 139729013529232 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5030] ppid=5020 vsize=15017928 memory=161350110160645 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5030/stat : 5030 (java) S 5020 5023 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75311001 15378358272 31916 33554432000 4194304 4196468 140720616061888 139728525556208 139729555245698 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5031] ppid=5020 vsize=15017928 memory=443126 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5031/stat : 5031 (java) S 5020 5023 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 75311001 15378358272 31916 33554432000 4194304 4196468 140720616061888 139728171034016 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5032] ppid=5020 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5032/stat : 5032 (java) S 5020 5023 32649 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75311002 15378358272 31916 33554432000 4194304 4196468 140720616061888 139728036812272 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5033] ppid=5020 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5033/stat : 5033 (java) S 5020 5023 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75311004 15378358272 31916 33554432000 4194304 4196468 140720616061888 139727662308048 139729555253147 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5034] ppid=5020 vsize=15017928 memory=7809523229951467574 CPUtime=0.09 cores=0,2,4,6
/proc/5023/task/5034/stat : 5034 (java) R 5020 5023 32649 0 -1 1077944384 754 0 0 0 9 0 0 0 20 0 15 0 75311004 15378358272 31916 33554432000 4194304 4196468 140720616061888 139728524503024 139729555245698 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5035] ppid=5020 vsize=15017928 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/5023/task/5035/stat : 5035 (java) R 5020 5023 32649 0 -1 4202560 245 0 0 0 6 0 0 0 20 0 15 0 75311004 15378358272 31916 33554432000 4194304 4196468 140720616061888 139728523442432 139729536819593 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5036] ppid=5020 vsize=15017928 memory=-3535359994705171810 CPUtime=0.18 cores=0,2,4,6
/proc/5023/task/5036/stat : 5036 (java) R 5020 5023 32649 0 -1 4202560 474 0 0 0 18 0 0 0 20 0 15 0 75311004 15378358272 31916 33554432000 4194304 4196468 140720616061888 139728522393200 139729555248433 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5037] ppid=5020 vsize=15017928 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5037/stat : 5037 (java) S 5020 5023 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75311004 15378358272 31916 33554432000 4194304 4196468 140720616061888 139727164402272 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5038] ppid=5020 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5038/stat : 5038 (java) S 5020 5023 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75311004 15378358272 31916 33554432000 4194304 4196468 140720616061888 139728521345840 139729555245698 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 127664 KiB
[startup+1.50073 s]
/proc/loadavg: 2.16 2.05 2.06 5/220 5038
/proc/meminfo: memFree=21032292/32770624 swapFree=67108860/67108860
[pid=5023] ppid=5020 vsize=15022100 memory=274684 CPUtime=3.24 cores=0,2,4,6
/proc/5023/stat : 5023 (java) S 5020 5023 32649 0 -1 1077944320 20669 0 0 0 316 8 0 0 20 0 15 0 75310997 15382630400 68671 33554432000 4194304 4196468 140720616061888 140720616044432 139729555234551 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
/proc/5023/statm: 3755525 68671 3201 1 0 3716910 0
[pid=5023/tid=5025] ppid=5020 vsize=15022100 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/5023/task/5025/stat : 5025 (java) R 5020 5023 32649 0 -1 4202560 15558 0 0 0 141 6 0 0 20 0 15 0 75310998 15382630400 68671 33554432000 4194304 4196468 140720616061888 139729527065024 139729058174513 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5026] ppid=5020 vsize=15022100 memory=6297253189324723564 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5026/stat : 5026 (java) S 5020 5023 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75310999 15382630400 68671 33554432000 4194304 4196468 140720616061888 139729559476496 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5027] ppid=5020 vsize=15022100 memory=7013627810226137170 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5027/stat : 5027 (java) S 5020 5023 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75310999 15382630400 68671 33554432000 4194304 4196468 140720616061888 139729015634320 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5028] ppid=5020 vsize=15022100 memory=7013627810226137170 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5028/stat : 5028 (java) S 5020 5023 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75310999 15382630400 68671 33554432000 4194304 4196468 140720616061888 139729014581776 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5029] ppid=5020 vsize=15022100 memory=7013627810226137170 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5029/stat : 5029 (java) S 5020 5023 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75310999 15382630400 68671 33554432000 4194304 4196468 140720616061888 139729013529232 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5030] ppid=5020 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5030/stat : 5030 (java) S 5020 5023 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75311001 15382630400 68671 33554432000 4194304 4196468 140720616061888 139728525556208 139729555245698 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
################
# More data... #
################
/proc/meminfo: memFree=18784652/32770624 swapFree=67108860/67108860
[pid=5023] ppid=5020 vsize=15683912 memory=3104296 CPUtime=23.43 cores=0,2,4,6
/proc/5023/stat : 5023 (java) S 5020 5023 32649 0 -1 1077944320 33141 0 0 0 2234 109 0 0 20 0 19 0 75310997 16060325888 776074 33554432000 4194304 4196468 140720616061888 140720616044432 139729555234551 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
/proc/5023/statm: 3920978 776074 3231 1 0 3881834 0
[pid=5040] ppid=5023 vsize=124284 memory=89648 CPUtime=2433.12 cores=0,2,4,6
/proc/5040/stat : 5040 (minisat_release) R 5023 5023 32649 0 -1 4202496 157084 0 0 0 243297 15 0 0 20 0 1 0 75311887 127266816 22412 33554432000 4194304 4308513 140727467643456 140727467640456 4251663 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 32489472 140727467651761 140727467652270 140727467652270 140727467655109 0
/proc/5040/statm: 31071 22412 354 28 0 27311 0
[pid=5023/tid=5025] ppid=5020 vsize=15683912 memory=3104296 CPUtime=8.79 cores=0,2,4,6
/proc/5023/task/5025/stat : 5025 (java) S 5020 5023 32649 0 -1 1077944384 19066 0 0 0 833 46 0 0 20 0 19 0 75310998 16060325888 776074 33554432000 4194304 4196468 140720616061888 139729527073792 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5026] ppid=5020 vsize=15683912 memory=3104296 CPUtime=0.1 cores=0,2,4,6
/proc/5023/task/5026/stat : 5026 (java) S 5020 5023 32649 0 -1 1077944384 53 0 0 0 8 2 0 0 20 0 19 0 75310999 16060325888 776074 33554432000 4194304 4196468 140720616061888 139729559476496 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5027] ppid=5020 vsize=15683912 memory=3104296 CPUtime=0.1 cores=0,2,4,6
/proc/5023/task/5027/stat : 5027 (java) S 5020 5023 32649 0 -1 1077944384 108 0 0 0 8 2 0 0 20 0 19 0 75310999 16060325888 776074 33554432000 4194304 4196468 140720616061888 139729015634320 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5028] ppid=5020 vsize=15683912 memory=3104296 CPUtime=0.1 cores=0,2,4,6
/proc/5023/task/5028/stat : 5028 (java) S 5020 5023 32649 0 -1 1077944384 43 0 0 0 8 2 0 0 20 0 19 0 75310999 16060325888 776074 33554432000 4194304 4196468 140720616061888 139729014581776 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5029] ppid=5020 vsize=15683912 memory=66848 CPUtime=0.1 cores=0,2,4,6
/proc/5023/task/5029/stat : 5029 (java) S 5020 5023 32649 0 -1 1077944384 64 0 0 0 8 2 0 0 20 0 19 0 75310999 16060325888 776074 33554432000 4194304 4196468 140720616061888 139729013529232 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5030] ppid=5020 vsize=15683912 memory=6935054825532540783 CPUtime=0.05 cores=0,2,4,6
/proc/5023/task/5030/stat : 5030 (java) S 5020 5023 32649 0 -1 1077944384 24 0 0 0 3 2 0 0 20 0 19 0 75311001 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728525556208 139729555245698 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5031] ppid=5020 vsize=15683912 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5031/stat : 5031 (java) S 5020 5023 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 75311001 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728171034016 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5032] ppid=5020 vsize=15683912 memory=-5059952977386882957 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5032/stat : 5032 (java) S 5020 5023 32649 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 75311002 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728036812272 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5033] ppid=5020 vsize=15683912 memory=7892 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5033/stat : 5033 (java) S 5020 5023 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75311004 16060325888 776074 33554432000 4194304 4196468 140720616061888 139727662308048 139729555253147 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5034] ppid=5020 vsize=15683912 memory=279492850506272 CPUtime=6.07 cores=0,2,4,6
/proc/5023/task/5034/stat : 5034 (java) S 5020 5023 32649 0 -1 1077944384 3117 0 0 0 606 1 0 0 20 0 19 0 75311004 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728524503024 139729555245698 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5035] ppid=5020 vsize=15683912 memory=7100839878645619564 CPUtime=5.52 cores=0,2,4,6
/proc/5023/task/5035/stat : 5035 (java) S 5020 5023 32649 0 -1 1077944384 4853 0 0 0 549 3 0 0 20 0 19 0 75311004 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728523450480 139729555245698 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5036] ppid=5020 vsize=15683912 memory=-5059952977386882957 CPUtime=1.4 cores=0,2,4,6
/proc/5023/task/5036/stat : 5036 (java) S 5020 5023 32649 0 -1 1077944384 4227 0 0 0 138 2 0 0 20 0 19 0 75311004 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728522397936 139729555245698 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5037] ppid=5020 vsize=15683912 memory=89496 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5037/stat : 5037 (java) S 5020 5023 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75311004 16060325888 776074 33554432000 4194304 4196468 140720616061888 139727164402272 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5038] ppid=5020 vsize=15683912 memory=279492849469512 CPUtime=1.13 cores=0,2,4,6
/proc/5023/task/5038/stat : 5038 (java) S 5020 5023 32649 0 -1 1077944384 163 0 0 0 60 53 0 0 20 0 19 0 75311004 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728521345840 139729555245698 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5041] ppid=5020 vsize=15683912 memory=7680491646476186387 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5041/stat : 5041 (java) S 5020 5023 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 75311887 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728641422912 139729555259161 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5043] ppid=5020 vsize=15683912 memory=89496 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5043/stat : 5043 (java) S 5020 5023 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 75311888 16060325888 776074 33554432000 4194304 4196468 140720616061888 139726627516464 139729555256477 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5044] ppid=5020 vsize=15683912 memory=3104296 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5044/stat : 5044 (java) S 5020 5023 32649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 75311888 16060325888 776074 33554432000 4194304 4196468 140720616061888 139726359084208 139729555256477 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5045] ppid=5020 vsize=15683912 memory=3104296 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5045/stat : 5045 (java) S 5020 5023 32649 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 75311889 16060325888 776074 33554432000 4194304 4196468 140720616061888 139726761745440 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
Current children cumulated CPU time: 2456.55 s
Current children cumulated vsize: 15808196 KiB
Current children cumulated memory: 3193944 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/225 5222
/proc/meminfo: memFree=18784280/32770624 swapFree=67108860/67108860
[pid=5023] ppid=5020 vsize=15683912 memory=3104296 CPUtime=23.46 cores=0,2,4,6
/proc/5023/stat : 5023 (java) S 5020 5023 32649 0 -1 1077944320 33145 0 0 0 2235 111 0 0 20 0 19 0 75310997 16060325888 776074 33554432000 4194304 4196468 140720616061888 140720616044432 139729555234551 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
/proc/5023/statm: 3920978 776074 3231 1 0 3881834 0
[pid=5040] ppid=5023 vsize=124284 memory=89648 CPUtime=2493.11 cores=0,2,4,6
/proc/5040/stat : 5040 (minisat_release) R 5023 5023 32649 0 -1 4202496 160375 0 0 0 249296 15 0 0 20 0 1 0 75311887 127266816 22412 33554432000 4194304 4308513 140727467643456 140727467640456 4276015 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 32489472 140727467651761 140727467652270 140727467652270 140727467655109 0
/proc/5040/statm: 31071 22412 354 28 0 27311 0
[pid=5023/tid=5025] ppid=5020 vsize=15683912 memory=3104296 CPUtime=8.79 cores=0,2,4,6
/proc/5023/task/5025/stat : 5025 (java) S 5020 5023 32649 0 -1 1077944384 19066 0 0 0 833 46 0 0 20 0 19 0 75310998 16060325888 776074 33554432000 4194304 4196468 140720616061888 139729527073792 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5026] ppid=5020 vsize=15683912 memory=3104296 CPUtime=0.1 cores=0,2,4,6
/proc/5023/task/5026/stat : 5026 (java) S 5020 5023 32649 0 -1 1077944384 53 0 0 0 8 2 0 0 20 0 19 0 75310999 16060325888 776074 33554432000 4194304 4196468 140720616061888 139729559476496 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5027] ppid=5020 vsize=15683912 memory=3104296 CPUtime=0.1 cores=0,2,4,6
/proc/5023/task/5027/stat : 5027 (java) S 5020 5023 32649 0 -1 1077944384 108 0 0 0 8 2 0 0 20 0 19 0 75310999 16060325888 776074 33554432000 4194304 4196468 140720616061888 139729015634320 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5028] ppid=5020 vsize=15683912 memory=3104296 CPUtime=0.1 cores=0,2,4,6
/proc/5023/task/5028/stat : 5028 (java) S 5020 5023 32649 0 -1 1077944384 43 0 0 0 8 2 0 0 20 0 19 0 75310999 16060325888 776074 33554432000 4194304 4196468 140720616061888 139729014581776 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5029] ppid=5020 vsize=15683912 memory=3104296 CPUtime=0.1 cores=0,2,4,6
/proc/5023/task/5029/stat : 5029 (java) S 5020 5023 32649 0 -1 1077944384 64 0 0 0 8 2 0 0 20 0 19 0 75310999 16060325888 776074 33554432000 4194304 4196468 140720616061888 139729013529232 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5030] ppid=5020 vsize=15683912 memory=3104296 CPUtime=0.05 cores=0,2,4,6
/proc/5023/task/5030/stat : 5030 (java) S 5020 5023 32649 0 -1 1077944384 24 0 0 0 3 2 0 0 20 0 19 0 75311001 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728525556208 139729555245698 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5031] ppid=5020 vsize=15683912 memory=3472328296227679313 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5031/stat : 5031 (java) S 5020 5023 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 75311001 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728171034016 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5032] ppid=5020 vsize=15683912 memory=3104296 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5032/stat : 5032 (java) S 5020 5023 32649 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 75311002 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728036812272 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5033] ppid=5020 vsize=15683912 memory=3104296 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5033/stat : 5033 (java) S 5020 5023 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75311004 16060325888 776074 33554432000 4194304 4196468 140720616061888 139727662308048 139729555253147 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5034] ppid=5020 vsize=15683912 memory=3104296 CPUtime=6.07 cores=0,2,4,6
/proc/5023/task/5034/stat : 5034 (java) S 5020 5023 32649 0 -1 1077944384 3117 0 0 0 606 1 0 0 20 0 19 0 75311004 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728524503024 139729555245698 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5035] ppid=5020 vsize=15683912 memory=3104296 CPUtime=5.52 cores=0,2,4,6
/proc/5023/task/5035/stat : 5035 (java) S 5020 5023 32649 0 -1 1077944384 4853 0 0 0 549 3 0 0 20 0 19 0 75311004 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728523450480 139729555245698 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5036] ppid=5020 vsize=15683912 memory=89648 CPUtime=1.4 cores=0,2,4,6
/proc/5023/task/5036/stat : 5036 (java) S 5020 5023 32649 0 -1 1077944384 4227 0 0 0 138 2 0 0 20 0 19 0 75311004 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728522397936 139729555245698 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5037] ppid=5020 vsize=15683912 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5037/stat : 5037 (java) S 5020 5023 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75311004 16060325888 776074 33554432000 4194304 4196468 140720616061888 139727164402272 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5038] ppid=5020 vsize=15683912 memory=2436 CPUtime=1.16 cores=0,2,4,6
/proc/5023/task/5038/stat : 5038 (java) S 5020 5023 32649 0 -1 1077944384 167 0 0 0 61 55 0 0 20 0 19 0 75311004 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728521345840 139729555245698 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5041] ppid=5020 vsize=15683912 memory=3104296 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5041/stat : 5041 (java) S 5020 5023 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 75311887 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728641422912 139729555259161 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5043] ppid=5020 vsize=15683912 memory=3104296 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5043/stat : 5043 (java) S 5020 5023 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 75311888 16060325888 776074 33554432000 4194304 4196468 140720616061888 139726627516464 139729555256477 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5044] ppid=5020 vsize=15683912 memory=792 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5044/stat : 5044 (java) S 5020 5023 32649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 75311888 16060325888 776074 33554432000 4194304 4196468 140720616061888 139726359084208 139729555256477 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5045] ppid=5020 vsize=15683912 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5045/stat : 5045 (java) S 5020 5023 32649 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 75311889 16060325888 776074 33554432000 4194304 4196468 140720616061888 139726761745440 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
Current children cumulated CPU time: 2516.57 s
Current children cumulated vsize: 15808196 KiB
Current children cumulated memory: 3193944 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505.8 s]
/proc/loadavg: 2.00 2.04 2.05 3/225 5222
/proc/meminfo: memFree=18784280/32770624 swapFree=67108860/67108860
[pid=5023] ppid=5020 vsize=15683912 memory=3104296 CPUtime=23.47 cores=0,2,4,6
/proc/5023/stat : 5023 (java) S 5020 5023 32649 0 -1 1077944320 33145 0 0 0 2236 111 0 0 20 0 19 0 75310997 16060325888 776074 33554432000 4194304 4196468 140720616061888 140720616044432 139729555234551 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
/proc/5023/statm: 3920978 776074 3231 1 0 3881834 0
[pid=5040] ppid=5023 vsize=124284 memory=89648 CPUtime=2496.61 cores=0,2,4,6
/proc/5040/stat : 5040 (minisat_release) R 5023 5023 32649 0 -1 4202496 160381 0 0 0 249646 15 0 0 20 0 1 0 75311887 127266816 22412 33554432000 4194304 4308513 140727467643456 140727467640456 4276376 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 32489472 140727467651761 140727467652270 140727467652270 140727467655109 0
/proc/5040/statm: 31071 22412 354 28 0 27311 0
[pid=5023/tid=5025] ppid=5020 vsize=15683912 memory=-5059952977386882957 CPUtime=8.79 cores=0,2,4,6
/proc/5023/task/5025/stat : 5025 (java) S 5020 5023 32649 0 -1 1077944384 19066 0 0 0 833 46 0 0 20 0 19 0 75310998 16060325888 776074 33554432000 4194304 4196468 140720616061888 139729527073792 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5026] ppid=5020 vsize=15683912 memory=89648 CPUtime=0.1 cores=0,2,4,6
/proc/5023/task/5026/stat : 5026 (java) S 5020 5023 32649 0 -1 1077944384 53 0 0 0 8 2 0 0 20 0 19 0 75310999 16060325888 776074 33554432000 4194304 4196468 140720616061888 139729559476496 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5027] ppid=5020 vsize=15683912 memory=14144 CPUtime=0.1 cores=0,2,4,6
/proc/5023/task/5027/stat : 5027 (java) S 5020 5023 32649 0 -1 1077944384 108 0 0 0 8 2 0 0 20 0 19 0 75310999 16060325888 776074 33554432000 4194304 4196468 140720616061888 139729015634320 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5028] ppid=5020 vsize=15683912 memory=4052 CPUtime=0.1 cores=0,2,4,6
/proc/5023/task/5028/stat : 5028 (java) S 5020 5023 32649 0 -1 1077944384 43 0 0 0 8 2 0 0 20 0 19 0 75310999 16060325888 776074 33554432000 4194304 4196468 140720616061888 139729014581776 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5029] ppid=5020 vsize=15683912 memory=1944 CPUtime=0.1 cores=0,2,4,6
/proc/5023/task/5029/stat : 5029 (java) S 5020 5023 32649 0 -1 1077944384 64 0 0 0 8 2 0 0 20 0 19 0 75310999 16060325888 776074 33554432000 4194304 4196468 140720616061888 139729013529232 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5030] ppid=5020 vsize=15683912 memory=1428 CPUtime=0.05 cores=0,2,4,6
/proc/5023/task/5030/stat : 5030 (java) S 5020 5023 32649 0 -1 1077944384 24 0 0 0 3 2 0 0 20 0 19 0 75311001 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728525556208 139729555245698 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5031] ppid=5020 vsize=15683912 memory=8532 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5031/stat : 5031 (java) S 5020 5023 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 75311001 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728171034016 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5032] ppid=5020 vsize=15683912 memory=792 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5032/stat : 5032 (java) S 5020 5023 32649 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 75311002 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728036812272 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5033] ppid=5020 vsize=15683912 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5033/stat : 5033 (java) S 5020 5023 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75311004 16060325888 776074 33554432000 4194304 4196468 140720616061888 139727662308048 139729555253147 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5034] ppid=5020 vsize=15683912 memory=1228 CPUtime=6.07 cores=0,2,4,6
/proc/5023/task/5034/stat : 5034 (java) S 5020 5023 32649 0 -1 1077944384 3117 0 0 0 606 1 0 0 20 0 19 0 75311004 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728524503024 139729555245698 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5035] ppid=5020 vsize=15683912 memory=1200 CPUtime=5.52 cores=0,2,4,6
/proc/5023/task/5035/stat : 5035 (java) S 5020 5023 32649 0 -1 1077944384 4853 0 0 0 549 3 0 0 20 0 19 0 75311004 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728523450480 139729555245698 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5036] ppid=5020 vsize=15683912 memory=3104296 CPUtime=1.4 cores=0,2,4,6
/proc/5023/task/5036/stat : 5036 (java) S 5020 5023 32649 0 -1 1077944384 4227 0 0 0 138 2 0 0 20 0 19 0 75311004 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728522397936 139729555245698 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5037] ppid=5020 vsize=15683912 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5037/stat : 5037 (java) S 5020 5023 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 75311004 16060325888 776074 33554432000 4194304 4196468 140720616061888 139727164402272 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5038] ppid=5020 vsize=15683912 memory=22896 CPUtime=1.16 cores=0,2,4,6
/proc/5023/task/5038/stat : 5038 (java) S 5020 5023 32649 0 -1 1077944384 167 0 0 0 61 55 0 0 20 0 19 0 75311004 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728521345840 139729555245698 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5041] ppid=5020 vsize=15683912 memory=9047017150487036575 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5041/stat : 5041 (java) S 5020 5023 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 75311887 16060325888 776074 33554432000 4194304 4196468 140720616061888 139728641422912 139729555259161 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5043] ppid=5020 vsize=15683912 memory=279492850202880 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5043/stat : 5043 (java) S 5020 5023 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 75311888 16060325888 776074 33554432000 4194304 4196468 140720616061888 139726627516464 139729555256477 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5044] ppid=5020 vsize=15683912 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5044/stat : 5044 (java) S 5020 5023 32649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 75311888 16060325888 776074 33554432000 4194304 4196468 140720616061888 139726359084208 139729555256477 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
[pid=5023/tid=5045] ppid=5020 vsize=15683912 memory=279492849751248 CPUtime=0 cores=0,2,4,6
/proc/5023/task/5045/stat : 5045 (java) S 5020 5023 32649 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 75311889 16060325888 776074 33554432000 4194304 4196468 140720616061888 139726761745440 139729555244757 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28041216 140720616068083 140720616068361 140720616068361 140720616071119 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 15808196 KiB
Current children cumulated memory: 3193944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.84 s]
# the end of solver process 5023 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.84 s, system=1.29357 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2505.84
CPU time (s): 2520.13
CPU user time (s): 2518.84
CPU system time (s): 1.29357
CPU usage (%): 100.57
Max. virtual memory (cumulated for all children) (KiB): 15826876
Max. memory (cumulated for all children) (KiB): 3217784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.84
system time used= 1.29357
maximum resident set size= 3105656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193591
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58988
involuntary context switches= 2893
# summary of solver processes directly reported to runsolver:
# pid: 5023
# total CPU time (s): 2520.13
# total CPU user time (s): 2518.84
# total CPU system time (s): 1.29357
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1911 second user time and 25.0712 second system time
The end