0.54/0.51
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Thu Jul 26 08:08:58 CEST 2018
0.67/0.54 c PID: 6477
0.67/0.54 c IP: 172.20.3.150
0.67/0.54 c HOST: node150.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.26/1.20 c (0,0) Parsing End
2.26/1.21 c (0,0) CSP: 1001 int (0 aux), 0 bool (0 aux), 429 ctr, max domain size 325
2.26/1.21 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.26/1.21 c (0,0) Constraint Name Generate Begin
2.26/1.23 c (0,0) Ctr:HOME/instance-4295778-1532585337.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
2.26/1.23 c (0,0) Constraint Name Generate End
2.26/1.23 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.26/1.23 c (0,0) CSP to CSPinCNF Begin
11.44/6.18 c (5,5) translated 43 (10%) constraints
15.80/9.93 c (9,9) translated 86 (20%) constraints
19.19/13.24 c (12,12) translated 129 (30%) constraints
23.67/16.83 c (16,15) translated 172 (40%) constraints
26.99/20.13 c (19,19) translated 215 (50%) constraints
31.65/23.78 c (23,22) translated 258 (60%) constraints
34.97/27.08 c (26,25) translated 301 (70%) constraints
41.96/31.10 c (30,29) translated 344 (80%) constraints
46.72/33.43 c (32,31) translated 387 (90%) constraints
47.93/34.09 c (33,32) translated 429 (100%) constraints
53.66/36.46 c (35,34) STATISTICS1:HOME/instance-4295778-1532585337.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,132652,650196,2251799813685248,325,325,52,2251799813685248:676;562949953421312:676;4096:50;325:48516;25:8463;1:4134,325:506688;25:482430;2:972478;1:21125,325:2;26:1027;25:325;24:325;23:325;22:325;21:325;20:325;19:325;18:325;17:325;16:325;15:325;14:325;13:325;12:325;11:325;10:325;9:325;8:325;7:325;6:325;5:325;4:194675;3:147576;2:299026;1:1065,52:676;50:676;13:50;2:61113;1:1826708;0:325,
53.66/36.46 c (35,34) ===========================================
53.66/36.46 c (35,34) Order
53.66/36.46 c (35,34) ===========================================
56.18/37.57 c (37,35) translated 65020 (10%) constraints
58.75/38.88 c (38,36) translated 130040 (20%) constraints
59.68/39.77 c (39,37) translated 195059 (30%) constraints
60.58/40.66 c (40,37) translated 260079 (40%) constraints
61.48/41.54 c (41,38) translated 325098 (50%) constraints
62.38/42.43 c (41,39) translated 390118 (60%) constraints
63.29/43.32 c (42,40) translated 455138 (70%) constraints
64.19/44.20 c (43,41) translated 520157 (80%) constraints
68.67/46.13 c (45,42) translated 585177 (90%) constraints
77.74/50.05 c (49,46) translated 650196 (100%) constraints
77.74/50.05 c (49,46) CSP to CSPinCNF End
78.04/50.13 c (49,46) CSP: 8437 int (7436 aux), 149627 bool (149627 aux), 698692 ctr, max domain size 323
78.04/50.13 c (49,46) Heap : 2755 MiB used (max 10563 MiB), NonHeap : 32 MiB used (max 0 MiB)
78.04/50.13 c (49,46) CSPinCNF Propagation Begin
88.88/56.23 c (55,51) 11664 values, 49576 unsatisfiable literals, and 35138 valid clauses are removed
88.88/56.23 c (55,51) CSPinCNF Propagation End
88.88/56.28 c (55,51) CSP: 17046 int (16045 aux), 141018 bool (141018 aux), 663554 ctr, max domain size 323
88.88/56.28 c (55,51) Heap : 2147 MiB used (max 10564 MiB), NonHeap : 33 MiB used (max 0 MiB)
88.88/56.28 c (55,51) Simplify CSPinCNF Begin
94.66/59.81 c (59,54) Simplify CSPinCNF End
94.76/59.90 c (59,54) CSP: 17046 int (16045 aux), 261164 bool (261164 aux), 783700 ctr, max domain size 323
94.76/59.90 c (59,54) Heap : 1443 MiB used (max 10574 MiB), NonHeap : 33 MiB used (max 0 MiB)
94.76/59.90 c (59,54) Calculate Precise Domain Begin
94.76/59.98 c (59,54) 3601 values are removed by re-calculation
94.76/59.98 c (59,54) Calculate Precise Domain End
95.04/60.06 c (59,55) CSP: 17046 int (16045 aux), 261164 bool (261164 aux), 783700 ctr, max domain size 323
95.04/60.06 c (59,55) Heap : 1492 MiB used (max 10574 MiB), NonHeap : 34 MiB used (max 0 MiB)
95.04/60.06 c (59,55) CSPinCNF to SatSolver Begin
96.34/60.87 c (60,55) 78370 (10 %) CSP clauses are encoded (399926 SAT variables, 208915 SAT clauses)
96.77/61.29 c (60,56) 156740 (20 %) CSP clauses are encoded (399926 SAT variables, 287285 SAT clauses)
97.26/61.72 c (61,56) 235110 (30 %) CSP clauses are encoded (399926 SAT variables, 365655 SAT clauses)
97.67/62.14 c (61,57) 313480 (40 %) CSP clauses are encoded (399926 SAT variables, 444025 SAT clauses)
99.74/62.98 c (62,57) 391850 (50 %) CSP clauses are encoded (399926 SAT variables, 522395 SAT clauses)
100.13/63.39 c (62,57) 470220 (60 %) CSP clauses are encoded (399926 SAT variables, 600765 SAT clauses)
110.70/73.98 c (73,67) 548590 (70 %) CSP clauses are encoded (399926 SAT variables, 5308207 SAT clauses)
142.41/108.68 c (108,99) 626960 (80 %) CSP clauses are encoded (399926 SAT variables, 20931449 SAT clauses)
165.93/133.82 c (133,122) 705330 (90 %) CSP clauses are encoded (399926 SAT variables, 32434632 SAT clauses)
168.98/136.32 c (135,124) 783700 (100 %) CSP clauses are encoded (399926 SAT variables, 33078836 SAT clauses)
168.98/136.32 c (135,124) CSPinCNF to SatSolver End
168.98/136.32 c (135,124) Heap : 3230 MiB used (max 11058 MiB), NonHeap : 33 MiB used (max 0 MiB)
172.24/138.53 c (138,127) STATISTICS2:HOME/instance-4295778-1532585337.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,278210,783700,512,323,25,10,512:1196;323:97032;256:5980;33:276;32:152;27:552;25:4407;24:11856;21:36;20:11;18:46;16:928;15:72;12:2;10:6;9:4056;4:386;1:6864,323:604006;25:445328;24:58968;11:1104;10:68;9:1196;7:144;6:10;5:156;3:19968;2:1220780;1:13364,25:624;24:624;23:312;22:312;21:312;20:312;19:312;18:312;17:312;16:312;15:312;14:312;13:362;12:312;11:312;10:312;9:312;8:312;7:312;6:312;5:312;4:186888;3:137241;2:438633;1:13712,10:4056;9:4056;6:48;5:96;3:5443;2:120159;1:2030613,
172.24/138.53 c (138,127) SatSolver.solve Begin
172.24/138.53 c (138,127) 399926 bool, 33078860 clause
172.24/138.53 c (138,127) 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-4295778-1532585337.xml-scop-6477.cnf HOME/instance-4295778-1532585337.xml-scop-6477.cnf.out
172.91/139.11 c (138,0) receiving signal SIGTERM
172.91/139.11 s UNKNOWN
172.91/139.12 c (138,127) SatSolver is killed by some reasons.
172.91/139.12 c (138,127) 0,0,49,55,59,59,135,TO,TO,STOP-AFTER(DIMACS)
172.91/139.12 c END-Prog: Thu Jul 26 08:11:16 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 (9863 MiB free)
memory of node 1: 16384 MiB (13408 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295778-1532585337/watcher-4295778-1532585337 -o /tmp/evaluation-result-4295778-1532585337/solver-4295778-1532585337 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32680 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295778-1532585337.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
Current StackSize limit: 8192 KiB
solver pid=6477, runsolver pid=6474
[startup+0.100118 s]*
/proc/loadavg: 2.15 2.09 2.06 4/215 6492
/proc/meminfo: memFree=23726520/32770624 swapFree=67108860/67108860
[pid=6477] ppid=6474 vsize=15011656 memory=74480 CPUtime=0.11 cores=0,2,4,6
/proc/6477/stat : 6477 (java) S 6474 6477 32649 0 -1 1077944320 7277 0 0 0 9 2 0 0 20 0 15 0 76096968 15371935744 18554 33554432000 4194304 4196468 140730320116912 140730320099456 140082767474423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
/proc/6477/statm: 3752914 18620 2780 1 0 3715374 0
[pid=6477/tid=6479] ppid=6474 vsize=15011656 memory=-8171376296011865461 CPUtime=0.09 cores=0,2,4,6
/proc/6477/task/6479/stat : 6479 (java) R 6474 6477 32649 0 -1 4202560 5633 0 0 0 8 1 0 0 20 0 15 0 76096968 15371935744 18884 33554432000 4194304 4196468 140730320116912 140082739286200 140082751554910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6480] ppid=6474 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6480/stat : 6480 (java) S 6474 6477 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76096970 15371935744 18884 33554432000 4194304 4196468 140730320116912 140082771716624 140082767484629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6481] ppid=6474 vsize=15011656 memory=140590014060160 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6481/stat : 6481 (java) S 6474 6477 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76096970 15371935744 18884 33554432000 4194304 4196468 140730320116912 140082585873040 140082767484629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6482] ppid=6474 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6482/stat : 6482 (java) S 6474 6477 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76096970 15371935744 18884 33554432000 4194304 4196468 140730320116912 140082584819984 140082767484629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6483] ppid=6474 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6483/stat : 6483 (java) S 6474 6477 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76096970 15371935744 18884 33554432000 4194304 4196468 140730320116912 140082583767440 140082767484629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6484] ppid=6474 vsize=15011656 memory=140590014060160 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6484/stat : 6484 (java) S 6474 6477 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76096971 15371935744 18884 33554432000 4194304 4196468 140730320116912 140082174929648 140082767485570 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6485] ppid=6474 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6485/stat : 6485 (java) S 6474 6477 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76096972 15371935744 18884 33554432000 4194304 4196468 140730320116912 140081364985504 140082767484629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6486] ppid=6474 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6486/stat : 6486 (java) S 6474 6477 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76096972 15371935744 18884 33554432000 4194304 4196468 140730320116912 140081096549616 140082767484629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6487] ppid=6474 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6487/stat : 6487 (java) S 6474 6477 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096974 15371935744 18884 33554432000 4194304 4196468 140730320116912 140080722041296 140082767493019 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6488] ppid=6474 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6488/stat : 6488 (java) S 6474 6477 32649 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 76096974 15371935744 18884 33554432000 4194304 4196468 140730320116912 140082173876464 140082767485570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6489] ppid=6474 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6489/stat : 6489 (java) S 6474 6477 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096974 15371935744 18884 33554432000 4194304 4196468 140730320116912 140082172823920 140082767485570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6490] ppid=6474 vsize=15011656 memory=140590014060160 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6490/stat : 6490 (java) R 6474 6477 32649 0 -1 4202560 266 0 0 0 0 0 0 0 20 0 15 0 76096974 15371935744 18884 33554432000 4194304 4196468 140730320116912 140082171770864 140082767495770 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6491] ppid=6474 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6491/stat : 6491 (java) S 6474 6477 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096974 15371935744 18884 33554432000 4194304 4196468 140730320116912 140080224135520 140082767484629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6492] ppid=6474 vsize=15011656 memory=140590014060160 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6492/stat : 6492 (java) S 6474 6477 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76096975 15371935744 18884 33554432000 4194304 4196468 140730320116912 140082103184432 140082767485570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74480 KiB
[startup+0.210393 s]*
/proc/loadavg: 2.15 2.09 2.06 4/215 6492
/proc/meminfo: memFree=23667196/32770624 swapFree=67108860/67108860
[pid=6477] ppid=6474 vsize=15011656 memory=86516 CPUtime=0.26 cores=0,2,4,6
/proc/6477/stat : 6477 (java) S 6474 6477 32649 0 -1 1077944320 10500 0 0 0 23 3 0 0 20 0 15 0 76096968 15371935744 21629 33554432000 4194304 4196468 140730320116912 140730320099456 140082767474423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
/proc/6477/statm: 3752914 21629 2939 1 0 3715374 0
[pid=6477/tid=6479] ppid=6474 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/6477/task/6479/stat : 6479 (java) R 6474 6477 32649 0 -1 4202560 8399 0 0 0 18 2 0 0 20 0 15 0 76096968 15371935744 21629 33554432000 4194304 4196468 140730320116912 140082739294296 140082767496349 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6480] ppid=6474 vsize=15011656 memory=4294967639 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6480/stat : 6480 (java) S 6474 6477 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76096970 15371935744 21629 33554432000 4194304 4196468 140730320116912 140082771716624 140082767484629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6481] ppid=6474 vsize=15011656 memory=4049219913940522656 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6481/stat : 6481 (java) S 6474 6477 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76096970 15371935744 21629 33554432000 4194304 4196468 140730320116912 140082585873040 140082767484629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6482] ppid=6474 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6482/stat : 6482 (java) S 6474 6477 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76096970 15371935744 21629 33554432000 4194304 4196468 140730320116912 140082584819984 140082767484629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6483] ppid=6474 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6483/stat : 6483 (java) S 6474 6477 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76096970 15371935744 21629 33554432000 4194304 4196468 140730320116912 140082583767440 140082767484629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6484] ppid=6474 vsize=15011656 memory=140590014060160 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6484/stat : 6484 (java) S 6474 6477 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76096971 15371935744 21629 33554432000 4194304 4196468 140730320116912 140082174929648 140082767485570 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6485] ppid=6474 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6485/stat : 6485 (java) S 6474 6477 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76096972 15371935744 21629 33554432000 4194304 4196468 140730320116912 140081364985504 140082767484629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6486] ppid=6474 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6486/stat : 6486 (java) S 6474 6477 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76096972 15371935744 21629 33554432000 4194304 4196468 140730320116912 140081096549616 140082767484629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6487] ppid=6474 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6487/stat : 6487 (java) S 6474 6477 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096974 15371935744 21629 33554432000 4194304 4196468 140730320116912 140080722041296 140082767493019 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6488] ppid=6474 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6488/stat : 6488 (java) R 6474 6477 32649 0 -1 4202560 350 0 0 0 0 0 0 0 20 0 15 0 76096974 15371935744 21629 33554432000 4194304 4196468 140730320116912 140082173867968 140082752379692 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6489] ppid=6474 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6489/stat : 6489 (java) R 6474 6477 32649 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 76096974 15371935744 21629 33554432000 4194304 4196468 140730320116912 140082172824016 140082767484629 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6490] ppid=6474 vsize=15011656 memory=140590014060160 CPUtime=0.03 cores=0,2,4,6
/proc/6477/task/6490/stat : 6490 (java) S 6474 6477 32649 0 -1 1077944384 287 0 0 0 3 0 0 0 20 0 15 0 76096974 15371935744 21629 33554432000 4194304 4196468 140730320116912 140082171770864 140082767485570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6491] ppid=6474 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6491/stat : 6491 (java) S 6474 6477 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096974 15371935744 21629 33554432000 4194304 4196468 140730320116912 140080224135520 140082767484629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6492] ppid=6474 vsize=15011656 memory=140590014060160 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6492/stat : 6492 (java) S 6474 6477 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76096975 15371935744 21629 33554432000 4194304 4196468 140730320116912 140082103184432 140082767485570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86516 KiB
[startup+0.310527 s]*
/proc/loadavg: 2.15 2.09 2.06 4/215 6492
/proc/meminfo: memFree=23620776/32770624 swapFree=67108860/67108860
[pid=6477] ppid=6474 vsize=15011656 memory=89736 CPUtime=0.43 cores=0,2,4,6
/proc/6477/stat : 6477 (java) S 6474 6477 32649 0 -1 1077944320 11029 0 0 0 40 3 0 0 20 0 15 0 76096968 15371935744 22434 33554432000 4194304 4196468 140730320116912 140730320099456 140082767474423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
/proc/6477/statm: 3752914 22434 2980 1 0 3715374 0
[pid=6477/tid=6479] ppid=6474 vsize=15011656 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/6477/task/6479/stat : 6479 (java) R 6474 6477 32649 0 -1 4202560 8779 0 0 0 27 2 0 0 20 0 15 0 76096968 15371935744 22434 33554432000 4194304 4196468 140730320116912 140082739278352 140082752640062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6480] ppid=6474 vsize=15011656 memory=4294967363 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6480/stat : 6480 (java) S 6474 6477 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76096970 15371935744 22434 33554432000 4194304 4196468 140730320116912 140082771716624 140082767484629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6481] ppid=6474 vsize=15011656 memory=140590014060160 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6481/stat : 6481 (java) S 6474 6477 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76096970 15371935744 22434 33554432000 4194304 4196468 140730320116912 140082585873040 140082767484629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6482] ppid=6474 vsize=15011656 memory=281179832126368 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6482/stat : 6482 (java) S 6474 6477 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76096970 15371935744 22434 33554432000 4194304 4196468 140730320116912 140082584819984 140082767484629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6483] ppid=6474 vsize=15011656 memory=67 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6483/stat : 6483 (java) S 6474 6477 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76096970 15371935744 22434 33554432000 4194304 4196468 140730320116912 140082583767440 140082767484629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6484] ppid=6474 vsize=15011656 memory=281179930125648 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6484/stat : 6484 (java) S 6474 6477 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76096971 15371935744 22434 33554432000 4194304 4196468 140730320116912 140082174929648 140082767485570 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6485] ppid=6474 vsize=15011656 memory=67 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6485/stat : 6485 (java) S 6474 6477 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76096972 15371935744 22434 33554432000 4194304 4196468 140730320116912 140081364985504 140082767484629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6486] ppid=6474 vsize=15011656 memory=64996 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6486/stat : 6486 (java) S 6474 6477 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76096972 15371935744 22434 33554432000 4194304 4196468 140730320116912 140081096549616 140082767484629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6487] ppid=6474 vsize=15011656 memory=67300 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6487/stat : 6487 (java) S 6474 6477 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096974 15371935744 22434 33554432000 4194304 4196468 140730320116912 140080722041296 140082767493019 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6488] ppid=6474 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6477/task/6488/stat : 6488 (java) S 6474 6477 32649 0 -1 1077944384 362 0 0 0 1 0 0 0 20 0 15 0 76096974 15371935744 22434 33554432000 4194304 4196468 140730320116912 140082173876464 140082767485570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6489] ppid=6474 vsize=15011656 memory=140589916100239 CPUtime=0.03 cores=0,2,4,6
/proc/6477/task/6489/stat : 6489 (java) S 6474 6477 32649 0 -1 1077944384 241 0 0 0 3 0 0 0 20 0 15 0 76096974 15371935744 22434 33554432000 4194304 4196468 140730320116912 140082172823920 140082767485570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6490] ppid=6474 vsize=15011656 memory=281179930146400 CPUtime=0.07 cores=0,2,4,6
/proc/6477/task/6490/stat : 6490 (java) S 6474 6477 32649 0 -1 1077944384 308 0 0 0 7 0 0 0 20 0 15 0 76096974 15371935744 22434 33554432000 4194304 4196468 140730320116912 140082171770864 140082767485570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6491] ppid=6474 vsize=15011656 memory=140589916081679 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6491/stat : 6491 (java) S 6474 6477 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096974 15371935744 22434 33554432000 4194304 4196468 140730320116912 140080224135520 140082767484629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6492] ppid=6474 vsize=15011656 memory=140590014060169 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6492/stat : 6492 (java) S 6474 6477 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76096975 15371935744 22434 33554432000 4194304 4196468 140730320116912 140082103184432 140082767485570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89736 KiB
[startup+0.700693 s]
/proc/loadavg: 2.15 2.09 2.06 3/215 6492
/proc/meminfo: memFree=23506284/32770624 swapFree=67108860/67108860
[pid=6477] ppid=6474 vsize=15020052 memory=129912 CPUtime=0.99 cores=0,2,4,6
/proc/6477/stat : 6477 (java) S 6474 6477 32649 0 -1 1077944320 18239 0 0 0 94 5 0 0 20 0 15 0 76096968 15380533248 32478 33554432000 4194304 4196468 140730320116912 140730320099456 140082767474423 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
/proc/6477/statm: 3755013 32478 3162 1 0 3716398 0
[pid=6477/tid=6479] ppid=6474 vsize=15020052 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/6477/task/6479/stat : 6479 (java) R 6474 6477 32649 0 -1 4202560 15488 0 0 0 63 4 0 0 20 0 15 0 76096968 15380533248 32478 33554432000 4194304 4196468 140730320116912 140082739311760 140082751518053 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6480] ppid=6474 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6480/stat : 6480 (java) S 6474 6477 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76096970 15380533248 32478 33554432000 4194304 4196468 140730320116912 140082771716624 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6481] ppid=6474 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6481/stat : 6481 (java) S 6474 6477 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76096970 15380533248 32478 33554432000 4194304 4196468 140730320116912 140082585873040 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6482] ppid=6474 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6482/stat : 6482 (java) S 6474 6477 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76096970 15380533248 32478 33554432000 4194304 4196468 140730320116912 140082584819984 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6483] ppid=6474 vsize=15020052 memory=168438483922099 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6483/stat : 6483 (java) S 6474 6477 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76096970 15380533248 32478 33554432000 4194304 4196468 140730320116912 140082583767440 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6484] ppid=6474 vsize=15020052 memory=446415 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6484/stat : 6484 (java) S 6474 6477 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76096971 15380533248 32478 33554432000 4194304 4196468 140730320116912 140082174929648 140082767485570 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6485] ppid=6474 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6485/stat : 6485 (java) S 6474 6477 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76096972 15380533248 32478 33554432000 4194304 4196468 140730320116912 140081364985504 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6486] ppid=6474 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6486/stat : 6486 (java) S 6474 6477 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76096972 15380533248 32478 33554432000 4194304 4196468 140730320116912 140081096549616 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6487] ppid=6474 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6487/stat : 6487 (java) S 6474 6477 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096974 15380533248 32478 33554432000 4194304 4196468 140730320116912 140080722041296 140082767493019 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6488] ppid=6474 vsize=15020052 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/6477/task/6488/stat : 6488 (java) R 6474 6477 32649 0 -1 4202560 493 0 0 0 5 0 0 0 20 0 15 0 76096974 15380533248 32478 33554432000 4194304 4196468 140730320116912 140082173857480 140082745072288 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6489] ppid=6474 vsize=15020052 memory=-3535359994705171810 CPUtime=0.07 cores=0,2,4,6
/proc/6477/task/6489/stat : 6489 (java) S 6474 6477 32649 0 -1 1077944384 456 0 0 0 7 0 0 0 20 0 15 0 76096974 15380533248 32478 33554432000 4194304 4196468 140730320116912 140082172823920 140082767485570 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6490] ppid=6474 vsize=15020052 memory=8330969454845486047 CPUtime=0.17 cores=0,2,4,6
/proc/6477/task/6490/stat : 6490 (java) R 6474 6477 32649 0 -1 4202560 459 0 0 0 17 0 0 0 20 0 15 0 76096974 15380533248 32478 33554432000 4194304 4196468 140730320116912 140082171770864 140082746146958 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6491] ppid=6474 vsize=15020052 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6491/stat : 6491 (java) S 6474 6477 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096974 15380533248 32478 33554432000 4194304 4196468 140730320116912 140080224135520 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6492] ppid=6474 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6492/stat : 6492 (java) S 6474 6477 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76096975 15380533248 32478 33554432000 4194304 4196468 140730320116912 140082103184432 140082767485570 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129912 KiB
[startup+1.50071 s]
/proc/loadavg: 2.15 2.09 2.06 3/215 6492
/proc/meminfo: memFree=23259860/32770624 swapFree=67108860/67108860
[pid=6477] ppid=6474 vsize=15022100 memory=167288 CPUtime=2.81 cores=0,2,4,6
/proc/6477/stat : 6477 (java) S 6474 6477 32649 0 -1 1077944320 20854 0 0 0 273 8 0 0 20 0 15 0 76096968 15382630400 41822 33554432000 4194304 4196468 140730320116912 140730320099456 140082767474423 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
/proc/6477/statm: 3755525 41822 3202 1 0 3716910 0
[pid=6477/tid=6479] ppid=6474 vsize=15022100 memory=7308043020873126765 CPUtime=1.47 cores=0,2,4,6
/proc/6477/task/6479/stat : 6479 (java) R 6474 6477 32649 0 -1 4202560 16586 0 0 0 142 5 0 0 20 0 15 0 76096968 15382630400 41822 33554432000 4194304 4196468 140730320116912 140082739308648 140082260365828 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6480] ppid=6474 vsize=15022100 memory=7518314707034726763 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6480/stat : 6480 (java) S 6474 6477 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76096970 15382630400 41822 33554432000 4194304 4196468 140730320116912 140082771716624 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6481] ppid=6474 vsize=15022100 memory=7518310317477291884 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6481/stat : 6481 (java) S 6474 6477 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76096970 15382630400 41822 33554432000 4194304 4196468 140730320116912 140082585873040 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6482] ppid=6474 vsize=15022100 memory=55 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6482/stat : 6482 (java) S 6474 6477 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76096970 15382630400 41822 33554432000 4194304 4196468 140730320116912 140082584819984 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6483] ppid=6474 vsize=15022100 memory=10799 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6483/stat : 6483 (java) S 6474 6477 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76096970 15382630400 41822 33554432000 4194304 4196468 140730320116912 140082583767440 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6484] ppid=6474 vsize=15022100 memory=6442213902160126816 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6484/stat : 6484 (java) S 6474 6477 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76096971 15382630400 41822 33554432000 4194304 4196468 140730320116912 140082174929648 140082767485570 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
################
# More data... #
################
[pid=6477/tid=6487] ppid=6474 vsize=15024148 memory=55 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6487/stat : 6487 (java) S 6474 6477 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096974 15384727552 1122887 33554432000 4194304 4196468 140730320116912 140080722041296 140082767493019 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6488] ppid=6474 vsize=15024148 memory=4137293581110450563 CPUtime=9.7 cores=0,2,4,6
/proc/6477/task/6488/stat : 6488 (java) R 6474 6477 32649 0 -1 4202560 12740 0 0 0 966 4 0 0 20 0 15 0 76096974 15384727552 1122887 33554432000 4194304 4196468 140730320116912 140082173876464 140082745069201 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6489] ppid=6474 vsize=15024148 memory=2436 CPUtime=9.23 cores=0,2,4,6
/proc/6477/task/6489/stat : 6489 (java) R 6474 6477 32649 0 -1 4202560 13459 0 0 0 920 3 0 0 20 0 15 0 76096974 15384727552 1122887 33554432000 4194304 4196468 140730320116912 140082172808016 140082752403204 0 4 0 25189583 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6490] ppid=6474 vsize=15024148 memory=1728 CPUtime=1.77 cores=0,2,4,6
/proc/6477/task/6490/stat : 6490 (java) S 6474 6477 32649 0 -1 1077944384 10237 0 0 0 174 3 0 0 20 0 15 0 76096974 15384727552 1122887 33554432000 4194304 4196468 140730320116912 140082171770864 140082767485570 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6491] ppid=6474 vsize=15024148 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6491/stat : 6491 (java) S 6474 6477 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096974 15384727552 1122887 33554432000 4194304 4196468 140730320116912 140080224135520 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6492] ppid=6474 vsize=15024148 memory=5792 CPUtime=0.02 cores=0,2,4,6
/proc/6477/task/6492/stat : 6492 (java) S 6474 6477 32649 0 -1 1077944384 89 0 0 0 1 1 0 0 20 0 15 0 76096975 15384727552 1122887 33554432000 4194304 4196468 140730320116912 140082103184432 140082767485570 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
Current children cumulated CPU time: 81.4 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 4491548 KiB
[startup+102.301 s]
/proc/loadavg: 2.53 2.28 2.13 2/220 6753
/proc/meminfo: memFree=16272980/32770624 swapFree=67108860/67108860
[pid=6477] ppid=6474 vsize=15028312 memory=5223996 CPUtime=136.51 cores=0,2,4,6
/proc/6477/stat : 6477 (java) S 6474 6477 32649 0 -1 1077944320 82128 0 0 0 13298 353 0 0 20 0 15 0 76096968 15388991488 1305999 33554432000 4194304 4196468 140730320116912 140730320099456 140082767474423 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
/proc/6477/statm: 3757078 1305999 3259 1 0 3717934 0
[pid=6477/tid=6479] ppid=6474 vsize=15028312 memory=5223996 CPUtime=93.74 cores=0,2,4,6
/proc/6477/task/6479/stat : 6479 (java) D 6474 6477 32649 0 -1 4202560 27606 0 0 0 9255 119 0 0 20 0 15 0 76096968 15388991488 1305999 33554432000 4194304 4196468 140730320116912 140082739313984 140082767496253 0 4 0 25189583 18446744072100392069 0 0 -1 0 0 0 303 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6480] ppid=6474 vsize=15028312 memory=5223996 CPUtime=4.95 cores=0,2,4,6
/proc/6477/task/6480/stat : 6480 (java) S 6474 6477 32649 0 -1 1077944384 1745 0 0 0 444 51 0 0 20 0 15 0 76096970 15388991488 1305999 33554432000 4194304 4196468 140730320116912 140082771716624 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6481] ppid=6474 vsize=15028312 memory=9278 CPUtime=4.96 cores=0,2,4,6
/proc/6477/task/6481/stat : 6481 (java) S 6474 6477 32649 0 -1 1077944384 2795 0 0 0 442 54 0 0 20 0 15 0 76096970 15388991488 1305999 33554432000 4194304 4196468 140730320116912 140082585873040 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6482] ppid=6474 vsize=15028312 memory=2257 CPUtime=4.95 cores=0,2,4,6
/proc/6477/task/6482/stat : 6482 (java) S 6474 6477 32649 0 -1 1077944384 1670 0 0 0 440 55 0 0 20 0 15 0 76096970 15388991488 1305999 33554432000 4194304 4196468 140730320116912 140082584819984 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6483] ppid=6474 vsize=15028312 memory=55 CPUtime=4.97 cores=0,2,4,6
/proc/6477/task/6483/stat : 6483 (java) S 6474 6477 32649 0 -1 1077944384 2593 0 0 0 441 56 0 0 20 0 15 0 76096970 15388991488 1305999 33554432000 4194304 4196468 140730320116912 140082583767440 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6484] ppid=6474 vsize=15028312 memory=5223996 CPUtime=0.05 cores=0,2,4,6
/proc/6477/task/6484/stat : 6484 (java) S 6474 6477 32649 0 -1 1077944384 1080 0 0 0 5 0 0 0 20 0 15 0 76096971 15388991488 1305999 33554432000 4194304 4196468 140730320116912 140082174929648 140082767485570 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6485] ppid=6474 vsize=15028312 memory=100 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6485/stat : 6485 (java) S 6474 6477 32649 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 76096972 15388991488 1305999 33554432000 4194304 4196468 140730320116912 140081364985568 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6486] ppid=6474 vsize=15028312 memory=194 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6486/stat : 6486 (java) S 6474 6477 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76096972 15388991488 1305999 33554432000 4194304 4196468 140730320116912 140081096549632 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6487] ppid=6474 vsize=15028312 memory=5223996 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6487/stat : 6487 (java) S 6474 6477 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096974 15388991488 1305999 33554432000 4194304 4196468 140730320116912 140080722041296 140082767493019 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6488] ppid=6474 vsize=15028312 memory=5223996 CPUtime=10.58 cores=0,2,4,6
/proc/6477/task/6488/stat : 6488 (java) S 6474 6477 32649 0 -1 1077944384 14710 0 0 0 1053 5 0 0 20 0 15 0 76096974 15388991488 1305999 33554432000 4194304 4196468 140730320116912 140082173876464 140082767485570 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6489] ppid=6474 vsize=15028312 memory=4136 CPUtime=10.22 cores=0,2,4,6
/proc/6477/task/6489/stat : 6489 (java) S 6474 6477 32649 0 -1 1077944384 17211 0 0 0 1019 3 0 0 20 0 15 0 76096974 15388991488 1305999 33554432000 4194304 4196468 140730320116912 140082172823920 140082767485570 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6490] ppid=6474 vsize=15028312 memory=23032 CPUtime=1.94 cores=0,2,4,6
/proc/6477/task/6490/stat : 6490 (java) S 6474 6477 32649 0 -1 1077944384 11208 0 0 0 190 4 0 0 20 0 15 0 76096974 15388991488 1305999 33554432000 4194304 4196468 140730320116912 140082171770864 140082767485570 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6491] ppid=6474 vsize=15028312 memory=3600344 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6491/stat : 6491 (java) S 6474 6477 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76096974 15388991488 1305999 33554432000 4194304 4196468 140730320116912 140080224135520 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6492] ppid=6474 vsize=15028312 memory=1292 CPUtime=0.04 cores=0,2,4,6
/proc/6477/task/6492/stat : 6492 (java) S 6474 6477 32649 0 -1 1077944384 150 0 0 0 2 2 0 0 20 0 15 0 76096975 15388991488 1305999 33554432000 4194304 4196468 140730320116912 140082103184432 140082767485570 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
Current children cumulated CPU time: 136.51 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 5223996 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+139.11 s]
/proc/loadavg: 2.72 2.35 2.16 3/225 6843
/proc/meminfo: memFree=17353244/32770624 swapFree=67108860/67108860
[pid=6477] ppid=6474 vsize=15683912 memory=5227200 CPUtime=172.36 cores=0,2,4,6
/proc/6477/stat : 6477 (java) S 6474 6477 32649 0 -1 1077944320 99285 0 0 0 16826 410 0 0 20 0 19 0 76096968 16060325888 1306800 33554432000 4194304 4196468 140730320116912 140730320099456 140082767474423 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
/proc/6477/statm: 3920978 1306800 3263 1 0 3881834 0
[pid=6838] ppid=6477 vsize=215424 memory=169432 CPUtime=0.55 cores=0,2,4,6
/proc/6838/stat : 6838 (minisat_release) R 6477 6477 32649 0 -1 4202496 36252 0 0 0 49 6 0 0 20 0 1 0 76110822 220594176 42358 33554432000 4194304 4308513 140720574076624 140720573025032 140550461680613 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6409496 6410680 39100416 140720574079665 140720574080174 140720574080174 140720574083013 0
/proc/6838/statm: 53856 42358 316 28 0 50096 0
[pid=6477/tid=6479] ppid=6474 vsize=15683912 memory=5227200 CPUtime=127.72 cores=0,2,4,6
/proc/6477/task/6479/stat : 6479 (java) S 6474 6477 32649 0 -1 1077944384 30665 0 0 0 12598 174 0 0 20 0 19 0 76096968 16060325888 1306800 33554432000 4194304 4196468 140730320116912 140082739313664 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 569 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6480] ppid=6474 vsize=15683912 memory=5223996 CPUtime=5.01 cores=0,2,4,6
/proc/6477/task/6480/stat : 6480 (java) S 6474 6477 32649 0 -1 1077944384 2003 0 0 0 450 51 0 0 20 0 19 0 76096970 16060325888 1306800 33554432000 4194304 4196468 140730320116912 140082771716624 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6481] ppid=6474 vsize=15683912 memory=5224020 CPUtime=5.02 cores=0,2,4,6
/proc/6477/task/6481/stat : 6481 (java) S 6474 6477 32649 0 -1 1077944384 3161 0 0 0 447 55 0 0 20 0 19 0 76096970 16060325888 1306800 33554432000 4194304 4196468 140730320116912 140082585873040 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6482] ppid=6474 vsize=15683912 memory=5223996 CPUtime=5.01 cores=0,2,4,6
/proc/6477/task/6482/stat : 6482 (java) S 6474 6477 32649 0 -1 1077944384 2362 0 0 0 446 55 0 0 20 0 19 0 76096970 16060325888 1306800 33554432000 4194304 4196468 140730320116912 140082584819984 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6483] ppid=6474 vsize=15683912 memory=5223996 CPUtime=5.02 cores=0,2,4,6
/proc/6477/task/6483/stat : 6483 (java) S 6474 6477 32649 0 -1 1077944384 3376 0 0 0 446 56 0 0 20 0 19 0 76096970 16060325888 1306800 33554432000 4194304 4196468 140730320116912 140082583767440 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6484] ppid=6474 vsize=15683912 memory=4052 CPUtime=0.05 cores=0,2,4,6
/proc/6477/task/6484/stat : 6484 (java) S 6474 6477 32649 0 -1 1077944384 1374 0 0 0 5 0 0 0 20 0 19 0 76096971 16060325888 1306800 33554432000 4194304 4196468 140730320116912 140082174929648 140082767485570 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6485] ppid=6474 vsize=15683912 memory=5227200 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6485/stat : 6485 (java) S 6474 6477 32649 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 76096972 16060325888 1306800 33554432000 4194304 4196468 140730320116912 140081364985568 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6486] ppid=6474 vsize=15683912 memory=5224020 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6486/stat : 6486 (java) S 6474 6477 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 76096972 16060325888 1306800 33554432000 4194304 4196468 140730320116912 140081096549632 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6487] ppid=6474 vsize=15683912 memory=5223996 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6487/stat : 6487 (java) S 6474 6477 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76096974 16060325888 1306800 33554432000 4194304 4196468 140730320116912 140080722041296 140082767493019 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6488] ppid=6474 vsize=15683912 memory=23032 CPUtime=11.31 cores=0,2,4,6
/proc/6477/task/6488/stat : 6488 (java) S 6474 6477 32649 0 -1 1077944384 19034 0 0 0 1126 5 0 0 20 0 19 0 76096974 16060325888 1306800 33554432000 4194304 4196468 140730320116912 140082173876464 140082767485570 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6489] ppid=6474 vsize=15683912 memory=1292 CPUtime=11.06 cores=0,2,4,6
/proc/6477/task/6489/stat : 6489 (java) S 6474 6477 32649 0 -1 1077944384 21411 0 0 0 1102 4 0 0 20 0 19 0 76096974 16060325888 1306800 33554432000 4194304 4196468 140730320116912 140082172823920 140082767485570 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6490] ppid=6474 vsize=15683912 memory=2436 CPUtime=1.99 cores=0,2,4,6
/proc/6477/task/6490/stat : 6490 (java) S 6474 6477 32649 0 -1 1077944384 14261 0 0 0 195 4 0 0 20 0 19 0 76096974 16060325888 1306800 33554432000 4194304 4196468 140730320116912 140082171770864 140082767485570 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6491] ppid=6474 vsize=15683912 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6491/stat : 6491 (java) S 6474 6477 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 76096974 16060325888 1306800 33554432000 4194304 4196468 140730320116912 140080224135520 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6492] ppid=6474 vsize=15683912 memory=1708 CPUtime=0.06 cores=0,2,4,6
/proc/6477/task/6492/stat : 6492 (java) S 6474 6477 32649 0 -1 1077944384 194 0 0 0 3 3 0 0 20 0 19 0 76096975 16060325888 1306800 33554432000 4194304 4196468 140730320116912 140082103184432 140082767485570 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6839] ppid=6474 vsize=15683912 memory=5792 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6839/stat : 6839 (java) S 6474 6477 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 76110823 16060325888 1306800 33554432000 4194304 4196468 140730320116912 140082085152576 140082767499033 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6841] ppid=6474 vsize=15683912 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6841/stat : 6841 (java) S 6474 6477 32649 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 19 0 76110823 16060325888 1306800 33554432000 4194304 4196468 140730320116912 140079687249712 140082767496349 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6842] ppid=6474 vsize=15683912 memory=9920 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6842/stat : 6842 (java) S 6474 6477 32649 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 76110823 16060325888 1306800 33554432000 4194304 4196468 140730320116912 140079821471152 140082767496349 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6843] ppid=6474 vsize=15683912 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/6477/task/6843/stat : 6843 (java) S 6474 6477 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 76110825 16060325888 1306800 33554432000 4194304 4196468 140730320116912 140079418826016 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
Current children cumulated CPU time: 172.91 s
Current children cumulated vsize: 15899336 KiB
Current children cumulated memory: 5396632 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+139.277 s]
# the end of solver process 6477 was just reported to runsolver
# cumulated CPU time of all completed processes: user=168.765 s, system=4.33367 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+139.205 s]
/proc/loadavg: 2.72 2.35 2.16 3/225 6843
/proc/meminfo: memFree=17353244/32770624 swapFree=67108860/67108860
[pid=6477] ppid=6474 vsize=15683924 memory=5229364 CPUtime=173 cores=0,2,4,6
/proc/6477/stat : 6477 (java) S 6474 6477 32649 0 -1 1077944320 99418 36290 0 0 16826 418 49 7 20 0 18 0 76096968 16060338176 1307341 33554432000 4194304 4196468 140730320116912 140730320099456 140082767474423 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
/proc/6477/statm: 3920981 1307341 3263 1 0 3881837 0
[pid=6477/tid=6479] ppid=6474 vsize=15683924 memory=5224108 CPUtime=128.29 cores=0,2,4,6
/proc/6477/task/6479/stat : 6479 (java) S 6474 6477 32649 0 -1 1077944384 30718 36290 0 0 12599 174 49 7 20 0 18 0 76096968 16060338176 1307341 33554432000 4194304 4196468 140730320116912 140082739314624 140082767485570 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 569 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6480] ppid=6474 vsize=15683924 memory=-5059952977386882957 CPUtime=5.57 cores=0,2,4,6
/proc/6477/task/6480/stat : 6480 (java) S 6474 6477 32649 0 -1 1077944384 2003 36290 0 0 450 51 49 7 20 0 18 0 76096970 16060338176 1307341 33554432000 4194304 4196468 140730320116912 140082771716624 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6481] ppid=6474 vsize=15683924 memory=8112282956445269571 CPUtime=5.58 cores=0,2,4,6
/proc/6477/task/6481/stat : 6481 (java) S 6474 6477 32649 0 -1 1077944384 3161 36290 0 0 447 55 49 7 20 0 18 0 76096970 16060338176 1307341 33554432000 4194304 4196468 140730320116912 140082585873040 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6482] ppid=6474 vsize=15683924 memory=4136 CPUtime=5.57 cores=0,2,4,6
/proc/6477/task/6482/stat : 6482 (java) S 6474 6477 32649 0 -1 1077944384 2362 36290 0 0 446 55 49 7 20 0 18 0 76096970 16060338176 1307341 33554432000 4194304 4196468 140730320116912 140082584819984 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6483] ppid=6474 vsize=15683924 memory=23032 CPUtime=5.58 cores=0,2,4,6
/proc/6477/task/6483/stat : 6483 (java) S 6474 6477 32649 0 -1 1077944384 3376 36290 0 0 446 56 49 7 20 0 18 0 76096970 16060338176 1307341 33554432000 4194304 4196468 140730320116912 140082583767440 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6484] ppid=6474 vsize=15683924 memory=1292 CPUtime=0.61 cores=0,2,4,6
/proc/6477/task/6484/stat : 6484 (java) S 6474 6477 32649 0 -1 1077944384 1382 36290 0 0 5 0 49 7 20 0 18 0 76096971 16060338176 1307341 33554432000 4194304 4196468 140730320116912 140082174929648 140082767485570 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6485] ppid=6474 vsize=15683924 memory=2436 CPUtime=0.56 cores=0,2,4,6
/proc/6477/task/6485/stat : 6485 (java) S 6474 6477 32649 0 -1 1077944384 34 36290 0 0 0 0 49 7 20 0 18 0 76096972 16060338176 1307341 33554432000 4194304 4196468 140730320116912 140081364985568 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6486] ppid=6474 vsize=15683924 memory=1728 CPUtime=0.56 cores=0,2,4,6
/proc/6477/task/6486/stat : 6486 (java) S 6474 6477 32649 0 -1 1077944384 13 36290 0 0 0 0 49 7 20 0 18 0 76096972 16060338176 1307341 33554432000 4194304 4196468 140730320116912 140081096549632 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6487] ppid=6474 vsize=15683924 memory=1708 CPUtime=0.56 cores=0,2,4,6
/proc/6477/task/6487/stat : 6487 (java) S 6474 6477 32649 0 -1 1077944384 32 36290 0 0 0 0 49 7 20 0 18 0 76096974 16060338176 1307341 33554432000 4194304 4196468 140730320116912 140080722041296 140082767493019 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6488] ppid=6474 vsize=15683924 memory=5792 CPUtime=11.87 cores=0,2,4,6
/proc/6477/task/6488/stat : 6488 (java) S 6474 6477 32649 0 -1 1077944384 19034 36290 0 0 1126 5 49 7 20 0 18 0 76096974 16060338176 1307341 33554432000 4194304 4196468 140730320116912 140082173876464 140082767485570 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6489] ppid=6474 vsize=15683924 memory=4612 CPUtime=11.62 cores=0,2,4,6
/proc/6477/task/6489/stat : 6489 (java) S 6474 6477 32649 0 -1 1077944384 21411 36290 0 0 1102 4 49 7 20 0 18 0 76096974 16060338176 1307341 33554432000 4194304 4196468 140730320116912 140082172823920 140082767485570 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6490] ppid=6474 vsize=15683924 memory=9920 CPUtime=2.55 cores=0,2,4,6
/proc/6477/task/6490/stat : 6490 (java) S 6474 6477 32649 0 -1 1077944384 14261 36290 0 0 195 4 49 7 20 0 18 0 76096974 16060338176 1307341 33554432000 4194304 4196468 140730320116912 140082171770864 140082767485570 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6491] ppid=6474 vsize=15683924 memory=1944 CPUtime=0.56 cores=0,2,4,6
/proc/6477/task/6491/stat : 6491 (java) S 6474 6477 32649 0 -1 1077944384 3 36290 0 0 0 0 49 7 20 0 18 0 76096974 16060338176 1307341 33554432000 4194304 4196468 140730320116912 140080224135520 140082767484629 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6492] ppid=6474 vsize=15683924 memory=1428 CPUtime=0.62 cores=0,2,4,6
/proc/6477/task/6492/stat : 6492 (java) S 6474 6477 32649 0 -1 1077944384 194 36290 0 0 3 3 49 7 20 0 18 0 76096975 16060338176 1307341 33554432000 4194304 4196468 140730320116912 140082103184432 140082767485570 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6839] ppid=6474 vsize=15683924 memory=281179833026624 CPUtime=0.56 cores=0,2,4,6
/proc/6477/task/6839/stat : 6839 (java) S 6474 6477 32649 0 -1 1077944384 23 36290 0 0 0 0 49 7 20 0 18 0 76110823 16060338176 1307341 33554432000 4194304 4196468 140730320116912 140082085151760 140082767485570 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
[pid=6477/tid=6843] ppid=6474 vsize=15683924 memory=1728 CPUtime=0.56 cores=0,2,4,6
/proc/6477/task/6843/stat : 6843 (java) S 6474 6477 32649 0 -1 1077944384 11 36290 0 0 0 0 49 7 20 0 18 0 76110825 16060338176 1307341 33554432000 4194304 4196468 140730320116912 140079418827824 140082767485570 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19869696 140730320118771 140730320119049 140730320119049 140730320121807 0
Current children cumulated CPU time: 173 s
Current children cumulated vsize: 15683924 KiB
Current children cumulated memory: 5229364 KiB
Child status: 1
Real time (s): 139.277
CPU time (s): 173.099
CPU user time (s): 168.765
CPU system time (s): 4.33367
CPU usage (%): 124.284
Max. virtual memory (cumulated for all children) (KiB): 15899336
Max. memory (cumulated for all children) (KiB): 5396632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 168.765
system time used= 4.33367
maximum resident set size= 5229644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135736
page faults= 0
swaps= 0
block input operations= 32
block output operations= 1505584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11520
involuntary context switches= 652
# summary of solver processes directly reported to runsolver:
# pid: 6477
# total CPU time (s): 173.099
# total CPU user time (s): 168.765
# total CPU system time (s): 4.33367
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.78381 second user time and 1.40673 second system time
The end