0.66/0.52
0.66/0.52 scop order+minisat_release (2018-06-13)
0.66/0.52
0.66/0.58 c BEGIN-Prog: Thu Jul 26 01:43:10 CEST 2018
0.66/0.58 c PID: 32708
0.66/0.58 c IP: 172.20.3.150
0.66/0.58 c HOST: node150.alineos.net
0.66/0.59 c (0,0) Parsing Begin
2.79/1.49 c (0,0) Parsing End
2.79/1.50 c (0,0) CSP: 56 int (0 aux), 0 bool (0 aux), 15 ctr, max domain size 26
3.11/1.56 c (1,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
3.11/1.56 c (1,0) Constraint Name Generate Begin
3.11/1.56 c (1,0) Ctr:HOME/instance-4294921-1532562189.xml,ExtensionSupport:IntVar
3.11/1.56 c (1,0) Constraint Name Generate End
3.11/1.56 c (1,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
3.11/1.56 c (1,0) CSP to CSPinCNF Begin
49.83/34.92 c (34,33) translated 2 (10%) constraints
67.07/47.48 c (46,45) translated 3 (20%) constraints
105.24/73.70 c (73,67) translated 5 (30%) constraints
120.47/85.84 c (85,78) translated 6 (40%) constraints
151.94/110.62 c (110,101) translated 8 (50%) constraints
175.08/131.38 c (130,121) translated 9 (60%) constraints
196.48/148.55 c (148,137) translated 11 (70%) constraints
207.68/157.23 c (156,144) translated 12 (80%) constraints
226.72/173.81 c (173,160) translated 14 (90%) constraints
237.45/182.40 c (181,168) translated 15 (100%) constraints
257.27/198.91 c (198,184) STATISTICS1:HOME/instance-4294921-1532562189.xml,ExtensionSupport:IntVar,368542,3669637,-1,26,27,1,,26:5758368;2:6862760,27:405;26:145;25:146;24:250;23:292;22:390;21:355;20:429;19:476;18:596;17:528;16:667;15:796;14:1105;13:1386;12:1570;11:2429;10:2988;9:4326;8:6769;7:9983;6:18134;5:31343;4:1959582;3:889262;2:735285,1:12621128;0:15,
257.27/198.91 c (198,184) ===========================================
257.27/198.91 c (198,184) Order
257.27/198.91 c (198,184) ===========================================
262.83/203.66 c (203,188) translated 366964 (10%) constraints
269.52/208.92 c (208,193) translated 733928 (20%) constraints
274.42/213.72 c (213,198) translated 1100892 (30%) constraints
283.82/219.79 c (219,203) translated 1467855 (40%) constraints
293.97/226.10 c (225,208) translated 1834819 (50%) constraints
299.08/231.16 c (230,213) translated 2201783 (60%) constraints
308.99/237.45 c (236,218) translated 2568746 (70%) constraints
319.02/243.80 c (243,223) translated 2935710 (80%) constraints
327.79/249.87 c (249,228) translated 3302674 (90%) constraints
332.90/254.97 c (254,233) translated 3669637 (100%) constraints
332.90/254.97 c (254,233) CSP to CSPinCNF End
333.05/255.09 c (254,233) CSP: 56 int (0 aux), 368486 bool (368486 aux), 3669637 ctr, max domain size 26
333.05/255.09 c (254,233) Heap : 7806 MiB used (max 10844 MiB), NonHeap : 27 MiB used (max 0 MiB)
333.05/255.09 c (254,233) CSPinCNF Propagation Begin
382.64/280.36 c (279,251) 0 values, 15 unsatisfiable literals, and 0 valid clauses are removed
382.64/280.36 c (279,251) CSPinCNF Propagation End
382.74/280.47 c (279,251) CSP: 56 int (0 aux), 368486 bool (368486 aux), 3669637 ctr, max domain size 26
382.74/280.47 c (279,251) Heap : 9186 MiB used (max 10886 MiB), NonHeap : 28 MiB used (max 0 MiB)
382.74/280.47 c (279,251) Simplify CSPinCNF Begin
396.89/288.28 c (287,256) Simplify CSPinCNF End
396.98/288.39 c (287,257) CSP: 56 int (0 aux), 368486 bool (368486 aux), 3669637 ctr, max domain size 26
396.98/288.39 c (287,257) Heap : 9464 MiB used (max 10199 MiB), NonHeap : 28 MiB used (max 0 MiB)
396.98/288.39 c (287,257) Calculate Precise Domain Begin
396.98/288.40 c (287,257) 0 values are removed by re-calculation
396.98/288.40 c (287,257) Calculate Precise Domain End
397.19/288.50 c (287,257) CSP: 56 int (0 aux), 368486 bool (368486 aux), 3669637 ctr, max domain size 26
397.19/288.50 c (287,257) Heap : 9464 MiB used (max 10199 MiB), NonHeap : 28 MiB used (max 0 MiB)
397.19/288.50 c (287,257) CSPinCNF to SatSolver Begin
452.94/304.29 c (303,259) 366964 (10 %) CSP clauses are encoded (369886 SAT variables, 368307 SAT clauses)
455.06/306.25 c (305,261) 733928 (20 %) CSP clauses are encoded (369886 SAT variables, 735271 SAT clauses)
457.06/308.39 c (307,263) 1100892 (30 %) CSP clauses are encoded (369886 SAT variables, 1102235 SAT clauses)
459.09/310.37 c (309,265) 1467855 (40 %) CSP clauses are encoded (369886 SAT variables, 1469198 SAT clauses)
461.12/312.36 c (311,267) 1834819 (50 %) CSP clauses are encoded (369886 SAT variables, 1836162 SAT clauses)
463.11/314.37 c (313,269) 2201783 (60 %) CSP clauses are encoded (369886 SAT variables, 2203126 SAT clauses)
465.14/316.35 c (315,271) 2568746 (70 %) CSP clauses are encoded (369886 SAT variables, 2570089 SAT clauses)
467.16/318.33 c (317,273) 2935710 (80 %) CSP clauses are encoded (369886 SAT variables, 2937053 SAT clauses)
469.19/320.31 c (319,275) 3302674 (90 %) CSP clauses are encoded (369886 SAT variables, 3304017 SAT clauses)
471.22/322.30 c (321,277) 3669637 (100 %) CSP clauses are encoded (369886 SAT variables, 3670980 SAT clauses)
471.22/322.30 c (321,277) CSPinCNF to SatSolver End
471.22/322.30 c (321,277) Heap : 3697 MiB used (max 10616 MiB), NonHeap : 27 MiB used (max 0 MiB)
479.69/330.23 c (329,285) STATISTICS2:HOME/instance-4294921-1532562189.xml,ExtensionSupport:IntVar,368542,3669637,-1,26,27,1,,26:5758368;2:6862760,27:390;26:160;25:146;24:250;23:292;22:390;21:355;20:429;19:476;18:596;17:528;16:667;15:796;14:1105;13:1386;12:1570;11:2429;10:2988;9:4326;8:6769;7:9983;6:18134;5:31343;4:1959582;3:889262;2:735285,1:12621128,
479.69/330.23 c (329,285) SatSolver.solve Begin
479.69/330.23 c (329,285) 369886 bool, 3670981 clause
479.69/330.23 c (329,285) 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-4294921-1532562189.xml-scop-32708.cnf HOME/instance-4294921-1532562189.xml-scop-32708.cnf.out
480.68/331.13 c (330,0) receiving signal SIGTERM
480.68/331.13 s UNKNOWN
480.68/331.13 c (330,285) SatSolver is killed by some reasons.
480.68/331.13 c (330,285) 1,1,254,279,287,287,321,TO,TO,STOP-AFTER(DIMACS)
480.68/331.13 c END-Prog: Thu Jul 26 01:48:40 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 (4435 MiB free)
memory of node 1: 16384 MiB (10431 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294921-1532562189/watcher-4294921-1532562189 -o /tmp/evaluation-result-4294921-1532562189/solver-4294921-1532562189 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32681 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294921-1532562189.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
Current StackSize limit: 8192 KiB
solver pid=32708, runsolver pid=32702
[startup+0.100137 s]*
/proc/loadavg: 1.00 1.01 1.02 4/216 32739
/proc/meminfo: memFree=15103912/32770624 swapFree=67108860/67108860
[pid=32708] ppid=32702 vsize=15011656 memory=72608 CPUtime=0.1 cores=1,3,5,7
/proc/32708/stat : 32708 (java) S 32702 32708 32649 0 -1 1077944320 6398 0 0 0 8 2 0 0 20 0 15 0 73782192 15371935744 18152 33554432000 4194304 4196468 140721127803552 140721127786096 140550944124663 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
/proc/32708/statm: 3752914 18152 2756 1 0 3715374 0
[pid=32708/tid=32712] ppid=32702 vsize=15011656 memory=5450919713671312938 CPUtime=0.08 cores=1,3,5,7
/proc/32708/task/32712/stat : 32712 (java) R 32702 32708 32649 0 -1 4202560 4523 0 0 0 7 1 0 0 20 0 15 0 73782193 15371935744 18218 33554432000 4194304 4196468 140721127803552 140550915901744 140550928205150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32714] ppid=32702 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32714/stat : 32714 (java) S 32702 32708 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73782195 15371935744 18218 33554432000 4194304 4196468 140721127803552 140550948366992 140550944134869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32717] ppid=32702 vsize=15011656 memory=140572744304256 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32717/stat : 32717 (java) S 32702 32708 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73782195 15371935744 18218 33554432000 4194304 4196468 140721127803552 140550739450384 140550944134869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32719] ppid=32702 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32719/stat : 32719 (java) S 32702 32708 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73782195 15371935744 18218 33554432000 4194304 4196468 140721127803552 140550738397584 140550944134869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32721] ppid=32702 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32721/stat : 32721 (java) S 32702 32708 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73782195 15371935744 18218 33554432000 4194304 4196468 140721127803552 140550737344784 140550944134869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32722] ppid=32702 vsize=15011656 memory=140572744304256 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32722/stat : 32722 (java) S 32702 32708 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73782196 15371935744 18218 33554432000 4194304 4196468 140721127803552 140550283922288 140550944135810 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32725] ppid=32702 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32725/stat : 32725 (java) S 32702 32708 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73782197 15371935744 18218 33554432000 4194304 4196468 140721127803552 140549583529504 140550944134869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32727] ppid=32702 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32727/stat : 32727 (java) S 32702 32708 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73782197 15371935744 18218 33554432000 4194304 4196468 140721127803552 140549315093872 140550944134869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32731] ppid=32702 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32731/stat : 32731 (java) S 32702 32708 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73782199 15371935744 18218 33554432000 4194304 4196468 140721127803552 140548940585296 140550944143259 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32733] ppid=32702 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32733/stat : 32733 (java) S 32702 32708 32649 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 73782200 15371935744 18218 33554432000 4194304 4196468 140721127803552 140550282869104 140550944135810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32734] ppid=32702 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32734/stat : 32734 (java) S 32702 32708 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73782200 15371935744 18218 33554432000 4194304 4196468 140721127803552 140550281816304 140550944135810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32735] ppid=32702 vsize=15011656 memory=140572744304256 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32735/stat : 32735 (java) R 32702 32708 32649 0 -1 4202560 240 0 0 0 0 0 0 0 20 0 15 0 73782200 15371935744 18218 33554432000 4194304 4196468 140721127803552 140550280763504 140550925364976 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32737] ppid=32702 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32737/stat : 32737 (java) S 32702 32708 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73782200 15371935744 18218 33554432000 4194304 4196468 140721127803552 140548442679520 140550944134869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32739] ppid=32702 vsize=15011656 memory=140572744304256 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32739/stat : 32739 (java) S 32702 32708 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73782200 15371935744 18218 33554432000 4194304 4196468 140721127803552 140550279711920 140550944135810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72608 KiB
[startup+0.211027 s]*
/proc/loadavg: 1.00 1.01 1.02 5/216 32739
/proc/meminfo: memFree=15073248/32770624 swapFree=67108860/67108860
[pid=32708] ppid=32702 vsize=15011656 memory=86248 CPUtime=0.25 cores=1,3,5,7
/proc/32708/stat : 32708 (java) S 32702 32708 32649 0 -1 1077944320 9967 0 0 0 22 3 0 0 20 0 15 0 73782192 15371935744 21562 33554432000 4194304 4196468 140721127803552 140721127786096 140550944124663 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
/proc/32708/statm: 3752914 21562 2886 1 0 3715374 0
[pid=32708/tid=32712] ppid=32702 vsize=15011656 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/32708/task/32712/stat : 32712 (java) R 32702 32708 32649 0 -1 4202560 7883 0 0 0 17 2 0 0 20 0 15 0 73782193 15371935744 21562 33554432000 4194304 4196468 140721127803552 140550915949872 140550944146589 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32714] ppid=32702 vsize=15011656 memory=343 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32714/stat : 32714 (java) S 32702 32708 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73782195 15371935744 21562 33554432000 4194304 4196468 140721127803552 140550948366992 140550944134869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32717] ppid=32702 vsize=15011656 memory=140572744722447 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32717/stat : 32717 (java) S 32702 32708 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73782195 15371935744 21562 33554432000 4194304 4196468 140721127803552 140550739450384 140550944134869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32719] ppid=32702 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32719/stat : 32719 (java) S 32702 32708 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73782195 15371935744 21562 33554432000 4194304 4196468 140721127803552 140550738397584 140550944134869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32721] ppid=32702 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32721/stat : 32721 (java) S 32702 32708 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73782195 15371935744 21562 33554432000 4194304 4196468 140721127803552 140550737344784 140550944134869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32722] ppid=32702 vsize=15011656 memory=140572744304256 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32722/stat : 32722 (java) S 32702 32708 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73782196 15371935744 21562 33554432000 4194304 4196468 140721127803552 140550283922288 140550944135810 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32725] ppid=32702 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32725/stat : 32725 (java) S 32702 32708 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73782197 15371935744 21562 33554432000 4194304 4196468 140721127803552 140549583529504 140550944134869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32727] ppid=32702 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32727/stat : 32727 (java) S 32702 32708 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73782197 15371935744 21562 33554432000 4194304 4196468 140721127803552 140549315093872 140550944134869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32731] ppid=32702 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32731/stat : 32731 (java) S 32702 32708 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73782199 15371935744 21562 33554432000 4194304 4196468 140721127803552 140548940585296 140550944143259 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32733] ppid=32702 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32733/stat : 32733 (java) S 32702 32708 32649 0 -1 1077944384 449 0 0 0 0 0 0 0 20 0 15 0 73782200 15371935744 21562 33554432000 4194304 4196468 140721127803552 140550282869104 140550944135810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32734] ppid=32702 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32734/stat : 32734 (java) S 32702 32708 32649 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 73782200 15371935744 21562 33554432000 4194304 4196468 140721127803552 140550281816304 140550944135810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32735] ppid=32702 vsize=15011656 memory=140572744304256 CPUtime=0.03 cores=1,3,5,7
/proc/32708/task/32735/stat : 32735 (java) R 32702 32708 32649 0 -1 4202560 279 0 0 0 3 0 0 0 20 0 15 0 73782200 15371935744 21562 33554432000 4194304 4196468 140721127803552 140550280763504 140550923259155 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32737] ppid=32702 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32737/stat : 32737 (java) S 32702 32708 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73782200 15371935744 21562 33554432000 4194304 4196468 140721127803552 140548442679520 140550944134869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32739] ppid=32702 vsize=15011656 memory=140572744304256 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32739/stat : 32739 (java) S 32702 32708 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73782200 15371935744 21562 33554432000 4194304 4196468 140721127803552 140550279711920 140550944135810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86248 KiB
[startup+0.310751 s]*
/proc/loadavg: 1.00 1.01 1.02 4/216 32739
/proc/meminfo: memFree=15066424/32770624 swapFree=67108860/67108860
[pid=32708] ppid=32702 vsize=15011656 memory=89624 CPUtime=0.42 cores=1,3,5,7
/proc/32708/stat : 32708 (java) S 32702 32708 32649 0 -1 1077944320 10497 0 0 0 39 3 0 0 20 0 15 0 73782192 15371935744 22406 33554432000 4194304 4196468 140721127803552 140721127786096 140550944124663 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
/proc/32708/statm: 3752914 22406 2979 1 0 3715374 0
[pid=32708/tid=32712] ppid=32702 vsize=15011656 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/32708/task/32712/stat : 32712 (java) R 32702 32708 32649 0 -1 4202560 8250 0 0 0 27 2 0 0 20 0 15 0 73782193 15371935744 22406 33554432000 4194304 4196468 140721127803552 140550915925120 140550928205150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32714] ppid=32702 vsize=15011656 memory=10572 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32714/stat : 32714 (java) S 32702 32708 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73782195 15371935744 22406 33554432000 4194304 4196468 140721127803552 140550948366992 140550944134869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32717] ppid=32702 vsize=15011656 memory=140572744722411 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32717/stat : 32717 (java) S 32702 32708 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73782195 15371935744 22406 33554432000 4194304 4196468 140721127803552 140550739450384 140550944134869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32719] ppid=32702 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32719/stat : 32719 (java) S 32702 32708 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73782195 15371935744 22406 33554432000 4194304 4196468 140721127803552 140550738397584 140550944134869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32721] ppid=32702 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32721/stat : 32721 (java) S 32702 32708 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73782195 15371935744 22406 33554432000 4194304 4196468 140721127803552 140550737344784 140550944134869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32722] ppid=32702 vsize=15011656 memory=140572744304256 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32722/stat : 32722 (java) S 32702 32708 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73782196 15371935744 22406 33554432000 4194304 4196468 140721127803552 140550283922288 140550944135810 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32725] ppid=32702 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32725/stat : 32725 (java) S 32702 32708 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73782197 15371935744 22406 33554432000 4194304 4196468 140721127803552 140549583529504 140550944134869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32727] ppid=32702 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32727/stat : 32727 (java) S 32702 32708 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73782197 15371935744 22406 33554432000 4194304 4196468 140721127803552 140549315093872 140550944134869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32731] ppid=32702 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32731/stat : 32731 (java) S 32702 32708 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73782199 15371935744 22406 33554432000 4194304 4196468 140721127803552 140548940585296 140550944143259 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32733] ppid=32702 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32708/task/32733/stat : 32733 (java) S 32702 32708 32649 0 -1 1077944384 504 0 0 0 2 0 0 0 20 0 15 0 73782200 15371935744 22406 33554432000 4194304 4196468 140721127803552 140550282869104 140550944135810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32734] ppid=32702 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/32708/task/32734/stat : 32734 (java) R 32702 32708 32649 0 -1 4202560 110 0 0 0 2 0 0 0 20 0 15 0 73782200 15371935744 22406 33554432000 4194304 4196468 140721127803552 140550281816304 140550922146872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32735] ppid=32702 vsize=15011656 memory=140572744304256 CPUtime=0.07 cores=1,3,5,7
/proc/32708/task/32735/stat : 32735 (java) R 32702 32708 32649 0 -1 1077944384 299 0 0 0 7 0 0 0 20 0 15 0 73782200 15371935744 22406 33554432000 4194304 4196468 140721127803552 140550280763504 140550944135810 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32737] ppid=32702 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32737/stat : 32737 (java) S 32702 32708 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73782200 15371935744 22406 33554432000 4194304 4196468 140721127803552 140548442679520 140550944134869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32739] ppid=32702 vsize=15011656 memory=140572744304256 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32739/stat : 32739 (java) S 32702 32708 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73782200 15371935744 22406 33554432000 4194304 4196468 140721127803552 140550279711920 140550944135810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89624 KiB
[startup+0.700843 s]
/proc/loadavg: 1.00 1.01 1.02 4/216 32739
/proc/meminfo: memFree=15019668/32770624 swapFree=67108860/67108860
[pid=32708] ppid=32702 vsize=15017928 memory=125684 CPUtime=0.9 cores=1,3,5,7
/proc/32708/stat : 32708 (java) S 32702 32708 32649 0 -1 1077944320 17129 0 0 0 85 5 0 0 20 0 15 0 73782192 15378358272 31421 33554432000 4194304 4196468 140721127803552 140721127786096 140550944124663 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
/proc/32708/statm: 3754482 31421 3135 1 0 3715886 0
[pid=32708/tid=32712] ppid=32702 vsize=15017928 memory=33 CPUtime=0.62 cores=1,3,5,7
/proc/32708/task/32712/stat : 32712 (java) R 32702 32708 32649 0 -1 4202560 14547 0 0 0 58 4 0 0 20 0 15 0 73782193 15378358272 31421 33554432000 4194304 4196468 140721127803552 140550915960848 140550944146589 0 4 0 25189583 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32714] ppid=32702 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32714/stat : 32714 (java) S 32702 32708 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73782195 15378358272 31421 33554432000 4194304 4196468 140721127803552 140550948366992 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32717] ppid=32702 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32717/stat : 32717 (java) S 32702 32708 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73782195 15378358272 31421 33554432000 4194304 4196468 140721127803552 140550739450384 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32719] ppid=32702 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32719/stat : 32719 (java) S 32702 32708 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73782195 15378358272 31421 33554432000 4194304 4196468 140721127803552 140550738397584 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32721] ppid=32702 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32721/stat : 32721 (java) S 32702 32708 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73782195 15378358272 31421 33554432000 4194304 4196468 140721127803552 140550737344784 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32722] ppid=32702 vsize=15017928 memory=281112521773873 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32722/stat : 32722 (java) S 32702 32708 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73782196 15378358272 31421 33554432000 4194304 4196468 140721127803552 140550283922288 140550944135810 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32725] ppid=32702 vsize=15017928 memory=3907217069518880800 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32725/stat : 32725 (java) S 32702 32708 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73782197 15378358272 31421 33554432000 4194304 4196468 140721127803552 140549583529504 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32727] ppid=32702 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32727/stat : 32727 (java) S 32702 32708 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73782197 15378358272 31421 33554432000 4194304 4196468 140721127803552 140549315093872 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32731] ppid=32702 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32731/stat : 32731 (java) S 32702 32708 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73782199 15378358272 31421 33554432000 4194304 4196468 140721127803552 140548940585296 140550944143259 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32733] ppid=32702 vsize=15017928 memory=7809523229951467574 CPUtime=0.05 cores=1,3,5,7
/proc/32708/task/32733/stat : 32733 (java) S 32702 32708 32649 0 -1 1077944384 544 0 0 0 5 0 0 0 20 0 15 0 73782200 15378358272 31421 33554432000 4194304 4196468 140721127803552 140550282869104 140550944135810 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32734] ppid=32702 vsize=15017928 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32708/task/32734/stat : 32734 (java) S 32702 32708 32649 0 -1 1077944384 319 0 0 0 7 0 0 0 20 0 15 0 73782200 15378358272 31421 33554432000 4194304 4196468 140721127803552 140550281816304 140550944135810 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32735] ppid=32702 vsize=15017928 memory=-3535359994705171810 CPUtime=0.14 cores=1,3,5,7
/proc/32708/task/32735/stat : 32735 (java) S 32702 32708 32649 0 -1 1077944384 380 0 0 0 14 0 0 0 20 0 15 0 73782200 15378358272 31421 33554432000 4194304 4196468 140721127803552 140550280763504 140550944135810 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32737] ppid=32702 vsize=15017928 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32737/stat : 32737 (java) S 32702 32708 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73782200 15378358272 31421 33554432000 4194304 4196468 140721127803552 140548442679520 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32739] ppid=32702 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32739/stat : 32739 (java) S 32702 32708 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73782200 15378358272 31421 33554432000 4194304 4196468 140721127803552 140550279711920 140550944135810 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
Current children cumulated CPU time: 0.9 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 125684 KiB
[startup+1.50516 s]
/proc/loadavg: 1.08 1.03 1.02 8/216 32739
/proc/meminfo: memFree=14820784/32770624 swapFree=67108860/67108860
[pid=32708] ppid=32702 vsize=15020052 memory=406612 CPUtime=3.11 cores=1,3,5,7
/proc/32708/stat : 32708 (java) S 32702 32708 32649 0 -1 1077944320 19887 0 0 0 301 10 0 0 20 0 15 0 73782192 15380533248 101653 33554432000 4194304 4196468 140721127803552 140721127786096 140550944124663 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
/proc/32708/statm: 3755013 101653 3196 1 0 3716398 0
[pid=32708/tid=32712] ppid=32702 vsize=15020052 memory=22444 CPUtime=1.42 cores=1,3,5,7
/proc/32708/task/32712/stat : 32712 (java) D 32702 32708 32649 0 -1 4202560 15559 0 0 0 133 9 0 0 20 0 15 0 73782193 15380533248 101653 33554432000 4194304 4196468 140721127803552 140550915960256 140550944146589 0 4 0 25189583 18446744071580419588 0 0 -1 5 0 0 3 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32714] ppid=32702 vsize=15020052 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32714/stat : 32714 (java) S 32702 32708 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73782195 15380533248 101653 33554432000 4194304 4196468 140721127803552 140550948366992 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32717] ppid=32702 vsize=15020052 memory=56 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32717/stat : 32717 (java) S 32702 32708 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73782195 15380533248 101653 33554432000 4194304 4196468 140721127803552 140550739450384 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32719] ppid=32702 vsize=15020052 memory=10799 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32719/stat : 32719 (java) S 32702 32708 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73782195 15380533248 101653 33554432000 4194304 4196468 140721127803552 140550738397584 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32721] ppid=32702 vsize=15020052 memory=25315 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32721/stat : 32721 (java) S 32702 32708 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73782195 15380533248 101653 33554432000 4194304 4196468 140721127803552 140550737344784 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32722] ppid=32702 vsize=15020052 memory=-1161699032755964503 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32722/stat : 32722 (java) S 32702 32708 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73782196 15380533248 101653 33554432000 4194304 4196468 140721127803552 140550283922288 140550944135810 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
################
# More data... #
################
[pid=32708/tid=32739] ppid=32702 vsize=15024148 memory=920 CPUtime=0.09 cores=1,3,5,7
/proc/32708/task/32739/stat : 32739 (java) S 32702 32708 32649 0 -1 1077944384 620 0 0 0 4 5 0 0 20 0 15 0 73782200 15384727552 1756779 33554432000 4194304 4196468 140721127803552 140550279711920 140550944135810 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
Current children cumulated CPU time: 212.79 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 7027116 KiB
[startup+222.301 s]
/proc/loadavg: 2.48 1.74 1.31 7/215 32742
/proc/meminfo: memFree=320044/32770624 swapFree=67108860/67108860
[pid=32708] ppid=32702 vsize=15024148 memory=8202512 CPUtime=286.42 cores=1,3,5,7
/proc/32708/stat : 32708 (java) S 32702 32708 32649 0 -1 1077944320 520024 0 0 0 27517 1125 0 0 20 0 15 0 73782192 15384727552 2050628 33554432000 4194304 4196468 140721127803552 140721127786096 140550944124663 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
/proc/32708/statm: 3756037 2050628 3242 1 0 3717422 0
[pid=32708/tid=32712] ppid=32702 vsize=15024148 memory=8202512 CPUtime=206.27 cores=1,3,5,7
/proc/32708/task/32712/stat : 32712 (java) R 32702 32708 32649 0 -1 4202560 117818 0 0 0 20569 58 0 0 20 0 15 0 73782193 15384727552 2050628 33554432000 4194304 4196468 140721127803552 140550915955312 140550406898718 0 4 0 25189583 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32714] ppid=32702 vsize=15024148 memory=8202512 CPUtime=15.69 cores=1,3,5,7
/proc/32708/task/32714/stat : 32714 (java) S 32702 32708 32649 0 -1 1077944384 70768 0 0 0 1364 205 0 0 20 0 15 0 73782195 15384727552 2050628 33554432000 4194304 4196468 140721127803552 140550948366992 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32717] ppid=32702 vsize=15024148 memory=8202512 CPUtime=15.69 cores=1,3,5,7
/proc/32708/task/32717/stat : 32717 (java) S 32702 32708 32649 0 -1 1077944384 79480 0 0 0 1299 270 0 0 20 0 15 0 73782195 15384727552 2050628 33554432000 4194304 4196468 140721127803552 140550739450384 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32719] ppid=32702 vsize=15024148 memory=7991664 CPUtime=15.75 cores=1,3,5,7
/proc/32708/task/32719/stat : 32719 (java) S 32702 32708 32649 0 -1 1077944384 95051 0 0 0 1308 267 0 0 20 0 15 0 73782195 15384727552 2050628 33554432000 4194304 4196468 140721127803552 140550738397584 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32721] ppid=32702 vsize=15024148 memory=7895424 CPUtime=15.73 cores=1,3,5,7
/proc/32708/task/32721/stat : 32721 (java) S 32702 32708 32649 0 -1 1077944384 97852 0 0 0 1267 306 0 0 20 0 15 0 73782195 15384727552 2050628 33554432000 4194304 4196468 140721127803552 140550737344784 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32722] ppid=32702 vsize=15024148 memory=8202512 CPUtime=0.04 cores=1,3,5,7
/proc/32708/task/32722/stat : 32722 (java) S 32702 32708 32649 0 -1 1077944384 1102 0 0 0 4 0 0 0 20 0 15 0 73782196 15384727552 2050628 33554432000 4194304 4196468 140721127803552 140550283922288 140550944135810 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32725] ppid=32702 vsize=15024148 memory=8202512 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32725/stat : 32725 (java) S 32702 32708 32649 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 73782197 15384727552 2050628 33554432000 4194304 4196468 140721127803552 140549583529568 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32727] ppid=32702 vsize=15024148 memory=7240804 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32727/stat : 32727 (java) S 32702 32708 32649 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 73782197 15384727552 2050628 33554432000 4194304 4196468 140721127803552 140549315093888 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32731] ppid=32702 vsize=15024148 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32731/stat : 32731 (java) S 32702 32708 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73782199 15384727552 2050628 33554432000 4194304 4196468 140721127803552 140548940585296 140550944143259 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32733] ppid=32702 vsize=15024148 memory=7085964663037977408 CPUtime=8.7 cores=1,3,5,7
/proc/32708/task/32733/stat : 32733 (java) S 32702 32708 32649 0 -1 1077944384 22531 0 0 0 867 3 0 0 20 0 15 0 73782200 15384727552 2050628 33554432000 4194304 4196468 140721127803552 140550282869104 140550944135810 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32734] ppid=32702 vsize=15024148 memory=4136 CPUtime=7.17 cores=1,3,5,7
/proc/32708/task/32734/stat : 32734 (java) S 32702 32708 32649 0 -1 1077944384 15034 0 0 0 714 3 0 0 20 0 15 0 73782200 15384727552 2050628 33554432000 4194304 4196468 140721127803552 140550281816304 140550944135810 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32735] ppid=32702 vsize=15024148 memory=8202512 CPUtime=1.16 cores=1,3,5,7
/proc/32708/task/32735/stat : 32735 (java) S 32702 32708 32649 0 -1 1077944384 18361 0 0 0 114 2 0 0 20 0 15 0 73782200 15384727552 2050628 33554432000 4194304 4196468 140721127803552 140550280763504 140550944135810 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32737] ppid=32702 vsize=15024148 memory=7991664 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32737/stat : 32737 (java) S 32702 32708 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73782200 15384727552 2050628 33554432000 4194304 4196468 140721127803552 140548442679520 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32739] ppid=32702 vsize=15024148 memory=2436 CPUtime=0.13 cores=1,3,5,7
/proc/32708/task/32739/stat : 32739 (java) S 32702 32708 32649 0 -1 1077944384 650 0 0 0 6 7 0 0 20 0 15 0 73782200 15384727552 2050628 33554432000 4194304 4196468 140721127803552 140550279711920 140550944135810 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
Current children cumulated CPU time: 286.42 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 8202512 KiB
[startup+282.301 s]
/proc/loadavg: 2.37 1.86 1.38 6/215 32743
/proc/meminfo: memFree=246964/32770624 swapFree=67108860/67108860
[pid=32708] ppid=32702 vsize=15024148 memory=10815412 CPUtime=385.98 cores=1,3,5,7
/proc/32708/stat : 32708 (java) S 32702 32708 32649 0 -1 1077944320 1113052 0 0 0 34483 4115 0 0 20 0 15 0 73782192 15384727552 2703853 33554432000 4194304 4196468 140721127803552 140721127786096 140550944124663 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
/proc/32708/statm: 3756037 2703853 3242 1 0 3717422 0
[pid=32708/tid=32712] ppid=32702 vsize=15024148 memory=8843252 CPUtime=253.1 cores=1,3,5,7
/proc/32708/task/32712/stat : 32712 (java) S 32702 32708 32649 0 -1 1077944384 400455 0 0 0 25219 91 0 0 20 0 15 0 73782193 15384727552 2703853 33554432000 4194304 4196468 140721127803552 140550915964016 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32714] ppid=32702 vsize=15024148 memory=10646776 CPUtime=28.72 cores=1,3,5,7
/proc/32708/task/32714/stat : 32714 (java) R 32702 32708 32649 0 -1 12593216 153963 0 0 0 1861 1011 0 0 20 0 15 0 73782195 15384727552 2703853 33554432000 4194304 4196468 140721127803552 140550948367192 140550929152555 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32717] ppid=32702 vsize=15024148 memory=15876 CPUtime=28.76 cores=1,3,5,7
/proc/32708/task/32717/stat : 32717 (java) R 32702 32708 32649 0 -1 4202560 153489 0 0 0 1995 881 0 0 20 0 15 0 73782195 15384727552 2703853 33554432000 4194304 4196468 140721127803552 140550739450272 140550929152055 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32719] ppid=32702 vsize=15024148 memory=91 CPUtime=28.81 cores=1,3,5,7
/proc/32708/task/32719/stat : 32719 (java) R 32702 32708 32649 0 -1 12593216 168803 0 0 0 1873 1008 0 0 20 0 15 0 73782195 15384727552 2703853 33554432000 4194304 4196468 140721127803552 140550738397784 140550929152519 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32721] ppid=32702 vsize=15024148 memory=9279804 CPUtime=28.71 cores=1,3,5,7
/proc/32708/task/32721/stat : 32721 (java) R 32702 32708 32649 0 -1 12593216 173309 0 0 0 1780 1091 0 0 20 0 15 0 73782195 15384727552 2703853 33554432000 4194304 4196468 140721127803552 140550737344984 140550929152519 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32722] ppid=32702 vsize=15024148 memory=10750436 CPUtime=0.06 cores=1,3,5,7
/proc/32708/task/32722/stat : 32722 (java) S 32702 32708 32649 0 -1 1077944384 1360 0 0 0 5 1 0 0 20 0 15 0 73782196 15384727552 2703853 33554432000 4194304 4196468 140721127803552 140550283920800 140550944134869 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32725] ppid=32702 vsize=15024148 memory=10646756 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32725/stat : 32725 (java) S 32702 32708 32649 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 73782197 15384727552 2703853 33554432000 4194304 4196468 140721127803552 140549583529568 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32727] ppid=32702 vsize=15024148 memory=10375612 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32727/stat : 32727 (java) S 32702 32708 32649 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 73782197 15384727552 2703853 33554432000 4194304 4196468 140721127803552 140549315093888 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32731] ppid=32702 vsize=15024148 memory=10375612 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32731/stat : 32731 (java) S 32702 32708 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73782199 15384727552 2703853 33554432000 4194304 4196468 140721127803552 140548940585296 140550944143259 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32733] ppid=32702 vsize=15024148 memory=4136 CPUtime=8.92 cores=1,3,5,7
/proc/32708/task/32733/stat : 32733 (java) S 32702 32708 32649 0 -1 1077944384 23935 0 0 0 889 3 0 0 20 0 15 0 73782200 15384727552 2703853 33554432000 4194304 4196468 140721127803552 140550282869104 140550944135810 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32734] ppid=32702 vsize=15024148 memory=22444 CPUtime=7.42 cores=1,3,5,7
/proc/32708/task/32734/stat : 32734 (java) S 32702 32708 32649 0 -1 1077944384 16227 0 0 0 739 3 0 0 20 0 15 0 73782200 15384727552 2703853 33554432000 4194304 4196468 140721127803552 140550281816304 140550944135810 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 21 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32735] ppid=32702 vsize=15024148 memory=10158836 CPUtime=1.2 cores=1,3,5,7
/proc/32708/task/32735/stat : 32735 (java) S 32702 32708 32649 0 -1 1077944384 19438 0 0 0 118 2 0 0 20 0 15 0 73782200 15384727552 2703853 33554432000 4194304 4196468 140721127803552 140550280763504 140550944135810 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32737] ppid=32702 vsize=15024148 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32737/stat : 32737 (java) S 32702 32708 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73782200 15384727552 2703853 33554432000 4194304 4196468 140721127803552 140548442679520 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32739] ppid=32702 vsize=15024148 memory=6791534058613427641 CPUtime=0.18 cores=1,3,5,7
/proc/32708/task/32739/stat : 32739 (java) S 32702 32708 32649 0 -1 1077944384 693 0 0 0 8 10 0 0 20 0 15 0 73782200 15384727552 2703853 33554432000 4194304 4196468 140721127803552 140550279711920 140550944135810 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
Current children cumulated CPU time: 385.98 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 10815412 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+331.11 s]
/proc/loadavg: 2.97 2.14 1.50 4/220 32750
/proc/meminfo: memFree=216144/32770624 swapFree=67108860/67108860
[pid=32708] ppid=32702 vsize=15681864 memory=11788492 CPUtime=479.86 cores=1,3,5,7
/proc/32708/stat : 32708 (java) S 32702 32708 32649 0 -1 1077944320 1740128 0 0 0 43385 4601 0 0 20 0 19 0 73782192 16058228736 2947123 33554432000 4194304 4196468 140721127803552 140721127786096 140550944124663 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
/proc/32708/statm: 3920466 2947123 3277 1 0 3881322 0
[pid=32745] ppid=32708 vsize=204800 memory=181184 CPUtime=0.82 cores=1,3,5,7
/proc/32745/stat : 32745 (minisat_release) R 32708 32708 32649 0 -1 4202496 45796 0 1 0 63 19 0 0 20 0 1 0 73815217 209715200 45296 33554432000 4194304 4308513 140732709538848 140732708487256 4279458 0 4 0 8388610 0 0 0 17 1 0 0 2 0 0 6409496 6410680 15486976 140732709544623 140732709545134 140732709545134 140732709547973 0
/proc/32745/statm: 51200 45296 316 28 0 47440 0
[pid=32708/tid=32712] ppid=32702 vsize=15681864 memory=11787524 CPUtime=285.69 cores=1,3,5,7
/proc/32708/task/32712/stat : 32712 (java) S 32702 32708 32649 0 -1 1077944384 517444 0 0 0 28453 116 0 0 20 0 19 0 73782193 16058228736 2947123 33554432000 4194304 4196468 140721127803552 140550915963904 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32714] ppid=32702 vsize=15681864 memory=11787576 CPUtime=43.57 cores=1,3,5,7
/proc/32708/task/32714/stat : 32714 (java) S 32702 32708 32649 0 -1 1077944384 246864 0 0 0 3227 1130 0 0 20 0 19 0 73782195 16058228736 2947123 33554432000 4194304 4196468 140721127803552 140550948366992 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32717] ppid=32702 vsize=15681864 memory=11788492 CPUtime=43.77 cores=1,3,5,7
/proc/32708/task/32717/stat : 32717 (java) S 32702 32708 32649 0 -1 1077944384 254557 0 0 0 3390 987 0 0 20 0 19 0 73782195 16058228736 2947123 33554432000 4194304 4196468 140721127803552 140550739450384 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32719] ppid=32702 vsize=15681864 memory=0 CPUtime=43.83 cores=1,3,5,7
/proc/32708/task/32719/stat : 32719 (java) S 32702 32708 32649 0 -1 1077944384 331504 0 0 0 3272 1111 0 0 20 0 19 0 73782195 16058228736 2947123 33554432000 4194304 4196468 140721127803552 140550738397584 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32721] ppid=32702 vsize=15681864 memory=11787628 CPUtime=43.74 cores=1,3,5,7
/proc/32708/task/32721/stat : 32721 (java) S 32702 32708 32649 0 -1 1077944384 305418 0 0 0 3158 1216 0 0 20 0 19 0 73782195 16058228736 2947123 33554432000 4194304 4196468 140721127803552 140550737344784 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32722] ppid=32702 vsize=15681864 memory=11787628 CPUtime=0.27 cores=1,3,5,7
/proc/32708/task/32722/stat : 32722 (java) S 32702 32708 32649 0 -1 1077944384 15991 0 0 0 18 9 0 0 20 0 19 0 73782196 16058228736 2947123 33554432000 4194304 4196468 140721127803552 140550283922288 140550944135810 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32725] ppid=32702 vsize=15681864 memory=11788492 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32725/stat : 32725 (java) S 32702 32708 32649 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 73782197 16058228736 2947123 33554432000 4194304 4196468 140721127803552 140549583529568 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32727] ppid=32702 vsize=15681864 memory=11788492 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32727/stat : 32727 (java) S 32702 32708 32649 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 73782197 16058228736 2947123 33554432000 4194304 4196468 140721127803552 140549315093888 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32731] ppid=32702 vsize=15681864 memory=11787628 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32731/stat : 32731 (java) S 32702 32708 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73782199 16058228736 2947123 33554432000 4194304 4196468 140721127803552 140548940585296 140550944143259 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32733] ppid=32702 vsize=15681864 memory=11787628 CPUtime=9.42 cores=1,3,5,7
/proc/32708/task/32733/stat : 32733 (java) S 32702 32708 32649 0 -1 1077944384 25364 0 0 0 939 3 0 0 20 0 19 0 73782200 16058228736 2947123 33554432000 4194304 4196468 140721127803552 140550282869104 140550944135810 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32734] ppid=32702 vsize=15681864 memory=11787628 CPUtime=7.92 cores=1,3,5,7
/proc/32708/task/32734/stat : 32734 (java) S 32702 32708 32649 0 -1 1077944384 18296 0 0 0 789 3 0 0 20 0 19 0 73782200 16058228736 2947123 33554432000 4194304 4196468 140721127803552 140550281816304 140550944135810 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 21 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32735] ppid=32702 vsize=15681864 memory=11787576 CPUtime=1.32 cores=1,3,5,7
/proc/32708/task/32735/stat : 32735 (java) S 32702 32708 32649 0 -1 1077944384 21755 0 0 0 130 2 0 0 20 0 19 0 73782200 16058228736 2947123 33554432000 4194304 4196468 140721127803552 140550280763504 140550944135810 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32737] ppid=32702 vsize=15681864 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32737/stat : 32737 (java) S 32702 32708 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73782200 16058228736 2947123 33554432000 4194304 4196468 140721127803552 140548442679520 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32739] ppid=32702 vsize=15681864 memory=4136 CPUtime=0.24 cores=1,3,5,7
/proc/32708/task/32739/stat : 32739 (java) S 32702 32708 32649 0 -1 1077944384 1422 0 0 0 11 13 0 0 20 0 19 0 73782200 16058228736 2947123 33554432000 4194304 4196468 140721127803552 140550279711920 140550944135810 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32746] ppid=32702 vsize=15681864 memory=22444 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32746/stat : 32746 (java) S 32702 32708 32649 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 73815217 16058228736 2947123 33554432000 4194304 4196468 140721127803552 140550389180096 140550944149273 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32748] ppid=32702 vsize=15681864 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32748/stat : 32748 (java) S 32702 32708 32649 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 19 0 73815223 16058228736 2947123 33554432000 4194304 4196468 140721127803552 140548040015632 140550944146589 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32749] ppid=32702 vsize=15681864 memory=2436 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32749/stat : 32749 (java) S 32702 32708 32649 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 73815223 16058228736 2947123 33554432000 4194304 4196468 140721127803552 140547905793680 140550944146589 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
[pid=32708/tid=32750] ppid=32702 vsize=15681864 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/32708/task/32750/stat : 32750 (java) S 32702 32708 32649 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 73815226 16058228736 2947123 33554432000 4194304 4196468 140721127803552 140547637370016 140550944134869 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23662592 140721127805939 140721127806217 140721127806217 140721127808975 0
Current children cumulated CPU time: 480.68 s
Current children cumulated vsize: 15886664 KiB
Current children cumulated memory: 11969676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+331.368 s]
# the end of solver process 32708 was just reported to runsolver
# cumulated CPU time of all completed processes: user=434.551 s, system=46.456 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+331.206 s]*
/proc/loadavg: 2.97 2.14 1.50 3/202 32751
/proc/meminfo: memFree=3902068/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+331.31 s]
/proc/loadavg: 2.97 2.14 1.50 3/202 32751
/proc/meminfo: memFree=3902068/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 331.369
CPU time (s): 481.007
CPU user time (s): 434.551
CPU system time (s): 46.456
CPU usage (%): 145.158
Max. virtual memory (cumulated for all children) (KiB): 15886664
Max. memory (cumulated for all children) (KiB): 11969676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 434.551
system time used= 46.456
maximum resident set size= 11797936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1786375
page faults= 1
swaps= 0
block input operations= 2760
block output operations= 165104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14664
involuntary context switches= 2751
# summary of solver processes directly reported to runsolver:
# pid: 32708
# total CPU time (s): 481.007
# total CPU user time (s): 434.551
# total CPU system time (s): 46.456
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.98541 second user time and 3.26242 second system time
The end