0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Thu Jul 26 11:44:46 CEST 2018
0.67/0.55 c PID: 4951
0.67/0.55 c IP: 172.20.3.134
0.67/0.55 c HOST: node134.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.07/1.07 c (0,0) Parsing End
2.07/1.08 c (0,0) CSP: 208 int (0 aux), 0 bool (0 aux), 97 ctr, max domain size 64
2.07/1.08 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.07/1.08 c (0,0) Constraint Name Generate Begin
2.07/1.09 c (0,0) Ctr:HOME/instance-4296181-1532598285.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.07/1.09 c (0,0) Constraint Name Generate End
2.07/1.09 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.07/1.09 c (0,0) CSP to CSPinCNF Begin
9.27/3.49 c (2,2) translated 10 (10%) constraints
12.52/4.89 c (4,4) translated 20 (20%) constraints
13.99/6.19 c (5,5) translated 30 (30%) constraints
15.37/7.36 c (6,6) translated 39 (40%) constraints
16.72/8.64 c (8,8) translated 49 (50%) constraints
18.50/9.99 c (9,9) translated 59 (60%) constraints
19.42/10.82 c (10,10) translated 68 (70%) constraints
19.42/10.83 c (10,10) translated 78 (80%) constraints
19.42/10.83 c (10,10) translated 88 (90%) constraints
19.42/10.83 c (10,10) translated 97 (100%) constraints
20.57/11.45 c (10,10) STATISTICS1:HOME/instance-4296181-1532598285.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,24336,149826,64,64,65,2,64:2016,64:12224;12:162008;2:258752;1:23176,65:64;64:2;5:2240;4:58816;3:28096;2:60576;1:32,2:2016;1:452160;0:64,
20.57/11.45 c (10,10) ===========================================
20.57/11.45 c (10,10) Both Encoding selects:
20.57/11.45 c (10,10) Order
20.57/11.45 c (10,10) ===========================================
21.73/11.86 c (11,11) translated 14983 (10%) constraints
22.16/12.09 c (11,11) translated 29966 (20%) constraints
22.47/12.31 c (11,11) translated 44948 (30%) constraints
22.74/12.53 c (12,11) translated 59931 (40%) constraints
22.94/12.75 c (12,12) translated 74913 (50%) constraints
23.14/12.97 c (12,12) translated 89896 (60%) constraints
23.35/13.19 c (12,12) translated 104879 (70%) constraints
23.64/13.41 c (12,12) translated 119861 (80%) constraints
23.84/13.64 c (13,12) translated 134844 (90%) constraints
24.04/13.87 c (13,13) translated 149826 (100%) constraints
24.04/13.87 c (13,13) CSP to CSPinCNF End
24.04/13.89 c (13,13) CSP: 208 int (0 aux), 24128 bool (24128 aux), 149858 ctr, max domain size 64
24.04/13.89 c (13,13) Heap : 2501 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.04/13.89 c (13,13) CSPinCNF Propagation Begin
28.82/16.97 c (16,16) 7632 values, 41237 unsatisfiable literals, and 43679 valid clauses are removed
28.82/16.97 c (16,16) CSPinCNF Propagation End
28.82/16.98 c (16,16) CSP: 6736 int (6528 aux), 17600 bool (17600 aux), 106179 ctr, max domain size 64
28.82/16.98 c (16,16) Heap : 935 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
28.82/16.98 c (16,16) Simplify CSPinCNF Begin
29.39/17.23 c (16,16) Simplify CSPinCNF End
29.39/17.24 c (16,16) CSP: 6736 int (6528 aux), 21632 bool (21632 aux), 110211 ctr, max domain size 64
29.39/17.24 c (16,16) Heap : 1046 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
29.39/17.24 c (16,16) Calculate Precise Domain Begin
29.39/17.24 c (16,16) 0 values are removed by re-calculation
29.39/17.24 c (16,16) Calculate Precise Domain End
29.39/17.25 c (16,16) CSP: 6736 int (6528 aux), 21632 bool (21632 aux), 110211 ctr, max domain size 64
29.39/17.25 c (16,16) Heap : 1046 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
29.39/17.25 c (16,16) CSPinCNF to SatSolver Begin
30.84/17.88 c (17,16) 11022 (10 %) CSP clauses are encoded (25792 SAT variables, 157421 SAT clauses)
31.07/17.95 c (17,16) 22043 (20 %) CSP clauses are encoded (25792 SAT variables, 168442 SAT clauses)
31.24/18.02 c (17,17) 33064 (30 %) CSP clauses are encoded (25792 SAT variables, 179463 SAT clauses)
31.24/18.08 c (17,17) 44085 (40 %) CSP clauses are encoded (25792 SAT variables, 190484 SAT clauses)
31.35/18.14 c (17,17) 55106 (50 %) CSP clauses are encoded (25792 SAT variables, 201505 SAT clauses)
31.44/18.20 c (17,17) 66127 (60 %) CSP clauses are encoded (25792 SAT variables, 212526 SAT clauses)
31.44/18.26 c (17,17) 77148 (70 %) CSP clauses are encoded (25792 SAT variables, 223547 SAT clauses)
31.57/18.32 c (17,17) 88169 (80 %) CSP clauses are encoded (25792 SAT variables, 234568 SAT clauses)
31.57/18.38 c (17,17) 99190 (90 %) CSP clauses are encoded (25792 SAT variables, 245589 SAT clauses)
31.67/18.44 c (17,17) 110211 (100 %) CSP clauses are encoded (25792 SAT variables, 256610 SAT clauses)
31.67/18.44 c (17,17) CSPinCNF to SatSolver End
31.67/18.44 c (17,17) Heap : 1950 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
32.15/18.77 c (18,17) STATISTICS2:HOME/instance-4296181-1532598285.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,28368,110211,64,64,64,2,64:1260;28:2280;4:492,64:9144;28:4344;12:127795;4:532;2:187899,64:37;36:1;28:24;5:1350;4:39168;3:19922;2:49709,2:4032;1:321650,
32.15/18.77 c (18,17) SatSolver.solve Begin
32.15/18.77 c (18,17) 25792 bool, 256611 clause
32.15/18.77 c (18,17) 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-4296181-1532598285.xml-scop-4951.cnf HOME/instance-4296181-1532598285.xml-scop-4951.cnf.out
202.50/188.90 c (188,17) SatSolver is killed by some reasons.
202.50/188.90 c (188,0) receiving signal SIGTERM
202.50/188.90 c (188,17) 0,0,13,16,16,16,17,TO,TO,STOP-AFTER(DIMACS)
202.50/188.90 s UNKNOWN
202.50/188.90 s UNKNOWN
202.50/188.90 c END-Prog: Thu Jul 26 11:47:54 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 (9131 MiB free)
memory of node 1: 16384 MiB (7990 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296181-1532598285/watcher-4296181-1532598285 -o /tmp/evaluation-result-4296181-1532598285/solver-4296181-1532598285 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532597865-4306 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4296181-1532598285.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=4951, runsolver pid=4948
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 2.45 2.12 1.75 3/224 4966
/proc/meminfo: memFree=17472732/32770624 swapFree=67108860/67108860
[pid=4951] ppid=4948 vsize=15011656 memory=72940 CPUtime=0.12 cores=0,2,4,6
/proc/4951/stat : 4951 (java) S 4948 4951 4275 0 -1 1077944320 6382 0 0 0 10 2 0 0 20 0 15 0 77391722 15371935744 18235 33554432000 4194304 4196468 140733175189936 140733175172480 140601100750583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
/proc/4951/statm: 3752914 18235 2781 1 0 3715374 0
[pid=4951/tid=4953] ppid=4948 vsize=15011656 memory=4569929455780336531 CPUtime=0.09 cores=0,2,4,6
/proc/4951/task/4953/stat : 4953 (java) R 4948 4951 4275 0 -1 4202560 4708 0 0 0 8 1 0 0 20 0 15 0 77391722 15371935744 18433 33554432000 4194304 4196468 140733175189936 140601072536704 140601081026290 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4954] ppid=4948 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4954/stat : 4954 (java) S 4948 4951 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391724 15371935744 18433 33554432000 4194304 4196468 140733175189936 140601104992528 140601100760789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4955] ppid=4948 vsize=15011656 memory=139951997363840 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4955/stat : 4955 (java) S 4948 4951 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391724 15371935744 18433 33554432000 4194304 4196468 140733175189936 140600923081104 140601100760789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4956] ppid=4948 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4956/stat : 4956 (java) S 4948 4951 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391724 15371935744 18433 33554432000 4194304 4196468 140733175189936 140600560658960 140601100760789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4957] ppid=4948 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4957/stat : 4957 (java) S 4948 4951 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391724 15371935744 18433 33554432000 4194304 4196468 140733175189936 140600559606416 140601100760789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4958] ppid=4948 vsize=15011656 memory=139951997363840 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4958/stat : 4958 (java) S 4948 4951 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391725 15371935744 18499 33554432000 4194304 4196468 140733175189936 140600139045360 140601100761730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4959] ppid=4948 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4959/stat : 4959 (java) S 4948 4951 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77391726 15371935744 18499 33554432000 4194304 4196468 140733175189936 140599646741920 140601100760789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4960] ppid=4948 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4960/stat : 4960 (java) S 4948 4951 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391726 15371935744 18499 33554432000 4194304 4196468 140733175189936 140599378306544 140601100760789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4961] ppid=4948 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4961/stat : 4961 (java) S 4948 4951 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77391728 15371935744 18499 33554432000 4194304 4196468 140733175189936 140599003798224 140601100769179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4962] ppid=4948 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4962/stat : 4962 (java) S 4948 4951 4275 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 77391728 15371935744 18499 33554432000 4194304 4196468 140733175189936 140600137992176 140601100761730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4963] ppid=4948 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4963/stat : 4963 (java) S 4948 4951 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77391728 15371935744 18499 33554432000 4194304 4196468 140733175189936 140600136939632 140601100761730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4964] ppid=4948 vsize=15011656 memory=139951997363840 CPUtime=0.01 cores=0,2,4,6
/proc/4951/task/4964/stat : 4964 (java) S 4948 4951 4275 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 77391728 15371935744 18499 33554432000 4194304 4196468 140733175189936 140600135887088 140601100761730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4965] ppid=4948 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4965/stat : 4965 (java) S 4948 4951 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77391729 15371935744 18499 33554432000 4194304 4196468 140733175189936 140598505892448 140601100760789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4966] ppid=4948 vsize=15011656 memory=139951997363840 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4966/stat : 4966 (java) S 4948 4951 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391729 15371935744 18499 33554432000 4194304 4196468 140733175189936 140600134834992 140601100761730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72940 KiB
[startup+0.210768 s]*
/proc/loadavg: 2.45 2.12 1.75 3/224 4966
/proc/meminfo: memFree=17459224/32770624 swapFree=67108860/67108860
[pid=4951] ppid=4948 vsize=15011656 memory=86024 CPUtime=0.25 cores=0,2,4,6
/proc/4951/stat : 4951 (java) S 4948 4951 4275 0 -1 1077944320 9916 0 0 0 23 2 0 0 20 0 15 0 77391722 15371935744 21506 33554432000 4194304 4196468 140733175189936 140733175172480 140601100750583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
/proc/4951/statm: 3752914 21506 2891 1 0 3715374 0
[pid=4951/tid=4953] ppid=4948 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/4951/task/4953/stat : 4953 (java) R 4948 4951 4275 0 -1 4202560 7828 0 0 0 18 2 0 0 20 0 15 0 77391722 15371935744 21506 33554432000 4194304 4196468 140733175189936 140601072576240 140601084831070 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4954] ppid=4948 vsize=15011656 memory=288292155783643159 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4954/stat : 4954 (java) S 4948 4951 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391724 15371935744 21506 33554432000 4194304 4196468 140733175189936 140601104992528 140601100760789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4955] ppid=4948 vsize=15011656 memory=139951997390886 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4955/stat : 4955 (java) S 4948 4951 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391724 15371935744 21506 33554432000 4194304 4196468 140733175189936 140600923081104 140601100760789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4956] ppid=4948 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4956/stat : 4956 (java) S 4948 4951 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391724 15371935744 21506 33554432000 4194304 4196468 140733175189936 140600560658960 140601100760789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4957] ppid=4948 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4957/stat : 4957 (java) S 4948 4951 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391724 15371935744 21506 33554432000 4194304 4196468 140733175189936 140600559606416 140601100760789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4958] ppid=4948 vsize=15011656 memory=139951997363840 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4958/stat : 4958 (java) S 4948 4951 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391725 15371935744 21506 33554432000 4194304 4196468 140733175189936 140600139045360 140601100761730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4959] ppid=4948 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4959/stat : 4959 (java) S 4948 4951 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77391726 15371935744 21506 33554432000 4194304 4196468 140733175189936 140599646741920 140601100760789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4960] ppid=4948 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4960/stat : 4960 (java) S 4948 4951 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391726 15371935744 21506 33554432000 4194304 4196468 140733175189936 140599378306544 140601100760789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4961] ppid=4948 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4961/stat : 4961 (java) S 4948 4951 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77391728 15371935744 21506 33554432000 4194304 4196468 140733175189936 140599003798224 140601100769179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4962] ppid=4948 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4951/task/4962/stat : 4962 (java) R 4948 4951 4275 0 -1 4202560 424 0 0 0 1 0 0 0 20 0 15 0 77391728 15371935744 21506 33554432000 4194304 4196468 140733175189936 140600137992176 140601078409648 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4963] ppid=4948 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4963/stat : 4963 (java) R 4948 4951 4275 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 15 0 77391728 15371935744 21506 33554432000 4194304 4196468 140733175189936 140600136939632 140601086765559 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4964] ppid=4948 vsize=15011656 memory=139951997363840 CPUtime=0.03 cores=0,2,4,6
/proc/4951/task/4964/stat : 4964 (java) S 4948 4951 4275 0 -1 1077944384 288 0 0 0 3 0 0 0 20 0 15 0 77391728 15371935744 21506 33554432000 4194304 4196468 140733175189936 140600135887088 140601100761730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4965] ppid=4948 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4965/stat : 4965 (java) S 4948 4951 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77391729 15371935744 21506 33554432000 4194304 4196468 140733175189936 140598505892448 140601100760789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4966] ppid=4948 vsize=15011656 memory=139951997363840 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4966/stat : 4966 (java) R 4948 4951 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391729 15371935744 21506 33554432000 4194304 4196468 140733175189936 140600134834992 140601100761730 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86024 KiB
[startup+0.310732 s]*
/proc/loadavg: 2.45 2.12 1.75 3/224 4966
/proc/meminfo: memFree=17455740/32770624 swapFree=67108860/67108860
[pid=4951] ppid=4948 vsize=15011656 memory=89816 CPUtime=0.44 cores=0,2,4,6
/proc/4951/stat : 4951 (java) S 4948 4951 4275 0 -1 1077944320 10486 0 0 0 41 3 0 0 20 0 15 0 77391722 15371935744 22454 33554432000 4194304 4196468 140733175189936 140733175172480 140601100750583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
/proc/4951/statm: 3752914 22454 3022 1 0 3715374 0
[pid=4951/tid=4953] ppid=4948 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/4951/task/4953/stat : 4953 (java) R 4948 4951 4275 0 -1 4202560 8217 0 0 0 28 2 0 0 20 0 15 0 77391722 15371935744 22454 33554432000 4194304 4196468 140733175189936 140601072554736 140601081026304 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4954] ppid=4948 vsize=15011656 memory=4294967660 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4954/stat : 4954 (java) S 4948 4951 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391724 15371935744 22454 33554432000 4194304 4196468 140733175189936 140601104992528 140601100760789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4955] ppid=4948 vsize=15011656 memory=139951997389732 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4955/stat : 4955 (java) S 4948 4951 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391724 15371935744 22454 33554432000 4194304 4196468 140733175189936 140600923081104 140601100760789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4956] ppid=4948 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4956/stat : 4956 (java) S 4948 4951 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391724 15371935744 22454 33554432000 4194304 4196468 140733175189936 140600560658960 140601100760789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4957] ppid=4948 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4957/stat : 4957 (java) S 4948 4951 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391724 15371935744 22454 33554432000 4194304 4196468 140733175189936 140600559606416 140601100760789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4958] ppid=4948 vsize=15011656 memory=139951997363840 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4958/stat : 4958 (java) S 4948 4951 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391725 15371935744 22454 33554432000 4194304 4196468 140733175189936 140600139045360 140601100761730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4959] ppid=4948 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4959/stat : 4959 (java) S 4948 4951 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77391726 15371935744 22454 33554432000 4194304 4196468 140733175189936 140599646741920 140601100760789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4960] ppid=4948 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4960/stat : 4960 (java) S 4948 4951 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391726 15371935744 22454 33554432000 4194304 4196468 140733175189936 140599378306544 140601100760789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4961] ppid=4948 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4961/stat : 4961 (java) S 4948 4951 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77391728 15371935744 22454 33554432000 4194304 4196468 140733175189936 140599003798224 140601100769179 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4962] ppid=4948 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4951/task/4962/stat : 4962 (java) S 4948 4951 4275 0 -1 1077944384 487 0 0 0 2 0 0 0 20 0 15 0 77391728 15371935744 22454 33554432000 4194304 4196468 140733175189936 140600137992176 140601100761730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4963] ppid=4948 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4951/task/4963/stat : 4963 (java) S 4948 4951 4275 0 -1 1077944384 135 0 0 0 2 0 0 0 20 0 15 0 77391728 15371935744 22454 33554432000 4194304 4196468 140733175189936 140600136939632 140601100761730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4964] ppid=4948 vsize=15011656 memory=139951997363840 CPUtime=0.07 cores=0,2,4,6
/proc/4951/task/4964/stat : 4964 (java) S 4948 4951 4275 0 -1 1077944384 315 0 0 0 7 0 0 0 20 0 15 0 77391728 15371935744 22454 33554432000 4194304 4196468 140733175189936 140600135887088 140601100761730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4965] ppid=4948 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4965/stat : 4965 (java) S 4948 4951 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77391729 15371935744 22454 33554432000 4194304 4196468 140733175189936 140598505892448 140601100760789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4966] ppid=4948 vsize=15011656 memory=139951997363840 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4966/stat : 4966 (java) S 4948 4951 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391729 15371935744 22454 33554432000 4194304 4196468 140733175189936 140600134834992 140601100761730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89816 KiB
[startup+0.700716 s]
/proc/loadavg: 2.45 2.12 1.75 3/224 4966
/proc/meminfo: memFree=17430900/32770624 swapFree=67108860/67108860
[pid=4951] ppid=4948 vsize=15020052 memory=129384 CPUtime=1.01 cores=0,2,4,6
/proc/4951/stat : 4951 (java) S 4948 4951 4275 0 -1 1077944320 17637 0 0 0 96 5 0 0 20 0 15 0 77391722 15380533248 32346 33554432000 4194304 4196468 140733175189936 140733175172480 140601100750583 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
/proc/4951/statm: 3755013 32346 3152 1 0 3716398 0
[pid=4951/tid=4953] ppid=4948 vsize=15020052 memory=161246292747965 CPUtime=0.67 cores=0,2,4,6
/proc/4951/task/4953/stat : 4953 (java) R 4948 4951 4275 0 -1 4202560 14907 0 0 0 63 4 0 0 20 0 15 0 77391722 15380533248 32346 33554432000 4194304 4196468 140733175189936 140601072582496 140601084831070 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4954] ppid=4948 vsize=15020052 memory=444077 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4954/stat : 4954 (java) S 4948 4951 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391724 15380533248 32346 33554432000 4194304 4196468 140733175189936 140601104992528 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4955] ppid=4948 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4955/stat : 4955 (java) S 4948 4951 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391724 15380533248 32346 33554432000 4194304 4196468 140733175189936 140600923081104 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4956] ppid=4948 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4956/stat : 4956 (java) S 4948 4951 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391724 15380533248 32346 33554432000 4194304 4196468 140733175189936 140600560658960 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4957] ppid=4948 vsize=15020052 memory=7809523229951467570 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4957/stat : 4957 (java) S 4948 4951 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391724 15380533248 32346 33554432000 4194304 4196468 140733175189936 140600559606416 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4958] ppid=4948 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4958/stat : 4958 (java) S 4948 4951 4275 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 77391725 15380533248 32346 33554432000 4194304 4196468 140733175189936 140600139045360 140601100761730 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4959] ppid=4948 vsize=15020052 memory=-3472574513799858008 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4959/stat : 4959 (java) S 4948 4951 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77391726 15380533248 32346 33554432000 4194304 4196468 140733175189936 140599646741920 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4960] ppid=4948 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4960/stat : 4960 (java) S 4948 4951 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391726 15380533248 32346 33554432000 4194304 4196468 140733175189936 140599378306544 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4961] ppid=4948 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4961/stat : 4961 (java) S 4948 4951 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77391728 15380533248 32346 33554432000 4194304 4196468 140733175189936 140599003798224 140601100769179 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4962] ppid=4948 vsize=15020052 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/4951/task/4962/stat : 4962 (java) S 4948 4951 4275 0 -1 1077944384 724 0 0 0 10 0 0 0 20 0 15 0 77391728 15380533248 32346 33554432000 4194304 4196468 140733175189936 140600137992176 140601100761730 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4963] ppid=4948 vsize=15020052 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/4951/task/4963/stat : 4963 (java) S 4948 4951 4275 0 -1 1077944384 194 0 0 0 5 0 0 0 20 0 15 0 77391728 15380533248 32346 33554432000 4194304 4196468 140733175189936 140600136939632 140601100761730 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4964] ppid=4948 vsize=15020052 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/4951/task/4964/stat : 4964 (java) S 4948 4951 4275 0 -1 1077944384 475 0 0 0 17 0 0 0 20 0 15 0 77391728 15380533248 32346 33554432000 4194304 4196468 140733175189936 140600135887088 140601100761730 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4965] ppid=4948 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4965/stat : 4965 (java) S 4948 4951 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77391729 15380533248 32346 33554432000 4194304 4196468 140733175189936 140598505892448 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4966] ppid=4948 vsize=15020052 memory=6721 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4966/stat : 4966 (java) S 4948 4951 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391729 15380533248 32346 33554432000 4194304 4196468 140733175189936 140600134834992 140601100761730 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129384 KiB
[startup+1.503 s]
/proc/loadavg: 2.45 2.12 1.75 5/224 4966
/proc/meminfo: memFree=17381452/32770624 swapFree=67108860/67108860
[pid=4951] ppid=4948 vsize=15022100 memory=201164 CPUtime=3.58 cores=0,2,4,6
/proc/4951/stat : 4951 (java) S 4948 4951 4275 0 -1 1077944320 23012 0 0 0 351 7 0 0 20 0 15 0 77391722 15382630400 50291 33554432000 4194304 4196468 140733175189936 140733175172480 140601100750583 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
/proc/4951/statm: 3755525 50291 3202 1 0 3716910 0
[pid=4951/tid=4953] ppid=4948 vsize=15022100 memory=279903689875336 CPUtime=1.47 cores=0,2,4,6
/proc/4951/task/4953/stat : 4953 (java) R 4948 4951 4275 0 -1 4202560 15959 0 0 0 142 5 0 0 20 0 15 0 77391722 15382630400 50300 33554432000 4194304 4196468 140733175189936 140601072587600 140600603187745 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4954] ppid=4948 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4954/stat : 4954 (java) S 4948 4951 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391724 15382630400 50300 33554432000 4194304 4196468 140733175189936 140601104992528 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4955] ppid=4948 vsize=15022100 memory=15541821036039219 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4955/stat : 4955 (java) S 4948 4951 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391724 15382630400 50300 33554432000 4194304 4196468 140733175189936 140600923081104 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4956] ppid=4948 vsize=15022100 memory=6154282490091891024 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4956/stat : 4956 (java) S 4948 4951 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77391724 15382630400 50300 33554432000 4194304 4196468 140733175189936 140600560658960 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4957] ppid=4948 vsize=15022100 memory=4640767346415259730 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4957/stat : 4957 (java) S 4948 4951 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77391724 15382630400 50300 33554432000 4194304 4196468 140733175189936 140600559606416 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4958] ppid=4948 vsize=15022100 memory=5787213831426565969 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4958/stat : 4958 (java) S 4948 4951 4275 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 77391725 15382630400 50300 33554432000 4194304 4196468 140733175189936 140600139045360 140601100761730 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
################
# More data... #
################
/proc/meminfo: memFree=14088876/32770624 swapFree=67108860/67108860
[pid=4951] ppid=4948 vsize=15683912 memory=3321340 CPUtime=32.4 cores=0,2,4,6
/proc/4951/stat : 4951 (java) S 4948 4951 4275 0 -1 1077944320 46520 0 0 0 3151 89 0 0 20 0 19 0 77391722 16060325888 830335 33554432000 4194304 4196468 140733175189936 140733175172480 140601100750583 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
/proc/4951/statm: 3920978 830335 3246 1 0 3881834 0
[pid=4967] ppid=4951 vsize=149360 memory=120088 CPUtime=143.49 cores=0,2,4,6
/proc/4967/stat : 4967 (minisat_release) R 4951 4951 4275 0 -1 4202496 53352 0 0 0 14335 14 0 0 20 0 1 0 77393601 152944640 30022 33554432000 4194304 4308513 140720852206704 140720852203608 4263231 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 21778432 140720852210353 140720852210862 140720852210862 140720852213701 0
/proc/4967/statm: 37340 30022 354 28 0 33580 0
[pid=4951/tid=4953] ppid=4948 vsize=15683912 memory=3321340 CPUtime=18.38 cores=0,2,4,6
/proc/4951/task/4953/stat : 4953 (java) S 4948 4951 4275 0 -1 1077944384 20426 0 0 0 1792 46 0 0 20 0 19 0 77391722 16060325888 830335 33554432000 4194304 4196468 140733175189936 140601072589824 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4954] ppid=4948 vsize=15683912 memory=1844 CPUtime=0.34 cores=0,2,4,6
/proc/4951/task/4954/stat : 4954 (java) S 4948 4951 4275 0 -1 1077944384 257 0 0 0 26 8 0 0 20 0 19 0 77391724 16060325888 830335 33554432000 4194304 4196468 140733175189936 140601104992528 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4955] ppid=4948 vsize=15683912 memory=124184 CPUtime=0.34 cores=0,2,4,6
/proc/4951/task/4955/stat : 4955 (java) S 4948 4951 4275 0 -1 1077944384 190 0 0 0 27 7 0 0 20 0 19 0 77391724 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600923081104 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4956] ppid=4948 vsize=15683912 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/4951/task/4956/stat : 4956 (java) S 4948 4951 4275 0 -1 1077944384 210 0 0 0 26 8 0 0 20 0 19 0 77391724 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600560658960 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4957] ppid=4948 vsize=15683912 memory=120088 CPUtime=0.34 cores=0,2,4,6
/proc/4951/task/4957/stat : 4957 (java) S 4948 4951 4275 0 -1 1077944384 158 0 0 0 26 8 0 0 20 0 19 0 77391724 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600559606416 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4958] ppid=4948 vsize=15683912 memory=120088 CPUtime=0.01 cores=0,2,4,6
/proc/4951/task/4958/stat : 4958 (java) S 4948 4951 4275 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 19 0 77391725 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600139045360 140601100761730 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4959] ppid=4948 vsize=15683912 memory=3321340 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4959/stat : 4959 (java) S 4948 4951 4275 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 77391726 16060325888 830335 33554432000 4194304 4196468 140733175189936 140599646741984 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4960] ppid=4948 vsize=15683912 memory=3321340 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4960/stat : 4960 (java) S 4948 4951 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77391726 16060325888 830335 33554432000 4194304 4196468 140733175189936 140599378306560 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4961] ppid=4948 vsize=15683912 memory=3321340 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4961/stat : 4961 (java) S 4948 4951 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77391728 16060325888 830335 33554432000 4194304 4196468 140733175189936 140599003798224 140601100769179 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4962] ppid=4948 vsize=15683912 memory=4096 CPUtime=5.7 cores=0,2,4,6
/proc/4951/task/4962/stat : 4962 (java) S 4948 4951 4275 0 -1 1077944384 9110 0 0 0 568 2 0 0 20 0 19 0 77391728 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600137992176 140601100761730 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4963] ppid=4948 vsize=15683912 memory=3321340 CPUtime=5.29 cores=0,2,4,6
/proc/4951/task/4963/stat : 4963 (java) S 4948 4951 4275 0 -1 1077944384 6537 0 0 0 528 1 0 0 20 0 19 0 77391728 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600136939632 140601100761730 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4964] ppid=4948 vsize=15683912 memory=3321340 CPUtime=1.51 cores=0,2,4,6
/proc/4951/task/4964/stat : 4964 (java) S 4948 4951 4275 0 -1 1077944384 8145 0 0 0 148 3 0 0 20 0 19 0 77391728 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600135887088 140601100761730 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4965] ppid=4948 vsize=15683912 memory=1844 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4965/stat : 4965 (java) S 4948 4951 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77391729 16060325888 830335 33554432000 4194304 4196468 140733175189936 140598505892448 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4966] ppid=4948 vsize=15683912 memory=4096 CPUtime=0.07 cores=0,2,4,6
/proc/4951/task/4966/stat : 4966 (java) S 4948 4951 4275 0 -1 1077944384 34 0 0 0 4 3 0 0 20 0 19 0 77391729 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600134834992 140601100761730 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4968] ppid=4948 vsize=15683912 memory=3321340 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4968/stat : 4968 (java) S 4948 4951 4275 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77393601 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600118568512 140601100775193 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4970] ppid=4948 vsize=15683912 memory=1844 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4970/stat : 4970 (java) S 4948 4951 4275 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 77393602 16060325888 830335 33554432000 4194304 4196468 140733175189936 140597969006640 140601100772509 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4971] ppid=4948 vsize=15683912 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4971/stat : 4971 (java) S 4948 4951 4275 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 77393602 16060325888 830335 33554432000 4194304 4196468 140733175189936 140598103227568 140601100772509 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4972] ppid=4948 vsize=15683912 memory=5404 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4972/stat : 4972 (java) S 4948 4951 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77393603 16060325888 830335 33554432000 4194304 4196468 140733175189936 140597700582432 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
Current children cumulated CPU time: 175.89 s
Current children cumulated vsize: 15833272 KiB
Current children cumulated memory: 3441428 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+188.901 s]
/proc/loadavg: 2.04 2.11 1.81 3/230 4977
/proc/meminfo: memFree=14067368/32770624 swapFree=67108860/67108860
[pid=4951] ppid=4948 vsize=15683912 memory=3321340 CPUtime=32.41 cores=0,2,4,6
/proc/4951/stat : 4951 (java) S 4948 4951 4275 0 -1 1077944320 46522 0 0 0 3152 89 0 0 20 0 19 0 77391722 16060325888 830335 33554432000 4194304 4196468 140733175189936 140733175172480 140601100750583 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
/proc/4951/statm: 3920978 830335 3246 1 0 3881834 0
[pid=4967] ppid=4951 vsize=198680 memory=151304 CPUtime=170.09 cores=0,2,4,6
/proc/4967/stat : 4967 (minisat_release) R 4951 4951 4275 0 -1 4202496 53611 0 0 0 16993 16 0 0 20 0 1 0 77393601 203448320 37826 33554432000 4194304 4308513 140720852206704 140720852204152 4281025 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 21778432 140720852210353 140720852210862 140720852210862 140720852213701 0
/proc/4967/statm: 49670 37826 354 28 0 45910 0
[pid=4951/tid=4953] ppid=4948 vsize=15683912 memory=3321340 CPUtime=18.38 cores=0,2,4,6
/proc/4951/task/4953/stat : 4953 (java) S 4948 4951 4275 0 -1 1077944384 20426 0 0 0 1792 46 0 0 20 0 19 0 77391722 16060325888 830335 33554432000 4194304 4196468 140733175189936 140601072589824 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4954] ppid=4948 vsize=15683912 memory=3321340 CPUtime=0.34 cores=0,2,4,6
/proc/4951/task/4954/stat : 4954 (java) S 4948 4951 4275 0 -1 1077944384 257 0 0 0 26 8 0 0 20 0 19 0 77391724 16060325888 830335 33554432000 4194304 4196468 140733175189936 140601104992528 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4955] ppid=4948 vsize=15683912 memory=3321340 CPUtime=0.34 cores=0,2,4,6
/proc/4951/task/4955/stat : 4955 (java) S 4948 4951 4275 0 -1 1077944384 190 0 0 0 27 7 0 0 20 0 19 0 77391724 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600923081104 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4956] ppid=4948 vsize=15683912 memory=128612 CPUtime=0.34 cores=0,2,4,6
/proc/4951/task/4956/stat : 4956 (java) S 4948 4951 4275 0 -1 1077944384 210 0 0 0 26 8 0 0 20 0 19 0 77391724 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600560658960 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4957] ppid=4948 vsize=15683912 memory=3321340 CPUtime=0.34 cores=0,2,4,6
/proc/4951/task/4957/stat : 4957 (java) S 4948 4951 4275 0 -1 1077944384 158 0 0 0 26 8 0 0 20 0 19 0 77391724 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600559606416 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4958] ppid=4948 vsize=15683912 memory=130328 CPUtime=0.01 cores=0,2,4,6
/proc/4951/task/4958/stat : 4958 (java) S 4948 4951 4275 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 19 0 77391725 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600139045360 140601100761730 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4959] ppid=4948 vsize=15683912 memory=130660 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4959/stat : 4959 (java) S 4948 4951 4275 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 77391726 16060325888 830335 33554432000 4194304 4196468 140733175189936 140599646741984 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4960] ppid=4948 vsize=15683912 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4960/stat : 4960 (java) S 4948 4951 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77391726 16060325888 830335 33554432000 4194304 4196468 140733175189936 140599378306560 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4961] ppid=4948 vsize=15683912 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4961/stat : 4961 (java) S 4948 4951 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77391728 16060325888 830335 33554432000 4194304 4196468 140733175189936 140599003798224 140601100769179 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4962] ppid=4948 vsize=15683912 memory=1704 CPUtime=5.7 cores=0,2,4,6
/proc/4951/task/4962/stat : 4962 (java) S 4948 4951 4275 0 -1 1077944384 9110 0 0 0 568 2 0 0 20 0 19 0 77391728 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600137992176 140601100761730 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4963] ppid=4948 vsize=15683912 memory=120088 CPUtime=5.29 cores=0,2,4,6
/proc/4951/task/4963/stat : 4963 (java) S 4948 4951 4275 0 -1 1077944384 6537 0 0 0 528 1 0 0 20 0 19 0 77391728 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600136939632 140601100761730 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4964] ppid=4948 vsize=15683912 memory=120088 CPUtime=1.51 cores=0,2,4,6
/proc/4951/task/4964/stat : 4964 (java) S 4948 4951 4275 0 -1 1077944384 8145 0 0 0 148 3 0 0 20 0 19 0 77391728 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600135887088 140601100761730 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4965] ppid=4948 vsize=15683912 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4965/stat : 4965 (java) S 4948 4951 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77391729 16060325888 830335 33554432000 4194304 4196468 140733175189936 140598505892448 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4966] ppid=4948 vsize=15683912 memory=18476 CPUtime=0.09 cores=0,2,4,6
/proc/4951/task/4966/stat : 4966 (java) S 4948 4951 4275 0 -1 1077944384 36 0 0 0 5 4 0 0 20 0 19 0 77391729 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600134834992 140601100761730 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4968] ppid=4948 vsize=15683912 memory=3321340 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4968/stat : 4968 (java) S 4948 4951 4275 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77393601 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600118568512 140601100775193 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4970] ppid=4948 vsize=15683912 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4970/stat : 4970 (java) S 4948 4951 4275 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 77393602 16060325888 830335 33554432000 4194304 4196468 140733175189936 140597969006640 140601100772509 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4971] ppid=4948 vsize=15683912 memory=164 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4971/stat : 4971 (java) S 4948 4951 4275 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 77393602 16060325888 830335 33554432000 4194304 4196468 140733175189936 140598103227568 140601100772509 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4972] ppid=4948 vsize=15683912 memory=7367994820054246989 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4972/stat : 4972 (java) S 4948 4951 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77393603 16060325888 830335 33554432000 4194304 4196468 140733175189936 140597700582432 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
Current children cumulated CPU time: 202.5 s
Current children cumulated vsize: 15882592 KiB
Current children cumulated memory: 3472644 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+188.927 s]
# the end of solver process 4951 was just reported to runsolver
# cumulated CPU time of all completed processes: user=201.468 s, system=1.0836 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+188.901 s]
/proc/loadavg: 2.04 2.11 1.81 3/230 4977
/proc/meminfo: memFree=14067368/32770624 swapFree=67108860/67108860
[pid=4951] ppid=4948 vsize=15683912 memory=3321340 CPUtime=32.41 cores=0,2,4,6
/proc/4951/stat : 4951 (java) S 4948 4951 4275 0 -1 1077944320 46522 0 0 0 3152 89 0 0 20 0 19 0 77391722 16060325888 830335 33554432000 4194304 4196468 140733175189936 140733175172480 140601100750583 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
/proc/4951/statm: 3920978 830335 3246 1 0 3881834 0
[pid=4967] ppid=4951 vsize=198680 memory=151304 CPUtime=170.09 cores=0,2,4,6
/proc/4967/stat : 4967 (minisat_release) R 4951 4951 4275 0 -1 4202496 53611 0 0 0 16993 16 0 0 20 0 1 0 77393601 203448320 37826 33554432000 4194304 4308513 140720852206704 140720852204152 4281025 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 21778432 140720852210353 140720852210862 140720852210862 140720852213701 0
/proc/4967/statm: 49670 37826 354 28 0 45910 0
[pid=4951/tid=4953] ppid=4948 vsize=15683912 memory=3321340 CPUtime=18.38 cores=0,2,4,6
/proc/4951/task/4953/stat : 4953 (java) S 4948 4951 4275 0 -1 1077944384 20426 0 0 0 1792 46 0 0 20 0 19 0 77391722 16060325888 830335 33554432000 4194304 4196468 140733175189936 140601072589824 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4954] ppid=4948 vsize=15683912 memory=3321340 CPUtime=0.34 cores=0,2,4,6
/proc/4951/task/4954/stat : 4954 (java) S 4948 4951 4275 0 -1 1077944384 257 0 0 0 26 8 0 0 20 0 19 0 77391724 16060325888 830335 33554432000 4194304 4196468 140733175189936 140601104992528 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4955] ppid=4948 vsize=15683912 memory=3321340 CPUtime=0.34 cores=0,2,4,6
/proc/4951/task/4955/stat : 4955 (java) S 4948 4951 4275 0 -1 1077944384 190 0 0 0 27 7 0 0 20 0 19 0 77391724 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600923081104 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4956] ppid=4948 vsize=15683912 memory=128612 CPUtime=0.34 cores=0,2,4,6
/proc/4951/task/4956/stat : 4956 (java) S 4948 4951 4275 0 -1 1077944384 210 0 0 0 26 8 0 0 20 0 19 0 77391724 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600560658960 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4957] ppid=4948 vsize=15683912 memory=3321340 CPUtime=0.34 cores=0,2,4,6
/proc/4951/task/4957/stat : 4957 (java) S 4948 4951 4275 0 -1 1077944384 158 0 0 0 26 8 0 0 20 0 19 0 77391724 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600559606416 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4958] ppid=4948 vsize=15683912 memory=130328 CPUtime=0.01 cores=0,2,4,6
/proc/4951/task/4958/stat : 4958 (java) S 4948 4951 4275 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 19 0 77391725 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600139045360 140601100761730 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4959] ppid=4948 vsize=15683912 memory=130660 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4959/stat : 4959 (java) S 4948 4951 4275 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 77391726 16060325888 830335 33554432000 4194304 4196468 140733175189936 140599646741984 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4960] ppid=4948 vsize=15683912 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4960/stat : 4960 (java) S 4948 4951 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77391726 16060325888 830335 33554432000 4194304 4196468 140733175189936 140599378306560 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4961] ppid=4948 vsize=15683912 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4961/stat : 4961 (java) S 4948 4951 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77391728 16060325888 830335 33554432000 4194304 4196468 140733175189936 140599003798224 140601100769179 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4962] ppid=4948 vsize=15683912 memory=1704 CPUtime=5.7 cores=0,2,4,6
/proc/4951/task/4962/stat : 4962 (java) S 4948 4951 4275 0 -1 1077944384 9110 0 0 0 568 2 0 0 20 0 19 0 77391728 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600137992176 140601100761730 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4963] ppid=4948 vsize=15683912 memory=120088 CPUtime=5.29 cores=0,2,4,6
/proc/4951/task/4963/stat : 4963 (java) S 4948 4951 4275 0 -1 1077944384 6537 0 0 0 528 1 0 0 20 0 19 0 77391728 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600136939632 140601100761730 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4964] ppid=4948 vsize=15683912 memory=120088 CPUtime=1.51 cores=0,2,4,6
/proc/4951/task/4964/stat : 4964 (java) S 4948 4951 4275 0 -1 1077944384 8145 0 0 0 148 3 0 0 20 0 19 0 77391728 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600135887088 140601100761730 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4965] ppid=4948 vsize=15683912 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4965/stat : 4965 (java) S 4948 4951 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77391729 16060325888 830335 33554432000 4194304 4196468 140733175189936 140598505892448 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4966] ppid=4948 vsize=15683912 memory=18476 CPUtime=0.09 cores=0,2,4,6
/proc/4951/task/4966/stat : 4966 (java) S 4948 4951 4275 0 -1 1077944384 36 0 0 0 5 4 0 0 20 0 19 0 77391729 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600134834992 140601100761730 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4968] ppid=4948 vsize=15683912 memory=3321340 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4968/stat : 4968 (java) S 4948 4951 4275 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77393601 16060325888 830335 33554432000 4194304 4196468 140733175189936 140600118568512 140601100775193 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4970] ppid=4948 vsize=15683912 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4970/stat : 4970 (java) S 4948 4951 4275 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 77393602 16060325888 830335 33554432000 4194304 4196468 140733175189936 140597969006640 140601100772509 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4971] ppid=4948 vsize=15683912 memory=164 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4971/stat : 4971 (java) S 4948 4951 4275 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 77393602 16060325888 830335 33554432000 4194304 4196468 140733175189936 140598103227568 140601100772509 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
[pid=4951/tid=4972] ppid=4948 vsize=15683912 memory=7367994820054246989 CPUtime=0 cores=0,2,4,6
/proc/4951/task/4972/stat : 4972 (java) S 4948 4951 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77393603 16060325888 830335 33554432000 4194304 4196468 140733175189936 140597700582432 140601100760789 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140733175198708 140733175198985 140733175198985 140733175201743 0
Current children cumulated CPU time: 202.5 s
Current children cumulated vsize: 15882592 KiB
Current children cumulated memory: 3472644 KiB
Child status: 1
Real time (s): 188.927
CPU time (s): 202.551
CPU user time (s): 201.468
CPU system time (s): 1.0836
CPU usage (%): 107.212
Max. virtual memory (cumulated for all children) (KiB): 15882592
Max. memory (cumulated for all children) (KiB): 3472644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 201.468
system time used= 1.0836
maximum resident set size= 3322008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100290
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9118
involuntary context switches= 244
# summary of solver processes directly reported to runsolver:
# pid: 4951
# total CPU time (s): 202.551
# total CPU user time (s): 201.468
# total CPU system time (s): 1.0836
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.27052 second user time and 2.01348 second system time
The end