0.66/0.52
0.66/0.53 scop order+minisat_release (2018-06-13)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Mon Jul 23 13:48:04 CEST 2018
0.66/0.55 c PID: 6842
0.66/0.55 c IP: 172.20.3.105
0.66/0.55 c HOST: node105.alineos.net
0.66/0.56 c (0,0) Parsing Begin
4.68/1.98 c (1,1) Parsing End
5.04/2.01 c (1,1) CSP: 0 int (0 aux), 8281 bool (0 aux), 826 ctr, max domain size 2
5.04/2.01 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
5.04/2.01 c (1,1) Constraint Name Generate Begin
5.04/2.06 c (1,1) Ctr:HOME/instance-4293730-1532346484.xml,IntVar:Num:WeightedSum
5.04/2.06 c (1,1) Constraint Name Generate End
5.04/2.06 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
5.04/2.06 c (1,1) CSP to CSPinCNF Begin
7.10/2.78 c (2,2) translated 83 (10%) constraints
7.99/3.23 c (2,2) translated 166 (20%) constraints
8.44/3.66 c (3,3) translated 248 (30%) constraints
8.88/4.10 c (3,3) translated 331 (40%) constraints
9.64/4.55 c (4,4) translated 413 (50%) constraints
10.16/4.97 c (4,4) translated 496 (60%) constraints
10.61/5.38 c (4,4) translated 579 (70%) constraints
11.38/5.87 c (5,5) translated 661 (80%) constraints
11.94/6.40 c (5,5) translated 744 (90%) constraints
13.15/7.56 c (7,6) translated 826 (100%) constraints
14.87/8.22 c (7,7) STATISTICS1:HOME/instance-4293730-1532346484.xml,IntVar:Num:WeightedSum,8281,826,9223372036854775807,2,1,169,9223372036854775807:826,2:82810,1:826,169:98;91:728,12544:98;3600:728
14.87/8.22 c (7,7) ===========================================
14.87/8.22 c (7,7) Order
14.87/8.23 c (7,7) ===========================================
16.72/8.83 c (8,8) translated 83 (10%) constraints
17.74/9.25 c (8,8) translated 166 (20%) constraints
18.83/9.64 c (9,9) translated 248 (30%) constraints
20.05/10.06 c (9,9) translated 331 (40%) constraints
21.63/10.56 c (10,9) translated 413 (50%) constraints
22.83/10.93 c (10,10) translated 496 (60%) constraints
23.69/11.29 c (10,10) translated 579 (70%) constraints
24.37/11.64 c (11,10) translated 661 (80%) constraints
24.91/12.06 c (11,11) translated 744 (90%) constraints
25.75/12.88 c (12,12) translated 826 (100%) constraints
25.85/12.90 c (12,12) CSP to CSPinCNF End
25.85/12.92 c (12,12) CSP: 19698 int (19698 aux), 8281 bool (0 aux), 20524 ctr, max domain size 32
25.85/12.92 c (12,12) Heap : 1473 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
25.85/12.92 c (12,12) CSPinCNF Propagation Begin
26.44/13.14 c (12,12) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
26.44/13.14 c (12,12) CSPinCNF Propagation End
26.44/13.16 c (12,12) CSP: 19698 int (19698 aux), 8281 bool (0 aux), 20524 ctr, max domain size 32
26.44/13.16 c (12,12) Heap : 1601 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
26.44/13.16 c (12,12) Simplify CSPinCNF Begin
26.65/13.23 c (12,12) Simplify CSPinCNF End
26.65/13.24 c (12,12) CSP: 19698 int (19698 aux), 8281 bool (0 aux), 20524 ctr, max domain size 32
26.65/13.24 c (12,12) Heap : 1601 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
26.65/13.24 c (12,12) Calculate Precise Domain Begin
27.15/13.40 c (12,12) 0 values are removed by re-calculation
27.15/13.40 c (12,12) Calculate Precise Domain End
27.15/13.41 c (12,12) CSP: 19698 int (19698 aux), 8281 bool (0 aux), 20524 ctr, max domain size 32
27.15/13.41 c (12,12) Heap : 1712 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
27.15/13.41 c (12,12) CSPinCNF to SatSolver Begin
29.39/14.69 c (14,13) 2053 (10 %) CSP clauses are encoded (178941 SAT variables, 380828 SAT clauses)
30.85/15.70 c (15,14) 4105 (20 %) CSP clauses are encoded (178941 SAT variables, 610444 SAT clauses)
31.74/16.60 c (16,15) 6158 (30 %) CSP clauses are encoded (178941 SAT variables, 840187 SAT clauses)
32.77/17.71 c (17,16) 8210 (40 %) CSP clauses are encoded (178941 SAT variables, 1080374 SAT clauses)
34.00/18.74 c (18,17) 10262 (50 %) CSP clauses are encoded (178941 SAT variables, 1419674 SAT clauses)
34.90/19.69 c (19,18) 12315 (60 %) CSP clauses are encoded (178941 SAT variables, 1759076 SAT clauses)
35.91/20.64 c (20,19) 14367 (70 %) CSP clauses are encoded (178941 SAT variables, 2098223 SAT clauses)
37.12/21.60 c (21,20) 16420 (80 %) CSP clauses are encoded (178941 SAT variables, 2406347 SAT clauses)
37.68/22.66 c (22,21) 18472 (90 %) CSP clauses are encoded (178941 SAT variables, 2585727 SAT clauses)
38.29/23.27 c (22,21) 20524 (100 %) CSP clauses are encoded (178941 SAT variables, 2765147 SAT clauses)
38.29/23.27 c (22,21) CSPinCNF to SatSolver End
38.29/23.27 c (22,21) Heap : 1557 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
39.30/23.64 c (23,21) STATISTICS2:HOME/instance-4293730-1532346484.xml,IntVar:Num:WeightedSum,27979,20524,961,32,1,9,961:364;272:364;256:5922;128:5894;81:364;72:1918;64:1078;45:588;18:364;16:1820;9:392;4:1456,32:728;31:1456;17:728;16:3836;15:2156;9:10388;8:11788;3:1764;2:89362,1:20524,9:5194;8:5894;3:9436,
39.30/23.64 c (23,21) SatSolver.solve Begin
39.30/23.64 c (23,21) 178941 bool, 2765154 clause
39.30/23.64 c (23,21) 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-4293730-1532346484.xml-scop-6842.cnf HOME/instance-4293730-1532346484.xml-scop-6842.cnf.out
40.13/24.30 c (23,0) receiving signal SIGTERM
40.13/24.30 s UNKNOWN
40.13/24.31 c (23,22) SatSolver is killed by some reasons.
40.13/24.31 c (23,22) 1,1,12,12,12,12,22,TO,TO,STOP-AFTER(DIMACS)
40.13/24.31 c END-Prog: Mon Jul 23 13:48:28 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 (4338 MiB free)
memory of node 1: 16384 MiB (10541 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293730-1532346484/watcher-4293730-1532346484 -o /tmp/evaluation-result-4293730-1532346484/solver-4293730-1532346484 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2302 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4293730-1532346484.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=6842, runsolver pid=6839
Current StackSize limit: 8192 KiB
[startup+0.100969 s]*
/proc/loadavg: 2.50 2.25 2.13 3/220 6857
/proc/meminfo: memFree=15176544/32770624 swapFree=67108860/67108860
[pid=6842] ppid=6839 vsize=15011656 memory=72128 CPUtime=0.11 cores=0,2,4,6
/proc/6842/stat : 6842 (java) S 6839 6842 2271 0 -1 1077944320 6211 0 0 0 10 1 0 0 20 0 15 0 52211530 15371935744 18032 33554432000 4194304 4196468 140732496496304 140732496478848 140374676299511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
/proc/6842/statm: 3752914 18032 2782 1 0 3715374 0
[pid=6842/tid=6844] ppid=6839 vsize=15011656 memory=4137293620483036051 CPUtime=0.09 cores=0,2,4,6
/proc/6842/task/6844/stat : 6844 (java) R 6839 6842 2271 0 -1 4202560 4443 0 0 0 8 1 0 0 20 0 15 0 52211530 15371935744 18164 33554432000 4194304 4196468 140732496496304 140374648111496 140374656575271 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6845] ppid=6839 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6845/stat : 6845 (java) S 6839 6842 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52211532 15371935744 18164 33554432000 4194304 4196468 140732496496304 140374680542096 140374676309717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6846] ppid=6839 vsize=15011656 memory=140548174182016 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6846/stat : 6846 (java) S 6839 6842 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52211532 15371935744 18164 33554432000 4194304 4196468 140732496496304 140374498630416 140374676309717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6847] ppid=6839 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6847/stat : 6847 (java) S 6839 6842 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52211532 15371935744 18164 33554432000 4194304 4196468 140732496496304 140374497578128 140374676309717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6848] ppid=6839 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6848/stat : 6848 (java) S 6839 6842 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52211532 15371935744 18230 33554432000 4194304 4196468 140732496496304 140374135352336 140374676309717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6849] ppid=6839 vsize=15011656 memory=140548174182016 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6849/stat : 6849 (java) S 6839 6842 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52211533 15371935744 18230 33554432000 4194304 4196468 140732496496304 140373714790512 140374676310658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6850] ppid=6839 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6850/stat : 6850 (java) S 6839 6842 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52211534 15371935744 18230 33554432000 4194304 4196468 140732496496304 140373221434144 140374676309717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6851] ppid=6839 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6851/stat : 6851 (java) S 6839 6842 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52211534 15371935744 18230 33554432000 4194304 4196468 140732496496304 140372952999024 140374676309717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6852] ppid=6839 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6852/stat : 6852 (java) S 6839 6842 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52211536 15371935744 18230 33554432000 4194304 4196468 140732496496304 140372578490448 140374676318107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6853] ppid=6839 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6853/stat : 6853 (java) S 6839 6842 2271 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 52211536 15371935744 18230 33554432000 4194304 4196468 140732496496304 140373713738352 140374676310658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6854] ppid=6839 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6854/stat : 6854 (java) S 6839 6842 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52211536 15371935744 18230 33554432000 4194304 4196468 140732496496304 140373712685552 140374676310658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6855] ppid=6839 vsize=15011656 memory=140548174182016 CPUtime=0.01 cores=0,2,4,6
/proc/6842/task/6855/stat : 6855 (java) S 6839 6842 2271 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 15 0 52211536 15371935744 18230 33554432000 4194304 4196468 140732496496304 140373711633264 140374676310658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6856] ppid=6839 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6856/stat : 6856 (java) S 6839 6842 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52211537 15371935744 18230 33554432000 4194304 4196468 140732496496304 140372080585696 140374676309717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6857] ppid=6839 vsize=15011656 memory=140548174182016 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6857/stat : 6857 (java) S 6839 6842 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52211537 15371935744 18230 33554432000 4194304 4196468 140732496496304 140373710580144 140374676310658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72128 KiB
[startup+0.210375 s]*
/proc/loadavg: 2.50 2.25 2.13 3/220 6857
/proc/meminfo: memFree=15163200/32770624 swapFree=67108860/67108860
[pid=6842] ppid=6839 vsize=15011656 memory=85508 CPUtime=0.25 cores=0,2,4,6
/proc/6842/stat : 6842 (java) S 6839 6842 2271 0 -1 1077944320 9843 0 0 0 23 2 0 0 20 0 15 0 52211530 15371935744 21377 33554432000 4194304 4196468 140732496496304 140732496478848 140374676299511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
/proc/6842/statm: 3752914 21377 2888 1 0 3715374 0
[pid=6842/tid=6844] ppid=6839 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/6842/task/6844/stat : 6844 (java) R 6839 6842 2271 0 -1 4202560 7744 0 0 0 18 2 0 0 20 0 15 0 52211530 15371935744 21377 33554432000 4194304 4196468 140732496496304 140374648090176 140374676311446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6845] ppid=6839 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6845/stat : 6845 (java) S 6839 6842 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52211532 15371935744 21377 33554432000 4194304 4196468 140732496496304 140374680542096 140374676309717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6846] ppid=6839 vsize=15011656 memory=140548174197082 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6846/stat : 6846 (java) S 6839 6842 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52211532 15371935744 21377 33554432000 4194304 4196468 140732496496304 140374498630416 140374676309717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6847] ppid=6839 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6847/stat : 6847 (java) S 6839 6842 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52211532 15371935744 21377 33554432000 4194304 4196468 140732496496304 140374497578128 140374676309717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6848] ppid=6839 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6848/stat : 6848 (java) S 6839 6842 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52211532 15371935744 21377 33554432000 4194304 4196468 140732496496304 140374135352336 140374676309717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6849] ppid=6839 vsize=15011656 memory=140548174182016 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6849/stat : 6849 (java) S 6839 6842 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52211533 15371935744 21377 33554432000 4194304 4196468 140732496496304 140373714790512 140374676310658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6850] ppid=6839 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6850/stat : 6850 (java) S 6839 6842 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52211534 15371935744 21377 33554432000 4194304 4196468 140732496496304 140373221434144 140374676309717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6851] ppid=6839 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6851/stat : 6851 (java) S 6839 6842 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52211534 15371935744 21377 33554432000 4194304 4196468 140732496496304 140372952999024 140374676309717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6852] ppid=6839 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6852/stat : 6852 (java) S 6839 6842 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52211536 15371935744 21377 33554432000 4194304 4196468 140732496496304 140372578490448 140374676318107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6853] ppid=6839 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6853/stat : 6853 (java) S 6839 6842 2271 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 15 0 52211536 15371935744 21377 33554432000 4194304 4196468 140732496496304 140373713738352 140374676310658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6854] ppid=6839 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6854/stat : 6854 (java) S 6839 6842 2271 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 52211536 15371935744 21377 33554432000 4194304 4196468 140732496496304 140373712685552 140374676310658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6855] ppid=6839 vsize=15011656 memory=140548174182016 CPUtime=0.03 cores=0,2,4,6
/proc/6842/task/6855/stat : 6855 (java) R 6839 6842 2271 0 -1 4202560 303 0 0 0 3 0 0 0 20 0 15 0 52211536 15371935744 21377 33554432000 4194304 4196468 140732496496304 140373711633264 140374654819601 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6856] ppid=6839 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6856/stat : 6856 (java) S 6839 6842 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52211537 15371935744 21377 33554432000 4194304 4196468 140732496496304 140372080585696 140374676309717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6857] ppid=6839 vsize=15011656 memory=140548174182016 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6857/stat : 6857 (java) S 6839 6842 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52211537 15371935744 21377 33554432000 4194304 4196468 140732496496304 140373710580144 140374676310658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85508 KiB
[startup+0.310414 s]*
/proc/loadavg: 2.50 2.25 2.13 3/220 6857
/proc/meminfo: memFree=15159292/32770624 swapFree=67108860/67108860
[pid=6842] ppid=6839 vsize=15011656 memory=89668 CPUtime=0.43 cores=0,2,4,6
/proc/6842/stat : 6842 (java) S 6839 6842 2271 0 -1 1077944320 10458 0 0 0 40 3 0 0 20 0 15 0 52211530 15371935744 22417 33554432000 4194304 4196468 140732496496304 140732496478848 140374676299511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
/proc/6842/statm: 3752914 22417 2996 1 0 3715374 0
[pid=6842/tid=6844] ppid=6839 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/6842/task/6844/stat : 6844 (java) R 6839 6842 2271 0 -1 4202560 8169 0 0 0 28 2 0 0 20 0 15 0 52211530 15371935744 22417 33554432000 4194304 4196468 140732496496304 140374648103440 140374661994571 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6845] ppid=6839 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6845/stat : 6845 (java) S 6839 6842 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52211532 15371935744 22417 33554432000 4194304 4196468 140732496496304 140374680542096 140374676309717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6846] ppid=6839 vsize=15011656 memory=3977017336120228602 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6846/stat : 6846 (java) S 6839 6842 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52211532 15371935744 22417 33554432000 4194304 4196468 140732496496304 140374498630416 140374676309717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6847] ppid=6839 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6847/stat : 6847 (java) S 6839 6842 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52211532 15371935744 22417 33554432000 4194304 4196468 140732496496304 140374497578128 140374676309717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6848] ppid=6839 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6848/stat : 6848 (java) S 6839 6842 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52211532 15371935744 22417 33554432000 4194304 4196468 140732496496304 140374135352336 140374676309717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6849] ppid=6839 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6849/stat : 6849 (java) S 6839 6842 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52211533 15371935744 22417 33554432000 4194304 4196468 140732496496304 140373714790512 140374676310658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6850] ppid=6839 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6850/stat : 6850 (java) S 6839 6842 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52211534 15371935744 22417 33554432000 4194304 4196468 140732496496304 140373221434144 140374676309717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6851] ppid=6839 vsize=15011656 memory=140548174182016 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6851/stat : 6851 (java) S 6839 6842 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52211534 15371935744 22417 33554432000 4194304 4196468 140732496496304 140372952999024 140374676309717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6852] ppid=6839 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6852/stat : 6852 (java) S 6839 6842 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52211536 15371935744 22417 33554432000 4194304 4196468 140732496496304 140372578490448 140374676318107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6853] ppid=6839 vsize=15011656 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6842/task/6853/stat : 6853 (java) R 6839 6842 2271 0 -1 1077944384 563 0 0 0 3 0 0 0 20 0 15 0 52211536 15371935744 22417 33554432000 4194304 4196468 140732496496304 140373713738352 140374676310658 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6854] ppid=6839 vsize=15011656 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/6842/task/6854/stat : 6854 (java) R 6839 6842 2271 0 -1 4202560 43 0 0 0 1 0 0 0 20 0 15 0 52211536 15371935744 22417 33554432000 4194304 4196468 140732496496304 140373712685552 140374660291533 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6855] ppid=6839 vsize=15011656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6842/task/6855/stat : 6855 (java) R 6839 6842 2271 0 -1 4202560 350 0 0 0 7 0 0 0 20 0 15 0 52211536 15371935744 22417 33554432000 4194304 4196468 140732496496304 140373711633264 140374654838594 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6856] ppid=6839 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6856/stat : 6856 (java) S 6839 6842 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52211537 15371935744 22417 33554432000 4194304 4196468 140732496496304 140372080585696 140374676309717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6857] ppid=6839 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6857/stat : 6857 (java) S 6839 6842 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52211537 15371935744 22417 33554432000 4194304 4196468 140732496496304 140373710580144 140374676310658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89668 KiB
[startup+0.709942 s]
/proc/loadavg: 2.50 2.25 2.13 3/220 6857
/proc/meminfo: memFree=15134460/32770624 swapFree=67108860/67108860
[pid=6842] ppid=6839 vsize=15017928 memory=133716 CPUtime=1.08 cores=0,2,4,6
/proc/6842/stat : 6842 (java) S 6839 6842 2271 0 -1 1077944320 17601 0 0 0 103 5 0 0 20 0 15 0 52211530 15378358272 33429 33554432000 4194304 4196468 140732496496304 140732496478848 140374676299511 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
/proc/6842/statm: 3754482 33429 3140 1 0 3715886 0
[pid=6842/tid=6844] ppid=6839 vsize=15017928 memory=796 CPUtime=0.68 cores=0,2,4,6
/proc/6842/task/6844/stat : 6844 (java) R 6839 6842 2271 0 -1 4202560 14699 0 0 0 64 4 0 0 20 0 15 0 52211530 15378358272 33429 33554432000 4194304 4196468 140732496496304 140374648135776 140374661994560 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6845] ppid=6839 vsize=15017928 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6845/stat : 6845 (java) S 6839 6842 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52211532 15378358272 33429 33554432000 4194304 4196468 140732496496304 140374680542096 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6846] ppid=6839 vsize=15017928 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6846/stat : 6846 (java) S 6839 6842 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52211532 15378358272 33429 33554432000 4194304 4196468 140732496496304 140374498630416 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6847] ppid=6839 vsize=15017928 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6847/stat : 6847 (java) S 6839 6842 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52211532 15378358272 33429 33554432000 4194304 4196468 140732496496304 140374497578128 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6848] ppid=6839 vsize=15017928 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6848/stat : 6848 (java) S 6839 6842 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52211532 15378358272 33429 33554432000 4194304 4196468 140732496496304 140374135352336 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6849] ppid=6839 vsize=15017928 memory=281096080369440 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6849/stat : 6849 (java) S 6839 6842 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52211533 15378358272 33429 33554432000 4194304 4196468 140732496496304 140373714790512 140374676310658 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6850] ppid=6839 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6850/stat : 6850 (java) S 6839 6842 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52211534 15378358272 33429 33554432000 4194304 4196468 140732496496304 140373221434144 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6851] ppid=6839 vsize=15017928 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6851/stat : 6851 (java) S 6839 6842 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52211534 15378358272 33429 33554432000 4194304 4196468 140732496496304 140372952999024 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6852] ppid=6839 vsize=15017928 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6852/stat : 6852 (java) S 6839 6842 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52211536 15378358272 33429 33554432000 4194304 4196468 140732496496304 140372578490448 140374676318107 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6853] ppid=6839 vsize=15017928 memory=8380 CPUtime=0.11 cores=0,2,4,6
/proc/6842/task/6853/stat : 6853 (java) R 6839 6842 2271 0 -1 4202560 786 0 0 0 11 0 0 0 20 0 15 0 52211536 15378358272 33429 33554432000 4194304 4196468 140732496496304 140373713730304 140374660265335 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6854] ppid=6839 vsize=15017928 memory=7307210974946176466 CPUtime=0.08 cores=0,2,4,6
/proc/6842/task/6854/stat : 6854 (java) R 6839 6842 2271 0 -1 4202560 239 0 0 0 8 0 0 0 20 0 15 0 52211536 15378358272 33429 33554432000 4194304 4196468 140732496496304 140373712672480 140374656935151 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6855] ppid=6839 vsize=15017928 memory=7302135314614015847 CPUtime=0.18 cores=0,2,4,6
/proc/6842/task/6855/stat : 6855 (java) R 6839 6842 2271 0 -1 4202560 536 0 0 0 18 0 0 0 20 0 15 0 52211536 15378358272 33429 33554432000 4194304 4196468 140732496496304 140373711630360 140374655253863 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6856] ppid=6839 vsize=15017928 memory=7885635084775281008 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6856/stat : 6856 (java) S 6839 6842 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52211537 15378358272 33429 33554432000 4194304 4196468 140732496496304 140372080585696 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6857] ppid=6839 vsize=15017928 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6857/stat : 6857 (java) S 6839 6842 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52211537 15378358272 33429 33554432000 4194304 4196468 140732496496304 140373710580144 140374676310658 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 133716 KiB
[startup+1.50079 s]
/proc/loadavg: 2.50 2.25 2.13 6/220 6857
/proc/meminfo: memFree=15034004/32770624 swapFree=67108860/67108860
[pid=6842] ppid=6839 vsize=15020052 memory=254548 CPUtime=3.43 cores=0,2,4,6
/proc/6842/stat : 6842 (java) S 6839 6842 2271 0 -1 1077944320 21743 0 0 0 334 9 0 0 20 0 15 0 52211530 15380533248 63637 33554432000 4194304 4196468 140732496496304 140732496478848 140374676299511 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
/proc/6842/statm: 3755013 63637 3205 1 0 3716398 0
[pid=6842/tid=6844] ppid=6839 vsize=15020052 memory=288230377108275491 CPUtime=1.46 cores=0,2,4,6
/proc/6842/task/6844/stat : 6844 (java) R 6839 6842 2271 0 -1 4202560 15817 0 0 0 140 6 0 0 20 0 15 0 52211530 15380533248 63637 33554432000 4194304 4196468 140732496496304 140374648133480 140374182722190 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6845] ppid=6839 vsize=15020052 memory=288293289789228285 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6845/stat : 6845 (java) S 6839 6842 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52211532 15380533248 63637 33554432000 4194304 4196468 140732496496304 140374680542096 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6846] ppid=6839 vsize=15020052 memory=288285580272600099 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6846/stat : 6846 (java) S 6839 6842 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52211532 15380533248 63637 33554432000 4194304 4196468 140732496496304 140374498630416 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6847] ppid=6839 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6847/stat : 6847 (java) S 6839 6842 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52211532 15380533248 63637 33554432000 4194304 4196468 140732496496304 140374497578128 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6848] ppid=6839 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6848/stat : 6848 (java) S 6839 6842 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52211532 15380533248 63637 33554432000 4194304 4196468 140732496496304 140374135352336 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6849] ppid=6839 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6849/stat : 6849 (java) S 6839 6842 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52211533 15380533248 63637 33554432000 4194304 4196468 140732496496304 140373714790512 140374676310658 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
################
# More data... #
################
/proc/6842/task/6855/stat : 6855 (java) S 6839 6842 2271 0 -1 1077944384 2864 0 0 0 98 1 0 0 20 0 15 0 52211536 15382630400 765627 33554432000 4194304 4196468 140732496496304 140373711633264 140374676310658 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6856] ppid=6839 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6856/stat : 6856 (java) S 6839 6842 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52211537 15382630400 765627 33554432000 4194304 4196468 140732496496304 140372080585696 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6857] ppid=6839 vsize=15022100 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6857/stat : 6857 (java) S 6839 6842 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52211537 15382630400 765627 33554432000 4194304 4196468 140732496496304 140373710580144 140374676310658 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
Current children cumulated CPU time: 11.94 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 3062508 KiB
[startup+12.7007 s]
/proc/loadavg: 2.59 2.27 2.14 3/220 6857
/proc/meminfo: memFree=12001924/32770624 swapFree=67108860/67108860
[pid=6842] ppid=6839 vsize=15022100 memory=3229720 CPUtime=25.65 cores=0,2,4,6
/proc/6842/stat : 6842 (java) S 6839 6842 2271 0 -1 1077944320 37892 0 0 0 2490 75 0 0 20 0 15 0 52211530 15382630400 807430 33554432000 4194304 4196468 140732496496304 140732496478848 140374676299511 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
/proc/6842/statm: 3755525 807430 3232 1 0 3716910 0
[pid=6842/tid=6844] ppid=6839 vsize=15022100 memory=0 CPUtime=12.46 cores=0,2,4,6
/proc/6842/task/6844/stat : 6844 (java) R 6839 6842 2271 0 -1 4202560 18153 0 0 0 1197 49 0 0 20 0 15 0 52211530 15382630400 807430 33554432000 4194304 4196468 140732496496304 140374648134768 140374181856094 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6845] ppid=6839 vsize=15022100 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/6842/task/6845/stat : 6845 (java) S 6839 6842 2271 0 -1 1077944384 204 0 0 0 12 5 0 0 20 0 15 0 52211532 15382630400 807430 33554432000 4194304 4196468 140732496496304 140374680542096 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6846] ppid=6839 vsize=15022100 memory=140548509794752 CPUtime=0.18 cores=0,2,4,6
/proc/6842/task/6846/stat : 6846 (java) S 6839 6842 2271 0 -1 1077944384 163 0 0 0 14 4 0 0 20 0 15 0 52211532 15382630400 807430 33554432000 4194304 4196468 140732496496304 140374498630416 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6847] ppid=6839 vsize=15022100 memory=3229316 CPUtime=0.19 cores=0,2,4,6
/proc/6842/task/6847/stat : 6847 (java) S 6839 6842 2271 0 -1 1077944384 164 0 0 0 14 5 0 0 20 0 15 0 52211532 15382630400 807430 33554432000 4194304 4196468 140732496496304 140374497578128 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6848] ppid=6839 vsize=15022100 memory=3062536 CPUtime=0.17 cores=0,2,4,6
/proc/6842/task/6848/stat : 6848 (java) S 6839 6842 2271 0 -1 1077944384 150 0 0 0 13 4 0 0 20 0 15 0 52211532 15382630400 807430 33554432000 4194304 4196468 140732496496304 140374135352336 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6849] ppid=6839 vsize=15022100 memory=23484 CPUtime=0.01 cores=0,2,4,6
/proc/6842/task/6849/stat : 6849 (java) S 6839 6842 2271 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 52211533 15382630400 807430 33554432000 4194304 4196468 140732496496304 140373714790512 140374676310658 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6850] ppid=6839 vsize=15022100 memory=55 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6850/stat : 6850 (java) S 6839 6842 2271 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 52211534 15382630400 807430 33554432000 4194304 4196468 140732496496304 140373221434208 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6851] ppid=6839 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6851/stat : 6851 (java) S 6839 6842 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52211534 15382630400 807430 33554432000 4194304 4196468 140732496496304 140372952999040 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6852] ppid=6839 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6852/stat : 6852 (java) S 6839 6842 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52211536 15382630400 807430 33554432000 4194304 4196468 140732496496304 140372578490448 140374676318107 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6853] ppid=6839 vsize=15022100 memory=281096080677232 CPUtime=5.67 cores=0,2,4,6
/proc/6842/task/6853/stat : 6853 (java) S 6839 6842 2271 0 -1 1077944384 8731 0 0 0 565 2 0 0 20 0 15 0 52211536 15382630400 807430 33554432000 4194304 4196468 140732496496304 140373713738352 140374676310658 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6854] ppid=6839 vsize=15022100 memory=0 CPUtime=5.53 cores=0,2,4,6
/proc/6842/task/6854/stat : 6854 (java) S 6839 6842 2271 0 -1 1077944384 5763 0 0 0 552 1 0 0 20 0 15 0 52211536 15382630400 807430 33554432000 4194304 4196468 140732496496304 140373712685552 140374676310658 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6855] ppid=6839 vsize=15022100 memory=13851 CPUtime=1.2 cores=0,2,4,6
/proc/6842/task/6855/stat : 6855 (java) S 6839 6842 2271 0 -1 1077944384 3208 0 0 0 118 2 0 0 20 0 15 0 52211536 15382630400 807430 33554432000 4194304 4196468 140732496496304 140373711633264 140374676310658 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6856] ppid=6839 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6856/stat : 6856 (java) S 6839 6842 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52211537 15382630400 807430 33554432000 4194304 4196468 140732496496304 140372080585696 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6857] ppid=6839 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6857/stat : 6857 (java) S 6839 6842 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52211537 15382630400 807430 33554432000 4194304 4196468 140732496496304 140373710580144 140374676310658 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
Current children cumulated CPU time: 25.65 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 3229720 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+24.3009 s]
/proc/loadavg: 2.42 2.25 2.13 3/225 6863
/proc/meminfo: memFree=11763216/32770624 swapFree=67108860/67108860
[pid=6842] ppid=6839 vsize=15681864 memory=3281760 CPUtime=39.5 cores=0,2,4,6
/proc/6842/stat : 6842 (java) S 6839 6842 2271 0 -1 1077944320 51784 0 0 0 3856 94 0 0 20 0 19 0 52211530 16058228736 820440 33554432000 4194304 4196468 140732496496304 140732496478848 140374676299511 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
/proc/6842/statm: 3920466 820440 3268 1 0 3881322 0
[pid=6858] ppid=6842 vsize=200028 memory=177868 CPUtime=0.63 cores=0,2,4,6
/proc/6858/stat : 6858 (minisat_release) R 6842 6842 2271 0 -1 4202496 36308 0 0 0 58 5 0 0 20 0 1 0 52213896 204828672 44467 33554432000 4194304 4308513 140724588196384 140724587144616 4279458 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6409496 6410680 19324928 140724588200625 140724588201134 140724588201134 140724588203973 0
/proc/6858/statm: 50007 44467 318 28 0 46247 0
[pid=6842/tid=6844] ppid=6839 vsize=15681864 memory=3278672 CPUtime=22.55 cores=0,2,4,6
/proc/6842/task/6844/stat : 6844 (java) S 6839 6842 2271 0 -1 1077944384 21726 0 0 0 2196 59 0 0 20 0 19 0 52211530 16058228736 820440 33554432000 4194304 4196468 140732496496304 140374648138752 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 64 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6845] ppid=6839 vsize=15681864 memory=3278500 CPUtime=0.41 cores=0,2,4,6
/proc/6842/task/6845/stat : 6845 (java) S 6839 6842 2271 0 -1 1077944384 1641 0 0 0 35 6 0 0 20 0 19 0 52211532 16058228736 820440 33554432000 4194304 4196468 140732496496304 140374680542096 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6846] ppid=6839 vsize=15681864 memory=3281760 CPUtime=0.43 cores=0,2,4,6
/proc/6842/task/6846/stat : 6846 (java) S 6839 6842 2271 0 -1 1077944384 476 0 0 0 37 6 0 0 20 0 19 0 52211532 16058228736 820440 33554432000 4194304 4196468 140732496496304 140374498630416 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6847] ppid=6839 vsize=15681864 memory=3281760 CPUtime=0.43 cores=0,2,4,6
/proc/6842/task/6847/stat : 6847 (java) S 6839 6842 2271 0 -1 1077944384 457 0 0 0 37 6 0 0 20 0 19 0 52211532 16058228736 820440 33554432000 4194304 4196468 140732496496304 140374497578128 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6848] ppid=6839 vsize=15681864 memory=3278500 CPUtime=0.42 cores=0,2,4,6
/proc/6842/task/6848/stat : 6848 (java) S 6839 6842 2271 0 -1 1077944384 264 0 0 0 36 6 0 0 20 0 19 0 52211532 16058228736 820440 33554432000 4194304 4196468 140732496496304 140374135352336 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6849] ppid=6839 vsize=15681864 memory=2240 CPUtime=0.02 cores=0,2,4,6
/proc/6842/task/6849/stat : 6849 (java) S 6839 6842 2271 0 -1 1077944384 321 0 0 0 2 0 0 0 20 0 19 0 52211533 16058228736 820440 33554432000 4194304 4196468 140732496496304 140373714790512 140374676310658 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6850] ppid=6839 vsize=15681864 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6850/stat : 6850 (java) S 6839 6842 2271 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 52211534 16058228736 820440 33554432000 4194304 4196468 140732496496304 140373221434208 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6851] ppid=6839 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6851/stat : 6851 (java) S 6839 6842 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52211534 16058228736 820440 33554432000 4194304 4196468 140732496496304 140372952999040 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6852] ppid=6839 vsize=15681864 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6852/stat : 6852 (java) S 6839 6842 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52211536 16058228736 820440 33554432000 4194304 4196468 140732496496304 140372578490448 140374676318107 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6853] ppid=6839 vsize=15681864 memory=16876 CPUtime=6.93 cores=0,2,4,6
/proc/6842/task/6853/stat : 6853 (java) S 6839 6842 2271 0 -1 1077944384 11867 0 0 0 690 3 0 0 20 0 19 0 52211536 16058228736 820440 33554432000 4194304 4196468 140732496496304 140373713738352 140374676310658 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6854] ppid=6839 vsize=15681864 memory=8380 CPUtime=6.79 cores=0,2,4,6
/proc/6842/task/6854/stat : 6854 (java) S 6839 6842 2271 0 -1 1077944384 8591 0 0 0 678 1 0 0 20 0 19 0 52211536 16058228736 820440 33554432000 4194304 4196468 140732496496304 140373712685552 140374676310658 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6855] ppid=6839 vsize=15681864 memory=4616 CPUtime=1.42 cores=0,2,4,6
/proc/6842/task/6855/stat : 6855 (java) S 6839 6842 2271 0 -1 1077944384 4745 0 0 0 140 2 0 0 20 0 19 0 52211536 16058228736 820440 33554432000 4194304 4196468 140732496496304 140373711633264 140374676310658 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6856] ppid=6839 vsize=15681864 memory=3278404 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6856/stat : 6856 (java) S 6839 6842 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52211537 16058228736 820440 33554432000 4194304 4196468 140732496496304 140372080585696 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6857] ppid=6839 vsize=15681864 memory=4420 CPUtime=0.01 cores=0,2,4,6
/proc/6842/task/6857/stat : 6857 (java) S 6839 6842 2271 0 -1 1077944384 292 0 0 0 0 1 0 0 20 0 19 0 52211537 16058228736 820440 33554432000 4194304 4196468 140732496496304 140373710580144 140374676310658 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6859] ppid=6839 vsize=15681864 memory=301741373374332954 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6859/stat : 6859 (java) S 6839 6842 2271 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 52213896 16058228736 820440 33554432000 4194304 4196468 140732496496304 140373694313408 140374676324121 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6861] ppid=6839 vsize=15681864 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6861/stat : 6861 (java) S 6839 6842 2271 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 52213896 16058228736 820440 33554432000 4194304 4196468 140732496496304 140371677920688 140374676321437 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6862] ppid=6839 vsize=15681864 memory=16098156739823870 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6862/stat : 6862 (java) S 6839 6842 2271 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 52213896 16058228736 820440 33554432000 4194304 4196468 140732496496304 140371543699248 140374676321437 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6863] ppid=6839 vsize=15681864 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6863/stat : 6863 (java) S 6839 6842 2271 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 52213898 16058228736 820440 33554432000 4194304 4196468 140732496496304 140371275275680 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
Current children cumulated CPU time: 40.13 s
Current children cumulated vsize: 15881892 KiB
Current children cumulated memory: 3459628 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+24.3424 s]
# the end of solver process 6842 was just reported to runsolver
# cumulated CPU time of all completed processes: user=39.15 s, system=1.04345 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+24.3009 s]
/proc/loadavg: 2.42 2.25 2.13 3/225 6863
/proc/meminfo: memFree=11763216/32770624 swapFree=67108860/67108860
[pid=6842] ppid=6839 vsize=15681864 memory=3281760 CPUtime=39.5 cores=0,2,4,6
/proc/6842/stat : 6842 (java) S 6839 6842 2271 0 -1 1077944320 51784 0 0 0 3856 94 0 0 20 0 19 0 52211530 16058228736 820440 33554432000 4194304 4196468 140732496496304 140732496478848 140374676299511 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
/proc/6842/statm: 3920466 820440 3268 1 0 3881322 0
[pid=6858] ppid=6842 vsize=200028 memory=177868 CPUtime=0.63 cores=0,2,4,6
/proc/6858/stat : 6858 (minisat_release) R 6842 6842 2271 0 -1 4202496 36308 0 0 0 58 5 0 0 20 0 1 0 52213896 204828672 44467 33554432000 4194304 4308513 140724588196384 140724587144616 4279458 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6409496 6410680 19324928 140724588200625 140724588201134 140724588201134 140724588203973 0
/proc/6858/statm: 50007 44467 318 28 0 46247 0
[pid=6842/tid=6844] ppid=6839 vsize=15681864 memory=3278672 CPUtime=22.55 cores=0,2,4,6
/proc/6842/task/6844/stat : 6844 (java) S 6839 6842 2271 0 -1 1077944384 21726 0 0 0 2196 59 0 0 20 0 19 0 52211530 16058228736 820440 33554432000 4194304 4196468 140732496496304 140374648138752 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 64 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6845] ppid=6839 vsize=15681864 memory=3278500 CPUtime=0.41 cores=0,2,4,6
/proc/6842/task/6845/stat : 6845 (java) S 6839 6842 2271 0 -1 1077944384 1641 0 0 0 35 6 0 0 20 0 19 0 52211532 16058228736 820440 33554432000 4194304 4196468 140732496496304 140374680542096 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6846] ppid=6839 vsize=15681864 memory=3281760 CPUtime=0.43 cores=0,2,4,6
/proc/6842/task/6846/stat : 6846 (java) S 6839 6842 2271 0 -1 1077944384 476 0 0 0 37 6 0 0 20 0 19 0 52211532 16058228736 820440 33554432000 4194304 4196468 140732496496304 140374498630416 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6847] ppid=6839 vsize=15681864 memory=3281760 CPUtime=0.43 cores=0,2,4,6
/proc/6842/task/6847/stat : 6847 (java) S 6839 6842 2271 0 -1 1077944384 457 0 0 0 37 6 0 0 20 0 19 0 52211532 16058228736 820440 33554432000 4194304 4196468 140732496496304 140374497578128 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6848] ppid=6839 vsize=15681864 memory=3278500 CPUtime=0.42 cores=0,2,4,6
/proc/6842/task/6848/stat : 6848 (java) S 6839 6842 2271 0 -1 1077944384 264 0 0 0 36 6 0 0 20 0 19 0 52211532 16058228736 820440 33554432000 4194304 4196468 140732496496304 140374135352336 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6849] ppid=6839 vsize=15681864 memory=2240 CPUtime=0.02 cores=0,2,4,6
/proc/6842/task/6849/stat : 6849 (java) S 6839 6842 2271 0 -1 1077944384 321 0 0 0 2 0 0 0 20 0 19 0 52211533 16058228736 820440 33554432000 4194304 4196468 140732496496304 140373714790512 140374676310658 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6850] ppid=6839 vsize=15681864 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6850/stat : 6850 (java) S 6839 6842 2271 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 52211534 16058228736 820440 33554432000 4194304 4196468 140732496496304 140373221434208 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6851] ppid=6839 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6851/stat : 6851 (java) S 6839 6842 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52211534 16058228736 820440 33554432000 4194304 4196468 140732496496304 140372952999040 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6852] ppid=6839 vsize=15681864 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6852/stat : 6852 (java) S 6839 6842 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52211536 16058228736 820440 33554432000 4194304 4196468 140732496496304 140372578490448 140374676318107 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6853] ppid=6839 vsize=15681864 memory=16876 CPUtime=6.93 cores=0,2,4,6
/proc/6842/task/6853/stat : 6853 (java) S 6839 6842 2271 0 -1 1077944384 11867 0 0 0 690 3 0 0 20 0 19 0 52211536 16058228736 820440 33554432000 4194304 4196468 140732496496304 140373713738352 140374676310658 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6854] ppid=6839 vsize=15681864 memory=8380 CPUtime=6.79 cores=0,2,4,6
/proc/6842/task/6854/stat : 6854 (java) S 6839 6842 2271 0 -1 1077944384 8591 0 0 0 678 1 0 0 20 0 19 0 52211536 16058228736 820440 33554432000 4194304 4196468 140732496496304 140373712685552 140374676310658 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6855] ppid=6839 vsize=15681864 memory=4616 CPUtime=1.42 cores=0,2,4,6
/proc/6842/task/6855/stat : 6855 (java) S 6839 6842 2271 0 -1 1077944384 4745 0 0 0 140 2 0 0 20 0 19 0 52211536 16058228736 820440 33554432000 4194304 4196468 140732496496304 140373711633264 140374676310658 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6856] ppid=6839 vsize=15681864 memory=3278404 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6856/stat : 6856 (java) S 6839 6842 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52211537 16058228736 820440 33554432000 4194304 4196468 140732496496304 140372080585696 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6857] ppid=6839 vsize=15681864 memory=4420 CPUtime=0.01 cores=0,2,4,6
/proc/6842/task/6857/stat : 6857 (java) S 6839 6842 2271 0 -1 1077944384 292 0 0 0 0 1 0 0 20 0 19 0 52211537 16058228736 820440 33554432000 4194304 4196468 140732496496304 140373710580144 140374676310658 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6859] ppid=6839 vsize=15681864 memory=301741373374332954 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6859/stat : 6859 (java) S 6839 6842 2271 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 52213896 16058228736 820440 33554432000 4194304 4196468 140732496496304 140373694313408 140374676324121 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6861] ppid=6839 vsize=15681864 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6861/stat : 6861 (java) S 6839 6842 2271 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 52213896 16058228736 820440 33554432000 4194304 4196468 140732496496304 140371677920688 140374676321437 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6862] ppid=6839 vsize=15681864 memory=16098156739823870 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6862/stat : 6862 (java) S 6839 6842 2271 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 52213896 16058228736 820440 33554432000 4194304 4196468 140732496496304 140371543699248 140374676321437 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
[pid=6842/tid=6863] ppid=6839 vsize=15681864 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/6842/task/6863/stat : 6863 (java) S 6839 6842 2271 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 52213898 16058228736 820440 33554432000 4194304 4196468 140732496496304 140371275275680 140374676309717 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8257536 140732496503795 140732496504073 140732496504073 140732496506831 0
Current children cumulated CPU time: 40.13 s
Current children cumulated vsize: 15881892 KiB
Current children cumulated memory: 3459628 KiB
Child status: 1
Real time (s): 24.3424
CPU time (s): 40.1934
CPU user time (s): 39.15
CPU system time (s): 1.04345
CPU usage (%): 165.117
Max. virtual memory (cumulated for all children) (KiB): 15881892
Max. memory (cumulated for all children) (KiB): 3459628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.15
system time used= 1.04345
maximum resident set size= 3284316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88287
page faults= 0
swaps= 0
block input operations= 0
block output operations= 149424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5420
involuntary context switches= 124
# summary of solver processes directly reported to runsolver:
# pid: 6842
# total CPU time (s): 40.1934
# total CPU user time (s): 39.15
# total CPU system time (s): 1.04345
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.169543 second user time and 0.280719 second system time
The end