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:40:54 CEST 2018
0.67/0.55 c PID: 5000
0.67/0.55 c IP: 172.20.3.105
0.67/0.55 c HOST: node105.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.19/0.83 c (0,0) Parsing End
1.19/0.84 c (0,0) CSP: 24 int (0 aux), 0 bool (0 aux), 17 ctr, max domain size 16
1.19/0.84 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.19/0.84 c (0,0) Constraint Name Generate Begin
1.19/0.84 c (0,0) Ctr:HOME/instance-4293385-1532342453.xml,AllDifferent:Dist:Eq:IntVar
1.19/0.84 c (0,0) Constraint Name Generate End
1.19/0.84 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.84 c (0,0) CSP to CSPinCNF Begin
1.35/0.93 c (0,0) translated 2 (10%) constraints
1.35/0.95 c (0,0) translated 4 (20%) constraints
1.35/0.96 c (0,0) translated 6 (30%) constraints
1.35/0.96 c (0,0) translated 7 (40%) constraints
1.35/0.97 c (0,0) translated 9 (50%) constraints
1.35/0.98 c (0,0) translated 11 (60%) constraints
1.35/0.98 c (0,0) translated 12 (70%) constraints
1.35/0.99 c (0,0) translated 14 (80%) constraints
1.35/0.99 c (0,0) translated 16 (90%) constraints
1.57/1.03 c (0,0) translated 17 (100%) constraints
1.81/1.16 c (0,0) STATISTICS1:HOME/instance-4293385-1532342453.xml,AllDifferent:Dist:Eq:IntVar,24,190,240,16,15,3,240:60;16:36;15:105,16:210;15:300,15:2;9:2;2:156;1:30,3:60;2:141;1:48,
1.81/1.16 c (0,0) ===========================================
1.81/1.16 c (0,0) Order
1.81/1.16 c (0,0) ===========================================
1.81/1.17 c (0,0) translated 19 (10%) constraints
1.81/1.18 c (0,0) translated 38 (20%) constraints
1.81/1.18 c (0,0) translated 57 (30%) constraints
1.81/1.19 c (0,0) translated 76 (40%) constraints
1.81/1.20 c (0,0) translated 95 (50%) constraints
2.03/1.20 c (0,0) translated 114 (60%) constraints
2.03/1.21 c (0,0) translated 133 (70%) constraints
2.03/1.21 c (0,0) translated 152 (80%) constraints
2.03/1.22 c (0,0) translated 171 (90%) constraints
2.03/1.22 c (0,0) translated 190 (100%) constraints
2.03/1.23 c (0,0) CSP to CSPinCNF End
2.03/1.23 c (0,0) CSP: 24 int (0 aux), 0 bool (0 aux), 190 ctr, max domain size 16
2.03/1.23 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.03/1.23 c (0,0) CSPinCNF Propagation Begin
2.03/1.24 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.03/1.24 c (0,0) CSPinCNF Propagation End
2.03/1.24 c (0,0) CSP: 24 int (0 aux), 0 bool (0 aux), 190 ctr, max domain size 16
2.03/1.24 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.03/1.24 c (0,0) Simplify CSPinCNF Begin
2.28/1.30 c (0,0) Simplify CSPinCNF End
2.28/1.31 c (0,0) CSP: 24 int (0 aux), 312 bool (312 aux), 502 ctr, max domain size 16
2.28/1.31 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.28/1.31 c (0,0) Calculate Precise Domain Begin
2.28/1.31 c (0,0) 0 values are removed by re-calculation
2.28/1.31 c (0,0) Calculate Precise Domain End
2.28/1.31 c (0,0) CSP: 24 int (0 aux), 312 bool (312 aux), 502 ctr, max domain size 16
2.28/1.31 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.28/1.31 c (0,0) CSPinCNF to SatSolver Begin
2.52/1.44 c (0,0) 51 (10 %) CSP clauses are encoded (657 SAT variables, 5131 SAT clauses)
2.52/1.47 c (0,0) 101 (20 %) CSP clauses are encoded (657 SAT variables, 7801 SAT clauses)
2.52/1.47 c (0,0) 151 (30 %) CSP clauses are encoded (657 SAT variables, 8361 SAT clauses)
2.52/1.48 c (0,0) 201 (40 %) CSP clauses are encoded (657 SAT variables, 8881 SAT clauses)
2.52/1.48 c (0,0) 251 (50 %) CSP clauses are encoded (657 SAT variables, 9393 SAT clauses)
2.52/1.49 c (0,0) 302 (60 %) CSP clauses are encoded (657 SAT variables, 9920 SAT clauses)
2.52/1.49 c (0,0) 352 (70 %) CSP clauses are encoded (657 SAT variables, 10432 SAT clauses)
2.87/1.50 c (0,0) 402 (80 %) CSP clauses are encoded (657 SAT variables, 10958 SAT clauses)
2.87/1.50 c (0,0) 452 (90 %) CSP clauses are encoded (657 SAT variables, 11470 SAT clauses)
2.87/1.50 c (0,0) 502 (100 %) CSP clauses are encoded (657 SAT variables, 11982 SAT clauses)
2.87/1.50 c (0,0) CSPinCNF to SatSolver End
2.87/1.50 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.87/1.53 c (1,0) STATISTICS2:HOME/instance-4293385-1532342453.xml,AllDifferent:Dist:Eq:IntVar,336,502,240,16,15,3,240:60;16:72;15:210,16:282;15:510;2:624,15:2;9:2;2:468;1:30,3:60;2:282;1:672,
2.87/1.53 c (1,0) SatSolver.solve Begin
2.87/1.53 c (1,0) 657 bool, 11983 clause
2.87/1.53 c (1,0) 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-4293385-1532342453.xml-scop-5000.cnf HOME/instance-4293385-1532342453.xml-scop-5000.cnf.out
2.87/1.57 c (1,0) c This is COMiniSatPS.
2.87/1.57 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
2.87/1.57 c (1,0) c ============================[ Problem Statistics ]=============================
2.87/1.57 c (1,0) c | |
2.87/1.57 c (1,0) c | Number of variables: 657 |
2.87/1.57 c (1,0) c | Number of clauses: 11983 |
2.87/1.57 c (1,0) c | Parse time: 0.00 s |
2.87/1.57 c (1,0) c | Eliminated clauses: 0.00 Mb |
2.87/1.57 c (1,0) c Reduced to 501 vars, 11827 cls (grow=0)
2.87/1.57 c (1,0) c No iterative elimination performed. (vars=501, c/v ratio=23.6)
2.87/1.57 c (1,0) c | Simplification time: 0.01 s |
2.87/1.57 c (1,0) c | |
2.87/1.57 c (1,0) c ============================[ Search Statistics ]==============================
2.87/1.57 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2.87/1.57 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.87/1.57 c (1,0) c ===============================================================================
2.87/1.57 c (1,0) c ===============================================================================
2.87/1.57 c (1,0) c restarts : 1
2.87/1.57 c (1,0) c conflicts : 301 (16386 /sec)
2.87/1.57 c (1,0) c decisions : 481 (0.00 % random) (26185 /sec)
2.87/1.57 c (1,0) c propagations : 22933 (1248462 /sec)
2.87/1.57 c (1,0) c conflict literals : 3694 (19.73 % deleted)
2.87/1.57 c (1,0) c CPU time : 0.018369 s
2.87/1.57 c (1,0)
2.87/1.57 c (1,0) s SATISFIABLE
2.87/1.59 c (1,1) SatSolver.solve End
2.87/1.59 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
2.87/1.59 c (1,1) Show results Begin
3.22/1.60 c (1,1) ce[0][0][1] = 2
3.22/1.60 c (1,1) ce[0][0][2] = 13
3.22/1.60 c (1,1) ce[0][1][2] = 11
3.22/1.60 c (1,1) ce[1][0][1] = 5
3.22/1.60 c (1,1) ce[1][0][2] = 14
3.22/1.60 c (1,1) ce[1][1][2] = 9
3.22/1.60 c (1,1) ce[2][0][1] = 1
3.22/1.60 c (1,1) ce[2][0][2] = 3
3.22/1.60 c (1,1) ce[2][1][2] = 4
3.22/1.60 c (1,1) cie[0][0] = 15
3.22/1.60 c (1,1) cie[0][1] = 8
3.22/1.60 c (1,1) cie[0][2] = 12
3.22/1.60 c (1,1) cie[1][0] = 10
3.22/1.60 c (1,1) cie[1][1] = 6
3.22/1.60 c (1,1) cie[1][2] = 7
3.22/1.60 c (1,1) cn[0][0] = 0
3.22/1.60 c (1,1) cn[0][1] = 2
3.22/1.60 c (1,1) cn[0][2] = 13
3.22/1.60 c (1,1) cn[1][0] = 15
3.22/1.60 c (1,1) cn[1][1] = 10
3.22/1.60 c (1,1) cn[1][2] = 1
3.22/1.60 c (1,1) cn[2][0] = 5
3.22/1.60 c (1,1) cn[2][1] = 4
3.22/1.60 c (1,1) cn[2][2] = 8
3.22/1.60 s SATISFIABLE
3.22/1.60 v <instantiation>
3.22/1.60 v <list>cn[0][0] cn[0][1] cn[0][2] cn[1][0] cn[1][1] cn[1][2] cn[2][0] cn[2][1] cn[2][2] ce[0][0][1] ce[0][0][2] ce[0][1][2] ce[1][0][1] ce[1][0][2] ce[1][1][2] ce[2][0][1] ce[2][0][2] ce[2][1][2] cie[0][0] cie[0][1] cie[0][2] cie[1][0] cie[1][1] cie[1][2]</list>
3.22/1.60 v <values>0 2 13 15 10 1 5 4 8 2 13 11 5 14 9 1 3 4 15 8 12 10 6 7</values>
3.22/1.60 v </instantiation>
3.22/1.60 c (1,1) Show results End
3.22/1.60 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.22/1.60 c (1,1) 0,0,0,0,0,0,0,1,1,STOP-AFTER(ALL)
3.22/1.60 c END-Prog: Mon Jul 23 12:40:55 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 (3629 MiB free)
memory of node 1: 16384 MiB (11584 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293385-1532342453/watcher-4293385-1532342453 -o /tmp/evaluation-result-4293385-1532342453/solver-4293385-1532342453 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2303 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4293385-1532342453.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=5000, runsolver pid=4997
[startup+0.100095 s]*
/proc/loadavg: 2.07 2.11 2.08 3/220 5015
/proc/meminfo: memFree=15519984/32770624 swapFree=67108860/67108860
[pid=5000] ppid=4997 vsize=15011656 memory=71496 CPUtime=0.11 cores=1,3,5,7
/proc/5000/stat : 5000 (java) S 4997 5000 2271 0 -1 1077944320 6622 0 0 0 10 1 0 0 20 0 15 0 51808517 15371935744 17874 33554432000 4194304 4196468 140729659313680 140729659296224 140413171748599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
/proc/5000/statm: 3752914 17874 2753 1 0 3715374 0
[pid=5000/tid=5002] ppid=4997 vsize=15011656 memory=4427780190199976851 CPUtime=0.09 cores=1,3,5,7
/proc/5000/task/5002/stat : 5002 (java) R 4997 5000 2271 0 -1 4202560 4939 0 0 0 8 1 0 0 20 0 15 0 51808517 15371935744 18072 33554432000 4194304 4196468 140729659313680 140413143574928 140413152024359 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5003] ppid=4997 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5003/stat : 5003 (java) S 4997 5000 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51808519 15371935744 18072 33554432000 4194304 4196468 140729659313680 140413175991440 140413171758805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5004] ppid=4997 vsize=15011656 memory=140400712779392 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5004/stat : 5004 (java) S 4997 5000 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51808519 15371935744 18138 33554432000 4194304 4196468 140729659313680 140412951694352 140413171758805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5005] ppid=4997 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5005/stat : 5005 (java) S 4997 5000 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51808519 15371935744 18138 33554432000 4194304 4196468 140729659313680 140412631116688 140413171758805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5006] ppid=4997 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5006/stat : 5006 (java) S 4997 5000 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51808519 15371935744 18138 33554432000 4194304 4196468 140729659313680 140412630063888 140413171758805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5007] ppid=4997 vsize=15011656 memory=140400712779392 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5007/stat : 5007 (java) S 4997 5000 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51808520 15371935744 18138 33554432000 4194304 4196468 140729659313680 140412142471536 140413171759746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5008] ppid=4997 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5008/stat : 5008 (java) S 4997 5000 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51808521 15371935744 18138 33554432000 4194304 4196468 140729659313680 140411674813472 140413171758805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5009] ppid=4997 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5009/stat : 5009 (java) S 4997 5000 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51808521 15371935744 18138 33554432000 4194304 4196468 140729659313680 140411540591472 140413171758805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5010] ppid=4997 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5010/stat : 5010 (java) S 4997 5000 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51808524 15371935744 18138 33554432000 4194304 4196468 140729659313680 140411166086992 140413171767195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5011] ppid=4997 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5011/stat : 5011 (java) S 4997 5000 2271 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 51808524 15371935744 18138 33554432000 4194304 4196468 140729659313680 140412141419376 140413171759746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5012] ppid=4997 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5012/stat : 5012 (java) S 4997 5000 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51808524 15371935744 18138 33554432000 4194304 4196468 140729659313680 140412140366576 140413171759746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5013] ppid=4997 vsize=15011656 memory=140400712779392 CPUtime=0.01 cores=1,3,5,7
/proc/5000/task/5013/stat : 5013 (java) S 4997 5000 2271 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 15 0 51808524 15371935744 18138 33554432000 4194304 4196468 140729659313680 140412139313776 140413171759746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5014] ppid=4997 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5014/stat : 5014 (java) S 4997 5000 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51808524 15371935744 18138 33554432000 4194304 4196468 140729659313680 140410668182240 140413171758805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5015] ppid=4997 vsize=15011656 memory=140400712779392 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5015/stat : 5015 (java) S 4997 5000 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51808524 15371935744 18138 33554432000 4194304 4196468 140729659313680 140412138261168 140413171759746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 71496 KiB
[startup+0.210654 s]*
/proc/loadavg: 2.07 2.11 2.08 3/220 5015
/proc/meminfo: memFree=15506528/32770624 swapFree=67108860/67108860
[pid=5000] ppid=4997 vsize=15011656 memory=84084 CPUtime=0.26 cores=1,3,5,7
/proc/5000/stat : 5000 (java) S 4997 5000 2271 0 -1 1077944320 9886 0 0 0 24 2 0 0 20 0 15 0 51808517 15371935744 21021 33554432000 4194304 4196468 140729659313680 140729659296224 140413171748599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
/proc/5000/statm: 3752914 21021 2949 1 0 3715374 0
[pid=5000/tid=5002] ppid=4997 vsize=15011656 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/5000/task/5002/stat : 5002 (java) S 4997 5000 2271 0 -1 1077944384 7771 0 0 0 18 1 0 0 20 0 15 0 51808517 15371935744 21021 33554432000 4194304 4196468 140729659313680 140413143575488 140413171758805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5003] ppid=4997 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5003/stat : 5003 (java) S 4997 5000 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51808519 15371935744 21021 33554432000 4194304 4196468 140729659313680 140413175991440 140413171758805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5004] ppid=4997 vsize=15011656 memory=140400712794458 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5004/stat : 5004 (java) S 4997 5000 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51808519 15371935744 21021 33554432000 4194304 4196468 140729659313680 140412951694352 140413171758805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5005] ppid=4997 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5005/stat : 5005 (java) S 4997 5000 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51808519 15371935744 21021 33554432000 4194304 4196468 140729659313680 140412631116688 140413171758805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5006] ppid=4997 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5006/stat : 5006 (java) S 4997 5000 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51808519 15371935744 21021 33554432000 4194304 4196468 140729659313680 140412630063888 140413171758805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5007] ppid=4997 vsize=15011656 memory=140400712779392 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5007/stat : 5007 (java) S 4997 5000 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51808520 15371935744 21021 33554432000 4194304 4196468 140729659313680 140412142471536 140413171759746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5008] ppid=4997 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5008/stat : 5008 (java) S 4997 5000 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51808521 15371935744 21021 33554432000 4194304 4196468 140729659313680 140411674813472 140413171758805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5009] ppid=4997 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5009/stat : 5009 (java) S 4997 5000 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51808521 15371935744 21021 33554432000 4194304 4196468 140729659313680 140411540591472 140413171758805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5010] ppid=4997 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5010/stat : 5010 (java) S 4997 5000 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51808524 15371935744 21021 33554432000 4194304 4196468 140729659313680 140411166086992 140413171767195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5011] ppid=4997 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5000/task/5011/stat : 5011 (java) R 4997 5000 2271 0 -1 4202560 343 0 0 0 1 0 0 0 20 0 15 0 51808524 15371935744 21021 33554432000 4194304 4196468 140729659313680 140412141419376 140413155240792 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5012] ppid=4997 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5012/stat : 5012 (java) R 4997 5000 2271 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 51808524 15371935744 21021 33554432000 4194304 4196468 140729659313680 140412140366576 140413171759746 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5013] ppid=4997 vsize=15011656 memory=140400712779392 CPUtime=0.03 cores=1,3,5,7
/proc/5000/task/5013/stat : 5013 (java) S 4997 5000 2271 0 -1 1077944384 288 0 0 0 3 0 0 0 20 0 15 0 51808524 15371935744 21021 33554432000 4194304 4196468 140729659313680 140412139313776 140413171759746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5014] ppid=4997 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5014/stat : 5014 (java) S 4997 5000 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51808524 15371935744 21021 33554432000 4194304 4196468 140729659313680 140410668182240 140413171758805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5015] ppid=4997 vsize=15011656 memory=140400712779392 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5015/stat : 5015 (java) S 4997 5000 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51808524 15371935744 21021 33554432000 4194304 4196468 140729659313680 140412138261168 140413171759746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 84084 KiB
[startup+0.310593 s]*
/proc/loadavg: 2.07 2.11 2.08 3/220 5015
/proc/meminfo: memFree=15502992/32770624 swapFree=67108860/67108860
[pid=5000] ppid=4997 vsize=15011656 memory=87704 CPUtime=0.43 cores=1,3,5,7
/proc/5000/stat : 5000 (java) S 4997 5000 2271 0 -1 1077944320 10510 0 0 0 41 2 0 0 20 0 15 0 51808517 15371935744 21926 33554432000 4194304 4196468 140729659313680 140729659296224 140413171748599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
/proc/5000/statm: 3752914 21926 3023 1 0 3715374 0
[pid=5000/tid=5002] ppid=4997 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/5000/task/5002/stat : 5002 (java) R 4997 5000 2271 0 -1 4202560 8202 0 0 0 28 2 0 0 20 0 15 0 51808517 15371935744 21926 33554432000 4194304 4196468 140729659313680 140413143552752 140413153312155 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5003] ppid=4997 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5003/stat : 5003 (java) S 4997 5000 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51808519 15371935744 21926 33554432000 4194304 4196468 140729659313680 140413175991440 140413171758805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5004] ppid=4997 vsize=15011656 memory=3977017336120228602 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5004/stat : 5004 (java) S 4997 5000 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51808519 15371935744 21926 33554432000 4194304 4196468 140729659313680 140412951694352 140413171758805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5005] ppid=4997 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5005/stat : 5005 (java) S 4997 5000 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51808519 15371935744 21926 33554432000 4194304 4196468 140729659313680 140412631116688 140413171758805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5006] ppid=4997 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5006/stat : 5006 (java) S 4997 5000 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51808519 15371935744 21926 33554432000 4194304 4196468 140729659313680 140412630063888 140413171758805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5007] ppid=4997 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5007/stat : 5007 (java) S 4997 5000 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51808520 15371935744 21991 33554432000 4194304 4196468 140729659313680 140412142471536 140413171759746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5008] ppid=4997 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5008/stat : 5008 (java) S 4997 5000 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51808521 15371935744 21991 33554432000 4194304 4196468 140729659313680 140411674813472 140413171758805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5009] ppid=4997 vsize=15011656 memory=140400712779392 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5009/stat : 5009 (java) S 4997 5000 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51808521 15371935744 21991 33554432000 4194304 4196468 140729659313680 140411540591472 140413171758805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5010] ppid=4997 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5010/stat : 5010 (java) S 4997 5000 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51808524 15371935744 21991 33554432000 4194304 4196468 140729659313680 140411166086992 140413171767195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5011] ppid=4997 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5000/task/5011/stat : 5011 (java) S 4997 5000 2271 0 -1 1077944384 401 0 0 0 3 0 0 0 20 0 15 0 51808524 15371935744 21991 33554432000 4194304 4196468 140729659313680 140412141419376 140413171759746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5012] ppid=4997 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5000/task/5012/stat : 5012 (java) R 4997 5000 2271 0 -1 1077944384 222 0 0 0 2 0 0 0 20 0 15 0 51808524 15371935744 21991 33554432000 4194304 4196468 140729659313680 140412140366576 140413171759746 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5013] ppid=4997 vsize=15011656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5000/task/5013/stat : 5013 (java) R 4997 5000 2271 0 -1 4202560 330 0 0 0 7 0 0 0 20 0 15 0 51808524 15371935744 21991 33554432000 4194304 4196468 140729659313680 140412139313776 140413155829086 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5014] ppid=4997 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5014/stat : 5014 (java) S 4997 5000 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51808524 15371935744 21991 33554432000 4194304 4196468 140729659313680 140410668182240 140413171758805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5015] ppid=4997 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5015/stat : 5015 (java) S 4997 5000 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51808524 15371935744 21991 33554432000 4194304 4196468 140729659313680 140412138261168 140413171759746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87704 KiB
[startup+0.700751 s]
/proc/loadavg: 2.07 2.11 2.08 3/220 5015
/proc/meminfo: memFree=15478684/32770624 swapFree=67108860/67108860
[pid=5000] ppid=4997 vsize=15020052 memory=127616 CPUtime=0.99 cores=1,3,5,7
/proc/5000/stat : 5000 (java) S 4997 5000 2271 0 -1 1077944320 17688 0 0 0 94 5 0 0 20 0 15 0 51808517 15380533248 31904 33554432000 4194304 4196468 140729659313680 140729659296224 140413171748599 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
/proc/5000/statm: 3755013 31904 3132 1 0 3716398 0
[pid=5000/tid=5002] ppid=4997 vsize=15020052 memory=796 CPUtime=0.67 cores=1,3,5,7
/proc/5000/task/5002/stat : 5002 (java) R 4997 5000 2271 0 -1 4202560 14994 0 0 0 63 4 0 0 20 0 15 0 51808517 15380533248 31904 33554432000 4194304 4196468 140729659313680 140413143583360 140413155792229 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5003] ppid=4997 vsize=15020052 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5003/stat : 5003 (java) S 4997 5000 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51808519 15380533248 31904 33554432000 4194304 4196468 140729659313680 140413175991440 140413171758805 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5004] ppid=4997 vsize=15020052 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5004/stat : 5004 (java) S 4997 5000 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51808519 15380533248 31904 33554432000 4194304 4196468 140729659313680 140412951694352 140413171758805 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5005] ppid=4997 vsize=15020052 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5005/stat : 5005 (java) S 4997 5000 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51808519 15380533248 31904 33554432000 4194304 4196468 140729659313680 140412631116688 140413171758805 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5006] ppid=4997 vsize=15020052 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5006/stat : 5006 (java) S 4997 5000 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51808519 15380533248 31904 33554432000 4194304 4196468 140729659313680 140412630063888 140413171758805 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5007] ppid=4997 vsize=15020052 memory=280801204021024 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5007/stat : 5007 (java) S 4997 5000 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51808520 15380533248 31904 33554432000 4194304 4196468 140729659313680 140412142471536 140413171759746 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5008] ppid=4997 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5008/stat : 5008 (java) S 4997 5000 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51808521 15380533248 31904 33554432000 4194304 4196468 140729659313680 140411674813472 140413171758805 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5009] ppid=4997 vsize=15020052 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5009/stat : 5009 (java) S 4997 5000 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51808521 15380533248 31904 33554432000 4194304 4196468 140729659313680 140411540591472 140413171758805 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5010] ppid=4997 vsize=15020052 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5010/stat : 5010 (java) S 4997 5000 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51808524 15380533248 31904 33554432000 4194304 4196468 140729659313680 140411166086992 140413171767195 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5011] ppid=4997 vsize=15020052 memory=8380 CPUtime=0.09 cores=1,3,5,7
/proc/5000/task/5011/stat : 5011 (java) S 4997 5000 2271 0 -1 1077944384 636 0 0 0 9 0 0 0 20 0 15 0 51808524 15380533248 31904 33554432000 4194304 4196468 140729659313680 140412141419376 140413171759746 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5012] ppid=4997 vsize=15020052 memory=7307210974946176466 CPUtime=0.04 cores=1,3,5,7
/proc/5000/task/5012/stat : 5012 (java) S 4997 5000 2271 0 -1 1077944384 239 0 0 0 4 0 0 0 20 0 15 0 51808524 15380533248 31904 33554432000 4194304 4196468 140729659313680 140412140366576 140413171759746 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5013] ppid=4997 vsize=15020052 memory=7302135314614015847 CPUtime=0.16 cores=1,3,5,7
/proc/5000/task/5013/stat : 5013 (java) S 4997 5000 2271 0 -1 1077944384 459 0 0 0 16 0 0 0 20 0 15 0 51808524 15380533248 31904 33554432000 4194304 4196468 140729659313680 140412139313776 140413171759746 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5014] ppid=4997 vsize=15020052 memory=7885635084775281008 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5014/stat : 5014 (java) S 4997 5000 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51808524 15380533248 31904 33554432000 4194304 4196468 140729659313680 140410668182240 140413171758805 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5015] ppid=4997 vsize=15020052 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5015/stat : 5015 (java) S 4997 5000 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51808524 15380533248 31904 33554432000 4194304 4196468 140729659313680 140412138261168 140413171759746 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 127616 KiB
[startup+1.50129 s]
/proc/loadavg: 2.07 2.11 2.08 3/220 5015
/proc/meminfo: memFree=15451712/32770624 swapFree=67108860/67108860
[pid=5000] ppid=4997 vsize=15026264 memory=190580 CPUtime=2.87 cores=1,3,5,7
/proc/5000/stat : 5000 (java) S 4997 5000 2271 0 -1 1077944320 22181 0 0 0 279 8 0 0 20 0 15 0 51808517 15386894336 47645 33554432000 4194304 4196468 140729659313680 140729659296224 140413171748599 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
/proc/5000/statm: 3756566 47645 3213 1 0 3717422 0
[pid=5000/tid=5002] ppid=4997 vsize=15026264 memory=288230377108275491 CPUtime=1.46 cores=1,3,5,7
/proc/5000/task/5002/stat : 5002 (java) R 4997 5000 2271 0 -1 4202560 16348 0 0 0 141 5 0 0 20 0 15 0 51808517 15386894336 47645 33554432000 4194304 4196468 140729659313680 140413143586400 140412637079492 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5003] ppid=4997 vsize=15026264 memory=288293289789228285 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5003/stat : 5003 (java) S 4997 5000 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51808519 15386894336 47645 33554432000 4194304 4196468 140729659313680 140413175991440 140413171758805 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5004] ppid=4997 vsize=15026264 memory=288285580272600099 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5004/stat : 5004 (java) S 4997 5000 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51808519 15386894336 47645 33554432000 4194304 4196468 140729659313680 140412951694352 140413171758805 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5005] ppid=4997 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5005/stat : 5005 (java) S 4997 5000 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51808519 15386894336 47645 33554432000 4194304 4196468 140729659313680 140412631116688 140413171758805 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5006] ppid=4997 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5006/stat : 5006 (java) S 4997 5000 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51808519 15386894336 47645 33554432000 4194304 4196468 140729659313680 140412630063888 140413171758805 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5007] ppid=4997 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5007/stat : 5007 (java) S 4997 5000 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51808520 15386894336 47645 33554432000 4194304 4196468 140729659313680 140412142471536 140413171759746 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5008] ppid=4997 vsize=15026264 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5008/stat : 5008 (java) S 4997 5000 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 51808521 15386894336 47645 33554432000 4194304 4196468 140729659313680 140411674813472 140413171758805 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5009] ppid=4997 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5009/stat : 5009 (java) S 4997 5000 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51808521 15386894336 47645 33554432000 4194304 4196468 140729659313680 140411540591472 140413171758805 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5010] ppid=4997 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5010/stat : 5010 (java) S 4997 5000 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51808524 15386894336 47645 33554432000 4194304 4196468 140729659313680 140411166086992 140413171767195 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5011] ppid=4997 vsize=15026264 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/5000/task/5011/stat : 5011 (java) R 4997 5000 2271 0 -1 1077944384 974 0 0 0 40 0 0 0 20 0 15 0 51808524 15386894336 47645 33554432000 4194304 4196468 140729659313680 140412141409296 140413171758805 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5012] ppid=4997 vsize=15026264 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/5000/task/5012/stat : 5012 (java) R 4997 5000 2271 0 -1 4202560 838 0 0 0 28 1 0 0 20 0 15 0 51808524 15386894336 47645 33554432000 4194304 4196468 140729659313680 140412140350240 140413156141107 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5013] ppid=4997 vsize=15026264 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/5000/task/5013/stat : 5013 (java) S 4997 5000 2271 0 -1 1077944384 2660 0 0 0 67 0 0 0 20 0 15 0 51808524 15386894336 47645 33554432000 4194304 4196468 140729659313680 140412139313776 140413171759746 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5014] ppid=4997 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5014/stat : 5014 (java) S 4997 5000 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51808524 15386894336 47645 33554432000 4194304 4196468 140729659313680 140410668182240 140413171758805 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5015] ppid=4997 vsize=15026264 memory=280801204026432 CPUtime=0 cores=1,3,5,7
/proc/5000/task/5015/stat : 5015 (java) S 4997 5000 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51808524 15386894336 47645 33554432000 4194304 4196468 140729659313680 140412138261168 140413171759746 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 190580 KiB
[startup+1.62481 s]
# the end of solver process 5000 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.16857 s, system=0.099784 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60139 s]
/proc/loadavg: 2.07 2.11 2.08 3/220 5015
/proc/meminfo: memFree=15451712/32770624 swapFree=67108860/67108860
[pid=5000] ppid=4997 vsize=15485252 memory=208176 CPUtime=3.22 cores=1,3,5,7
/proc/5000/stat : 5000 (java) S 4997 5000 2271 0 -1 1077944320 23001 947 0 0 313 8 1 0 20 0 17 0 51808517 15856898048 52044 33554432000 4194304 4196468 140729659313680 140729659296224 140413171748599 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
/proc/5000/statm: 3871313 52044 3226 1 0 3832169 0
[pid=5000/tid=5002] ppid=4997 vsize=15485252 memory=6944656575208382560 CPUtime=1.56 cores=1,3,5,7
/proc/5000/task/5002/stat : 5002 (java) R 4997 5000 2271 0 -1 4202560 16715 947 0 0 150 5 1 0 20 0 17 0 51808517 15856898048 52044 33554432000 4194304 4196468 140729659313680 140413143586480 140413157443517 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5003] ppid=4997 vsize=15485252 memory=6944656575208382560 CPUtime=0.01 cores=1,3,5,7
/proc/5000/task/5003/stat : 5003 (java) S 4997 5000 2271 0 -1 1077944384 1 947 0 0 0 0 1 0 20 0 17 0 51808519 15856898048 52044 33554432000 4194304 4196468 140729659313680 140413175991440 140413171758805 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5004] ppid=4997 vsize=15485252 memory=6944656592455360604 CPUtime=0.01 cores=1,3,5,7
/proc/5000/task/5004/stat : 5004 (java) S 4997 5000 2271 0 -1 1077944384 1 947 0 0 0 0 1 0 20 0 17 0 51808519 15856898048 52044 33554432000 4194304 4196468 140729659313680 140412951694352 140413171758805 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5005] ppid=4997 vsize=15485252 memory=6656426216303648864 CPUtime=0.01 cores=1,3,5,7
/proc/5000/task/5005/stat : 5005 (java) S 4997 5000 2271 0 -1 1077944384 2 947 0 0 0 0 1 0 20 0 17 0 51808519 15856898048 52044 33554432000 4194304 4196468 140729659313680 140412631116688 140413171758805 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5006] ppid=4997 vsize=15485252 memory=6944656592455360604 CPUtime=0.01 cores=1,3,5,7
/proc/5000/task/5006/stat : 5006 (java) S 4997 5000 2271 0 -1 1077944384 2 947 0 0 0 0 1 0 20 0 17 0 51808519 15856898048 52044 33554432000 4194304 4196468 140729659313680 140412630063888 140413171758805 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5007] ppid=4997 vsize=15485252 memory=6944656592455360604 CPUtime=0.01 cores=1,3,5,7
/proc/5000/task/5007/stat : 5007 (java) S 4997 5000 2271 0 -1 1077944384 5 947 0 0 0 0 1 0 20 0 17 0 51808520 15856898048 52044 33554432000 4194304 4196468 140729659313680 140412142471536 140413171759746 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5008] ppid=4997 vsize=15485252 memory=-6524724634732516766 CPUtime=0.01 cores=1,3,5,7
/proc/5000/task/5008/stat : 5008 (java) S 4997 5000 2271 0 -1 1077944384 13 947 0 0 0 0 1 0 20 0 17 0 51808521 15856898048 52044 33554432000 4194304 4196468 140729659313680 140411674813472 140413171758805 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5009] ppid=4997 vsize=15485252 memory=7100839878644107880 CPUtime=0.01 cores=1,3,5,7
/proc/5000/task/5009/stat : 5009 (java) S 4997 5000 2271 0 -1 1077944384 21 947 0 0 0 0 1 0 20 0 17 0 51808521 15856898048 52044 33554432000 4194304 4196468 140729659313680 140411540591472 140413171758805 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5010] ppid=4997 vsize=15485252 memory=-8682202815009354944 CPUtime=0.01 cores=1,3,5,7
/proc/5000/task/5010/stat : 5010 (java) S 4997 5000 2271 0 -1 1077944384 3 947 0 0 0 0 1 0 20 0 17 0 51808524 15856898048 52044 33554432000 4194304 4196468 140729659313680 140411166086992 140413171767195 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5011] ppid=4997 vsize=15485252 memory=-8968777312847115355 CPUtime=0.51 cores=1,3,5,7
/proc/5000/task/5011/stat : 5011 (java) R 4997 5000 2271 0 -1 4202560 1034 947 0 0 50 0 1 0 20 0 17 0 51808524 15856898048 52044 33554432000 4194304 4196468 140729659313680 140412141405344 140413149343488 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5012] ppid=4997 vsize=15485252 memory=-6524724634732516766 CPUtime=0.4 cores=1,3,5,7
/proc/5000/task/5012/stat : 5012 (java) R 4997 5000 2271 0 -1 4202560 1060 947 0 0 38 1 1 0 20 0 17 0 51808524 15856898048 52044 33554432000 4194304 4196468 140729659313680 140412140347592 140413151602203 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5013] ppid=4997 vsize=15485252 memory=0 CPUtime=0.72 cores=1,3,5,7
/proc/5000/task/5013/stat : 5013 (java) R 4997 5000 2271 0 -1 4202560 2739 947 0 0 71 0 1 0 20 0 17 0 51808524 15856898048 52044 33554432000 4194304 4196468 140729659313680 140412139313776 140413149914981 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5014] ppid=4997 vsize=15485252 memory=161905503222766 CPUtime=0.01 cores=1,3,5,7
/proc/5000/task/5014/stat : 5014 (java) S 4997 5000 2271 0 -1 1077944384 3 947 0 0 0 0 1 0 20 0 17 0 51808524 15856898048 52044 33554432000 4194304 4196468 140729659313680 140410668182240 140413171758805 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
[pid=5000/tid=5015] ppid=4997 vsize=15485252 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5000/task/5015/stat : 5015 (java) S 4997 5000 2271 0 -1 1077944384 1 947 0 0 0 0 1 0 20 0 17 0 51808524 15856898048 52044 33554432000 4194304 4196468 140729659313680 140412138261168 140413171759746 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25116672 140729659319283 140729659319561 140729659319561 140729659322319 0
Current children cumulated CPU time: 3.22 s
Current children cumulated vsize: 15485252 KiB
Current children cumulated memory: 208176 KiB
Child status: 0
Real time (s): 1.62487
CPU time (s): 3.26836
CPU user time (s): 3.16857
CPU system time (s): 0.099784
CPU usage (%): 201.146
Max. virtual memory (cumulated for all children) (KiB): 15485252
Max. memory (cumulated for all children) (KiB): 208176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.16857
system time used= 0.099784
maximum resident set size= 211160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24038
page faults= 0
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3269
involuntary context switches= 24
# summary of solver processes directly reported to runsolver:
# pid: 5000
# total CPU time (s): 3.26836
# total CPU user time (s): 3.16857
# total CPU system time (s): 0.099784
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043247 second user time and 0.051686 second system time
The end