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: Wed Jul 25 20:13:18 CEST 2018
0.67/0.55 c PID: 32382
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
2.09/1.14 c (0,0) Parsing End
2.09/1.15 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 996 ctr, max domain size 128
2.09/1.15 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.09/1.15 c (0,0) Constraint Name Generate Begin
2.09/1.16 c (0,0) Ctr:HOME/instance-4295301-1532542397.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar
2.09/1.16 c (0,0) Constraint Name Generate End
2.09/1.16 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.09/1.16 c (0,0) CSP to CSPinCNF Begin
42.82/31.30 c (30,29) translated 100 (10%) constraints
79.52/61.29 c (60,57) translated 200 (20%) constraints
112.44/90.09 c (89,84) translated 299 (30%) constraints
144.10/118.78 c (118,112) translated 399 (40%) constraints
174.88/147.05 c (146,139) translated 498 (50%) constraints
207.02/175.86 c (175,167) translated 598 (60%) constraints
238.53/204.50 c (203,195) translated 698 (70%) constraints
269.88/232.92 c (232,222) translated 797 (80%) constraints
301.67/261.64 c (261,250) translated 897 (90%) constraints
305.77/265.00 c (264,253) translated 996 (100%) constraints
323.48/279.72 c (279,268) STATISTICS1:HOME/instance-4295301-1532542397.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,116068,6544875,128,128,129,2,128:4950,128:12854386;2:6654570,129:906;100:2;3:6304854;2:239113,2:4950;1:19499056;0:906,
323.48/279.72 c (279,268) ===========================================
323.48/279.72 c (279,268) Both Encoding selects:
323.48/279.72 c (279,268) Order
323.48/279.72 c (279,268) ===========================================
333.32/288.14 c (287,276) translated 654488 (10%) constraints
343.18/296.79 c (296,284) translated 1308975 (20%) constraints
353.56/305.64 c (305,292) translated 1963463 (30%) constraints
363.68/314.43 c (313,301) translated 2617950 (40%) constraints
373.89/323.26 c (322,309) translated 3272438 (50%) constraints
384.07/332.08 c (331,318) translated 3926925 (60%) constraints
394.37/340.91 c (340,326) translated 4581413 (70%) constraints
404.34/349.69 c (349,334) translated 5235900 (80%) constraints
414.60/358.51 c (357,343) translated 5890388 (90%) constraints
424.73/367.31 c (366,351) translated 6544875 (100%) constraints
424.73/367.31 c (366,351) CSP to CSPinCNF End
424.73/367.36 c (366,351) CSP: 100 int (0 aux), 115968 bool (115968 aux), 6544875 ctr, max domain size 128
424.73/367.36 c (366,351) Heap : 9113 MiB used (max 10846 MiB), NonHeap : 30 MiB used (max 0 MiB)
424.73/367.36 c (366,351) CSPinCNF Propagation Begin
553.33/416.49 c (415,374) 0 values, 906 unsatisfiable literals, and 0 valid clauses are removed
553.33/416.49 c (415,374) CSPinCNF Propagation End
553.43/416.54 c (416,374) CSP: 100 int (0 aux), 115968 bool (115968 aux), 6544875 ctr, max domain size 128
553.43/416.54 c (416,374) Heap : 9545 MiB used (max 10844 MiB), NonHeap : 31 MiB used (max 0 MiB)
553.43/416.54 c (416,374) Simplify CSPinCNF Begin
602.34/435.22 c (434,382) Simplify CSPinCNF End
602.34/435.27 c (434,382) CSP: 100 int (0 aux), 125868 bool (125868 aux), 6554775 ctr, max domain size 128
602.34/435.27 c (434,382) Heap : 7835 MiB used (max 10422 MiB), NonHeap : 31 MiB used (max 0 MiB)
602.34/435.27 c (434,382) Calculate Precise Domain Begin
602.34/435.27 c (434,382) 0 values are removed by re-calculation
602.34/435.27 c (434,382) Calculate Precise Domain End
602.44/435.31 c (434,382) CSP: 100 int (0 aux), 125868 bool (125868 aux), 6554775 ctr, max domain size 128
602.44/435.31 c (434,382) Heap : 7835 MiB used (max 10422 MiB), NonHeap : 31 MiB used (max 0 MiB)
602.44/435.31 c (434,382) CSPinCNF to SatSolver Begin
611.69/442.32 c (441,389) 655478 (10 %) CSP clauses are encoded (138568 SAT variables, 1925377 SAT clauses)
614.98/445.60 c (445,392) 1310955 (20 %) CSP clauses are encoded (138568 SAT variables, 2580854 SAT clauses)
618.32/448.86 c (448,396) 1966433 (30 %) CSP clauses are encoded (138568 SAT variables, 3236332 SAT clauses)
621.66/452.12 c (451,399) 2621910 (40 %) CSP clauses are encoded (138568 SAT variables, 3891809 SAT clauses)
625.03/455.40 c (454,402) 3277388 (50 %) CSP clauses are encoded (138568 SAT variables, 4547287 SAT clauses)
628.24/458.69 c (458,405) 3932865 (60 %) CSP clauses are encoded (138568 SAT variables, 5202764 SAT clauses)
631.58/461.95 c (461,409) 4588343 (70 %) CSP clauses are encoded (138568 SAT variables, 5858242 SAT clauses)
634.92/465.21 c (464,412) 5243820 (80 %) CSP clauses are encoded (138568 SAT variables, 6513719 SAT clauses)
638.15/468.48 c (467,415) 5899298 (90 %) CSP clauses are encoded (138568 SAT variables, 7169197 SAT clauses)
641.52/471.76 c (471,418) 6554775 (100 %) CSP clauses are encoded (138568 SAT variables, 7824674 SAT clauses)
641.52/471.76 c (471,418) CSPinCNF to SatSolver End
641.52/471.76 c (471,418) Heap : 6376 MiB used (max 10762 MiB), NonHeap : 30 MiB used (max 0 MiB)
657.56/487.28 c (486,434) STATISTICS2:HOME/instance-4295301-1532542397.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,125968,6554775,128,128,128,2,128:9900,128:12864286;2:6674370,128:906;100:2;3:6304854;2:249013,2:9900;1:19518856,
657.56/487.28 c (486,434) SatSolver.solve Begin
657.56/487.28 c (486,434) 138568 bool, 7824675 clause
657.56/487.28 c (486,434) 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-4295301-1532542397.xml-scop-32382.cnf HOME/instance-4295301-1532542397.xml-scop-32382.cnf.out
658.43/488.01 c (487,0) receiving signal SIGTERM
658.43/488.01 s UNKNOWN
658.43/488.02 c (487,434) SatSolver is killed by some reasons.
658.43/488.02 c (487,434) 0,0,366,416,434,434,471,TO,TO,STOP-AFTER(DIMACS)
658.43/488.02 c END-Prog: Wed Jul 25 20:21:25 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 (4693 MiB free)
memory of node 1: 16384 MiB (15591 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295301-1532542397/watcher-4295301-1532542397 -o /tmp/evaluation-result-4295301-1532542397/solver-4295301-1532542397 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29244 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295301-1532542397.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=32382, runsolver pid=32379
Current StackSize limit: 8192 KiB
[startup+0.100138 s]*
/proc/loadavg: 1.93 2.00 2.11 3/221 32397
/proc/meminfo: memFree=20712084/32770624 swapFree=67076512/67108860
[pid=32382] ppid=32379 vsize=15011656 memory=74344 CPUtime=0.11 cores=1,3,5,7
/proc/32382/stat : 32382 (java) S 32379 32382 29212 0 -1 1077944320 6795 0 0 0 10 1 0 0 20 0 15 0 71802901 15371935744 18586 33554432000 4194304 4196468 140737448236560 140737448219104 140707100315383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
/proc/32382/statm: 3752914 18586 2781 1 0 3715374 0
[pid=32382/tid=32384] ppid=32379 vsize=15011656 memory=-6727144656924359504 CPUtime=0.09 cores=1,3,5,7
/proc/32382/task/32384/stat : 32384 (java) R 32379 32382 29212 0 -1 4202560 4891 0 0 0 8 1 0 0 20 0 15 0 71802901 15371935744 18652 33554432000 4194304 4196468 140737448236560 140707072127368 140707084395870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32385] ppid=32379 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32385/stat : 32385 (java) S 32379 32382 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71802903 15371935744 18652 33554432000 4194304 4196468 140737448236560 140707104557456 140707100325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32386] ppid=32379 vsize=15011656 memory=140285846980224 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32386/stat : 32386 (java) S 32379 32382 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71802903 15371935744 18652 33554432000 4194304 4196468 140737448236560 140706895640848 140707100325589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32387] ppid=32379 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32387/stat : 32387 (java) S 32379 32382 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71802903 15371935744 18652 33554432000 4194304 4196468 140737448236560 140706894588560 140707100325589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32388] ppid=32379 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32388/stat : 32388 (java) S 32379 32382 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71802903 15371935744 18652 33554432000 4194304 4196468 140737448236560 140706893535760 140707100325589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32389] ppid=32379 vsize=15011656 memory=140285846980224 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32389/stat : 32389 (java) S 32379 32382 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71802904 15371935744 18652 33554432000 4194304 4196468 140737448236560 140706070874736 140707100326530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32390] ppid=32379 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32390/stat : 32390 (java) S 32379 32382 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71802905 15371935744 18652 33554432000 4194304 4196468 140737448236560 140705678746912 140707100325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32391] ppid=32379 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32391/stat : 32391 (java) S 32379 32382 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71802905 15371935744 18652 33554432000 4194304 4196468 140737448236560 140705410311792 140707100325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32392] ppid=32379 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32392/stat : 32392 (java) S 32379 32382 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71802907 15371935744 18652 33554432000 4194304 4196468 140737448236560 140705035803216 140707100333979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32393] ppid=32379 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32393/stat : 32393 (java) R 32379 32382 29212 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 71802907 15371935744 18652 33554432000 4194304 4196468 140737448236560 140706069821552 140707100326530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32394] ppid=32379 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32394/stat : 32394 (java) S 32379 32382 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71802907 15371935744 18652 33554432000 4194304 4196468 140737448236560 140706068768752 140707100326530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32395] ppid=32379 vsize=15011656 memory=140285846980224 CPUtime=0.01 cores=1,3,5,7
/proc/32382/task/32395/stat : 32395 (java) R 32379 32382 29212 0 -1 4202560 280 0 0 0 1 0 0 0 20 0 15 0 71802907 15371935744 18652 33554432000 4194304 4196468 140737448236560 140706067716464 140707100336730 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32396] ppid=32379 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32396/stat : 32396 (java) S 32379 32382 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71802908 15371935744 18652 33554432000 4194304 4196468 140737448236560 140704537897440 140707100325589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32397] ppid=32379 vsize=15011656 memory=140285846980224 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32397/stat : 32397 (java) S 32379 32382 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71802908 15371935744 18652 33554432000 4194304 4196468 140737448236560 140706066664368 140707100326530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74344 KiB
[startup+0.210677 s]*
/proc/loadavg: 1.93 2.00 2.11 3/221 32397
/proc/meminfo: memFree=20697636/32770624 swapFree=67076512/67108860
[pid=32382] ppid=32379 vsize=15011656 memory=85592 CPUtime=0.26 cores=1,3,5,7
/proc/32382/stat : 32382 (java) S 32379 32382 29212 0 -1 1077944320 9867 0 0 0 24 2 0 0 20 0 15 0 71802901 15371935744 21398 33554432000 4194304 4196468 140737448236560 140737448219104 140707100315383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
/proc/32382/statm: 3752914 21398 2914 1 0 3715374 0
[pid=32382/tid=32384] ppid=32379 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/32382/task/32384/stat : 32384 (java) R 32379 32382 29212 0 -1 4202560 7754 0 0 0 18 2 0 0 20 0 15 0 71802901 15371935744 21398 33554432000 4194304 4196468 140737448236560 140707072141232 140707085683524 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32385] ppid=32379 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32385/stat : 32385 (java) S 32379 32382 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71802903 15371935744 21398 33554432000 4194304 4196468 140737448236560 140707104557456 140707100325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32386] ppid=32379 vsize=15011656 memory=4121833591054763680 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32386/stat : 32386 (java) S 32379 32382 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71802903 15371935744 21398 33554432000 4194304 4196468 140737448236560 140706895640848 140707100325589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32387] ppid=32379 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32387/stat : 32387 (java) S 32379 32382 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71802903 15371935744 21398 33554432000 4194304 4196468 140737448236560 140706894588560 140707100325589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32388] ppid=32379 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32388/stat : 32388 (java) S 32379 32382 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71802903 15371935744 21398 33554432000 4194304 4196468 140737448236560 140706893535760 140707100325589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32389] ppid=32379 vsize=15011656 memory=140285846980224 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32389/stat : 32389 (java) S 32379 32382 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71802904 15371935744 21398 33554432000 4194304 4196468 140737448236560 140706070874736 140707100326530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32390] ppid=32379 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32390/stat : 32390 (java) S 32379 32382 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71802905 15371935744 21398 33554432000 4194304 4196468 140737448236560 140705678746912 140707100325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32391] ppid=32379 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32391/stat : 32391 (java) S 32379 32382 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71802905 15371935744 21398 33554432000 4194304 4196468 140737448236560 140705410311792 140707100325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32392] ppid=32379 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32392/stat : 32392 (java) S 32379 32382 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71802907 15371935744 21398 33554432000 4194304 4196468 140737448236560 140705035803216 140707100333979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32393] ppid=32379 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32382/task/32393/stat : 32393 (java) R 32379 32382 29212 0 -1 1077944384 310 0 0 0 1 0 0 0 20 0 15 0 71802907 15371935744 21398 33554432000 4194304 4196468 140737448236560 140706069821648 140707100325589 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32394] ppid=32379 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/32382/task/32394/stat : 32394 (java) R 32379 32382 29212 0 -1 4202560 168 0 0 0 1 0 0 0 20 0 15 0 71802907 15371935744 21398 33554432000 4194304 4196468 140737448236560 140706068768752 140707079478544 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32395] ppid=32379 vsize=15011656 memory=140285846980224 CPUtime=0.03 cores=1,3,5,7
/proc/32382/task/32395/stat : 32395 (java) S 32379 32382 29212 0 -1 1077944384 303 0 0 0 3 0 0 0 20 0 15 0 71802907 15371935744 21398 33554432000 4194304 4196468 140737448236560 140706067716464 140707100326530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32396] ppid=32379 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32396/stat : 32396 (java) S 32379 32382 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71802908 15371935744 21398 33554432000 4194304 4196468 140737448236560 140704537897440 140707100325589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32397] ppid=32379 vsize=15011656 memory=140285846980224 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32397/stat : 32397 (java) S 32379 32382 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71802908 15371935744 21398 33554432000 4194304 4196468 140737448236560 140706066664368 140707100326530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85592 KiB
[startup+0.310612 s]*
/proc/loadavg: 1.93 2.00 2.11 3/221 32397
/proc/meminfo: memFree=20694332/32770624 swapFree=67076512/67108860
[pid=32382] ppid=32379 vsize=15011656 memory=89932 CPUtime=0.44 cores=1,3,5,7
/proc/32382/stat : 32382 (java) S 32379 32382 29212 0 -1 1077944320 10489 0 0 0 41 3 0 0 20 0 15 0 71802901 15371935744 22483 33554432000 4194304 4196468 140737448236560 140737448219104 140707100315383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
/proc/32382/statm: 3752914 22483 3033 1 0 3715374 0
[pid=32382/tid=32384] ppid=32379 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/32382/task/32384/stat : 32384 (java) R 32379 32382 29212 0 -1 4202560 8179 0 0 0 27 3 0 0 20 0 15 0 71802901 15371935744 22483 33554432000 4194304 4196468 140737448236560 140707072144624 140707100327318 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32385] ppid=32379 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32385/stat : 32385 (java) S 32379 32382 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71802903 15371935744 22483 33554432000 4194304 4196468 140737448236560 140707104557456 140707100325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32386] ppid=32379 vsize=15011656 memory=4049775997016835744 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32386/stat : 32386 (java) S 32379 32382 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71802903 15371935744 22483 33554432000 4194304 4196468 140737448236560 140706895640848 140707100325589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32387] ppid=32379 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32387/stat : 32387 (java) S 32379 32382 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71802903 15371935744 22483 33554432000 4194304 4196468 140737448236560 140706894588560 140707100325589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32388] ppid=32379 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32388/stat : 32388 (java) S 32379 32382 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71802903 15371935744 22483 33554432000 4194304 4196468 140737448236560 140706893535760 140707100325589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32389] ppid=32379 vsize=15011656 memory=140285846980224 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32389/stat : 32389 (java) S 32379 32382 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71802904 15371935744 22483 33554432000 4194304 4196468 140737448236560 140706070874736 140707100326530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32390] ppid=32379 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32390/stat : 32390 (java) S 32379 32382 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71802905 15371935744 22483 33554432000 4194304 4196468 140737448236560 140705678746912 140707100325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32391] ppid=32379 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32391/stat : 32391 (java) S 32379 32382 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71802905 15371935744 22483 33554432000 4194304 4196468 140737448236560 140705410311792 140707100325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32392] ppid=32379 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32392/stat : 32392 (java) S 32379 32382 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71802907 15371935744 22483 33554432000 4194304 4196468 140737448236560 140705035803216 140707100333979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32393] ppid=32379 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32382/task/32393/stat : 32393 (java) S 32379 32382 29212 0 -1 1077944384 355 0 0 0 2 0 0 0 20 0 15 0 71802907 15371935744 22483 33554432000 4194304 4196468 140737448236560 140706069821552 140707100326530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32394] ppid=32379 vsize=15011656 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/32382/task/32394/stat : 32394 (java) S 32379 32382 29212 0 -1 1077944384 270 0 0 0 3 0 0 0 20 0 15 0 71802907 15371935744 22483 33554432000 4194304 4196468 140737448236560 140706068768752 140707100326530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32395] ppid=32379 vsize=15011656 memory=140285846980224 CPUtime=0.08 cores=1,3,5,7
/proc/32382/task/32395/stat : 32395 (java) R 32379 32382 29212 0 -1 4202560 348 0 0 0 8 0 0 0 20 0 15 0 71802907 15371935744 22483 33554432000 4194304 4196468 140737448236560 140706067716464 140707084395870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32396] ppid=32379 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32396/stat : 32396 (java) S 32379 32382 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71802908 15371935744 22483 33554432000 4194304 4196468 140737448236560 140704537897440 140707100325589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32397] ppid=32379 vsize=15011656 memory=140285846980224 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32397/stat : 32397 (java) S 32379 32382 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71802908 15371935744 22483 33554432000 4194304 4196468 140737448236560 140706066664368 140707100326530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89932 KiB
[startup+0.706121 s]
/proc/loadavg: 1.93 2.00 2.11 3/221 32397
/proc/meminfo: memFree=20669652/32770624 swapFree=67076512/67108860
[pid=32382] ppid=32379 vsize=15020052 memory=129972 CPUtime=1.04 cores=1,3,5,7
/proc/32382/stat : 32382 (java) S 32379 32382 29212 0 -1 1077944320 17672 0 0 0 99 5 0 0 20 0 15 0 71802901 15380533248 32493 33554432000 4194304 4196468 140737448236560 140737448219104 140707100315383 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
/proc/32382/statm: 3755013 32493 3156 1 0 3716398 0
[pid=32382/tid=32384] ppid=32379 vsize=15020052 memory=279395407270372 CPUtime=0.67 cores=1,3,5,7
/proc/32382/task/32384/stat : 32384 (java) R 32379 32382 29212 0 -1 4202560 14835 0 0 0 63 4 0 0 20 0 15 0 71802901 15380533248 32493 33554432000 4194304 4196468 140737448236560 140707072151472 140707084395870 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32385] ppid=32379 vsize=15020052 memory=397245 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32385/stat : 32385 (java) S 32379 32382 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71802903 15380533248 32493 33554432000 4194304 4196468 140737448236560 140707104557456 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32386] ppid=32379 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32386/stat : 32386 (java) S 32379 32382 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71802903 15380533248 32493 33554432000 4194304 4196468 140737448236560 140706895640848 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32387] ppid=32379 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32387/stat : 32387 (java) S 32379 32382 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71802903 15380533248 32493 33554432000 4194304 4196468 140737448236560 140706894588560 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32388] ppid=32379 vsize=15020052 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32388/stat : 32388 (java) S 32379 32382 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71802903 15380533248 32493 33554432000 4194304 4196468 140737448236560 140706893535760 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32389] ppid=32379 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32389/stat : 32389 (java) S 32379 32382 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71802904 15380533248 32493 33554432000 4194304 4196468 140737448236560 140706070874736 140707100326530 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32390] ppid=32379 vsize=15020052 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32390/stat : 32390 (java) S 32379 32382 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71802905 15380533248 32493 33554432000 4194304 4196468 140737448236560 140705678746912 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32391] ppid=32379 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32391/stat : 32391 (java) S 32379 32382 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71802905 15380533248 32493 33554432000 4194304 4196468 140737448236560 140705410311792 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32392] ppid=32379 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32392/stat : 32392 (java) S 32379 32382 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71802907 15380533248 32493 33554432000 4194304 4196468 140737448236560 140705035803216 140707100333979 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32393] ppid=32379 vsize=15020052 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32382/task/32393/stat : 32393 (java) S 32379 32382 29212 0 -1 1077944384 587 0 0 0 9 0 0 0 20 0 15 0 71802907 15380533248 32493 33554432000 4194304 4196468 140737448236560 140706069821552 140707100326530 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32394] ppid=32379 vsize=15020052 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32382/task/32394/stat : 32394 (java) S 32379 32382 29212 0 -1 1077944384 364 0 0 0 7 0 0 0 20 0 15 0 71802907 15380533248 32493 33554432000 4194304 4196468 140737448236560 140706068768752 140707100326530 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32395] ppid=32379 vsize=15020052 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/32382/task/32395/stat : 32395 (java) R 32379 32382 29212 0 -1 4202560 548 0 0 0 18 0 0 0 20 0 15 0 71802907 15380533248 32493 33554432000 4194304 4196468 140737448236560 140706067713400 140707078840895 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32396] ppid=32379 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32396/stat : 32396 (java) S 32379 32382 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71802908 15380533248 32493 33554432000 4194304 4196468 140737448236560 140704537897440 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32397] ppid=32379 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32397/stat : 32397 (java) S 32379 32382 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71802908 15380533248 32493 33554432000 4194304 4196468 140737448236560 140706066664368 140707100326530 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129972 KiB
[startup+1.50117 s]
/proc/loadavg: 1.93 2.00 2.11 4/221 32397
/proc/meminfo: memFree=20632056/32770624 swapFree=67076512/67108860
[pid=32382] ppid=32379 vsize=15022100 memory=193468 CPUtime=3.18 cores=1,3,5,7
/proc/32382/stat : 32382 (java) S 32379 32382 29212 0 -1 1077944320 21780 0 0 0 311 7 0 0 20 0 15 0 71802901 15382630400 48367 33554432000 4194304 4196468 140737448236560 140737448219104 140707100315383 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
/proc/32382/statm: 3755525 48367 3201 1 0 3716910 0
[pid=32382/tid=32384] ppid=32379 vsize=15022100 memory=7234278993258635864 CPUtime=1.46 cores=1,3,5,7
/proc/32382/task/32384/stat : 32384 (java) R 32379 32382 29212 0 -1 4202560 15774 0 0 0 141 5 0 0 20 0 15 0 71802901 15382630400 48367 33554432000 4194304 4196468 140737448236560 140707072140864 140706569078200 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32385] ppid=32379 vsize=15022100 memory=7089319380252648024 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32385/stat : 32385 (java) S 32379 32382 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71802903 15382630400 48367 33554432000 4194304 4196468 140737448236560 140707104557456 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32386] ppid=32379 vsize=15022100 memory=6008734745673165414 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32386/stat : 32386 (java) S 32379 32382 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71802903 15382630400 48367 33554432000 4194304 4196468 140737448236560 140706895640848 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32387] ppid=32379 vsize=15022100 memory=7882829217017452904 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32387/stat : 32387 (java) S 32379 32382 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71802903 15382630400 48367 33554432000 4194304 4196468 140737448236560 140706894588560 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32388] ppid=32379 vsize=15022100 memory=6935652554312077392 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32388/stat : 32388 (java) S 32379 32382 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71802903 15382630400 48367 33554432000 4194304 4196468 140737448236560 140706893535760 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32389] ppid=32379 vsize=15022100 memory=8027502939770279021 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32389/stat : 32389 (java) S 32379 32382 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71802904 15382630400 48367 33554432000 4194304 4196468 140737448236560 140706070874736 140707100326530 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
################
# More data... #
################
[pid=32382/tid=32390] ppid=32379 vsize=15024148 memory=9760320 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32390/stat : 32390 (java) S 32379 32382 29212 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 71802905 15384727552 2440080 33554432000 4194304 4196468 140737448236560 140705678746976 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32391] ppid=32379 vsize=15024148 memory=9760320 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32391/stat : 32391 (java) S 32379 32382 29212 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 71802905 15384727552 2440080 33554432000 4194304 4196468 140737448236560 140705410311808 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32392] ppid=32379 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32392/stat : 32392 (java) S 32379 32382 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71802907 15384727552 2440080 33554432000 4194304 4196468 140737448236560 140705035803216 140707100333979 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32393] ppid=32379 vsize=15024148 memory=9760320 CPUtime=5.66 cores=1,3,5,7
/proc/32382/task/32393/stat : 32393 (java) S 32379 32382 29212 0 -1 1077944384 15183 0 0 0 564 2 0 0 20 0 15 0 71802907 15384727552 2440080 33554432000 4194304 4196468 140737448236560 140706069821552 140707100326530 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32394] ppid=32379 vsize=15024148 memory=9760320 CPUtime=4.69 cores=1,3,5,7
/proc/32382/task/32394/stat : 32394 (java) S 32379 32382 29212 0 -1 1077944384 13959 0 0 0 467 2 0 0 20 0 15 0 71802907 15384727552 2440080 33554432000 4194304 4196468 140737448236560 140706068768752 140707100326530 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32395] ppid=32379 vsize=15024148 memory=1664 CPUtime=1.43 cores=1,3,5,7
/proc/32382/task/32395/stat : 32395 (java) S 32379 32382 29212 0 -1 1077944384 15202 0 0 0 141 2 0 0 20 0 15 0 71802907 15384727552 2440080 33554432000 4194304 4196468 140737448236560 140706067716464 140707100326530 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32396] ppid=32379 vsize=15024148 memory=9760320 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32396/stat : 32396 (java) S 32379 32382 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71802908 15384727552 2440080 33554432000 4194304 4196468 140737448236560 140704537897440 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32397] ppid=32379 vsize=15024148 memory=3544 CPUtime=0.19 cores=1,3,5,7
/proc/32382/task/32397/stat : 32397 (java) S 32379 32382 29212 0 -1 1077944384 263 0 0 0 8 11 0 0 20 0 15 0 71802908 15384727552 2440080 33554432000 4194304 4196468 140737448236560 140706066664368 140707100326530 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
Current children cumulated CPU time: 395.77 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 9760320 KiB
[startup+402.301 s]
/proc/loadavg: 2.56 2.12 2.10 3/220 32485
/proc/meminfo: memFree=9556020/32770624 swapFree=67076512/67108860
[pid=32382] ppid=32379 vsize=15024148 memory=11623612 CPUtime=530.03 cores=1,3,5,7
/proc/32382/stat : 32382 (java) S 32379 32382 29212 0 -1 1077944320 141289 0 0 0 52290 713 0 0 20 0 15 0 71802901 15384727552 2905903 33554432000 4194304 4196468 140737448236560 140737448219104 140707100315383 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
/proc/32382/statm: 3756037 2905903 3257 1 0 3717422 0
[pid=32382/tid=32384] ppid=32379 vsize=15024148 memory=11623612 CPUtime=363.45 cores=1,3,5,7
/proc/32382/task/32384/stat : 32384 (java) R 32379 32382 29212 0 -1 4202560 35808 0 0 0 36293 52 0 0 20 0 15 0 71802901 15384727552 2905903 33554432000 4194304 4196468 140737448236560 140707072151616 140706576344222 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32385] ppid=32379 vsize=15024148 memory=11623612 CPUtime=38.48 cores=1,3,5,7
/proc/32382/task/32385/stat : 32385 (java) S 32379 32382 29212 0 -1 1077944384 12331 0 0 0 3692 156 0 0 20 0 15 0 71802903 15384727552 2905903 33554432000 4194304 4196468 140737448236560 140707104557456 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32386] ppid=32379 vsize=15024148 memory=10427968 CPUtime=38.36 cores=1,3,5,7
/proc/32382/task/32386/stat : 32386 (java) S 32379 32382 29212 0 -1 1077944384 11434 0 0 0 3679 157 0 0 20 0 15 0 71802903 15384727552 2905903 33554432000 4194304 4196468 140737448236560 140706895640848 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32387] ppid=32379 vsize=15024148 memory=10427968 CPUtime=38.48 cores=1,3,5,7
/proc/32382/task/32387/stat : 32387 (java) S 32379 32382 29212 0 -1 1077944384 13251 0 0 0 3683 165 0 0 20 0 15 0 71802903 15384727552 2905903 33554432000 4194304 4196468 140737448236560 140706894588560 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32388] ppid=32379 vsize=15024148 memory=10880652 CPUtime=38.48 cores=1,3,5,7
/proc/32382/task/32388/stat : 32388 (java) S 32379 32382 29212 0 -1 1077944384 12209 0 0 0 3686 162 0 0 20 0 15 0 71802903 15384727552 2905903 33554432000 4194304 4196468 140737448236560 140706893535760 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32389] ppid=32379 vsize=15024148 memory=11122316 CPUtime=0.16 cores=1,3,5,7
/proc/32382/task/32389/stat : 32389 (java) S 32379 32382 29212 0 -1 1077944384 4212 0 0 0 16 0 0 0 20 0 15 0 71802904 15384727552 2905903 33554432000 4194304 4196468 140737448236560 140706070874736 140707100326530 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32390] ppid=32379 vsize=15024148 memory=11623136 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32390/stat : 32390 (java) S 32379 32382 29212 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 71802905 15384727552 2905903 33554432000 4194304 4196468 140737448236560 140705678746976 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32391] ppid=32379 vsize=15024148 memory=11623228 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32391/stat : 32391 (java) S 32379 32382 29212 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 71802905 15384727552 2905903 33554432000 4194304 4196468 140737448236560 140705410311808 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32392] ppid=32379 vsize=15024148 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32392/stat : 32392 (java) S 32379 32382 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71802907 15384727552 2905903 33554432000 4194304 4196468 140737448236560 140705035803216 140707100333979 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32393] ppid=32379 vsize=15024148 memory=11623612 CPUtime=5.84 cores=1,3,5,7
/proc/32382/task/32393/stat : 32393 (java) S 32379 32382 29212 0 -1 1077944384 16948 0 0 0 582 2 0 0 20 0 15 0 71802907 15384727552 2905903 33554432000 4194304 4196468 140737448236560 140706069821552 140707100326530 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32394] ppid=32379 vsize=15024148 memory=11623612 CPUtime=4.95 cores=1,3,5,7
/proc/32382/task/32394/stat : 32394 (java) S 32379 32382 29212 0 -1 1077944384 15997 0 0 0 493 2 0 0 20 0 15 0 71802907 15384727552 2905903 33554432000 4194304 4196468 140737448236560 140706068768752 140707100326530 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32395] ppid=32379 vsize=15024148 memory=11623612 CPUtime=1.47 cores=1,3,5,7
/proc/32382/task/32395/stat : 32395 (java) S 32379 32382 29212 0 -1 1077944384 17446 0 0 0 145 2 0 0 20 0 15 0 71802907 15384727552 2905903 33554432000 4194304 4196468 140737448236560 140706067716464 140707100326530 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32396] ppid=32379 vsize=15024148 memory=11623612 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32396/stat : 32396 (java) S 32379 32382 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71802908 15384727552 2905903 33554432000 4194304 4196468 140737448236560 140704537897440 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32397] ppid=32379 vsize=15024148 memory=11623580 CPUtime=0.24 cores=1,3,5,7
/proc/32382/task/32397/stat : 32397 (java) S 32379 32382 29212 0 -1 1077944384 309 0 0 0 10 14 0 0 20 0 15 0 71802908 15384727552 2905903 33554432000 4194304 4196468 140737448236560 140706066664368 140707100326530 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
Current children cumulated CPU time: 530.03 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 11623612 KiB
[startup+462.301 s]
/proc/loadavg: 2.40 2.17 2.12 3/220 32493
/proc/meminfo: memFree=9206380/32770624 swapFree=67076516/67108860
[pid=32382] ppid=32379 vsize=15026264 memory=11836224 CPUtime=631.97 cores=1,3,5,7
/proc/32382/stat : 32382 (java) S 32379 32382 29212 0 -1 1077944320 166798 0 0 0 62439 758 0 0 20 0 15 0 71802901 15386894336 2959056 33554432000 4194304 4196468 140737448236560 140737448219104 140707100315383 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
/proc/32382/statm: 3756566 2959056 3276 1 0 3717422 0
[pid=32382/tid=32384] ppid=32379 vsize=15026264 memory=11836224 CPUtime=409.92 cores=1,3,5,7
/proc/32382/task/32384/stat : 32384 (java) R 32379 32382 29212 0 -1 4202560 38935 0 0 0 40925 67 0 0 20 0 15 0 71802901 15386894336 2959056 33554432000 4194304 4196468 140737448236560 140707072155040 140706573556992 0 4 0 25189583 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32385] ppid=32379 vsize=15026264 memory=280571424844544 CPUtime=51.89 cores=1,3,5,7
/proc/32382/task/32385/stat : 32385 (java) S 32379 32382 29212 0 -1 1077944384 15208 0 0 0 5026 163 0 0 20 0 15 0 71802903 15386894336 2959056 33554432000 4194304 4196468 140737448236560 140707104557456 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32386] ppid=32379 vsize=15026264 memory=11836224 CPUtime=51.76 cores=1,3,5,7
/proc/32382/task/32386/stat : 32386 (java) S 32379 32382 29212 0 -1 1077944384 14328 0 0 0 5012 164 0 0 20 0 15 0 71802903 15386894336 2959056 33554432000 4194304 4196468 140737448236560 140706895640848 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32387] ppid=32379 vsize=15026264 memory=11836224 CPUtime=51.76 cores=1,3,5,7
/proc/32382/task/32387/stat : 32387 (java) S 32379 32382 29212 0 -1 1077944384 16574 0 0 0 5005 171 0 0 20 0 15 0 71802903 15386894336 2959056 33554432000 4194304 4196468 140737448236560 140706894588560 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32388] ppid=32379 vsize=15026264 memory=11836224 CPUtime=51.82 cores=1,3,5,7
/proc/32382/task/32388/stat : 32388 (java) S 32379 32382 29212 0 -1 1077944384 14977 0 0 0 5013 169 0 0 20 0 15 0 71802903 15386894336 2959056 33554432000 4194304 4196468 140737448236560 140706893535760 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32389] ppid=32379 vsize=15026264 memory=11836224 CPUtime=0.24 cores=1,3,5,7
/proc/32382/task/32389/stat : 32389 (java) S 32379 32382 29212 0 -1 1077944384 4485 0 0 0 23 1 0 0 20 0 15 0 71802904 15386894336 2959056 33554432000 4194304 4196468 140737448236560 140706070874736 140707100326530 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32390] ppid=32379 vsize=15026264 memory=11836224 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32390/stat : 32390 (java) S 32379 32382 29212 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 71802905 15386894336 2959056 33554432000 4194304 4196468 140737448236560 140705678746976 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32391] ppid=32379 vsize=15026264 memory=280571424609280 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32391/stat : 32391 (java) S 32379 32382 29212 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 71802905 15386894336 2959056 33554432000 4194304 4196468 140737448236560 140705410311808 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32392] ppid=32379 vsize=15026264 memory=2257 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32392/stat : 32392 (java) S 32379 32382 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71802907 15386894336 2959056 33554432000 4194304 4196468 140737448236560 140705035803216 140707100333979 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32393] ppid=32379 vsize=15026264 memory=3544 CPUtime=6.73 cores=1,3,5,7
/proc/32382/task/32393/stat : 32393 (java) S 32379 32382 29212 0 -1 1077944384 21195 0 0 0 670 3 0 0 20 0 15 0 71802907 15386894336 2959056 33554432000 4194304 4196468 140737448236560 140706069821552 140707100326530 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32394] ppid=32379 vsize=15026264 memory=11836224 CPUtime=5.81 cores=1,3,5,7
/proc/32382/task/32394/stat : 32394 (java) S 32379 32382 29212 0 -1 1077944384 19376 0 0 0 579 2 0 0 20 0 15 0 71802907 15386894336 2959056 33554432000 4194304 4196468 140737448236560 140706068768752 140707100326530 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32395] ppid=32379 vsize=15026264 memory=11122316 CPUtime=1.65 cores=1,3,5,7
/proc/32382/task/32395/stat : 32395 (java) S 32379 32382 29212 0 -1 1077944384 20012 0 0 0 163 2 0 0 20 0 15 0 71802907 15386894336 2959056 33554432000 4194304 4196468 140737448236560 140706067716464 140707100326530 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32396] ppid=32379 vsize=15026264 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32396/stat : 32396 (java) S 32379 32382 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71802908 15386894336 2959056 33554432000 4194304 4196468 140737448236560 140704537897440 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32397] ppid=32379 vsize=15026264 memory=11836224 CPUtime=0.28 cores=1,3,5,7
/proc/32382/task/32397/stat : 32397 (java) S 32379 32382 29212 0 -1 1077944384 359 0 0 0 12 16 0 0 20 0 15 0 71802908 15386894336 2959056 33554432000 4194304 4196468 140737448236560 140706066664368 140707100326530 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
Current children cumulated CPU time: 631.97 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 11836224 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+488.001 s]*
/proc/loadavg: 2.20 2.14 2.11 3/225 32499
/proc/meminfo: memFree=8950632/32770624 swapFree=67076516/67108860
[pid=32382] ppid=32379 vsize=15683912 memory=11839240 CPUtime=657.73 cores=1,3,5,7
/proc/32382/stat : 32382 (java) S 32379 32382 29212 0 -1 1077944320 174217 0 0 0 65007 766 0 0 20 0 19 0 71802901 16060325888 2959810 33554432000 4194304 4196468 140737448236560 140737448219104 140707100315383 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
/proc/32382/statm: 3920978 2959810 3280 1 0 3881834 0
[pid=32494] ppid=32382 vsize=258296 memory=217048 CPUtime=0.7 cores=1,3,5,7
/proc/32494/stat : 32494 (minisat_release) R 32382 32382 29212 0 -1 4202496 40712 0 0 0 63 7 0 0 20 0 1 0 71851631 264495104 54262 33554432000 4194304 4308513 140721049263040 140721049260184 140062745094699 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6409496 6410680 37588992 140721049264815 140721049265326 140721049265326 140721049268165 0
/proc/32494/statm: 64574 54262 316 28 0 60814 0
[pid=32382/tid=32384] ppid=32379 vsize=15683912 memory=-7824251494390912360 CPUtime=434.81 cores=1,3,5,7
/proc/32382/task/32384/stat : 32384 (java) S 32379 32382 29212 0 -1 1077944384 41979 0 0 0 43408 73 0 0 20 0 19 0 71802901 16060325888 2959810 33554432000 4194304 4196468 140737448236560 140707072154624 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32385] ppid=32379 vsize=15683912 memory=1220 CPUtime=52.03 cores=1,3,5,7
/proc/32382/task/32385/stat : 32385 (java) S 32379 32382 29212 0 -1 1077944384 16018 0 0 0 5040 163 0 0 20 0 19 0 71802903 16060325888 2959810 33554432000 4194304 4196468 140737448236560 140707104557456 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32386] ppid=32379 vsize=15683912 memory=11836296 CPUtime=51.9 cores=1,3,5,7
/proc/32382/task/32386/stat : 32386 (java) S 32379 32382 29212 0 -1 1077944384 15132 0 0 0 5026 164 0 0 20 0 19 0 71802903 16060325888 2959810 33554432000 4194304 4196468 140737448236560 140706895640848 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32387] ppid=32379 vsize=15683912 memory=11836296 CPUtime=51.89 cores=1,3,5,7
/proc/32382/task/32387/stat : 32387 (java) S 32379 32382 29212 0 -1 1077944384 17370 0 0 0 5018 171 0 0 20 0 19 0 71802903 16060325888 2959810 33554432000 4194304 4196468 140737448236560 140706894588560 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32388] ppid=32379 vsize=15683912 memory=776 CPUtime=51.96 cores=1,3,5,7
/proc/32382/task/32388/stat : 32388 (java) S 32379 32382 29212 0 -1 1077944384 15779 0 0 0 5027 169 0 0 20 0 19 0 71802903 16060325888 2959810 33554432000 4194304 4196468 140737448236560 140706893535760 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32389] ppid=32379 vsize=15683912 memory=1876 CPUtime=0.25 cores=1,3,5,7
/proc/32382/task/32389/stat : 32389 (java) S 32379 32382 29212 0 -1 1077944384 4495 0 0 0 24 1 0 0 20 0 19 0 71802904 16060325888 2959810 33554432000 4194304 4196468 140737448236560 140706070874736 140707100326530 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32390] ppid=32379 vsize=15683912 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32390/stat : 32390 (java) S 32379 32382 29212 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 71802905 16060325888 2959810 33554432000 4194304 4196468 140737448236560 140705678746976 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32391] ppid=32379 vsize=15683912 memory=776 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32391/stat : 32391 (java) S 32379 32382 29212 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 71802905 16060325888 2959810 33554432000 4194304 4196468 140737448236560 140705410311808 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32392] ppid=32379 vsize=15683912 memory=1876 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32392/stat : 32392 (java) S 32379 32382 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71802907 16060325888 2959810 33554432000 4194304 4196468 140737448236560 140705035803216 140707100333979 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32393] ppid=32379 vsize=15683912 memory=1664 CPUtime=6.85 cores=1,3,5,7
/proc/32382/task/32393/stat : 32393 (java) S 32379 32382 29212 0 -1 1077944384 21449 0 0 0 682 3 0 0 20 0 19 0 71802907 16060325888 2959810 33554432000 4194304 4196468 140737448236560 140706069821552 140707100326530 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32394] ppid=32379 vsize=15683912 memory=1828 CPUtime=5.94 cores=1,3,5,7
/proc/32382/task/32394/stat : 32394 (java) S 32379 32382 29212 0 -1 1077944384 19950 0 0 0 592 2 0 0 20 0 19 0 71802907 16060325888 2959810 33554432000 4194304 4196468 140737448236560 140706068768752 140707100326530 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32395] ppid=32379 vsize=15683912 memory=800 CPUtime=1.69 cores=1,3,5,7
/proc/32382/task/32395/stat : 32395 (java) S 32379 32382 29212 0 -1 1077944384 20260 0 0 0 167 2 0 0 20 0 19 0 71802907 16060325888 2959810 33554432000 4194304 4196468 140737448236560 140706067716464 140707100326530 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32396] ppid=32379 vsize=15683912 memory=5192 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32396/stat : 32396 (java) S 32379 32382 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71802908 16060325888 2959810 33554432000 4194304 4196468 140737448236560 140704537897440 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32397] ppid=32379 vsize=15683912 memory=1664 CPUtime=0.29 cores=1,3,5,7
/proc/32382/task/32397/stat : 32397 (java) S 32379 32382 29212 0 -1 1077944384 360 0 0 0 12 17 0 0 20 0 19 0 71802908 16060325888 2959810 33554432000 4194304 4196468 140737448236560 140706066664368 140707100326530 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32495] ppid=32379 vsize=15683912 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32495/stat : 32495 (java) S 32379 32382 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71851631 16060325888 2959810 33554432000 4194304 4196468 140737448236560 140706148844992 140707100339993 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32497] ppid=32379 vsize=15683912 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32497/stat : 32497 (java) S 32379 32382 29212 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 71851631 16060325888 2959810 33554432000 4194304 4196468 140737448236560 140704135233456 140707100337309 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32498] ppid=32379 vsize=15683912 memory=5192 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32498/stat : 32498 (java) S 32379 32382 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 71851631 16060325888 2959810 33554432000 4194304 4196468 140737448236560 140704001010992 140707100337309 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
[pid=32382/tid=32499] ppid=32379 vsize=15683912 memory=12816 CPUtime=0 cores=1,3,5,7
/proc/32382/task/32499/stat : 32499 (java) S 32379 32382 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71851633 16060325888 2959810 33554432000 4194304 4196468 140737448236560 140703732587424 140707100325589 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36478976 140737448244212 140737448244489 140737448244489 140737448247247 0
Current children cumulated CPU time: 658.43 s
Current children cumulated vsize: 15942208 KiB
Current children cumulated memory: 12056288 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+488.092 s]
# the end of solver process 32382 was just reported to runsolver
# cumulated CPU time of all completed processes: user=650.73 s, system=7.81468 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 488.092
CPU time (s): 658.545
CPU user time (s): 650.73
CPU system time (s): 7.81468
CPU usage (%): 134.922
Max. virtual memory (cumulated for all children) (KiB): 15942208
Max. memory (cumulated for all children) (KiB): 12056288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 650.73
system time used= 7.81468
maximum resident set size= 11845700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215111
page faults= 0
swaps= 0
block input operations= 0
block output operations= 313840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18136
involuntary context switches= 2211
# summary of solver processes directly reported to runsolver:
# pid: 32382
# total CPU time (s): 658.545
# total CPU user time (s): 650.73
# total CPU system time (s): 7.81468
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.91063 second user time and 4.7654 second system time
The end