0.67/0.52
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Mon Jul 23 12:22:59 CEST 2018
0.67/0.55 c PID: 4722
0.67/0.55 c IP: 172.20.3.105
0.67/0.55 c HOST: node105.alineos.net
0.67/0.56 c (0,0) Parsing Begin
1.21/0.86 c (0,0) Parsing End
1.21/0.86 c (0,0) CSP: 38 int (0 aux), 0 bool (0 aux), 28 ctr, max domain size 27
1.21/0.86 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.86 c (0,0) Constraint Name Generate Begin
1.21/0.87 c (0,0) Ctr:HOME/instance-4293358-1532341378.xml,AllDifferent:Dist:Eq:IntVar
1.21/0.87 c (0,0) Constraint Name Generate End
1.21/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.87 c (0,0) CSP to CSPinCNF Begin
1.39/0.97 c (0,0) translated 3 (10%) constraints
1.39/0.98 c (0,0) translated 6 (20%) constraints
1.39/0.99 c (0,0) translated 9 (30%) constraints
1.39/1.00 c (0,0) translated 12 (40%) constraints
1.60/1.01 c (0,0) translated 14 (50%) constraints
1.60/1.02 c (0,0) translated 17 (60%) constraints
1.60/1.03 c (0,0) translated 20 (70%) constraints
1.60/1.03 c (0,0) translated 23 (80%) constraints
1.60/1.04 c (0,0) translated 26 (90%) constraints
1.60/1.08 c (0,0) translated 28 (100%) constraints
2.14/1.25 c (0,0) STATISTICS1:HOME/instance-4293358-1532341378.xml,AllDifferent:Dist:Eq:IntVar,38,473,702,27,26,3,702:104;27:66;26:325,27:364;26:806,26:2;12:2;2:417;1:52,3:104;2:391;1:76,
2.14/1.25 c (0,0) ===========================================
2.14/1.25 c (0,0) Order
2.14/1.25 c (0,0) ===========================================
2.14/1.27 c (0,0) translated 48 (10%) constraints
2.14/1.28 c (0,0) translated 95 (20%) constraints
2.14/1.29 c (0,0) translated 142 (30%) constraints
2.41/1.30 c (0,0) translated 190 (40%) constraints
2.41/1.31 c (0,0) translated 237 (50%) constraints
2.41/1.31 c (0,0) translated 284 (60%) constraints
2.41/1.32 c (0,0) translated 332 (70%) constraints
2.41/1.33 c (0,0) translated 379 (80%) constraints
2.41/1.33 c (0,0) translated 426 (90%) constraints
2.41/1.34 c (0,0) translated 473 (100%) constraints
2.41/1.34 c (0,0) CSP to CSPinCNF End
2.41/1.34 c (0,0) CSP: 38 int (0 aux), 0 bool (0 aux), 473 ctr, max domain size 27
2.41/1.34 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.41/1.34 c (0,0) CSPinCNF Propagation Begin
2.41/1.36 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.41/1.36 c (0,0) CSPinCNF Propagation End
2.41/1.36 c (0,0) CSP: 38 int (0 aux), 0 bool (0 aux), 473 ctr, max domain size 27
2.41/1.36 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.41/1.36 c (0,0) Simplify CSPinCNF Begin
2.69/1.46 c (0,0) Simplify CSPinCNF End
2.69/1.47 c (0,0) CSP: 38 int (0 aux), 834 bool (834 aux), 1307 ctr, max domain size 27
2.69/1.47 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.69/1.47 c (0,0) Calculate Precise Domain Begin
2.69/1.47 c (0,0) 0 values are removed by re-calculation
2.69/1.47 c (0,0) Calculate Precise Domain End
2.69/1.47 c (0,0) CSP: 38 int (0 aux), 834 bool (834 aux), 1307 ctr, max domain size 27
2.69/1.47 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.69/1.47 c (0,0) CSPinCNF to SatSolver Begin
3.64/1.74 c (1,1) 131 (10 %) CSP clauses are encoded (1796 SAT variables, 37454 SAT clauses)
3.64/1.76 c (1,1) 262 (20 %) CSP clauses are encoded (1796 SAT variables, 39847 SAT clauses)
3.64/1.77 c (1,1) 393 (30 %) CSP clauses are encoded (1796 SAT variables, 42173 SAT clauses)
3.64/1.78 c (1,1) 523 (40 %) CSP clauses are encoded (1796 SAT variables, 44478 SAT clauses)
3.64/1.79 c (1,1) 654 (50 %) CSP clauses are encoded (1796 SAT variables, 46784 SAT clauses)
3.95/1.81 c (1,1) 785 (60 %) CSP clauses are encoded (1796 SAT variables, 49090 SAT clauses)
3.95/1.82 c (1,1) 915 (70 %) CSP clauses are encoded (1796 SAT variables, 51395 SAT clauses)
3.95/1.83 c (1,1) 1046 (80 %) CSP clauses are encoded (1796 SAT variables, 53701 SAT clauses)
3.95/1.84 c (1,1) 1177 (90 %) CSP clauses are encoded (1796 SAT variables, 56032 SAT clauses)
3.95/1.85 c (1,1) 1307 (100 %) CSP clauses are encoded (1796 SAT variables, 58312 SAT clauses)
3.95/1.85 c (1,1) CSPinCNF to SatSolver End
3.95/1.85 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.95/1.88 c (1,1) STATISTICS2:HOME/instance-4293358-1532341378.xml,AllDifferent:Dist:Eq:IntVar,872,1307,702,27,26,3,702:104;27:132;26:650,27:496;26:1456;2:1668,26:2;12:2;2:1251;1:52,3:104;2:782;1:1744,
3.95/1.88 c (1,1) SatSolver.solve Begin
3.95/1.88 c (1,1) 1796 bool, 58313 clause
3.95/1.88 c (1,1) 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-4293358-1532341378.xml-scop-4722.cnf HOME/instance-4293358-1532341378.xml-scop-4722.cnf.out
24.32/21.89 c (21,0) c This is COMiniSatPS.
24.32/21.89 c (21,0) c WARNING: for repeatability, setting FPU to use double precision
24.32/21.89 c (21,0) c ============================[ Problem Statistics ]=============================
24.32/21.89 c (21,0) c | |
24.32/21.89 c (21,0) c | Number of variables: 1796 |
24.32/21.89 c (21,0) c | Number of clauses: 58313 |
24.32/21.89 c (21,0) c | Parse time: 0.01 s |
24.32/21.89 c (21,0) c | Eliminated clauses: 0.01 Mb |
24.32/21.89 c (21,0) c Reduced to 1379 vars, 57896 cls (grow=0)
24.32/21.89 c (21,0) c No iterative elimination performed. (vars=1379, c/v ratio=42.0)
24.32/21.89 c (21,0) c | Simplification time: 0.07 s |
24.32/21.89 c (21,0) c | |
24.32/21.89 c (21,0) c ============================[ Search Statistics ]==============================
24.32/21.89 c (21,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
24.32/21.89 c (21,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
24.32/21.89 c (21,0) c ===============================================================================
24.32/21.89 c (21,0) c ===============================================================================
24.32/21.89 c (21,0) c restarts : 47
24.32/21.89 c (21,0) c conflicts : 265197 (13284 /sec)
24.32/21.89 c (21,0) c decisions : 309522 (0.00 % random) (15505 /sec)
24.32/21.89 c (21,0) c propagations : 47437118 (2376221 /sec)
24.32/21.89 c (21,0) c conflict literals : 6455166 (22.31 % deleted)
24.32/21.89 c (21,0) c CPU time : 19.9633 s
24.32/21.89 c (21,0)
24.32/21.89 c (21,0) s SATISFIABLE
24.43/21.90 c (21,1) SatSolver.solve End
24.43/21.90 c (21,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
24.43/21.90 c (21,1) Show results Begin
24.43/21.91 c (21,1) ce[0][0][1] = 4
24.43/21.91 c (21,1) ce[0][0][2] = 17
24.43/21.91 c (21,1) ce[0][0][3] = 14
24.43/21.91 c (21,1) ce[0][1][2] = 13
24.43/21.91 c (21,1) ce[0][1][3] = 10
24.43/21.91 c (21,1) ce[0][2][3] = 3
24.43/21.91 c (21,1) ce[1][0][1] = 5
24.43/21.91 c (21,1) ce[1][0][2] = 26
24.43/21.91 c (21,1) ce[1][0][3] = 24
24.43/21.91 c (21,1) ce[1][1][2] = 21
24.43/21.91 c (21,1) ce[1][1][3] = 19
24.43/21.91 c (21,1) ce[1][2][3] = 2
24.43/21.91 c (21,1) ce[2][0][1] = 9
24.43/21.91 c (21,1) ce[2][0][2] = 7
24.43/21.91 c (21,1) ce[2][0][3] = 15
24.43/21.91 c (21,1) ce[2][1][2] = 16
24.43/21.91 c (21,1) ce[2][1][3] = 6
24.43/21.91 c (21,1) ce[2][2][3] = 22
24.43/21.91 c (21,1) cie[0][0] = 20
24.43/21.91 c (21,1) cie[0][1] = 11
24.43/21.91 c (21,1) cie[0][2] = 23
24.43/21.91 c (21,1) cie[0][3] = 18
24.43/21.91 c (21,1) cie[1][0] = 8
24.43/21.91 c (21,1) cie[1][1] = 12
24.43/21.91 c (21,1) cie[1][2] = 25
24.43/21.91 c (21,1) cie[1][3] = 1
24.43/21.91 c (21,1) cn[0][0] = 20
24.43/21.91 c (21,1) cn[0][1] = 16
24.43/21.91 c (21,1) cn[0][2] = 3
24.43/21.91 c (21,1) cn[0][3] = 6
24.43/21.91 c (21,1) cn[1][0] = 0
24.43/21.91 c (21,1) cn[1][1] = 5
24.43/21.91 c (21,1) cn[1][2] = 26
24.43/21.91 c (21,1) cn[1][3] = 24
24.43/21.91 c (21,1) cn[2][0] = 8
24.43/21.91 c (21,1) cn[2][1] = 17
24.43/21.91 c (21,1) cn[2][2] = 1
24.43/21.91 c (21,1) cn[2][3] = 23
24.43/21.91 s SATISFIABLE
24.43/21.91 v <instantiation>
24.43/21.91 v <list>cn[0][0] cn[0][1] cn[0][2] cn[0][3] cn[1][0] cn[1][1] cn[1][2] cn[1][3] cn[2][0] cn[2][1] cn[2][2] cn[2][3] ce[0][0][1] ce[0][0][2] ce[0][0][3] ce[0][1][2] ce[0][1][3] ce[0][2][3] ce[1][0][1] ce[1][0][2] ce[1][0][3] ce[1][1][2] ce[1][1][3] ce[1][2][3] ce[2][0][1] ce[2][0][2] ce[2][0][3] ce[2][1][2] ce[2][1][3] ce[2][2][3] cie[0][0] cie[0][1] cie[0][2] cie[0][3] cie[1][0] cie[1][1] cie[1][2] cie[1][3]</list>
24.43/21.91 v <values>20 16 3 6 0 5 26 24 8 17 1 23 4 17 14 13 10 3 5 26 24 21 19 2 9 7 15 16 6 22 20 11 23 18 8 12 25 1</values>
24.43/21.91 v </instantiation>
24.43/21.91 c (21,1) Show results End
24.43/21.91 c (21,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
24.43/21.91 c (21,1) 0,0,0,0,0,0,1,21,21,STOP-AFTER(ALL)
24.43/21.91 c END-Prog: Mon Jul 23 12:23:20 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 (4341 MiB free)
memory of node 1: 16384 MiB (11037 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293358-1532341378/watcher-4293358-1532341378 -o /tmp/evaluation-result-4293358-1532341378/solver-4293358-1532341378 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2302 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4293358-1532341378.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4722, runsolver pid=4719
Current StackSize limit: 8192 KiB
[startup+0.100114 s]*
/proc/loadavg: 2.07 2.02 2.04 3/220 4737
/proc/meminfo: memFree=15687348/32770624 swapFree=67108860/67108860
[pid=4722] ppid=4719 vsize=15011656 memory=73048 CPUtime=0.11 cores=0,2,4,6
/proc/4722/stat : 4722 (java) S 4719 4722 2271 0 -1 1077944320 6919 0 0 0 9 2 0 0 20 0 15 0 51701011 15371935744 18262 33554432000 4194304 4196468 140724992586448 140724992568992 140483130543863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
/proc/4722/statm: 3752914 18262 2780 1 0 3715374 0
[pid=4722/tid=4724] ppid=4719 vsize=15011656 memory=4714327218344530835 CPUtime=0.09 cores=0,2,4,6
/proc/4722/task/4724/stat : 4724 (java) R 4719 4722 2271 0 -1 4202560 5233 0 0 0 7 2 0 0 20 0 15 0 51701012 15371935744 18460 33554432000 4194304 4196468 140724992586448 140483102355848 140483110819677 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4725] ppid=4719 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4725/stat : 4725 (java) S 4719 4722 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51701013 15371935744 18460 33554432000 4194304 4196468 140724992586448 140483134786448 140483130554069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4726] ppid=4719 vsize=15011656 memory=140241631262336 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4726/stat : 4726 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51701013 15371935744 18460 33554432000 4194304 4196468 140724992586448 140482948942608 140483130554069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4727] ppid=4719 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4727/stat : 4727 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51701013 15371935744 18460 33554432000 4194304 4196468 140724992586448 140482947890320 140483130554069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4728] ppid=4719 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4728/stat : 4728 (java) S 4719 4722 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51701013 15371935744 18460 33554432000 4194304 4196468 140724992586448 140482946837520 140483130554069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4729] ppid=4719 vsize=15011656 memory=140241631262336 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4729/stat : 4729 (java) S 4719 4722 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51701015 15371935744 18460 33554432000 4194304 4196468 140724992586448 140482168924272 140483130555010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4730] ppid=4719 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4730/stat : 4730 (java) S 4719 4722 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51701015 15371935744 18460 33554432000 4194304 4196468 140724992586448 140481669358368 140483130554069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4731] ppid=4719 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4731/stat : 4731 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51701015 15371935744 18526 33554432000 4194304 4196468 140724992586448 140481400923248 140483130554069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4732] ppid=4719 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4732/stat : 4732 (java) S 4719 4722 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51701018 15371935744 18526 33554432000 4194304 4196468 140724992586448 140481026414672 140483130562459 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4733] ppid=4719 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4733/stat : 4733 (java) S 4719 4722 2271 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 51701018 15371935744 18526 33554432000 4194304 4196468 140724992586448 140482167872112 140483130555010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4734] ppid=4719 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4734/stat : 4734 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51701018 15371935744 18526 33554432000 4194304 4196468 140724992586448 140482166819312 140483130555010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4735] ppid=4719 vsize=15011656 memory=140241631262336 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4735/stat : 4735 (java) S 4719 4722 2271 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 15 0 51701018 15371935744 18526 33554432000 4194304 4196468 140724992586448 140482165767024 140483130555010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4736] ppid=4719 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4736/stat : 4736 (java) S 4719 4722 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51701018 15371935744 18526 33554432000 4194304 4196468 140724992586448 140480528509920 140483130554069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4737] ppid=4719 vsize=15011656 memory=140241631262336 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4737/stat : 4737 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51701018 15371935744 18526 33554432000 4194304 4196468 140724992586448 140482164713904 140483130555010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73048 KiB
[startup+0.210759 s]*
/proc/loadavg: 2.07 2.02 2.04 4/220 4737
/proc/meminfo: memFree=15673396/32770624 swapFree=67108860/67108860
[pid=4722] ppid=4719 vsize=15011656 memory=85624 CPUtime=0.26 cores=0,2,4,6
/proc/4722/stat : 4722 (java) S 4719 4722 2271 0 -1 1077944320 10364 0 0 0 23 3 0 0 20 0 15 0 51701011 15371935744 21406 33554432000 4194304 4196468 140724992586448 140724992568992 140483130543863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
/proc/4722/statm: 3752914 21406 2915 1 0 3715374 0
[pid=4722/tid=4724] ppid=4719 vsize=15011656 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/4722/task/4724/stat : 4724 (java) S 4719 4722 2271 0 -1 1077944384 8264 0 0 0 17 2 0 0 20 0 15 0 51701012 15371935744 21406 33554432000 4194304 4196468 140724992586448 140483102367472 140483130554069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4725] ppid=4719 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4725/stat : 4725 (java) S 4719 4722 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51701013 15371935744 21406 33554432000 4194304 4196468 140724992586448 140483134786448 140483130554069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4726] ppid=4719 vsize=15011656 memory=140241631277402 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4726/stat : 4726 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51701013 15371935744 21406 33554432000 4194304 4196468 140724992586448 140482948942608 140483130554069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4727] ppid=4719 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4727/stat : 4727 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51701013 15371935744 21406 33554432000 4194304 4196468 140724992586448 140482947890320 140483130554069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4728] ppid=4719 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4728/stat : 4728 (java) S 4719 4722 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51701013 15371935744 21406 33554432000 4194304 4196468 140724992586448 140482946837520 140483130554069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4729] ppid=4719 vsize=15011656 memory=140241631262336 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4729/stat : 4729 (java) S 4719 4722 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51701015 15371935744 21406 33554432000 4194304 4196468 140724992586448 140482168924272 140483130555010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4730] ppid=4719 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4730/stat : 4730 (java) S 4719 4722 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51701015 15371935744 21406 33554432000 4194304 4196468 140724992586448 140481669358368 140483130554069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4731] ppid=4719 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4731/stat : 4731 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51701015 15371935744 21406 33554432000 4194304 4196468 140724992586448 140481400923248 140483130554069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4732] ppid=4719 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4732/stat : 4732 (java) S 4719 4722 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51701018 15371935744 21406 33554432000 4194304 4196468 140724992586448 140481026414672 140483130562459 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4733] ppid=4719 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4722/task/4733/stat : 4733 (java) R 4719 4722 2271 0 -1 1077944384 314 0 0 0 1 0 0 0 20 0 15 0 51701018 15371935744 21406 33554432000 4194304 4196468 140724992586448 140482167872208 140483130554069 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4734] ppid=4719 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4734/stat : 4734 (java) R 4719 4722 2271 0 -1 4202560 158 0 0 0 0 0 0 0 20 0 15 0 51701018 15371935744 21406 33554432000 4194304 4196468 140724992586448 140482166810816 140483113928558 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4735] ppid=4719 vsize=15011656 memory=140241631262336 CPUtime=0.03 cores=0,2,4,6
/proc/4722/task/4735/stat : 4735 (java) S 4719 4722 2271 0 -1 1077944384 294 0 0 0 3 0 0 0 20 0 15 0 51701018 15371935744 21406 33554432000 4194304 4196468 140724992586448 140482165767024 140483130555010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4736] ppid=4719 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4736/stat : 4736 (java) S 4719 4722 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51701018 15371935744 21406 33554432000 4194304 4196468 140724992586448 140480528509920 140483130554069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4737] ppid=4719 vsize=15011656 memory=140241631262336 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4737/stat : 4737 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51701018 15371935744 21406 33554432000 4194304 4196468 140724992586448 140482164713904 140483130555010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85624 KiB
[startup+0.310889 s]*
/proc/loadavg: 2.07 2.02 2.04 4/220 4737
/proc/meminfo: memFree=15669984/32770624 swapFree=67108860/67108860
[pid=4722] ppid=4719 vsize=15011656 memory=89968 CPUtime=0.43 cores=0,2,4,6
/proc/4722/stat : 4722 (java) S 4719 4722 2271 0 -1 1077944320 10976 0 0 0 39 4 0 0 20 0 15 0 51701011 15371935744 22492 33554432000 4194304 4196468 140724992586448 140724992568992 140483130543863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
/proc/4722/statm: 3752914 22492 3034 1 0 3715374 0
[pid=4722/tid=4724] ppid=4719 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/4722/task/4724/stat : 4724 (java) R 4719 4722 2271 0 -1 4202560 8695 0 0 0 27 3 0 0 20 0 15 0 51701012 15371935744 22492 33554432000 4194304 4196468 140724992586448 140483102348016 140483110133343 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4725] ppid=4719 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4725/stat : 4725 (java) S 4719 4722 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51701013 15371935744 22492 33554432000 4194304 4196468 140724992586448 140483134786448 140483130554069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4726] ppid=4719 vsize=15011656 memory=3977017336120228602 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4726/stat : 4726 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51701013 15371935744 22492 33554432000 4194304 4196468 140724992586448 140482948942608 140483130554069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4727] ppid=4719 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4727/stat : 4727 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51701013 15371935744 22492 33554432000 4194304 4196468 140724992586448 140482947890320 140483130554069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4728] ppid=4719 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4728/stat : 4728 (java) S 4719 4722 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51701013 15371935744 22492 33554432000 4194304 4196468 140724992586448 140482946837520 140483130554069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4729] ppid=4719 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4729/stat : 4729 (java) S 4719 4722 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51701015 15371935744 22492 33554432000 4194304 4196468 140724992586448 140482168924272 140483130555010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4730] ppid=4719 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4730/stat : 4730 (java) S 4719 4722 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51701015 15371935744 22492 33554432000 4194304 4196468 140724992586448 140481669358368 140483130554069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4731] ppid=4719 vsize=15011656 memory=140241631262336 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4731/stat : 4731 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51701015 15371935744 22492 33554432000 4194304 4196468 140724992586448 140481400923248 140483130554069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4732] ppid=4719 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4732/stat : 4732 (java) S 4719 4722 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51701018 15371935744 22492 33554432000 4194304 4196468 140724992586448 140481026414672 140483130562459 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4733] ppid=4719 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4722/task/4733/stat : 4733 (java) R 4719 4722 2271 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 51701018 15371935744 22492 33554432000 4194304 4196468 140724992586448 140482167872112 140483122833312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4734] ppid=4719 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4722/task/4734/stat : 4734 (java) R 4719 4722 2271 0 -1 1077944384 273 0 0 0 2 0 0 0 20 0 15 0 51701018 15371935744 22492 33554432000 4194304 4196468 140724992586448 140482166819312 140483130555010 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4735] ppid=4719 vsize=15011656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4722/task/4735/stat : 4735 (java) R 4719 4722 2271 0 -1 4202560 334 0 0 0 7 0 0 0 20 0 15 0 51701018 15371935744 22492 33554432000 4194304 4196468 140724992586448 140482165767024 140483109678435 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4736] ppid=4719 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4736/stat : 4736 (java) S 4719 4722 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51701018 15371935744 22492 33554432000 4194304 4196468 140724992586448 140480528509920 140483130554069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4737] ppid=4719 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4737/stat : 4737 (java) R 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51701018 15371935744 22492 33554432000 4194304 4196468 140724992586448 140482164713904 140483130555010 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89968 KiB
[startup+0.704022 s]
/proc/loadavg: 2.07 2.02 2.04 3/220 4737
/proc/meminfo: memFree=15645304/32770624 swapFree=67108860/67108860
[pid=4722] ppid=4719 vsize=15020052 memory=129892 CPUtime=1.02 cores=0,2,4,6
/proc/4722/stat : 4722 (java) S 4719 4722 2271 0 -1 1077944320 18232 0 0 0 96 6 0 0 20 0 15 0 51701011 15380533248 32473 33554432000 4194304 4196468 140724992586448 140724992568992 140483130543863 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
/proc/4722/statm: 3755013 32473 3155 1 0 3716398 0
[pid=4722/tid=4724] ppid=4719 vsize=15020052 memory=796 CPUtime=0.68 cores=0,2,4,6
/proc/4722/task/4724/stat : 4724 (java) R 4719 4722 2271 0 -1 4202560 15488 0 0 0 63 5 0 0 20 0 15 0 51701012 15380533248 32473 33554432000 4194304 4196468 140724992586448 140483102378848 140483130565789 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4725] ppid=4719 vsize=15020052 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4725/stat : 4725 (java) S 4719 4722 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51701013 15380533248 32473 33554432000 4194304 4196468 140724992586448 140483134786448 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4726] ppid=4719 vsize=15020052 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4726/stat : 4726 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51701013 15380533248 32473 33554432000 4194304 4196468 140724992586448 140482948942608 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4727] ppid=4719 vsize=15020052 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4727/stat : 4727 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51701013 15380533248 32473 33554432000 4194304 4196468 140724992586448 140482947890320 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4728] ppid=4719 vsize=15020052 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4728/stat : 4728 (java) S 4719 4722 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51701013 15380533248 32473 33554432000 4194304 4196468 140724992586448 140482946837520 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4729] ppid=4719 vsize=15020052 memory=280482973787936 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4729/stat : 4729 (java) S 4719 4722 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51701015 15380533248 32473 33554432000 4194304 4196468 140724992586448 140482168924272 140483130555010 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4730] ppid=4719 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4730/stat : 4730 (java) S 4719 4722 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51701015 15380533248 32473 33554432000 4194304 4196468 140724992586448 140481669358368 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4731] ppid=4719 vsize=15020052 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4731/stat : 4731 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51701015 15380533248 32473 33554432000 4194304 4196468 140724992586448 140481400923248 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4732] ppid=4719 vsize=15020052 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4732/stat : 4732 (java) S 4719 4722 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51701018 15380533248 32473 33554432000 4194304 4196468 140724992586448 140481026414672 140483130562459 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4733] ppid=4719 vsize=15020052 memory=8380 CPUtime=0.08 cores=0,2,4,6
/proc/4722/task/4733/stat : 4733 (java) R 4719 4722 2271 0 -1 4202560 581 0 0 0 8 0 0 0 20 0 15 0 51701018 15380533248 32473 33554432000 4194304 4196468 140724992586448 140482167872112 140483108291841 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4734] ppid=4719 vsize=15020052 memory=7307210974946176466 CPUtime=0.08 cores=0,2,4,6
/proc/4722/task/4734/stat : 4734 (java) S 4719 4722 2271 0 -1 1077944384 350 0 0 0 8 0 0 0 20 0 15 0 51701018 15380533248 32473 33554432000 4194304 4196468 140724992586448 140482166819312 140483130555010 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4735] ppid=4719 vsize=15020052 memory=7302135314614015847 CPUtime=0.16 cores=0,2,4,6
/proc/4722/task/4735/stat : 4735 (java) R 4719 4722 2271 0 -1 4202560 473 0 0 0 16 0 0 0 20 0 15 0 51701018 15380533248 32473 33554432000 4194304 4196468 140724992586448 140482165767024 140483122780990 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4736] ppid=4719 vsize=15020052 memory=7885635084775281008 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4736/stat : 4736 (java) S 4719 4722 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51701018 15380533248 32473 33554432000 4194304 4196468 140724992586448 140480528509920 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4737] ppid=4719 vsize=15020052 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4737/stat : 4737 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51701018 15380533248 32473 33554432000 4194304 4196468 140724992586448 140482164713904 140483130555010 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129892 KiB
[startup+1.50736 s]
/proc/loadavg: 2.07 2.02 2.04 3/220 4737
/proc/meminfo: memFree=15618524/32770624 swapFree=67108860/67108860
[pid=4722] ppid=4719 vsize=15026264 memory=185084 CPUtime=3.02 cores=0,2,4,6
/proc/4722/stat : 4722 (java) S 4719 4722 2271 0 -1 1077944320 22756 0 0 0 294 8 0 0 20 0 15 0 51701011 15386894336 46271 33554432000 4194304 4196468 140724992586448 140724992568992 140483130543863 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
/proc/4722/statm: 3756566 46271 3217 1 0 3717422 0
[pid=4722/tid=4724] ppid=4719 vsize=15026264 memory=288230377108275491 CPUtime=1.47 cores=0,2,4,6
/proc/4722/task/4724/stat : 4724 (java) R 4719 4722 2271 0 -1 4202560 16809 0 0 0 141 6 0 0 20 0 15 0 51701012 15386894336 46271 33554432000 4194304 4196468 140724992586448 140483102381936 140482633799047 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4725] ppid=4719 vsize=15026264 memory=288293289789228285 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4725/stat : 4725 (java) S 4719 4722 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51701013 15386894336 46271 33554432000 4194304 4196468 140724992586448 140483134786448 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4726] ppid=4719 vsize=15026264 memory=288285580272600099 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4726/stat : 4726 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51701013 15386894336 46271 33554432000 4194304 4196468 140724992586448 140482948942608 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4727] ppid=4719 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4727/stat : 4727 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51701013 15386894336 46271 33554432000 4194304 4196468 140724992586448 140482947890320 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4728] ppid=4719 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4728/stat : 4728 (java) S 4719 4722 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51701013 15386894336 46271 33554432000 4194304 4196468 140724992586448 140482946837520 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4729] ppid=4719 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4729/stat : 4729 (java) S 4719 4722 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51701015 15386894336 46271 33554432000 4194304 4196468 140724992586448 140482168924272 140483130555010 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
################
# More data... #
################
[pid=4722/tid=4735] ppid=4719 vsize=15681864 memory=1292 CPUtime=0.82 cores=0,2,4,6
/proc/4722/task/4735/stat : 4735 (java) S 4719 4722 2271 0 -1 1077944384 2960 0 0 0 82 0 0 0 20 0 19 0 51701018 16058228736 82259 33554432000 4194304 4196468 140724992586448 140482165767024 140483130555010 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4736] ppid=4719 vsize=15681864 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4736/stat : 4736 (java) S 4719 4722 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51701018 16058228736 82259 33554432000 4194304 4196468 140724992586448 140480528509920 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4737] ppid=4719 vsize=15681864 memory=796 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4737/stat : 4737 (java) S 4719 4722 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51701018 16058228736 82259 33554432000 4194304 4196468 140724992586448 140482164713904 140483130555010 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4739] ppid=4719 vsize=15681864 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4739/stat : 4739 (java) S 4719 4722 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 51701202 16058228736 82259 33554432000 4194304 4196468 140724992586448 140482148447168 140483130568473 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4741] ppid=4719 vsize=15681864 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4741/stat : 4741 (java) S 4719 4722 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 51701203 16058228736 82259 33554432000 4194304 4196468 140724992586448 140479991627184 140483130565789 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4742] ppid=4719 vsize=15681864 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4742/stat : 4742 (java) S 4719 4722 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 51701203 16058228736 82259 33554432000 4194304 4196468 140724992586448 140479723192112 140483130565789 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4743] ppid=4719 vsize=15681864 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4743/stat : 4743 (java) S 4719 4722 2271 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 51701206 16058228736 82259 33554432000 4194304 4196468 140724992586448 140480260070816 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
Current children cumulated CPU time: 23.31 s
Current children cumulated vsize: 15723276 KiB
Current children cumulated memory: 354368 KiB
[startup+21.6009 s]
/proc/loadavg: 2.05 2.02 2.04 3/225 4743
/proc/meminfo: memFree=15405080/32770624 swapFree=67108860/67108860
[pid=4722] ppid=4719 vsize=15681864 memory=329036 CPUtime=4.43 cores=0,2,4,6
/proc/4722/stat : 4722 (java) S 4719 4722 2271 0 -1 1077944320 24586 0 0 0 431 12 0 0 20 0 19 0 51701011 16058228736 82259 33554432000 4194304 4196468 140724992586448 140724992568992 140483130543863 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
/proc/4722/statm: 3920466 82259 3226 1 0 3881322 0
[pid=4738] ppid=4722 vsize=41412 memory=25584 CPUtime=19.69 cores=0,2,4,6
/proc/4738/stat : 4738 (minisat_release) R 4722 4722 2271 0 -1 4202496 14932 0 0 0 1967 2 0 0 20 0 1 0 51701201 42405888 6396 33554432000 4194304 4308513 140736103561824 140736103558824 4276177 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 41611264 140736103568049 140736103568558 140736103568558 140736103571397 0
/proc/4738/statm: 10353 6396 353 28 0 6593 0
[pid=4722/tid=4724] ppid=4719 vsize=15681864 memory=-5059952977386882957 CPUtime=1.91 cores=0,2,4,6
/proc/4722/task/4724/stat : 4724 (java) S 4719 4722 2271 0 -1 1077944384 17289 0 0 0 182 9 0 0 20 0 19 0 51701012 16058228736 82259 33554432000 4194304 4196468 140724992586448 140483102383104 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4725] ppid=4719 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4725/stat : 4725 (java) S 4719 4722 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51701013 16058228736 82259 33554432000 4194304 4196468 140724992586448 140483134786448 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4726] ppid=4719 vsize=15681864 memory=55 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4726/stat : 4726 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51701013 16058228736 82259 33554432000 4194304 4196468 140724992586448 140482948942608 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4727] ppid=4719 vsize=15681864 memory=7020099539996929130 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4727/stat : 4727 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51701013 16058228736 82259 33554432000 4194304 4196468 140724992586448 140482947890320 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4728] ppid=4719 vsize=15681864 memory=329036 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4728/stat : 4728 (java) S 4719 4722 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51701013 16058228736 82259 33554432000 4194304 4196468 140724992586448 140482946837520 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4729] ppid=4719 vsize=15681864 memory=22536 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4729/stat : 4729 (java) S 4719 4722 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 51701015 16058228736 82259 33554432000 4194304 4196468 140724992586448 140482168924272 140483130555010 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4730] ppid=4719 vsize=15681864 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4730/stat : 4730 (java) S 4719 4722 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 51701015 16058228736 82259 33554432000 4194304 4196468 140724992586448 140481669358368 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4731] ppid=4719 vsize=15681864 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4731/stat : 4731 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51701015 16058228736 82259 33554432000 4194304 4196468 140724992586448 140481400923248 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4732] ppid=4719 vsize=15681864 memory=920 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4732/stat : 4732 (java) S 4719 4722 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51701018 16058228736 82259 33554432000 4194304 4196468 140724992586448 140481026414672 140483130562459 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4733] ppid=4719 vsize=15681864 memory=3848 CPUtime=0.82 cores=0,2,4,6
/proc/4722/task/4733/stat : 4733 (java) S 4719 4722 2271 0 -1 1077944384 2017 0 0 0 82 0 0 0 20 0 19 0 51701018 16058228736 82259 33554432000 4194304 4196468 140724992586448 140482167872112 140483130555010 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4734] ppid=4719 vsize=15681864 memory=2588 CPUtime=0.82 cores=0,2,4,6
/proc/4722/task/4734/stat : 4734 (java) S 4719 4722 2271 0 -1 1077944384 922 0 0 0 82 0 0 0 20 0 19 0 51701018 16058228736 82259 33554432000 4194304 4196468 140724992586448 140482166819312 140483130555010 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4735] ppid=4719 vsize=15681864 memory=2884 CPUtime=0.82 cores=0,2,4,6
/proc/4722/task/4735/stat : 4735 (java) S 4719 4722 2271 0 -1 1077944384 2960 0 0 0 82 0 0 0 20 0 19 0 51701018 16058228736 82259 33554432000 4194304 4196468 140724992586448 140482165767024 140483130555010 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4736] ppid=4719 vsize=15681864 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4736/stat : 4736 (java) S 4719 4722 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51701018 16058228736 82259 33554432000 4194304 4196468 140724992586448 140480528509920 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4737] ppid=4719 vsize=15681864 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4737/stat : 4737 (java) S 4719 4722 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51701018 16058228736 82259 33554432000 4194304 4196468 140724992586448 140482164713904 140483130555010 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4739] ppid=4719 vsize=15681864 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4739/stat : 4739 (java) S 4719 4722 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 51701202 16058228736 82259 33554432000 4194304 4196468 140724992586448 140482148447168 140483130568473 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4741] ppid=4719 vsize=15681864 memory=9924 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4741/stat : 4741 (java) S 4719 4722 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 51701203 16058228736 82259 33554432000 4194304 4196468 140724992586448 140479991627184 140483130565789 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4742] ppid=4719 vsize=15681864 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4742/stat : 4742 (java) S 4719 4722 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 51701203 16058228736 82259 33554432000 4194304 4196468 140724992586448 140479723192112 140483130565789 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4743] ppid=4719 vsize=15681864 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4743/stat : 4743 (java) S 4719 4722 2271 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 51701206 16058228736 82259 33554432000 4194304 4196468 140724992586448 140480260070816 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
Current children cumulated CPU time: 24.12 s
Current children cumulated vsize: 15723276 KiB
Current children cumulated memory: 354620 KiB
[startup+21.8009 s]
/proc/loadavg: 2.05 2.02 2.04 3/225 4743
/proc/meminfo: memFree=15405080/32770624 swapFree=67108860/67108860
[pid=4722] ppid=4719 vsize=15681864 memory=329036 CPUtime=4.43 cores=0,2,4,6
/proc/4722/stat : 4722 (java) S 4719 4722 2271 0 -1 1077944320 24586 0 0 0 431 12 0 0 20 0 19 0 51701011 16058228736 82259 33554432000 4194304 4196468 140724992586448 140724992568992 140483130543863 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
/proc/4722/statm: 3920466 82259 3226 1 0 3881322 0
[pid=4738] ppid=4722 vsize=41412 memory=25584 CPUtime=19.89 cores=0,2,4,6
/proc/4738/stat : 4738 (minisat_release) R 4722 4722 2271 0 -1 4202496 14932 0 0 0 1987 2 0 0 20 0 1 0 51701201 42405888 6396 33554432000 4194304 4308513 140736103561824 140736103558824 4275941 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 41611264 140736103568049 140736103568558 140736103568558 140736103571397 0
/proc/4738/statm: 10353 6396 353 28 0 6593 0
[pid=4722/tid=4724] ppid=4719 vsize=15681864 memory=-5059952977386882957 CPUtime=1.91 cores=0,2,4,6
/proc/4722/task/4724/stat : 4724 (java) S 4719 4722 2271 0 -1 1077944384 17289 0 0 0 182 9 0 0 20 0 19 0 51701012 16058228736 82259 33554432000 4194304 4196468 140724992586448 140483102383104 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4725] ppid=4719 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4725/stat : 4725 (java) S 4719 4722 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51701013 16058228736 82259 33554432000 4194304 4196468 140724992586448 140483134786448 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4726] ppid=4719 vsize=15681864 memory=2276 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4726/stat : 4726 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51701013 16058228736 82259 33554432000 4194304 4196468 140724992586448 140482948942608 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4727] ppid=4719 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4727/stat : 4727 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51701013 16058228736 82259 33554432000 4194304 4196468 140724992586448 140482947890320 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4728] ppid=4719 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4728/stat : 4728 (java) S 4719 4722 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 51701013 16058228736 82259 33554432000 4194304 4196468 140724992586448 140482946837520 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4729] ppid=4719 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4729/stat : 4729 (java) S 4719 4722 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 51701015 16058228736 82259 33554432000 4194304 4196468 140724992586448 140482168924272 140483130555010 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4730] ppid=4719 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4730/stat : 4730 (java) S 4719 4722 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 51701015 16058228736 82259 33554432000 4194304 4196468 140724992586448 140481669358368 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4731] ppid=4719 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4731/stat : 4731 (java) S 4719 4722 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 51701015 16058228736 82259 33554432000 4194304 4196468 140724992586448 140481400923248 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4732] ppid=4719 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4732/stat : 4732 (java) S 4719 4722 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51701018 16058228736 82259 33554432000 4194304 4196468 140724992586448 140481026414672 140483130562459 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4733] ppid=4719 vsize=15681864 memory=7157735280180154979 CPUtime=0.82 cores=0,2,4,6
/proc/4722/task/4733/stat : 4733 (java) S 4719 4722 2271 0 -1 1077944384 2017 0 0 0 82 0 0 0 20 0 19 0 51701018 16058228736 82259 33554432000 4194304 4196468 140724992586448 140482167872112 140483130555010 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4734] ppid=4719 vsize=15681864 memory=4136 CPUtime=0.82 cores=0,2,4,6
/proc/4722/task/4734/stat : 4734 (java) S 4719 4722 2271 0 -1 1077944384 922 0 0 0 82 0 0 0 20 0 19 0 51701018 16058228736 82259 33554432000 4194304 4196468 140724992586448 140482166819312 140483130555010 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4735] ppid=4719 vsize=15681864 memory=16772 CPUtime=0.82 cores=0,2,4,6
/proc/4722/task/4735/stat : 4735 (java) S 4719 4722 2271 0 -1 1077944384 2960 0 0 0 82 0 0 0 20 0 19 0 51701018 16058228736 82259 33554432000 4194304 4196468 140724992586448 140482165767024 140483130555010 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4736] ppid=4719 vsize=15681864 memory=2420 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4736/stat : 4736 (java) S 4719 4722 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51701018 16058228736 82259 33554432000 4194304 4196468 140724992586448 140480528509920 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4737] ppid=4719 vsize=15681864 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4737/stat : 4737 (java) S 4719 4722 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 51701018 16058228736 82259 33554432000 4194304 4196468 140724992586448 140482164713904 140483130555010 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4739] ppid=4719 vsize=15681864 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4739/stat : 4739 (java) S 4719 4722 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 51701202 16058228736 82259 33554432000 4194304 4196468 140724992586448 140482148447168 140483130568473 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4741] ppid=4719 vsize=15681864 memory=796 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4741/stat : 4741 (java) S 4719 4722 2271 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 51701203 16058228736 82259 33554432000 4194304 4196468 140724992586448 140479991627184 140483130565789 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4742] ppid=4719 vsize=15681864 memory=15617 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4742/stat : 4742 (java) S 4719 4722 2271 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 51701203 16058228736 82259 33554432000 4194304 4196468 140724992586448 140479723192112 140483130565789 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4743] ppid=4719 vsize=15681864 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/4722/task/4743/stat : 4743 (java) S 4719 4722 2271 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 51701206 16058228736 82259 33554432000 4194304 4196468 140724992586448 140480260070816 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
Current children cumulated CPU time: 24.32 s
Current children cumulated vsize: 15723276 KiB
Current children cumulated memory: 354620 KiB
[startup+21.9013 s]
/proc/loadavg: 2.05 2.02 2.04 3/225 4743
/proc/meminfo: memFree=15405080/32770624 swapFree=67108860/67108860
[pid=4722] ppid=4719 vsize=15681864 memory=329236 CPUtime=24.43 cores=0,2,4,6
/proc/4722/stat : 4722 (java) S 4719 4722 2271 0 -1 1077944320 24636 14951 0 0 432 13 1996 2 20 0 18 0 51701011 16058228736 82309 33554432000 4194304 4196468 140724992586448 140724992568992 140483130543863 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
/proc/4722/statm: 3920466 82309 3226 1 0 3881322 0
[pid=4722/tid=4724] ppid=4719 vsize=15681864 memory=329036 CPUtime=21.89 cores=0,2,4,6
/proc/4722/task/4724/stat : 4724 (java) S 4719 4722 2271 0 -1 1077944384 17289 14951 0 0 182 9 1996 2 20 0 18 0 51701012 16058228736 82309 33554432000 4194304 4196468 140724992586448 140483102383104 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4725] ppid=4719 vsize=15681864 memory=329036 CPUtime=19.98 cores=0,2,4,6
/proc/4722/task/4725/stat : 4725 (java) S 4719 4722 2271 0 -1 1077944384 2 14951 0 0 0 0 1996 2 20 0 18 0 51701013 16058228736 82309 33554432000 4194304 4196468 140724992586448 140483134786448 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4726] ppid=4719 vsize=15681864 memory=0 CPUtime=19.98 cores=0,2,4,6
/proc/4722/task/4726/stat : 4726 (java) S 4719 4722 2271 0 -1 1077944384 1 14951 0 0 0 0 1996 2 20 0 18 0 51701013 16058228736 82309 33554432000 4194304 4196468 140724992586448 140482948942608 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4727] ppid=4719 vsize=15681864 memory=329036 CPUtime=19.98 cores=0,2,4,6
/proc/4722/task/4727/stat : 4727 (java) S 4719 4722 2271 0 -1 1077944384 1 14951 0 0 0 0 1996 2 20 0 18 0 51701013 16058228736 82309 33554432000 4194304 4196468 140724992586448 140482947890320 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4728] ppid=4719 vsize=15681864 memory=164 CPUtime=19.98 cores=0,2,4,6
/proc/4722/task/4728/stat : 4728 (java) S 4719 4722 2271 0 -1 1077944384 2 14951 0 0 0 0 1996 2 20 0 18 0 51701013 16058228736 82309 33554432000 4194304 4196468 140724992586448 140482946837520 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4729] ppid=4719 vsize=15681864 memory=0 CPUtime=19.98 cores=0,2,4,6
/proc/4722/task/4729/stat : 4729 (java) S 4719 4722 2271 0 -1 1077944384 5 14951 0 0 0 0 1996 2 20 0 18 0 51701015 16058228736 82309 33554432000 4194304 4196468 140724992586448 140482168924272 140483130555010 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4730] ppid=4719 vsize=15681864 memory=21704 CPUtime=19.98 cores=0,2,4,6
/proc/4722/task/4730/stat : 4730 (java) S 4719 4722 2271 0 -1 1077944384 13 14951 0 0 0 0 1996 2 20 0 18 0 51701015 16058228736 82309 33554432000 4194304 4196468 140724992586448 140481669358368 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4731] ppid=4719 vsize=15681864 memory=21684 CPUtime=19.98 cores=0,2,4,6
/proc/4722/task/4731/stat : 4731 (java) S 4719 4722 2271 0 -1 1077944384 1 14951 0 0 0 0 1996 2 20 0 18 0 51701015 16058228736 82309 33554432000 4194304 4196468 140724992586448 140481400923248 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4732] ppid=4719 vsize=15681864 memory=1196 CPUtime=19.98 cores=0,2,4,6
/proc/4722/task/4732/stat : 4732 (java) S 4719 4722 2271 0 -1 1077944384 3 14951 0 0 0 0 1996 2 20 0 18 0 51701018 16058228736 82309 33554432000 4194304 4196468 140724992586448 140481026414672 140483130562459 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4733] ppid=4719 vsize=15681864 memory=8380 CPUtime=20.8 cores=0,2,4,6
/proc/4722/task/4733/stat : 4733 (java) S 4719 4722 2271 0 -1 1077944384 2018 14951 0 0 82 0 1996 2 20 0 18 0 51701018 16058228736 82309 33554432000 4194304 4196468 140724992586448 140482167872112 140483130555010 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4734] ppid=4719 vsize=15681864 memory=329036 CPUtime=20.8 cores=0,2,4,6
/proc/4722/task/4734/stat : 4734 (java) R 4719 4722 2271 0 -1 1077944384 922 14951 0 0 82 0 1996 2 20 0 18 0 51701018 16058228736 82309 33554432000 4194304 4196468 140724992586448 140482166819312 140483130555010 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4735] ppid=4719 vsize=15681864 memory=22344 CPUtime=20.81 cores=0,2,4,6
/proc/4722/task/4735/stat : 4735 (java) R 4719 4722 2271 0 -1 4202560 2962 14951 0 0 83 0 1996 2 20 0 18 0 51701018 16058228736 82309 33554432000 4194304 4196468 140724992586448 140482165767024 140483130555798 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4736] ppid=4719 vsize=15681864 memory=25332 CPUtime=19.98 cores=0,2,4,6
/proc/4722/task/4736/stat : 4736 (java) S 4719 4722 2271 0 -1 1077944384 3 14951 0 0 0 0 1996 2 20 0 18 0 51701018 16058228736 82309 33554432000 4194304 4196468 140724992586448 140480528509920 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4737] ppid=4719 vsize=15681864 memory=16772 CPUtime=19.98 cores=0,2,4,6
/proc/4722/task/4737/stat : 4737 (java) S 4719 4722 2271 0 -1 1077944384 3 14951 0 0 0 0 1996 2 20 0 18 0 51701018 16058228736 82309 33554432000 4194304 4196468 140724992586448 140482164713904 140483130555010 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4739] ppid=4719 vsize=15681864 memory=0 CPUtime=19.98 cores=0,2,4,6
/proc/4722/task/4739/stat : 4739 (java) S 4719 4722 2271 0 -1 1077944384 25 14951 0 0 0 0 1996 2 20 0 18 0 51701202 16058228736 82309 33554432000 4194304 4196468 140724992586448 140482148446352 140483130555010 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4741] ppid=4719 vsize=15681864 memory=329036 CPUtime=19.98 cores=0,2,4,6
/proc/4722/task/4741/stat : 4741 (java) R 4719 4722 2271 0 -1 4202560 46 14951 0 0 0 0 1996 2 20 0 18 0 51701203 16058228736 82309 33554432000 4194304 4196468 140724992586448 140479991633616 140482635200339 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
[pid=4722/tid=4743] ppid=4719 vsize=15681864 memory=1012 CPUtime=19.98 cores=0,2,4,6
/proc/4722/task/4743/stat : 4743 (java) S 4719 4722 2271 0 -1 1077944384 25 14951 0 0 0 0 1996 2 20 0 18 0 51701206 16058228736 82309 33554432000 4194304 4196468 140724992586448 140480260070576 140483130554069 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140724992594931 140724992595209 140724992595209 140724992597967 0
Current children cumulated CPU time: 24.43 s
Current children cumulated vsize: 15681864 KiB
Current children cumulated memory: 329236 KiB
Child status: 0
Real time (s): 21.9243
CPU time (s): 24.4908
CPU user time (s): 24.3257
CPU system time (s): 0.165158
CPU usage (%): 111.706
Max. virtual memory (cumulated for all children) (KiB): 15727624
Max. memory (cumulated for all children) (KiB): 354620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.3257
system time used= 0.165158
maximum resident set size= 332004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39647
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3966
involuntary context switches= 34
# summary of solver processes directly reported to runsolver:
# pid: 4722
# total CPU time (s): 24.4908
# total CPU user time (s): 24.3257
# total CPU system time (s): 0.165158
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.165627 second user time and 0.266619 second system time
The end