0.66/0.52
0.66/0.52 scop both+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Wed Jul 25 20:27:43 CEST 2018
0.66/0.55 c PID: 32649
0.66/0.55 c IP: 172.20.3.102
0.66/0.55 c HOST: node102.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.42/0.93 c (0,0) Parsing End
1.42/0.93 c (0,0) CSP: 169 int (0 aux), 0 bool (0 aux), 52 ctr, max domain size 169
1.42/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/0.93 c (0,0) Constraint Name Generate Begin
1.42/0.94 c (0,0) Ctr:HOME/instance-4295480-1532543262.xml,AllDifferent:IntVar:Lt:Num:WeightedSum
1.42/0.94 c (0,0) Constraint Name Generate End
1.42/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.42/0.94 c (0,0) CSP to CSPinCNF Begin
4.04/1.82 c (1,1) translated 6 (10%) constraints
4.04/1.83 c (1,1) translated 11 (20%) constraints
4.04/1.84 c (1,1) translated 16 (30%) constraints
4.04/1.85 c (1,1) translated 21 (40%) constraints
4.04/1.85 c (1,1) translated 26 (50%) constraints
4.04/1.85 c (1,1) translated 32 (60%) constraints
4.04/1.86 c (1,1) translated 37 (70%) constraints
4.04/1.86 c (1,1) translated 42 (80%) constraints
4.04/1.86 c (1,1) translated 47 (90%) constraints
4.04/1.86 c (1,1) translated 52 (100%) constraints
4.75/2.05 c (1,1) STATISTICS1:HOME/instance-4295480-1532543262.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,169,14249,9223372036854775807,169,169,15,9223372036854775807:66;665416609183179904:12;3890918073946176:4;3867757847315544:8;169:13203;168:661;167:338,169:28199;168:700;167:350,169:2;2:14196;1:51,15:6;14:12;13:12;12:12;11:12;10:12;9:12;8:12;2:14202;1:338,712336:6;620944:12;535824:12;456976:12;383161:12;316969:12
4.75/2.05 c (1,1) ===========================================
4.75/2.05 c (1,1) Both Encoding selects:
4.75/2.05 c (1,1) Log
4.75/2.05 c (1,1) ===========================================
5.10/2.16 c (1,1) translated 1425 (10%) constraints
5.38/2.25 c (1,1) translated 2850 (20%) constraints
5.67/2.32 c (1,1) translated 4275 (30%) constraints
5.67/2.39 c (1,1) translated 5700 (40%) constraints
6.02/2.44 c (1,1) translated 7125 (50%) constraints
6.02/2.49 c (1,1) translated 8550 (60%) constraints
6.32/2.54 c (2,2) translated 9975 (70%) constraints
6.32/2.58 c (2,2) translated 11400 (80%) constraints
6.63/2.62 c (2,2) translated 12825 (90%) constraints
6.63/2.67 c (2,2) translated 14249 (100%) constraints
6.63/2.68 c (2,2) CSP to CSPinCNF End
6.63/2.68 c (2,2) CSP: 169 int (0 aux), 0 bool (0 aux), 14294 ctr, max domain size 169
6.63/2.68 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
6.63/2.68 c (2,2) CSPinCNF Propagation Begin
7.24/2.84 c (2,2) 0 values, 7 unsatisfiable literals, and 0 valid clauses are removed
7.24/2.84 c (2,2) CSPinCNF Propagation End
7.24/2.84 c (2,2) CSP: 169 int (0 aux), 0 bool (0 aux), 14294 ctr, max domain size 169
7.24/2.84 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
7.24/2.84 c (2,2) Simplify CSPinCNF Begin
9.37/3.56 c (3,3) Simplify CSPinCNF End
9.37/3.57 c (3,3) CSP: 169 int (0 aux), 28392 bool (28392 aux), 42686 ctr, max domain size 169
9.37/3.57 c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
9.37/3.57 c (3,3) Calculate Precise Domain Begin
9.37/3.58 c (3,3) 0 values are removed by re-calculation
9.37/3.58 c (3,3) Calculate Precise Domain End
9.37/3.58 c (3,3) CSP: 169 int (0 aux), 28392 bool (28392 aux), 42686 ctr, max domain size 169
9.37/3.58 c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
9.37/3.58 c (3,3) CSPinCNF to SatSolver Begin
11.92/4.60 c (4,4) 4269 (10 %) CSP clauses are being encoded (97659 SAT variables, 164556 SAT clauses)
13.01/5.25 c (4,4) 8538 (20 %) CSP clauses are being encoded (162262 SAT variables, 320256 SAT clauses)
13.64/5.85 c (5,5) 12806 (30 %) CSP clauses are being encoded (225171 SAT variables, 473015 SAT clauses)
14.25/6.46 c (5,5) 17075 (40 %) CSP clauses are being encoded (288135 SAT variables, 625884 SAT clauses)
15.79/7.25 c (6,6) 21343 (50 %) CSP clauses are being encoded (351121 SAT variables, 778790 SAT clauses)
16.30/7.78 c (7,7) 25612 (60 %) CSP clauses are being encoded (414151 SAT variables, 931773 SAT clauses)
16.90/8.32 c (7,7) 29881 (70 %) CSP clauses are being encoded (477236 SAT variables, 1084851 SAT clauses)
17.40/8.86 c (8,8) 34149 (80 %) CSP clauses are being encoded (540398 SAT variables, 1238047 SAT clauses)
18.00/9.40 c (8,8) 38418 (90 %) CSP clauses are being encoded (604275 SAT variables, 1392493 SAT clauses)
21.74/11.24 c (10,10) 42686 (100 %) CSP clauses are being encoded (770044 SAT variables, 1838850 SAT clauses)
21.74/11.24 c (10,10) CSPinCNF to SatSolver End
21.74/11.24 c (10,10) Heap : 1187 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
22.54/11.56 c (11,10) STATISTICS2:HOME/instance-4295480-1532543262.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,28561,42686,9223372036854775807,169,167,15,9223372036854775807:66;665416609183179904:12;3890918073946176:4;3867757847315544:4;3844735479176761:4;169:26406;168:984;167:1008,169:56072;168:1032;167:1037;2:56784,167:1;164:1;2:42588;1:96,15:6;14:12;13:12;12:12;11:12;10:12;9:12;8:12;2:28398;1:57115,169:66
22.54/11.56 c (11,10) SatSolver.solve Begin
22.54/11.56 c (11,10) 770067 bool, 1838902 clause
22.54/11.56 c (11,10) 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-4295480-1532543262.xml-scop-32649.cnf HOME/instance-4295480-1532543262.xml-scop-32649.cnf.out
24.08/12.11 c (11,0) receiving signal SIGTERM
24.08/12.11 s UNKNOWN
24.08/12.12 c (11,10) SatSolver is killed by some reasons.
24.08/12.12 c (11,10) 0,0,2,2,3,3,10,TO,TO,STOP-AFTER(DIMACS)
24.08/12.12 c END-Prog: Wed Jul 25 20:27:55 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 (5067 MiB free)
memory of node 1: 16384 MiB (15589 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295480-1532543262/watcher-4295480-1532543262 -o /tmp/evaluation-result-4295480-1532543262/solver-4295480-1532543262 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29244 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295480-1532543262.xml
running on 4 cores: 1,3,5,7
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=32649, runsolver pid=32646
Current StackSize limit: 8192 KiB
[startup+0.107194 s]*
/proc/loadavg: 2.03 2.16 2.14 4/220 32664
/proc/meminfo: memFree=21090700/32770624 swapFree=67076520/67108860
[pid=32649] ppid=32646 vsize=15011656 memory=75804 CPUtime=0.12 cores=1,3,5,7
/proc/32649/stat : 32649 (java) S 32646 32649 29212 0 -1 1077944320 7172 0 0 0 10 2 0 0 20 0 15 0 71889416 15371935744 18951 33554432000 4194304 4196468 140735624091680 140735624074224 139853334138615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
/proc/32649/statm: 3752914 18951 2846 1 0 3715374 0
[pid=32649/tid=32651] ppid=32646 vsize=15011656 memory=-6655087062886431568 CPUtime=0.1 cores=1,3,5,7
/proc/32649/task/32651/stat : 32651 (java) R 32646 32649 29212 0 -1 4202560 5135 0 0 0 8 2 0 0 20 0 15 0 71889416 15371935744 18951 33554432000 4194304 4196468 140735624091680 139853305963376 139853326855767 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32652] ppid=32646 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32652/stat : 32652 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889418 15371935744 18951 33554432000 4194304 4196468 140735624091680 139853338381328 139853334148821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32653] ppid=32646 vsize=15011656 memory=140569160918656 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32653/stat : 32653 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889418 15371935744 18951 33554432000 4194304 4196468 140735624091680 139853129464976 139853334148821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32654] ppid=32646 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32654/stat : 32654 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889418 15371935744 18951 33554432000 4194304 4196468 140735624091680 139852793592592 139853334148821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32655] ppid=32646 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32655/stat : 32655 (java) S 32646 32649 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71889418 15371935744 18951 33554432000 4194304 4196468 140735624091680 139852792540048 139853334148821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32656] ppid=32646 vsize=15011656 memory=140569160918656 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32656/stat : 32656 (java) S 32646 32649 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71889419 15371935744 18951 33554432000 4194304 4196468 140735624091680 139852741400816 139853334149762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32657] ppid=32646 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32657/stat : 32657 (java) S 32646 32649 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71889420 15371935744 18951 33554432000 4194304 4196468 140735624091680 139851886224544 139853334148821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32658] ppid=32646 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32658/stat : 32658 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889420 15371935744 18951 33554432000 4194304 4196468 140735624091680 139851651343088 139853334148821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32659] ppid=32646 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32659/stat : 32659 (java) S 32646 32649 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71889422 15371935744 18951 33554432000 4194304 4196468 140735624091680 139851276834768 139853334157211 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32660] ppid=32646 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32660/stat : 32660 (java) S 32646 32649 29212 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 71889422 15371935744 18951 33554432000 4194304 4196468 140735624091680 139852740348656 139853334149762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32661] ppid=32646 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32661/stat : 32661 (java) S 32646 32649 29212 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 71889422 15371935744 18951 33554432000 4194304 4196468 140735624091680 139852739296112 139853334149762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32662] ppid=32646 vsize=15011656 memory=140569160918656 CPUtime=0.01 cores=1,3,5,7
/proc/32649/task/32662/stat : 32662 (java) R 32646 32649 29212 0 -1 4202560 280 0 0 0 1 0 0 0 20 0 15 0 71889422 15371935744 18951 33554432000 4194304 4196468 140735624091680 139852738243056 139853312764950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32663] ppid=32646 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32663/stat : 32663 (java) S 32646 32649 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71889423 15371935744 18951 33554432000 4194304 4196468 140735624091680 139850778930016 139853334148821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32664] ppid=32646 vsize=15011656 memory=140569160918656 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32664/stat : 32664 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889423 15371935744 18951 33554432000 4194304 4196468 140735624091680 139852737190448 139853334149762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 75804 KiB
[startup+0.210534 s]*
/proc/loadavg: 2.03 2.16 2.14 3/220 32664
/proc/meminfo: memFree=21078592/32770624 swapFree=67076520/67108860
[pid=32649] ppid=32646 vsize=15011656 memory=86236 CPUtime=0.26 cores=1,3,5,7
/proc/32649/stat : 32649 (java) S 32646 32649 29212 0 -1 1077944320 9976 0 0 0 22 4 0 0 20 0 15 0 71889416 15371935744 21559 33554432000 4194304 4196468 140735624091680 140735624074224 139853334138615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
/proc/32649/statm: 3752914 21559 2917 1 0 3715374 0
[pid=32649/tid=32651] ppid=32646 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/32649/task/32651/stat : 32651 (java) R 32646 32649 29212 0 -1 4202560 7881 0 0 0 17 3 0 0 20 0 15 0 71889416 15371935744 21559 33554432000 4194304 4196468 140735624091680 139853305963424 139853334150550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32652] ppid=32646 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32652/stat : 32652 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889418 15371935744 21559 33554432000 4194304 4196468 140735624091680 139853338381328 139853334148821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32653] ppid=32646 vsize=15011656 memory=4121833874368702112 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32653/stat : 32653 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889418 15371935744 21559 33554432000 4194304 4196468 140735624091680 139853129464976 139853334148821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32654] ppid=32646 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32654/stat : 32654 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889418 15371935744 21559 33554432000 4194304 4196468 140735624091680 139852793592592 139853334148821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32655] ppid=32646 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32655/stat : 32655 (java) S 32646 32649 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71889418 15371935744 21559 33554432000 4194304 4196468 140735624091680 139852792540048 139853334148821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32656] ppid=32646 vsize=15011656 memory=140569160918656 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32656/stat : 32656 (java) S 32646 32649 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71889419 15371935744 21559 33554432000 4194304 4196468 140735624091680 139852741400816 139853334149762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32657] ppid=32646 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32657/stat : 32657 (java) S 32646 32649 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71889420 15371935744 21559 33554432000 4194304 4196468 140735624091680 139851886224544 139853334148821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32658] ppid=32646 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32658/stat : 32658 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889420 15371935744 21559 33554432000 4194304 4196468 140735624091680 139851651343088 139853334148821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32659] ppid=32646 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32659/stat : 32659 (java) S 32646 32649 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71889422 15371935744 21559 33554432000 4194304 4196468 140735624091680 139851276834768 139853334157211 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32660] ppid=32646 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32660/stat : 32660 (java) S 32646 32649 29212 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 71889422 15371935744 21559 33554432000 4194304 4196468 140735624091680 139852740348656 139853334149762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32661] ppid=32646 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32661/stat : 32661 (java) S 32646 32649 29212 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 71889422 15371935744 21559 33554432000 4194304 4196468 140735624091680 139852739296112 139853334149762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32662] ppid=32646 vsize=15011656 memory=140569160918656 CPUtime=0.03 cores=1,3,5,7
/proc/32649/task/32662/stat : 32662 (java) R 32646 32649 29212 0 -1 4202560 288 0 0 0 3 0 0 0 20 0 15 0 71889422 15371935744 21559 33554432000 4194304 4196468 140735624091680 139852738243056 139853334159962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32663] ppid=32646 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32663/stat : 32663 (java) S 32646 32649 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71889423 15371935744 21559 33554432000 4194304 4196468 140735624091680 139850778930016 139853334148821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32664] ppid=32646 vsize=15011656 memory=140569160918656 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32664/stat : 32664 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889423 15371935744 21559 33554432000 4194304 4196468 140735624091680 139852737190448 139853334149762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86236 KiB
[startup+0.310437 s]*
/proc/loadavg: 2.03 2.16 2.14 3/220 32664
/proc/meminfo: memFree=21074992/32770624 swapFree=67076520/67108860
[pid=32649] ppid=32646 vsize=15011656 memory=89972 CPUtime=0.43 cores=1,3,5,7
/proc/32649/stat : 32649 (java) S 32646 32649 29212 0 -1 1077944320 10505 0 0 0 39 4 0 0 20 0 15 0 71889416 15371935744 22493 33554432000 4194304 4196468 140735624091680 140735624074224 139853334138615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
/proc/32649/statm: 3752914 22493 3034 1 0 3715374 0
[pid=32649/tid=32651] ppid=32646 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/32649/task/32651/stat : 32651 (java) R 32646 32649 29212 0 -1 4202560 8250 0 0 0 27 3 0 0 20 0 15 0 71889416 15371935744 22493 33554432000 4194304 4196468 140735624091680 139853305942768 139853334160541 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32652] ppid=32646 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32652/stat : 32652 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889418 15371935744 22493 33554432000 4194304 4196468 140735624091680 139853338381328 139853334148821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32653] ppid=32646 vsize=15011656 memory=4049776280330774176 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32653/stat : 32653 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889418 15371935744 22493 33554432000 4194304 4196468 140735624091680 139853129464976 139853334148821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32654] ppid=32646 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32654/stat : 32654 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889418 15371935744 22493 33554432000 4194304 4196468 140735624091680 139852793592592 139853334148821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32655] ppid=32646 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32655/stat : 32655 (java) S 32646 32649 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71889418 15371935744 22493 33554432000 4194304 4196468 140735624091680 139852792540048 139853334148821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32656] ppid=32646 vsize=15011656 memory=140569160918656 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32656/stat : 32656 (java) S 32646 32649 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71889419 15371935744 22493 33554432000 4194304 4196468 140735624091680 139852741400816 139853334149762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32657] ppid=32646 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32657/stat : 32657 (java) S 32646 32649 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71889420 15371935744 22493 33554432000 4194304 4196468 140735624091680 139851886224544 139853334148821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32658] ppid=32646 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32658/stat : 32658 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889420 15371935744 22493 33554432000 4194304 4196468 140735624091680 139851651343088 139853334148821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32659] ppid=32646 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32659/stat : 32659 (java) S 32646 32649 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71889422 15371935744 22493 33554432000 4194304 4196468 140735624091680 139851276834768 139853334157211 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32660] ppid=32646 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32649/task/32660/stat : 32660 (java) R 32646 32649 29212 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 15 0 71889422 15371935744 22493 33554432000 4194304 4196468 140735624091680 139852740348656 139853334149762 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32661] ppid=32646 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/32649/task/32661/stat : 32661 (java) R 32646 32649 29212 0 -1 4202560 269 0 0 0 2 0 0 0 20 0 15 0 71889422 15371935744 22493 33554432000 4194304 4196468 140735624091680 139852739296112 139853319246322 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32662] ppid=32646 vsize=15011656 memory=140569160918656 CPUtime=0.07 cores=1,3,5,7
/proc/32649/task/32662/stat : 32662 (java) R 32646 32649 29212 0 -1 4202560 307 0 0 0 7 0 0 0 20 0 15 0 71889422 15371935744 22493 33554432000 4194304 4196468 140735624091680 139852738243056 139853312802232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32663] ppid=32646 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32663/stat : 32663 (java) S 32646 32649 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71889423 15371935744 22493 33554432000 4194304 4196468 140735624091680 139850778930016 139853334148821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32664] ppid=32646 vsize=15011656 memory=140569160918656 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32664/stat : 32664 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889423 15371935744 22493 33554432000 4194304 4196468 140735624091680 139852737190448 139853334149762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89972 KiB
[startup+0.702938 s]
/proc/loadavg: 2.03 2.16 2.14 3/220 32664
/proc/meminfo: memFree=21050560/32770624 swapFree=67076520/67108860
[pid=32649] ppid=32646 vsize=15020052 memory=130060 CPUtime=1.01 cores=1,3,5,7
/proc/32649/stat : 32649 (java) S 32646 32649 29212 0 -1 1077944320 17680 0 0 0 94 7 0 0 20 0 15 0 71889416 15380533248 32515 33554432000 4194304 4196468 140735624091680 140735624074224 139853334138615 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
/proc/32649/statm: 3755013 32515 3176 1 0 3716398 0
[pid=32649/tid=32651] ppid=32646 vsize=15020052 memory=280825497162479 CPUtime=0.67 cores=1,3,5,7
/proc/32649/task/32651/stat : 32651 (java) R 32646 32649 29212 0 -1 4202560 14987 0 0 0 61 6 0 0 20 0 15 0 71889416 15380533248 32515 33554432000 4194304 4196468 140735624091680 139853305972608 139853315532717 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32652] ppid=32646 vsize=15020052 memory=397245 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32652/stat : 32652 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889418 15380533248 32515 33554432000 4194304 4196468 140735624091680 139853338381328 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32653] ppid=32646 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32653/stat : 32653 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889418 15380533248 32515 33554432000 4194304 4196468 140735624091680 139853129464976 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32654] ppid=32646 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32654/stat : 32654 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889418 15380533248 32515 33554432000 4194304 4196468 140735624091680 139852793592592 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32655] ppid=32646 vsize=15020052 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32655/stat : 32655 (java) S 32646 32649 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71889418 15380533248 32515 33554432000 4194304 4196468 140735624091680 139852792540048 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32656] ppid=32646 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32656/stat : 32656 (java) S 32646 32649 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71889419 15380533248 32515 33554432000 4194304 4196468 140735624091680 139852741400816 139853334149762 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32657] ppid=32646 vsize=15020052 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32657/stat : 32657 (java) S 32646 32649 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71889420 15380533248 32515 33554432000 4194304 4196468 140735624091680 139851886224544 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32658] ppid=32646 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32658/stat : 32658 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889420 15380533248 32515 33554432000 4194304 4196468 140735624091680 139851651343088 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32659] ppid=32646 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32659/stat : 32659 (java) S 32646 32649 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71889422 15380533248 32515 33554432000 4194304 4196468 140735624091680 139851276834768 139853334157211 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32660] ppid=32646 vsize=15020052 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32649/task/32660/stat : 32660 (java) R 32646 32649 29212 0 -1 4202560 597 0 0 0 8 0 0 0 20 0 15 0 71889422 15380533248 32515 33554432000 4194304 4196468 140735624091680 139852740339040 139853315683104 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32661] ppid=32646 vsize=15020052 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32649/task/32661/stat : 32661 (java) R 32646 32649 29212 0 -1 4202560 338 0 0 0 8 0 0 0 20 0 15 0 71889422 15380533248 32515 33554432000 4194304 4196468 140735624091680 139852739284784 139853319255782 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32662] ppid=32646 vsize=15020052 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/32649/task/32662/stat : 32662 (java) S 32646 32649 29212 0 -1 1077944384 419 0 0 0 16 0 0 0 20 0 15 0 71889422 15380533248 32515 33554432000 4194304 4196468 140735624091680 139852738243056 139853334149762 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32663] ppid=32646 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32663/stat : 32663 (java) S 32646 32649 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71889423 15380533248 32515 33554432000 4194304 4196468 140735624091680 139850778930016 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32664] ppid=32646 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32664/stat : 32664 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889423 15380533248 32515 33554432000 4194304 4196468 140735624091680 139852737190448 139853334149762 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 130060 KiB
[startup+1.50074 s]
/proc/loadavg: 2.03 2.16 2.14 4/220 32664
/proc/meminfo: memFree=21022280/32770624 swapFree=67076520/67108860
[pid=32649] ppid=32646 vsize=15022100 memory=259608 CPUtime=3.03 cores=1,3,5,7
/proc/32649/stat : 32649 (java) S 32646 32649 29212 0 -1 1077944320 21426 0 0 0 293 10 0 0 20 0 15 0 71889416 15382630400 64902 33554432000 4194304 4196468 140735624091680 140735624074224 139853334138615 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
/proc/32649/statm: 3755525 64902 3202 1 0 3716910 0
[pid=32649/tid=32651] ppid=32646 vsize=15022100 memory=7234278993258637652 CPUtime=1.47 cores=1,3,5,7
/proc/32649/task/32651/stat : 32651 (java) R 32646 32649 29212 0 -1 4202560 15966 0 0 0 139 8 0 0 20 0 15 0 71889416 15382630400 64902 33554432000 4194304 4196468 140735624091680 139853305965888 139852815457024 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32652] ppid=32646 vsize=15022100 memory=7089319380252649812 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32652/stat : 32652 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889418 15382630400 64902 33554432000 4194304 4196468 140735624091680 139853338381328 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32653] ppid=32646 vsize=15022100 memory=6008734737134022247 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32653/stat : 32653 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889418 15382630400 64902 33554432000 4194304 4196468 140735624091680 139853129464976 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32654] ppid=32646 vsize=15022100 memory=7812173543237769577 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32654/stat : 32654 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889418 15382630400 64902 33554432000 4194304 4196468 140735624091680 139852793592592 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32655] ppid=32646 vsize=15022100 memory=6935650355288821840 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32655/stat : 32655 (java) S 32646 32649 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71889418 15382630400 64902 33554432000 4194304 4196468 140735624091680 139852792540048 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32656] ppid=32646 vsize=15022100 memory=7884795148018995819 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32656/stat : 32656 (java) S 32646 32649 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71889419 15382630400 64902 33554432000 4194304 4196468 140735624091680 139852741400816 139853334149762 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
################
# More data... #
################
/proc/32649/task/32662/stat : 32662 (java) S 32646 32649 29212 0 -1 1077944384 3063 0 0 0 94 1 0 0 20 0 15 0 71889422 15384727552 164676 33554432000 4194304 4196468 140735624091680 139852738243056 139853334149762 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32663] ppid=32646 vsize=15024148 memory=140569045141152 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32663/stat : 32663 (java) S 32646 32649 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71889423 15384727552 164676 33554432000 4194304 4196468 140735624091680 139850778930016 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32664] ppid=32646 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32664/stat : 32664 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889423 15384727552 164676 33554432000 4194304 4196468 140735624091680 139852737190448 139853334149762 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
Current children cumulated CPU time: 8.19 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 658704 KiB
[startup+6.30076 s]
/proc/loadavg: 2.19 2.19 2.15 3/220 32664
/proc/meminfo: memFree=18652980/32770624 swapFree=67076520/67108860
[pid=32649] ppid=32646 vsize=15026264 memory=2731460 CPUtime=14.15 cores=1,3,5,7
/proc/32649/stat : 32649 (java) S 32646 32649 29212 0 -1 1077944320 27316 0 0 0 1366 49 0 0 20 0 15 0 71889416 15386894336 682865 33554432000 4194304 4196468 140735624091680 140735624074224 139853334138615 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
/proc/32649/statm: 3756566 682865 3228 1 0 3717422 0
[pid=32649/tid=32651] ppid=32646 vsize=15026264 memory=18620 CPUtime=6.26 cores=1,3,5,7
/proc/32649/task/32651/stat : 32651 (java) R 32646 32649 29212 0 -1 4202560 17853 0 0 0 582 44 0 0 20 0 15 0 71889416 15386894336 682865 33554432000 4194304 4196468 140735624091680 139853305972224 139852820838143 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32652] ppid=32646 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32652/stat : 32652 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889418 15386894336 682865 33554432000 4194304 4196468 140735624091680 139853338381328 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32653] ppid=32646 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32653/stat : 32653 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889418 15386894336 682865 33554432000 4194304 4196468 140735624091680 139853129464976 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32654] ppid=32646 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32654/stat : 32654 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889418 15386894336 682865 33554432000 4194304 4196468 140735624091680 139852793592592 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32655] ppid=32646 vsize=15026264 memory=9025 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32655/stat : 32655 (java) S 32646 32649 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71889418 15386894336 682865 33554432000 4194304 4196468 140735624091680 139852792540048 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32656] ppid=32646 vsize=15026264 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32656/stat : 32656 (java) S 32646 32649 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71889419 15386894336 682865 33554432000 4194304 4196468 140735624091680 139852741400816 139853334149762 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32657] ppid=32646 vsize=15026264 memory=-8388677020596316723 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32657/stat : 32657 (java) S 32646 32649 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71889420 15386894336 682865 33554432000 4194304 4196468 140735624091680 139851886224544 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32658] ppid=32646 vsize=15026264 memory=6944656592385698452 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32658/stat : 32658 (java) S 32646 32649 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71889420 15386894336 682865 33554432000 4194304 4196468 140735624091680 139851651343088 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32659] ppid=32646 vsize=15026264 memory=776 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32659/stat : 32659 (java) S 32646 32649 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71889422 15386894336 682865 33554432000 4194304 4196468 140735624091680 139851276834768 139853334157211 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32660] ppid=32646 vsize=15026264 memory=1876 CPUtime=3.34 cores=1,3,5,7
/proc/32649/task/32660/stat : 32660 (java) S 32646 32649 29212 0 -1 1077944384 2055 0 0 0 333 1 0 0 20 0 15 0 71889422 15386894336 682865 33554432000 4194304 4196468 140735624091680 139852740348656 139853334149762 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32661] ppid=32646 vsize=15026264 memory=1664 CPUtime=3.37 cores=1,3,5,7
/proc/32649/task/32661/stat : 32661 (java) S 32646 32649 29212 0 -1 1077944384 2843 0 0 0 336 1 0 0 20 0 15 0 71889422 15386894336 682865 33554432000 4194304 4196468 140735624091680 139852739296112 139853334149762 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32662] ppid=32646 vsize=15026264 memory=1828 CPUtime=1.14 cores=1,3,5,7
/proc/32649/task/32662/stat : 32662 (java) S 32646 32649 29212 0 -1 1077944384 3224 0 0 0 113 1 0 0 20 0 15 0 71889422 15386894336 682865 33554432000 4194304 4196468 140735624091680 139852738243056 139853334149762 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32663] ppid=32646 vsize=15026264 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32663/stat : 32663 (java) S 32646 32649 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71889423 15386894336 682865 33554432000 4194304 4196468 140735624091680 139850778930016 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32664] ppid=32646 vsize=15026264 memory=15316 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32664/stat : 32664 (java) S 32646 32649 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71889423 15386894336 682865 33554432000 4194304 4196468 140735624091680 139852737190448 139853334149762 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
Current children cumulated CPU time: 14.15 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 2731460 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+12.1102 s]
/proc/loadavg: 2.33 2.22 2.16 3/225 32670
/proc/meminfo: memFree=17299100/32770624 swapFree=67076520/67108860
[pid=32649] ppid=32646 vsize=15683912 memory=3683392 CPUtime=23.56 cores=1,3,5,7
/proc/32649/stat : 32649 (java) S 32646 32649 29212 0 -1 1077944320 34811 0 0 0 2218 138 0 0 20 0 19 0 71889416 16060325888 920848 33554432000 4194304 4196468 140735624091680 140735624074224 139853334138615 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
/proc/32649/statm: 3920978 920848 3243 1 0 3881834 0
[pid=32665] ppid=32649 vsize=230144 memory=178972 CPUtime=0.52 cores=1,3,5,7
/proc/32665/stat : 32665 (minisat_release) R 32649 32649 29212 0 -1 4202496 39087 0 0 0 47 5 0 0 20 0 1 0 71890574 235667456 44743 33554432000 4194304 4308513 140723116656832 140723115605224 4248293 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6409496 6410680 22204416 140723116659375 140723116659886 140723116659886 140723116662725 0
/proc/32665/statm: 57536 44743 318 28 0 53776 0
[pid=32649/tid=32651] ppid=32646 vsize=15683912 memory=3208868 CPUtime=10.91 cores=1,3,5,7
/proc/32649/task/32651/stat : 32651 (java) S 32646 32649 29212 0 -1 1077944384 18756 0 0 0 1039 52 0 0 20 0 19 0 71889416 16060325888 920848 33554432000 4194304 4196468 140735624091680 139853305977856 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32652] ppid=32646 vsize=15683912 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/32649/task/32652/stat : 32652 (java) S 32646 32649 29212 0 -1 1077944384 430 0 0 0 46 20 0 0 20 0 19 0 71889418 16060325888 920848 33554432000 4194304 4196468 140735624091680 139853338381328 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32653] ppid=32646 vsize=15683912 memory=4627849442588003702 CPUtime=0.65 cores=1,3,5,7
/proc/32649/task/32653/stat : 32653 (java) S 32646 32649 29212 0 -1 1077944384 378 0 0 0 45 20 0 0 20 0 19 0 71889418 16060325888 920848 33554432000 4194304 4196468 140735624091680 139853129464976 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32654] ppid=32646 vsize=15683912 memory=3544 CPUtime=0.59 cores=1,3,5,7
/proc/32649/task/32654/stat : 32654 (java) S 32646 32649 29212 0 -1 1077944384 297 0 0 0 40 19 0 0 20 0 19 0 71889418 16060325888 920848 33554432000 4194304 4196468 140735624091680 139852793592592 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32655] ppid=32646 vsize=15683912 memory=3418380 CPUtime=0.65 cores=1,3,5,7
/proc/32649/task/32655/stat : 32655 (java) S 32646 32649 29212 0 -1 1077944384 325 0 0 0 46 19 0 0 20 0 19 0 71889418 16060325888 920848 33554432000 4194304 4196468 140735624091680 139852792540048 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32656] ppid=32646 vsize=15683912 memory=3544 CPUtime=0.01 cores=1,3,5,7
/proc/32649/task/32656/stat : 32656 (java) S 32646 32649 29212 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 19 0 71889419 16060325888 920848 33554432000 4194304 4196468 140735624091680 139852741400816 139853334149762 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32657] ppid=32646 vsize=15683912 memory=18620 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32657/stat : 32657 (java) S 32646 32649 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 71889420 16060325888 920848 33554432000 4194304 4196468 140735624091680 139851886224608 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32658] ppid=32646 vsize=15683912 memory=3208868 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32658/stat : 32658 (java) S 32646 32649 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71889420 16060325888 920848 33554432000 4194304 4196468 140735624091680 139851651343088 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32659] ppid=32646 vsize=15683912 memory=3208868 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32659/stat : 32659 (java) S 32646 32649 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71889422 16060325888 920848 33554432000 4194304 4196468 140735624091680 139851276834768 139853334157211 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32660] ppid=32646 vsize=15683912 memory=1664 CPUtime=4.5 cores=1,3,5,7
/proc/32649/task/32660/stat : 32660 (java) S 32646 32649 29212 0 -1 1077944384 5076 0 0 0 449 1 0 0 20 0 19 0 71889422 16060325888 920848 33554432000 4194304 4196468 140735624091680 139852740348656 139853334149762 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32661] ppid=32646 vsize=15683912 memory=281138090628688 CPUtime=4.31 cores=1,3,5,7
/proc/32649/task/32661/stat : 32661 (java) S 32646 32649 29212 0 -1 1077944384 4899 0 0 0 429 2 0 0 20 0 19 0 71889422 16060325888 920848 33554432000 4194304 4196468 140735624091680 139852739296112 139853334149762 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32662] ppid=32646 vsize=15683912 memory=281134734982048 CPUtime=1.22 cores=1,3,5,7
/proc/32649/task/32662/stat : 32662 (java) S 32646 32649 29212 0 -1 1077944384 3234 0 0 0 120 2 0 0 20 0 19 0 71889422 16060325888 920848 33554432000 4194304 4196468 140735624091680 139852738243056 139853334149762 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32663] ppid=32646 vsize=15683912 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32663/stat : 32663 (java) S 32646 32649 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71889423 16060325888 920848 33554432000 4194304 4196468 140735624091680 139850778930016 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32664] ppid=32646 vsize=15683912 memory=303430223234596890 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32664/stat : 32664 (java) S 32646 32649 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71889423 16060325888 920848 33554432000 4194304 4196468 140735624091680 139852737190448 139853334149762 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32666] ppid=32646 vsize=15683912 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32666/stat : 32666 (java) S 32646 32649 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71890574 16060325888 920848 33554432000 4194304 4196468 140735624091680 139852725519680 139853334163225 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32668] ppid=32646 vsize=15683912 memory=15258134151170438 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32668/stat : 32668 (java) S 32646 32649 29212 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 71890574 16060325888 920848 33554432000 4194304 4196468 140735624091680 139850242047280 139853334160541 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32669] ppid=32646 vsize=15683912 memory=824 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32669/stat : 32669 (java) S 32646 32649 29212 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 71890574 16060325888 920848 33554432000 4194304 4196468 140735624091680 139849973612464 139853334160541 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32670] ppid=32646 vsize=15683912 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32670/stat : 32670 (java) S 32646 32649 29212 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 71890577 16060325888 920848 33554432000 4194304 4196468 140735624091680 139850510491424 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
Current children cumulated CPU time: 24.08 s
Current children cumulated vsize: 15914056 KiB
Current children cumulated memory: 3862364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+12.1485 s]
# the end of solver process 32649 was just reported to runsolver
# cumulated CPU time of all completed processes: user=22.6686 s, system=1.48332 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.1102 s]
/proc/loadavg: 2.33 2.22 2.16 3/225 32670
/proc/meminfo: memFree=17299100/32770624 swapFree=67076520/67108860
[pid=32649] ppid=32646 vsize=15683912 memory=3683392 CPUtime=23.56 cores=1,3,5,7
/proc/32649/stat : 32649 (java) S 32646 32649 29212 0 -1 1077944320 34811 0 0 0 2218 138 0 0 20 0 19 0 71889416 16060325888 920848 33554432000 4194304 4196468 140735624091680 140735624074224 139853334138615 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
/proc/32649/statm: 3920978 920848 3243 1 0 3881834 0
[pid=32665] ppid=32649 vsize=230144 memory=178972 CPUtime=0.52 cores=1,3,5,7
/proc/32665/stat : 32665 (minisat_release) R 32649 32649 29212 0 -1 4202496 39087 0 0 0 47 5 0 0 20 0 1 0 71890574 235667456 44743 33554432000 4194304 4308513 140723116656832 140723115605224 4248293 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6409496 6410680 22204416 140723116659375 140723116659886 140723116659886 140723116662725 0
/proc/32665/statm: 57536 44743 318 28 0 53776 0
[pid=32649/tid=32651] ppid=32646 vsize=15683912 memory=3208868 CPUtime=10.91 cores=1,3,5,7
/proc/32649/task/32651/stat : 32651 (java) S 32646 32649 29212 0 -1 1077944384 18756 0 0 0 1039 52 0 0 20 0 19 0 71889416 16060325888 920848 33554432000 4194304 4196468 140735624091680 139853305977856 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32652] ppid=32646 vsize=15683912 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/32649/task/32652/stat : 32652 (java) S 32646 32649 29212 0 -1 1077944384 430 0 0 0 46 20 0 0 20 0 19 0 71889418 16060325888 920848 33554432000 4194304 4196468 140735624091680 139853338381328 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32653] ppid=32646 vsize=15683912 memory=4627849442588003702 CPUtime=0.65 cores=1,3,5,7
/proc/32649/task/32653/stat : 32653 (java) S 32646 32649 29212 0 -1 1077944384 378 0 0 0 45 20 0 0 20 0 19 0 71889418 16060325888 920848 33554432000 4194304 4196468 140735624091680 139853129464976 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32654] ppid=32646 vsize=15683912 memory=3544 CPUtime=0.59 cores=1,3,5,7
/proc/32649/task/32654/stat : 32654 (java) S 32646 32649 29212 0 -1 1077944384 297 0 0 0 40 19 0 0 20 0 19 0 71889418 16060325888 920848 33554432000 4194304 4196468 140735624091680 139852793592592 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32655] ppid=32646 vsize=15683912 memory=3418380 CPUtime=0.65 cores=1,3,5,7
/proc/32649/task/32655/stat : 32655 (java) S 32646 32649 29212 0 -1 1077944384 325 0 0 0 46 19 0 0 20 0 19 0 71889418 16060325888 920848 33554432000 4194304 4196468 140735624091680 139852792540048 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32656] ppid=32646 vsize=15683912 memory=3544 CPUtime=0.01 cores=1,3,5,7
/proc/32649/task/32656/stat : 32656 (java) S 32646 32649 29212 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 19 0 71889419 16060325888 920848 33554432000 4194304 4196468 140735624091680 139852741400816 139853334149762 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32657] ppid=32646 vsize=15683912 memory=18620 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32657/stat : 32657 (java) S 32646 32649 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 71889420 16060325888 920848 33554432000 4194304 4196468 140735624091680 139851886224608 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32658] ppid=32646 vsize=15683912 memory=3208868 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32658/stat : 32658 (java) S 32646 32649 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71889420 16060325888 920848 33554432000 4194304 4196468 140735624091680 139851651343088 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32659] ppid=32646 vsize=15683912 memory=3208868 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32659/stat : 32659 (java) S 32646 32649 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71889422 16060325888 920848 33554432000 4194304 4196468 140735624091680 139851276834768 139853334157211 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32660] ppid=32646 vsize=15683912 memory=1664 CPUtime=4.5 cores=1,3,5,7
/proc/32649/task/32660/stat : 32660 (java) S 32646 32649 29212 0 -1 1077944384 5076 0 0 0 449 1 0 0 20 0 19 0 71889422 16060325888 920848 33554432000 4194304 4196468 140735624091680 139852740348656 139853334149762 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32661] ppid=32646 vsize=15683912 memory=281138090628688 CPUtime=4.31 cores=1,3,5,7
/proc/32649/task/32661/stat : 32661 (java) S 32646 32649 29212 0 -1 1077944384 4899 0 0 0 429 2 0 0 20 0 19 0 71889422 16060325888 920848 33554432000 4194304 4196468 140735624091680 139852739296112 139853334149762 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32662] ppid=32646 vsize=15683912 memory=281134734982048 CPUtime=1.22 cores=1,3,5,7
/proc/32649/task/32662/stat : 32662 (java) S 32646 32649 29212 0 -1 1077944384 3234 0 0 0 120 2 0 0 20 0 19 0 71889422 16060325888 920848 33554432000 4194304 4196468 140735624091680 139852738243056 139853334149762 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32663] ppid=32646 vsize=15683912 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32663/stat : 32663 (java) S 32646 32649 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71889423 16060325888 920848 33554432000 4194304 4196468 140735624091680 139850778930016 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32664] ppid=32646 vsize=15683912 memory=303430223234596890 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32664/stat : 32664 (java) S 32646 32649 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71889423 16060325888 920848 33554432000 4194304 4196468 140735624091680 139852737190448 139853334149762 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32666] ppid=32646 vsize=15683912 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32666/stat : 32666 (java) S 32646 32649 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71890574 16060325888 920848 33554432000 4194304 4196468 140735624091680 139852725519680 139853334163225 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32668] ppid=32646 vsize=15683912 memory=15258134151170438 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32668/stat : 32668 (java) S 32646 32649 29212 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 71890574 16060325888 920848 33554432000 4194304 4196468 140735624091680 139850242047280 139853334160541 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32669] ppid=32646 vsize=15683912 memory=824 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32669/stat : 32669 (java) S 32646 32649 29212 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 71890574 16060325888 920848 33554432000 4194304 4196468 140735624091680 139849973612464 139853334160541 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
[pid=32649/tid=32670] ppid=32646 vsize=15683912 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/32649/task/32670/stat : 32670 (java) S 32646 32649 29212 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 71890577 16060325888 920848 33554432000 4194304 4196468 140735624091680 139850510491424 139853334148821 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26820608 140735624094708 140735624094985 140735624094985 140735624097743 0
Current children cumulated CPU time: 24.08 s
Current children cumulated vsize: 15914056 KiB
Current children cumulated memory: 3862364 KiB
Child status: 1
Real time (s): 12.1486
CPU time (s): 24.152
CPU user time (s): 22.6686
CPU system time (s): 1.48332
CPU usage (%): 198.805
Max. virtual memory (cumulated for all children) (KiB): 15914056
Max. memory (cumulated for all children) (KiB): 3862364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.6686
system time used= 1.48332
maximum resident set size= 3685440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73992
page faults= 0
swaps= 0
block input operations= 0
block output operations= 73448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4728
involuntary context switches= 83
# summary of solver processes directly reported to runsolver:
# pid: 32649
# total CPU time (s): 24.152
# total CPU user time (s): 22.6686
# total CPU system time (s): 1.48332
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.106299 second user time and 0.157097 second system time
The end