0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Mon Jul 23 14:52:16 CEST 2018
0.67/0.55 c PID: 14384
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.55 c (0,0) Parsing Begin
7.56/2.98 c (2,2) Parsing End
7.78/3.02 c (2,2) CSP: 0 int (0 aux), 23409 bool (0 aux), 1386 ctr, max domain size 2
7.78/3.02 c (2,2) Heap : 788 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
7.78/3.02 c (2,2) Constraint Name Generate Begin
7.95/3.11 c (2,2) Ctr:HOME/instance-4293810-1532350335.xml,IntVar:Num:WeightedSum
7.95/3.11 c (2,2) Constraint Name Generate End
7.95/3.11 c (2,2) Heap : 788 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
7.95/3.11 c (2,2) CSP to CSPinCNF Begin
11.21/5.30 c (4,4) translated 139 (10%) constraints
13.39/7.14 c (6,6) translated 278 (20%) constraints
15.07/8.74 c (8,8) translated 416 (30%) constraints
17.09/10.47 c (9,9) translated 555 (40%) constraints
19.45/12.20 c (11,11) translated 693 (50%) constraints
21.00/13.79 c (13,12) translated 832 (60%) constraints
23.20/15.50 c (14,14) translated 971 (70%) constraints
24.71/17.07 c (16,16) translated 1109 (80%) constraints
27.59/19.48 c (18,18) translated 1248 (90%) constraints
34.79/25.51 c (24,24) translated 1386 (100%) constraints
36.68/26.61 c (26,25) STATISTICS1:HOME/instance-4293810-1532350335.xml,IntVar:Num:WeightedSum,23409,1386,9223372036854775807,2,1,289,9223372036854775807:1386,2:234090,1:1386,289:162;153:1224,36864:162;10404:1224
36.68/26.61 c (26,25) ===========================================
36.68/26.61 c (26,25) Both Encoding selects:
36.68/26.61 c (26,25) Log
36.68/26.61 c (26,25) ===========================================
36.99/26.97 c (26,25) translated 139 (10%) constraints
37.43/27.31 c (26,25) translated 278 (20%) constraints
37.77/27.66 c (27,26) translated 416 (30%) constraints
38.18/28.01 c (27,26) translated 555 (40%) constraints
38.47/28.34 c (27,26) translated 693 (50%) constraints
38.77/28.66 c (28,27) translated 832 (60%) constraints
39.49/29.08 c (28,27) translated 971 (70%) constraints
39.78/29.40 c (28,27) translated 1109 (80%) constraints
40.28/29.86 c (29,28) translated 1248 (90%) constraints
41.50/31.05 c (30,29) translated 1386 (100%) constraints
41.50/31.07 c (30,29) CSP to CSPinCNF End
41.50/31.07 c (30,29) CSP: 0 int (0 aux), 23409 bool (0 aux), 1386 ctr, max domain size 2
41.50/31.07 c (30,29) Heap : 2142 MiB used (max 11052 MiB), NonHeap : 26 MiB used (max 0 MiB)
41.50/31.07 c (30,29) CSPinCNF Propagation Begin
43.59/32.85 c (32,31) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
43.59/32.85 c (32,31) CSPinCNF Propagation End
43.59/32.86 c (32,31) CSP: 0 int (0 aux), 23409 bool (0 aux), 1386 ctr, max domain size 2
43.59/32.86 c (32,31) Heap : 2356 MiB used (max 11052 MiB), NonHeap : 26 MiB used (max 0 MiB)
43.59/32.86 c (32,31) Simplify CSPinCNF Begin
43.70/32.93 c (32,31) Simplify CSPinCNF End
43.70/32.93 c (32,31) CSP: 0 int (0 aux), 23409 bool (0 aux), 1386 ctr, max domain size 2
43.70/32.93 c (32,31) Heap : 2423 MiB used (max 11052 MiB), NonHeap : 26 MiB used (max 0 MiB)
43.70/32.93 c (32,31) Calculate Precise Domain Begin
43.70/32.93 c (32,31) 0 values are removed by re-calculation
43.70/32.93 c (32,31) Calculate Precise Domain End
43.70/32.94 c (32,31) CSP: 0 int (0 aux), 23409 bool (0 aux), 1386 ctr, max domain size 2
43.70/32.94 c (32,31) Heap : 2423 MiB used (max 11052 MiB), NonHeap : 26 MiB used (max 0 MiB)
43.70/32.94 c (32,31) CSPinCNF to SatSolver Begin
45.71/33.68 c (33,32) 139 (10 %) CSP clauses are being encoded (65361 SAT variables, 125442 SAT clauses)
46.31/34.03 c (33,32) 278 (20 %) CSP clauses are being encoded (107617 SAT variables, 251793 SAT clauses)
47.21/34.51 c (33,32) 416 (30 %) CSP clauses are being encoded (149569 SAT variables, 377235 SAT clauses)
47.52/34.85 c (34,33) 555 (40 %) CSP clauses are being encoded (191825 SAT variables, 503586 SAT clauses)
48.01/35.15 c (34,33) 693 (50 %) CSP clauses are being encoded (221697 SAT variables, 568628 SAT clauses)
48.78/35.41 c (34,33) 832 (60 %) CSP clauses are being encoded (242964 SAT variables, 590034 SAT clauses)
48.98/35.61 c (35,33) 971 (70 %) CSP clauses are being encoded (264231 SAT variables, 611440 SAT clauses)
49.18/35.80 c (35,34) 1109 (80 %) CSP clauses are being encoded (285345 SAT variables, 632692 SAT clauses)
49.50/36.12 c (35,34) 1248 (90 %) CSP clauses are being encoded (322896 SAT variables, 709850 SAT clauses)
50.40/37.05 c (36,35) 1386 (100 %) CSP clauses are being encoded (441714 SAT variables, 1065614 SAT clauses)
50.40/37.05 c (36,35) CSPinCNF to SatSolver End
50.40/37.05 c (36,35) Heap : 2907 MiB used (max 11054 MiB), NonHeap : 29 MiB used (max 0 MiB)
51.48/37.90 c (37,36) STATISTICS2:HOME/instance-4293810-1532350335.xml,IntVar:Num:WeightedSum,23409,1386,9223372036854775807,2,1,289,9223372036854775807:1386,2:234090,1:1386,289:162;153:1224,2:1386
51.48/37.90 c (37,36) SatSolver.solve Begin
51.48/37.90 c (37,36) 442575 bool, 1068192 clause
51.48/37.90 c (37,36) 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-4293810-1532350335.xml-scop-14384.cnf HOME/instance-4293810-1532350335.xml-scop-14384.cnf.out
53.07/38.50 c (37,0) receiving signal SIGTERM
53.07/38.50 s UNKNOWN
53.07/38.51 c (37,36) SatSolver is killed by some reasons.
53.07/38.51 c (37,36) 2,2,30,32,32,32,36,TO,TO,STOP-AFTER(DIMACS)
53.07/38.51 c END-Prog: Mon Jul 23 14:52:54 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (5387 MiB free)
memory of node 1: 16384 MiB (10507 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293810-1532350335/watcher-4293810-1532350335 -o /tmp/evaluation-result-4293810-1532350335/solver-4293810-1532350335 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8951 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4293810-1532350335.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=14384, runsolver pid=14381
Current StackSize limit: 8192 KiB
[startup+0.100151 s]*
/proc/loadavg: 2.01 2.02 2.05 3/221 14399
/proc/meminfo: memFree=16207008/32770624 swapFree=67108860/67108860
[pid=14384] ppid=14381 vsize=15011656 memory=73056 CPUtime=0.11 cores=1,3,5,7
/proc/14384/stat : 14384 (java) S 14381 14384 8919 0 -1 1077944320 6432 0 0 0 10 1 0 0 20 0 15 0 52596701 15371935744 18264 33554432000 4194304 4196468 140729600039392 140729600021936 140688977825527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
/proc/14384/statm: 3752914 18264 2778 1 0 3715374 0
[pid=14384/tid=14386] ppid=14381 vsize=15011656 memory=-6871259845000215376 CPUtime=0.09 cores=1,3,5,7
/proc/14384/task/14386/stat : 14386 (java) R 14381 14384 8919 0 -1 4202560 4703 0 0 0 8 1 0 0 20 0 15 0 52596701 15371935744 18462 33554432000 4194304 4196468 140729600039392 140688949637304 140688958101248 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14387] ppid=14381 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14387/stat : 14387 (java) S 14381 14384 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52596703 15371935744 18462 33554432000 4194304 4196468 140729600039392 140688982068368 140688977835733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14388] ppid=14381 vsize=15011656 memory=140337241249408 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14388/stat : 14388 (java) S 14381 14384 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52596703 15371935744 18462 33554432000 4194304 4196468 140729600039392 140688773151760 140688977835733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14389] ppid=14381 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14389/stat : 14389 (java) S 14381 14384 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52596703 15371935744 18462 33554432000 4194304 4196468 140729600039392 140688772098960 140688977835733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14390] ppid=14381 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14390/stat : 14390 (java) S 14381 14384 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52596703 15371935744 18462 33554432000 4194304 4196468 140729600039392 140688771046160 140688977835733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14391] ppid=14381 vsize=15011656 memory=140337241249408 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14391/stat : 14391 (java) S 14381 14384 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52596704 15371935744 18462 33554432000 4194304 4196468 140729600039392 140687948323184 140688977836674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14392] ppid=14381 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14392/stat : 14392 (java) S 14381 14384 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52596705 15371935744 18462 33554432000 4194304 4196468 140729600039392 140687559353376 140688977835733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14393] ppid=14381 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14393/stat : 14393 (java) S 14381 14384 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52596705 15371935744 18462 33554432000 4194304 4196468 140729600039392 140687290917744 140688977835733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14394] ppid=14381 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14394/stat : 14394 (java) S 14381 14384 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52596707 15371935744 18462 33554432000 4194304 4196468 140729600039392 140686916409168 140688977844123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14395] ppid=14381 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14395/stat : 14395 (java) S 14381 14384 8919 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 52596707 15371935744 18462 33554432000 4194304 4196468 140729600039392 140687947271024 140688977836674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14396] ppid=14381 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14396/stat : 14396 (java) S 14381 14384 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52596707 15371935744 18528 33554432000 4194304 4196468 140729600039392 140687946218224 140688977836674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14397] ppid=14381 vsize=15011656 memory=140337241249408 CPUtime=0.01 cores=1,3,5,7
/proc/14384/task/14397/stat : 14397 (java) S 14381 14384 8919 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 15 0 52596707 15371935744 18528 33554432000 4194304 4196468 140729600039392 140687945165424 140688977836674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14398] ppid=14381 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14398/stat : 14398 (java) S 14381 14384 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52596708 15371935744 18528 33554432000 4194304 4196468 140729600039392 140686418504416 140688977835733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14399] ppid=14381 vsize=15011656 memory=140337241249408 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14399/stat : 14399 (java) S 14381 14384 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52596708 15371935744 18528 33554432000 4194304 4196468 140729600039392 140687944112816 140688977836674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73056 KiB
[startup+0.2108 s]*
/proc/loadavg: 2.01 2.02 2.05 3/221 14399
/proc/meminfo: memFree=16170632/32770624 swapFree=67108860/67108860
[pid=14384] ppid=14381 vsize=15011656 memory=85640 CPUtime=0.26 cores=1,3,5,7
/proc/14384/stat : 14384 (java) S 14381 14384 8919 0 -1 1077944320 9852 0 0 0 24 2 0 0 20 0 15 0 52596701 15371935744 21410 33554432000 4194304 4196468 140729600039392 140729600021936 140688977825527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
/proc/14384/statm: 3752914 21410 2911 1 0 3715374 0
[pid=14384/tid=14386] ppid=14381 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/14384/task/14386/stat : 14386 (java) R 14381 14384 8919 0 -1 4202560 7763 0 0 0 19 1 0 0 20 0 15 0 52596701 15371935744 21410 33554432000 4194304 4196468 140729600039392 140688949645440 140688970062654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14387] ppid=14381 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14387/stat : 14387 (java) S 14381 14384 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52596703 15371935744 21410 33554432000 4194304 4196468 140729600039392 140688982068368 140688977835733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14388] ppid=14381 vsize=15011656 memory=140337241546216 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14388/stat : 14388 (java) S 14381 14384 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52596703 15371935744 21410 33554432000 4194304 4196468 140729600039392 140688773151760 140688977835733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14389] ppid=14381 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14389/stat : 14389 (java) S 14381 14384 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52596703 15371935744 21410 33554432000 4194304 4196468 140729600039392 140688772098960 140688977835733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14390] ppid=14381 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14390/stat : 14390 (java) S 14381 14384 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52596703 15371935744 21410 33554432000 4194304 4196468 140729600039392 140688771046160 140688977835733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14391] ppid=14381 vsize=15011656 memory=140337241249408 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14391/stat : 14391 (java) S 14381 14384 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52596704 15371935744 21410 33554432000 4194304 4196468 140729600039392 140687948323184 140688977836674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14392] ppid=14381 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14392/stat : 14392 (java) S 14381 14384 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52596705 15371935744 21410 33554432000 4194304 4196468 140729600039392 140687559353376 140688977835733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14393] ppid=14381 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14393/stat : 14393 (java) S 14381 14384 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52596705 15371935744 21410 33554432000 4194304 4196468 140729600039392 140687290917744 140688977835733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14394] ppid=14381 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14394/stat : 14394 (java) S 14381 14384 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52596707 15371935744 21410 33554432000 4194304 4196468 140729600039392 140686916409168 140688977844123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14395] ppid=14381 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14384/task/14395/stat : 14395 (java) R 14381 14384 8919 0 -1 4202560 318 0 0 0 1 0 0 0 20 0 15 0 52596707 15371935744 21410 33554432000 4194304 4196468 140729600039392 140687947271024 140688955693344 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14396] ppid=14381 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14396/stat : 14396 (java) R 14381 14384 8919 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 52596707 15371935744 21410 33554432000 4194304 4196468 140729600039392 140687946218224 140688977836674 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14397] ppid=14381 vsize=15011656 memory=140337241249408 CPUtime=0.03 cores=1,3,5,7
/proc/14384/task/14397/stat : 14397 (java) S 14381 14384 8919 0 -1 1077944384 288 0 0 0 3 0 0 0 20 0 15 0 52596707 15371935744 21410 33554432000 4194304 4196468 140729600039392 140687945165424 140688977836674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14398] ppid=14381 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14398/stat : 14398 (java) S 14381 14384 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52596708 15371935744 21410 33554432000 4194304 4196468 140729600039392 140686418504416 140688977835733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14399] ppid=14381 vsize=15011656 memory=140337241249408 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14399/stat : 14399 (java) S 14381 14384 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52596708 15371935744 21410 33554432000 4194304 4196468 140729600039392 140687944112816 140688977836674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85640 KiB
[startup+0.310677 s]*
/proc/loadavg: 2.01 2.02 2.05 3/221 14399
/proc/meminfo: memFree=16166972/32770624 swapFree=67108860/67108860
[pid=14384] ppid=14381 vsize=15011656 memory=89700 CPUtime=0.43 cores=1,3,5,7
/proc/14384/stat : 14384 (java) S 14381 14384 8919 0 -1 1077944320 10474 0 0 0 41 2 0 0 20 0 15 0 52596701 15371935744 22425 33554432000 4194304 4196468 140729600039392 140729600021936 140688977825527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
/proc/14384/statm: 3752914 22425 2991 1 0 3715374 0
[pid=14384/tid=14386] ppid=14381 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/14384/task/14386/stat : 14386 (java) R 14381 14384 8919 0 -1 4202560 8187 0 0 0 28 2 0 0 20 0 15 0 52596701 15371935744 22425 33554432000 4194304 4196468 140729600039392 140688949629680 140688977847453 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14387] ppid=14381 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14387/stat : 14387 (java) S 14381 14384 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52596703 15371935744 22425 33554432000 4194304 4196468 140729600039392 140688982068368 140688977835733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14388] ppid=14381 vsize=15011656 memory=140337241546207 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14388/stat : 14388 (java) S 14381 14384 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52596703 15371935744 22425 33554432000 4194304 4196468 140729600039392 140688773151760 140688977835733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14389] ppid=14381 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14389/stat : 14389 (java) S 14381 14384 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52596703 15371935744 22425 33554432000 4194304 4196468 140729600039392 140688772098960 140688977835733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14390] ppid=14381 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14390/stat : 14390 (java) S 14381 14384 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52596703 15371935744 22425 33554432000 4194304 4196468 140729600039392 140688771046160 140688977835733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14391] ppid=14381 vsize=15011656 memory=140337241249408 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14391/stat : 14391 (java) S 14381 14384 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52596704 15371935744 22425 33554432000 4194304 4196468 140729600039392 140687948323184 140688977836674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14392] ppid=14381 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14392/stat : 14392 (java) S 14381 14384 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52596705 15371935744 22425 33554432000 4194304 4196468 140729600039392 140687559353376 140688977835733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14393] ppid=14381 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14393/stat : 14393 (java) S 14381 14384 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52596705 15371935744 22425 33554432000 4194304 4196468 140729600039392 140687290917744 140688977835733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14394] ppid=14381 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14394/stat : 14394 (java) S 14381 14384 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52596707 15371935744 22425 33554432000 4194304 4196468 140729600039392 140686916409168 140688977844123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14395] ppid=14381 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14384/task/14395/stat : 14395 (java) R 14381 14384 8919 0 -1 4202560 373 0 0 0 3 0 0 0 20 0 15 0 52596707 15371935744 22425 33554432000 4194304 4196468 140729600039392 140687947271024 140688962751716 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14396] ppid=14381 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/14384/task/14396/stat : 14396 (java) R 14381 14384 8919 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 15 0 52596707 15371935744 22425 33554432000 4194304 4196468 140729600039392 140687946218224 140688977836674 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14397] ppid=14381 vsize=15011656 memory=140337241249408 CPUtime=0.07 cores=1,3,5,7
/proc/14384/task/14397/stat : 14397 (java) R 14381 14384 8919 0 -1 4202560 334 0 0 0 7 0 0 0 20 0 15 0 52596707 15371935744 22425 33554432000 4194304 4196468 140729600039392 140687945165424 140688956335692 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14398] ppid=14381 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14398/stat : 14398 (java) S 14381 14384 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52596708 15371935744 22425 33554432000 4194304 4196468 140729600039392 140686418504416 140688977835733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14399] ppid=14381 vsize=15011656 memory=140337241249408 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14399/stat : 14399 (java) R 14381 14384 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52596708 15371935744 22425 33554432000 4194304 4196468 140729600039392 140687944112816 140688977836674 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89700 KiB
[startup+0.700688 s]
/proc/loadavg: 2.01 2.02 2.05 3/221 14399
/proc/meminfo: memFree=16140616/32770624 swapFree=67108860/67108860
[pid=14384] ppid=14381 vsize=15017928 memory=131632 CPUtime=1.06 cores=1,3,5,7
/proc/14384/stat : 14384 (java) S 14381 14384 8919 0 -1 1077944320 17542 0 0 0 101 5 0 0 20 0 15 0 52596701 15378358272 32908 33554432000 4194304 4196468 140729600039392 140729600021936 140688977825527 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
/proc/14384/statm: 3754482 32908 3148 1 0 3715886 0
[pid=14384/tid=14386] ppid=14381 vsize=15017928 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/14384/task/14386/stat : 14386 (java) R 14381 14384 8919 0 -1 4202560 14670 0 0 0 63 4 0 0 20 0 15 0 52596701 15378358272 32908 33554432000 4194304 4196468 140729600039392 140688949660640 140688977837462 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14387] ppid=14381 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14387/stat : 14387 (java) S 14381 14384 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52596703 15378358272 32908 33554432000 4194304 4196468 140729600039392 140688982068368 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14388] ppid=14381 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14388/stat : 14388 (java) S 14381 14384 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52596703 15378358272 32908 33554432000 4194304 4196468 140729600039392 140688773151760 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14389] ppid=14381 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14389/stat : 14389 (java) S 14381 14384 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52596703 15378358272 32908 33554432000 4194304 4196468 140729600039392 140688772098960 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14390] ppid=14381 vsize=15017928 memory=202145991248790 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14390/stat : 14390 (java) S 14381 14384 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52596703 15378358272 32908 33554432000 4194304 4196468 140729600039392 140688771046160 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14391] ppid=14381 vsize=15017928 memory=286033 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14391/stat : 14391 (java) S 14381 14384 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52596704 15378358272 32908 33554432000 4194304 4196468 140729600039392 140687948323184 140688977836674 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14392] ppid=14381 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14392/stat : 14392 (java) S 14381 14384 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52596705 15378358272 32908 33554432000 4194304 4196468 140729600039392 140687559353376 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14393] ppid=14381 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14393/stat : 14393 (java) S 14381 14384 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52596705 15378358272 32908 33554432000 4194304 4196468 140729600039392 140687290917744 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14394] ppid=14381 vsize=15017928 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14394/stat : 14394 (java) S 14381 14384 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52596707 15378358272 32908 33554432000 4194304 4196468 140729600039392 140686916409168 140688977844123 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14395] ppid=14381 vsize=15017928 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/14384/task/14395/stat : 14395 (java) R 14381 14384 8919 0 -1 4202560 617 0 0 0 11 0 0 0 20 0 15 0 52596707 15378358272 32908 33554432000 4194304 4196468 140729600039392 140687947262976 140688962114254 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14396] ppid=14381 vsize=15017928 memory=-3472574513799858009 CPUtime=0.07 cores=1,3,5,7
/proc/14384/task/14396/stat : 14396 (java) R 14381 14384 8919 0 -1 4202560 406 0 0 0 7 0 0 0 20 0 15 0 52596707 15378358272 32908 33554432000 4194304 4196468 140729600039392 140687946209680 140688955573026 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14397] ppid=14381 vsize=15017928 memory=6944656592387989600 CPUtime=0.17 cores=1,3,5,7
/proc/14384/task/14397/stat : 14397 (java) R 14381 14384 8919 0 -1 1077944384 508 0 0 0 17 0 0 0 20 0 15 0 52596707 15378358272 32908 33554432000 4194304 4196468 140729600039392 140687945165424 140688977836674 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14398] ppid=14381 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14398/stat : 14398 (java) S 14381 14384 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52596708 15378358272 32908 33554432000 4194304 4196468 140729600039392 140686418504416 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14399] ppid=14381 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14399/stat : 14399 (java) S 14381 14384 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52596708 15378358272 32908 33554432000 4194304 4196468 140729600039392 140687944112816 140688977836674 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131632 KiB
[startup+1.50241 s]
/proc/loadavg: 2.01 2.02 2.05 5/221 14399
/proc/meminfo: memFree=16080864/32770624 swapFree=67108860/67108860
[pid=14384] ppid=14381 vsize=15020052 memory=352624 CPUtime=3.44 cores=1,3,5,7
/proc/14384/stat : 14384 (java) S 14381 14384 8919 0 -1 1077944320 20141 0 0 0 335 9 0 0 20 0 15 0 52596701 15380533248 88156 33554432000 4194304 4196468 140729600039392 140729600021936 140688977825527 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
/proc/14384/statm: 3755013 88156 3206 1 0 3716398 0
[pid=14384/tid=14386] ppid=14381 vsize=15020052 memory=126 CPUtime=1.47 cores=1,3,5,7
/proc/14384/task/14386/stat : 14386 (java) R 14381 14384 8919 0 -1 4202560 15436 0 0 0 140 7 0 0 20 0 15 0 52596701 15380533248 88156 33554432000 4194304 4196468 140729600039392 140688949660752 140688452928325 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14387] ppid=14381 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14387/stat : 14387 (java) S 14381 14384 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52596703 15380533248 88156 33554432000 4194304 4196468 140729600039392 140688982068368 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14388] ppid=14381 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14388/stat : 14388 (java) S 14381 14384 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52596703 15380533248 88156 33554432000 4194304 4196468 140729600039392 140688773151760 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14389] ppid=14381 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14389/stat : 14389 (java) S 14381 14384 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52596703 15380533248 88156 33554432000 4194304 4196468 140729600039392 140688772098960 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14390] ppid=14381 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14390/stat : 14390 (java) S 14381 14384 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52596703 15380533248 88156 33554432000 4194304 4196468 140729600039392 140688771046160 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14391] ppid=14381 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14391/stat : 14391 (java) S 14381 14384 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52596704 15380533248 88156 33554432000 4194304 4196468 140729600039392 140687948323184 140688977836674 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
################
# More data... #
################
/proc/14384/task/14397/stat : 14397 (java) S 14381 14384 8919 0 -1 1077944384 6577 0 0 0 95 2 0 0 20 0 15 0 52596707 15382630400 814372 33554432000 4194304 4196468 140729600039392 140687945165424 140688977836674 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14398] ppid=14381 vsize=15022100 memory=303711745523056951 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14398/stat : 14398 (java) S 14381 14384 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52596708 15382630400 814372 33554432000 4194304 4196468 140729600039392 140686418504416 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14399] ppid=14381 vsize=15022100 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14399/stat : 14399 (java) S 14381 14384 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52596708 15382630400 814372 33554432000 4194304 4196468 140729600039392 140687944112816 140688977836674 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
Current children cumulated CPU time: 19.96 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 3257488 KiB
[startup+25.5009 s]
/proc/loadavg: 2.06 2.03 2.05 3/221 14399
/proc/meminfo: memFree=12331156/32770624 swapFree=67108860/67108860
[pid=14384] ppid=14381 vsize=15022100 memory=3950252 CPUtime=34.79 cores=1,3,5,7
/proc/14384/stat : 14384 (java) S 14381 14384 8919 0 -1 1077944320 39345 0 0 0 3345 134 0 0 20 0 15 0 52596701 15382630400 987563 33554432000 4194304 4196468 140729600039392 140729600021936 140688977825527 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
/proc/14384/statm: 3755525 987563 3245 1 0 3716910 0
[pid=14384/tid=14386] ppid=14381 vsize=15022100 memory=2257 CPUtime=24.5 cores=1,3,5,7
/proc/14384/task/14386/stat : 14386 (java) R 14381 14384 8919 0 -1 4202560 19990 0 0 0 2401 49 0 0 20 0 15 0 52596701 15382630400 987563 33554432000 4194304 4196468 140729600039392 140688949660544 140688448890722 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14387] ppid=14381 vsize=15022100 memory=2257 CPUtime=0.93 cores=1,3,5,7
/proc/14384/task/14387/stat : 14387 (java) S 14381 14384 8919 0 -1 1077944384 1317 0 0 0 74 19 0 0 20 0 15 0 52596703 15382630400 987563 33554432000 4194304 4196468 140729600039392 140688982068368 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14388] ppid=14381 vsize=15022100 memory=3310836 CPUtime=0.93 cores=1,3,5,7
/proc/14384/task/14388/stat : 14388 (java) S 14381 14384 8919 0 -1 1077944384 810 0 0 0 74 19 0 0 20 0 15 0 52596703 15382630400 987563 33554432000 4194304 4196468 140729600039392 140688773151760 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14389] ppid=14381 vsize=15022100 memory=0 CPUtime=0.93 cores=1,3,5,7
/proc/14384/task/14389/stat : 14389 (java) S 14381 14384 8919 0 -1 1077944384 506 0 0 0 74 19 0 0 20 0 15 0 52596703 15382630400 987563 33554432000 4194304 4196468 140729600039392 140688772098960 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14390] ppid=14381 vsize=15022100 memory=-8634980985311628903 CPUtime=0.92 cores=1,3,5,7
/proc/14384/task/14390/stat : 14390 (java) S 14381 14384 8919 0 -1 1077944384 679 0 0 0 73 19 0 0 20 0 15 0 52596703 15382630400 987563 33554432000 4194304 4196468 140729600039392 140688771046160 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14391] ppid=14381 vsize=15022100 memory=3950252 CPUtime=0.02 cores=1,3,5,7
/proc/14384/task/14391/stat : 14391 (java) S 14381 14384 8919 0 -1 1077944384 271 0 0 0 2 0 0 0 20 0 15 0 52596704 15382630400 987563 33554432000 4194304 4196468 140729600039392 140687948323184 140688977836674 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14392] ppid=14381 vsize=15022100 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14392/stat : 14392 (java) S 14381 14384 8919 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 52596705 15382630400 987563 33554432000 4194304 4196468 140729600039392 140687559353440 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14393] ppid=14381 vsize=15022100 memory=280674234068352 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14393/stat : 14393 (java) S 14381 14384 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52596705 15382630400 987563 33554432000 4194304 4196468 140729600039392 140687290917744 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14394] ppid=14381 vsize=15022100 memory=3362368 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14394/stat : 14394 (java) S 14381 14384 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52596707 15382630400 987563 33554432000 4194304 4196468 140729600039392 140686916409168 140688977844123 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14395] ppid=14381 vsize=15022100 memory=3351848 CPUtime=2.73 cores=1,3,5,7
/proc/14384/task/14395/stat : 14395 (java) S 14381 14384 8919 0 -1 1077944384 3339 0 0 0 272 1 0 0 20 0 15 0 52596707 15382630400 987563 33554432000 4194304 4196468 140729600039392 140687947271024 140688977836674 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14396] ppid=14381 vsize=15022100 memory=3362444 CPUtime=2.75 cores=1,3,5,7
/proc/14384/task/14396/stat : 14396 (java) S 14381 14384 8919 0 -1 1077944384 3861 0 0 0 274 1 0 0 20 0 15 0 52596707 15382630400 987563 33554432000 4194304 4196468 140729600039392 140687946218224 140688977836674 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14397] ppid=14381 vsize=15022100 memory=3310836 CPUtime=0.99 cores=1,3,5,7
/proc/14384/task/14397/stat : 14397 (java) S 14381 14384 8919 0 -1 1077944384 7215 0 0 0 97 2 0 0 20 0 15 0 52596707 15382630400 987563 33554432000 4194304 4196468 140729600039392 140687945165424 140688977836674 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14398] ppid=14381 vsize=15022100 memory=3548840 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14398/stat : 14398 (java) S 14381 14384 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52596708 15382630400 987563 33554432000 4194304 4196468 140729600039392 140686418504416 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14399] ppid=14381 vsize=15022100 memory=3248 CPUtime=0.01 cores=1,3,5,7
/proc/14384/task/14399/stat : 14399 (java) S 14381 14384 8919 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 52596708 15382630400 987563 33554432000 4194304 4196468 140729600039392 140687944112816 140688977836674 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
Current children cumulated CPU time: 34.79 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 3950252 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+38.5009 s]
/proc/loadavg: 2.21 2.07 2.06 7/226 14405
/proc/meminfo: memFree=12099996/32770624 swapFree=67108860/67108860
[pid=14384] ppid=14381 vsize=15681864 memory=4205472 CPUtime=52.54 cores=1,3,5,7
/proc/14384/stat : 14384 (java) S 14381 14384 8919 0 -1 1077944320 52958 0 0 0 5091 163 0 0 20 0 19 0 52596701 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140729600021936 140688977825527 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
/proc/14384/statm: 3920466 1051368 3272 1 0 3881322 0
[pid=14400] ppid=14384 vsize=210088 memory=167544 CPUtime=0.53 cores=1,3,5,7
/proc/14400/stat : 14400 (minisat_release) R 14384 14384 8919 0 -1 4202496 37261 0 0 0 47 6 0 0 20 0 1 0 52600493 215130112 41886 33554432000 4194304 4308513 140722722082016 140722721030248 139974419033061 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6409496 6410680 39976960 140722722087599 140722722088110 140722722088110 140722722090949 0
/proc/14400/statm: 52522 41886 318 28 0 48762 0
[pid=14384/tid=14386] ppid=14381 vsize=15681864 memory=280674234562240 CPUtime=36.74 cores=1,3,5,7
/proc/14384/task/14386/stat : 14386 (java) S 14381 14384 8919 0 -1 1077944384 23526 0 0 0 3621 53 0 0 20 0 19 0 52596701 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140688949664768 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14387] ppid=14381 vsize=15681864 memory=4133664 CPUtime=1.39 cores=1,3,5,7
/proc/14384/task/14387/stat : 14387 (java) S 14381 14384 8919 0 -1 1077944384 1488 0 0 0 115 24 0 0 20 0 19 0 52596703 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140688982068368 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14388] ppid=14381 vsize=15681864 memory=4140 CPUtime=1.34 cores=1,3,5,7
/proc/14384/task/14388/stat : 14388 (java) S 14381 14384 8919 0 -1 1077944384 1016 0 0 0 110 24 0 0 20 0 19 0 52596703 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140688773151760 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14389] ppid=14381 vsize=15681864 memory=140337117078357 CPUtime=1.4 cores=1,3,5,7
/proc/14384/task/14389/stat : 14389 (java) S 14381 14384 8919 0 -1 1077944384 649 0 0 0 115 25 0 0 20 0 19 0 52596703 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140688772098960 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14390] ppid=14381 vsize=15681864 memory=6656426216303648864 CPUtime=1.39 cores=1,3,5,7
/proc/14384/task/14390/stat : 14390 (java) S 14381 14384 8919 0 -1 1077944384 856 0 0 0 114 25 0 0 20 0 19 0 52596703 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140688771046160 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14391] ppid=14381 vsize=15681864 memory=4032336 CPUtime=0.02 cores=1,3,5,7
/proc/14384/task/14391/stat : 14391 (java) S 14381 14384 8919 0 -1 1077944384 278 0 0 0 2 0 0 0 20 0 19 0 52596704 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140687948323184 140688977836674 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14392] ppid=14381 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14392/stat : 14392 (java) S 14381 14384 8919 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 52596705 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140687559353440 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14393] ppid=14381 vsize=15681864 memory=7306916055891837008 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14393/stat : 14393 (java) S 14381 14384 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52596705 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140687290917760 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14394] ppid=14381 vsize=15681864 memory=288289965417431852 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14394/stat : 14394 (java) S 14381 14384 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52596707 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140686916409168 140688977844123 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14395] ppid=14381 vsize=15681864 memory=264815 CPUtime=4.52 cores=1,3,5,7
/proc/14384/task/14395/stat : 14395 (java) S 14381 14384 8919 0 -1 1077944384 8996 0 0 0 449 3 0 0 20 0 19 0 52596707 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140687947271024 140688977836674 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14396] ppid=14381 vsize=15681864 memory=6791534058613427641 CPUtime=4.32 cores=1,3,5,7
/proc/14384/task/14396/stat : 14396 (java) S 14381 14384 8919 0 -1 1077944384 6447 0 0 0 431 1 0 0 20 0 19 0 52596707 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140687946218224 140688977836674 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14397] ppid=14381 vsize=15681864 memory=7740069726862468205 CPUtime=1.32 cores=1,3,5,7
/proc/14384/task/14397/stat : 14397 (java) S 14381 14384 8919 0 -1 1077944384 8288 0 0 0 129 3 0 0 20 0 19 0 52596707 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140687945165424 140688977836674 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14398] ppid=14381 vsize=15681864 memory=140337116958598 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14398/stat : 14398 (java) S 14381 14384 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52596708 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140686418504416 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14399] ppid=14381 vsize=15681864 memory=280674233851864 CPUtime=0.01 cores=1,3,5,7
/proc/14384/task/14399/stat : 14399 (java) S 14381 14384 8919 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 19 0 52596708 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140687944112816 140688977836674 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14401] ppid=14381 vsize=15681864 memory=3956096 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14401/stat : 14401 (java) S 14381 14384 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52600493 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140688029619392 140688977850137 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14403] ppid=14381 vsize=15681864 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14403/stat : 14403 (java) S 14381 14384 8919 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 52600494 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140685881617584 140688977847453 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14404] ppid=14381 vsize=15681864 memory=4020600 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14404/stat : 14404 (java) S 14381 14384 8919 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 52600494 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140686015840304 140688977847453 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14405] ppid=14381 vsize=15681864 memory=5524 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14405/stat : 14405 (java) S 14381 14384 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52600496 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140685613194912 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
Current children cumulated CPU time: 53.07 s
Current children cumulated vsize: 15891952 KiB
Current children cumulated memory: 4373016 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+38.5379 s]
# the end of solver process 14384 was just reported to runsolver
# cumulated CPU time of all completed processes: user=51.3994 s, system=1.73895 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+38.5009 s]
/proc/loadavg: 2.21 2.07 2.06 7/226 14405
/proc/meminfo: memFree=12099996/32770624 swapFree=67108860/67108860
[pid=14384] ppid=14381 vsize=15681864 memory=4205472 CPUtime=52.54 cores=1,3,5,7
/proc/14384/stat : 14384 (java) S 14381 14384 8919 0 -1 1077944320 52958 0 0 0 5091 163 0 0 20 0 19 0 52596701 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140729600021936 140688977825527 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
/proc/14384/statm: 3920466 1051368 3272 1 0 3881322 0
[pid=14400] ppid=14384 vsize=210088 memory=167544 CPUtime=0.53 cores=1,3,5,7
/proc/14400/stat : 14400 (minisat_release) R 14384 14384 8919 0 -1 4202496 37261 0 0 0 47 6 0 0 20 0 1 0 52600493 215130112 41886 33554432000 4194304 4308513 140722722082016 140722721030248 139974419033061 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6409496 6410680 39976960 140722722087599 140722722088110 140722722088110 140722722090949 0
/proc/14400/statm: 52522 41886 318 28 0 48762 0
[pid=14384/tid=14386] ppid=14381 vsize=15681864 memory=280674234562240 CPUtime=36.74 cores=1,3,5,7
/proc/14384/task/14386/stat : 14386 (java) S 14381 14384 8919 0 -1 1077944384 23526 0 0 0 3621 53 0 0 20 0 19 0 52596701 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140688949664768 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14387] ppid=14381 vsize=15681864 memory=4133664 CPUtime=1.39 cores=1,3,5,7
/proc/14384/task/14387/stat : 14387 (java) S 14381 14384 8919 0 -1 1077944384 1488 0 0 0 115 24 0 0 20 0 19 0 52596703 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140688982068368 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14388] ppid=14381 vsize=15681864 memory=4140 CPUtime=1.34 cores=1,3,5,7
/proc/14384/task/14388/stat : 14388 (java) S 14381 14384 8919 0 -1 1077944384 1016 0 0 0 110 24 0 0 20 0 19 0 52596703 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140688773151760 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14389] ppid=14381 vsize=15681864 memory=140337117078357 CPUtime=1.4 cores=1,3,5,7
/proc/14384/task/14389/stat : 14389 (java) S 14381 14384 8919 0 -1 1077944384 649 0 0 0 115 25 0 0 20 0 19 0 52596703 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140688772098960 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14390] ppid=14381 vsize=15681864 memory=6656426216303648864 CPUtime=1.39 cores=1,3,5,7
/proc/14384/task/14390/stat : 14390 (java) S 14381 14384 8919 0 -1 1077944384 856 0 0 0 114 25 0 0 20 0 19 0 52596703 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140688771046160 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14391] ppid=14381 vsize=15681864 memory=4032336 CPUtime=0.02 cores=1,3,5,7
/proc/14384/task/14391/stat : 14391 (java) S 14381 14384 8919 0 -1 1077944384 278 0 0 0 2 0 0 0 20 0 19 0 52596704 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140687948323184 140688977836674 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14392] ppid=14381 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14392/stat : 14392 (java) S 14381 14384 8919 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 52596705 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140687559353440 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14393] ppid=14381 vsize=15681864 memory=7306916055891837008 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14393/stat : 14393 (java) S 14381 14384 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52596705 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140687290917760 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14394] ppid=14381 vsize=15681864 memory=288289965417431852 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14394/stat : 14394 (java) S 14381 14384 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52596707 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140686916409168 140688977844123 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14395] ppid=14381 vsize=15681864 memory=264815 CPUtime=4.52 cores=1,3,5,7
/proc/14384/task/14395/stat : 14395 (java) S 14381 14384 8919 0 -1 1077944384 8996 0 0 0 449 3 0 0 20 0 19 0 52596707 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140687947271024 140688977836674 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14396] ppid=14381 vsize=15681864 memory=6791534058613427641 CPUtime=4.32 cores=1,3,5,7
/proc/14384/task/14396/stat : 14396 (java) S 14381 14384 8919 0 -1 1077944384 6447 0 0 0 431 1 0 0 20 0 19 0 52596707 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140687946218224 140688977836674 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14397] ppid=14381 vsize=15681864 memory=7740069726862468205 CPUtime=1.32 cores=1,3,5,7
/proc/14384/task/14397/stat : 14397 (java) S 14381 14384 8919 0 -1 1077944384 8288 0 0 0 129 3 0 0 20 0 19 0 52596707 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140687945165424 140688977836674 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14398] ppid=14381 vsize=15681864 memory=140337116958598 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14398/stat : 14398 (java) S 14381 14384 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52596708 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140686418504416 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14399] ppid=14381 vsize=15681864 memory=280674233851864 CPUtime=0.01 cores=1,3,5,7
/proc/14384/task/14399/stat : 14399 (java) S 14381 14384 8919 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 19 0 52596708 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140687944112816 140688977836674 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14401] ppid=14381 vsize=15681864 memory=3956096 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14401/stat : 14401 (java) S 14381 14384 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52600493 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140688029619392 140688977850137 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14403] ppid=14381 vsize=15681864 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14403/stat : 14403 (java) S 14381 14384 8919 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 52600494 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140685881617584 140688977847453 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14404] ppid=14381 vsize=15681864 memory=4020600 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14404/stat : 14404 (java) S 14381 14384 8919 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 52600494 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140686015840304 140688977847453 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
[pid=14384/tid=14405] ppid=14381 vsize=15681864 memory=5524 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14405/stat : 14405 (java) S 14381 14384 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52600496 16058228736 1051368 33554432000 4194304 4196468 140729600039392 140685613194912 140688977835733 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9740288 140729600046068 140729600046345 140729600046345 140729600049103 0
Current children cumulated CPU time: 53.07 s
Current children cumulated vsize: 15891952 KiB
Current children cumulated memory: 4373016 KiB
Child status: 1
Real time (s): 38.5379
CPU time (s): 53.1383
CPU user time (s): 51.3994
CPU system time (s): 1.73895
CPU usage (%): 137.886
Max. virtual memory (cumulated for all children) (KiB): 15891952
Max. memory (cumulated for all children) (KiB): 4373016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.3994
system time used= 1.73895
maximum resident set size= 4207520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90374
page faults= 0
swaps= 0
block input operations= 0
block output operations= 43984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6064
involuntary context switches= 154
# summary of solver processes directly reported to runsolver:
# pid: 14384
# total CPU time (s): 53.1383
# total CPU user time (s): 51.3994
# total CPU system time (s): 1.73895
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.259476 second user time and 0.41238 second system time
The end