0.55/0.51
0.67/0.52 scop order+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Mon Jul 23 16:05:12 CEST 2018
0.67/0.54 c PID: 10003
0.67/0.54 c IP: 172.20.3.105
0.67/0.54 c HOST: node105.alineos.net
0.67/0.55 c (0,0) Parsing Begin
2.48/1.23 c (0,0) Parsing End
2.48/1.23 c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 726 ctr, max domain size 4
2.48/1.23 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.48/1.23 c (0,0) Constraint Name Generate Begin
2.48/1.25 c (0,0) Ctr:HOME/instance-4294397-1532354711.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
2.48/1.25 c (0,0) Constraint Name Generate End
2.48/1.25 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.48/1.25 c (0,0) CSP to CSPinCNF Begin
2.70/1.36 c (0,0) translated 73 (10%) constraints
2.70/1.39 c (0,0) translated 146 (20%) constraints
2.92/1.42 c (0,0) translated 218 (30%) constraints
2.92/1.44 c (0,0) translated 291 (40%) constraints
2.92/1.46 c (0,0) translated 363 (50%) constraints
2.92/1.48 c (0,0) translated 436 (60%) constraints
2.92/1.49 c (0,0) translated 509 (70%) constraints
2.92/1.50 c (0,0) translated 581 (80%) constraints
3.22/1.51 c (0,0) translated 654 (90%) constraints
3.45/1.69 c (1,1) translated 726 (100%) constraints
4.04/1.84 c (1,1) STATISTICS1:HOME/instance-4294397-1532354711.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,392,1444,32768,4,4,16,32768:32;4:1217;1:421,4:2849;2:984;1:955,4:792;3:274;2:328;1:50,16:32;2:1638;1:1528,
4.04/1.84 c (1,1) ===========================================
4.04/1.84 c (1,1) Order
4.04/1.84 c (1,1) ===========================================
4.04/1.87 c (1,1) translated 145 (10%) constraints
4.04/1.88 c (1,1) translated 289 (20%) constraints
4.37/1.90 c (1,1) translated 434 (30%) constraints
4.37/1.91 c (1,1) translated 578 (40%) constraints
4.37/1.94 c (1,1) translated 722 (50%) constraints
4.37/1.98 c (1,1) translated 867 (60%) constraints
4.37/2.00 c (1,1) translated 1011 (70%) constraints
4.73/2.03 c (1,1) translated 1156 (80%) constraints
4.73/2.04 c (1,1) translated 1300 (90%) constraints
4.73/2.05 c (1,1) translated 1444 (100%) constraints
4.73/2.05 c (1,1) CSP to CSPinCNF End
4.73/2.06 c (1,1) CSP: 112 int (48 aux), 584 bool (584 aux), 2084 ctr, max domain size 5
4.73/2.06 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.73/2.06 c (1,1) CSPinCNF Propagation Begin
5.07/2.13 c (1,1) 188 values, 858 unsatisfiable literals, and 738 valid clauses are removed
5.07/2.13 c (1,1) CSPinCNF Propagation End
5.07/2.14 c (1,1) CSP: 252 int (188 aux), 444 bool (444 aux), 1346 ctr, max domain size 5
5.07/2.14 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.07/2.14 c (1,1) Simplify CSPinCNF Begin
5.07/2.19 c (1,1) Simplify CSPinCNF End
5.07/2.19 c (1,1) CSP: 252 int (188 aux), 1259 bool (1259 aux), 2161 ctr, max domain size 5
5.07/2.19 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
5.07/2.19 c (1,1) Calculate Precise Domain Begin
5.36/2.23 c (1,1) 0 values are removed by re-calculation
5.36/2.23 c (1,1) Calculate Precise Domain End
5.36/2.23 c (1,1) CSP: 252 int (188 aux), 1259 bool (1259 aux), 2161 ctr, max domain size 5
5.36/2.23 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
5.36/2.23 c (1,1) CSPinCNF to SatSolver Begin
5.71/2.31 c (1,1) 217 (10 %) CSP clauses are encoded (1547 SAT variables, 852 SAT clauses)
5.71/2.33 c (1,1) 433 (20 %) CSP clauses are encoded (1547 SAT variables, 1572 SAT clauses)
5.71/2.35 c (1,1) 649 (30 %) CSP clauses are encoded (1547 SAT variables, 2283 SAT clauses)
5.71/2.36 c (1,1) 865 (40 %) CSP clauses are encoded (1547 SAT variables, 2928 SAT clauses)
5.71/2.37 c (1,1) 1081 (50 %) CSP clauses are encoded (1547 SAT variables, 3444 SAT clauses)
5.71/2.39 c (1,1) 1297 (60 %) CSP clauses are encoded (1547 SAT variables, 4612 SAT clauses)
6.04/2.40 c (1,1) 1513 (70 %) CSP clauses are encoded (1547 SAT variables, 5780 SAT clauses)
6.04/2.42 c (1,1) 1729 (80 %) CSP clauses are encoded (1547 SAT variables, 6948 SAT clauses)
6.04/2.42 c (1,1) 1945 (90 %) CSP clauses are encoded (1547 SAT variables, 7164 SAT clauses)
6.04/2.43 c (1,1) 2161 (100 %) CSP clauses are encoded (1547 SAT variables, 7712 SAT clauses)
6.04/2.43 c (1,1) CSPinCNF to SatSolver End
6.04/2.43 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
6.04/2.46 c (1,1) STATISTICS2:HOME/instance-4294397-1532354711.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,1511,2161,64,5,4,7,64:24;32:48;25:24;4:857;1:35,5:144;4:2325;2:3976;1:35,4:414;3:116;2:1521;1:110,7:24;6:48;3:24;2:892;1:4168,
6.04/2.46 c (1,1) SatSolver.solve Begin
6.04/2.46 c (1,1) 1547 bool, 7715 clause
6.04/2.46 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-4294397-1532354711.xml-scop-10003.cnf HOME/instance-4294397-1532354711.xml-scop-10003.cnf.out
6.04/2.50 c (1,0) c This is COMiniSatPS.
6.04/2.50 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
6.04/2.50 c (1,0) c ============================[ Problem Statistics ]=============================
6.04/2.50 c (1,0) c | |
6.04/2.50 c (1,0) c | Number of variables: 1547 |
6.04/2.50 c (1,0) c | Number of clauses: 7715 |
6.04/2.50 c (1,0) c | Parse time: 0.00 s |
6.04/2.50 c (1,0) c | Eliminated clauses: 0.01 Mb |
6.04/2.50 c (1,0) c Reduced to 1188 vars, 7188 cls (grow=0)
6.04/2.50 c (1,0) c No iterative elimination performed. (vars=1188, c/v ratio=6.1)
6.04/2.50 c (1,0) c | Simplification time: 0.01 s |
6.04/2.50 c (1,0) c | |
6.04/2.50 c (1,0) c ============================[ Search Statistics ]==============================
6.04/2.50 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
6.04/2.50 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
6.04/2.50 c (1,0) c ===============================================================================
6.04/2.50 c (1,0) c ===============================================================================
6.04/2.50 c (1,0) c restarts : 3
6.04/2.50 c (1,0) c conflicts : 298 (19819 /sec)
6.04/2.50 c (1,0) c decisions : 1011 (0.00 % random) (67239 /sec)
6.04/2.50 c (1,0) c propagations : 23052 (1533121 /sec)
6.04/2.50 c (1,0) c conflict literals : 4061 (6.86 % deleted)
6.04/2.50 c (1,0) c CPU time : 0.015036 s
6.04/2.50 c (1,0)
6.04/2.50 c (1,0) s SATISFIABLE
6.39/2.53 c (2,1) SatSolver.solve End
6.39/2.53 c (2,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
6.39/2.53 c (2,1) Show results Begin
6.39/2.54 c (2,1) x[0][0] = 0
6.39/2.54 c (2,1) x[0][1] = 0
6.39/2.54 c (2,1) x[0][2] = 0
6.39/2.54 c (2,1) x[0][3] = 0
6.39/2.54 c (2,1) x[0][4] = 1
6.39/2.54 c (2,1) x[0][5] = 1
6.39/2.54 c (2,1) x[0][6] = 1
6.39/2.54 c (2,1) x[0][7] = 1
6.39/2.54 c (2,1) x[0][8] = 2
6.39/2.54 c (2,1) x[0][9] = 2
6.39/2.54 c (2,1) x[0][10] = 2
6.39/2.54 c (2,1) x[0][11] = 2
6.39/2.54 c (2,1) x[0][12] = 3
6.39/2.54 c (2,1) x[0][13] = 3
6.39/2.54 c (2,1) x[0][14] = 3
6.39/2.54 c (2,1) x[0][15] = 3
6.39/2.54 c (2,1) x[1][0] = 0
6.39/2.54 c (2,1) x[1][1] = 1
6.39/2.54 c (2,1) x[1][2] = 2
6.39/2.54 c (2,1) x[1][3] = 3
6.39/2.54 c (2,1) x[1][4] = 0
6.39/2.54 c (2,1) x[1][5] = 1
6.39/2.54 c (2,1) x[1][6] = 2
6.39/2.54 c (2,1) x[1][7] = 3
6.39/2.54 c (2,1) x[1][8] = 0
6.39/2.54 c (2,1) x[1][9] = 1
6.39/2.54 c (2,1) x[1][10] = 2
6.39/2.54 c (2,1) x[1][11] = 3
6.39/2.54 c (2,1) x[1][12] = 0
6.39/2.54 c (2,1) x[1][13] = 1
6.39/2.54 c (2,1) x[1][14] = 2
6.39/2.54 c (2,1) x[1][15] = 3
6.39/2.54 c (2,1) x[2][0] = 2
6.39/2.54 c (2,1) x[2][1] = 1
6.39/2.54 c (2,1) x[2][2] = 3
6.39/2.54 c (2,1) x[2][3] = 0
6.39/2.54 c (2,1) x[2][4] = 3
6.39/2.54 c (2,1) x[2][5] = 0
6.39/2.54 c (2,1) x[2][6] = 2
6.39/2.54 c (2,1) x[2][7] = 1
6.39/2.54 c (2,1) x[2][8] = 1
6.39/2.54 c (2,1) x[2][9] = 2
6.39/2.54 c (2,1) x[2][10] = 0
6.39/2.54 c (2,1) x[2][11] = 3
6.39/2.54 c (2,1) x[2][12] = 0
6.39/2.54 c (2,1) x[2][13] = 3
6.39/2.54 c (2,1) x[2][14] = 1
6.39/2.54 c (2,1) x[2][15] = 2
6.39/2.54 c (2,1) x[3][0] = 3
6.39/2.54 c (2,1) x[3][1] = 0
6.39/2.54 c (2,1) x[3][2] = 2
6.39/2.54 c (2,1) x[3][3] = 1
6.39/2.54 c (2,1) x[3][4] = 1
6.39/2.54 c (2,1) x[3][5] = 2
6.39/2.54 c (2,1) x[3][6] = 0
6.39/2.54 c (2,1) x[3][7] = 3
6.39/2.54 c (2,1) x[3][8] = 2
6.39/2.54 c (2,1) x[3][9] = 1
6.39/2.54 c (2,1) x[3][10] = 3
6.39/2.54 c (2,1) x[3][11] = 0
6.39/2.54 c (2,1) x[3][12] = 0
6.39/2.54 c (2,1) x[3][13] = 3
6.39/2.54 c (2,1) x[3][14] = 1
6.39/2.54 c (2,1) x[3][15] = 2
6.39/2.54 s SATISFIABLE
6.39/2.54 v <instantiation>
6.39/2.54 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15]</list>
6.39/2.54 v <values>0 0 0 0 1 1 1 1 2 2 2 2 3 3 3 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 2 1 3 0 3 0 2 1 1 2 0 3 0 3 1 2 3 0 2 1 1 2 0 3 2 1 3 0 0 3 1 2</values>
6.39/2.54 v </instantiation>
6.39/2.54 c (2,1) Show results End
6.39/2.54 c (2,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
6.39/2.54 c (2,1) 0,0,1,1,1,1,1,2,2,STOP-AFTER(ALL)
6.39/2.54 c END-Prog: Mon Jul 23 16:05:14 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 (4065 MiB free)
memory of node 1: 16384 MiB (11578 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294397-1532354711/watcher-4294397-1532354711 -o /tmp/evaluation-result-4294397-1532354711/solver-4294397-1532354711 -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-4294397-1532354711.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=10003, runsolver pid=10000
[startup+0.100141 s]*
/proc/loadavg: 2.01 2.01 2.05 3/220 10018
/proc/meminfo: memFree=15958200/32770624 swapFree=67108860/67108860
[pid=10003] ppid=10000 vsize=15011656 memory=74936 CPUtime=0.12 cores=1,3,5,7
/proc/10003/stat : 10003 (java) S 10000 10003 2271 0 -1 1077944320 6881 0 0 0 10 2 0 0 20 0 15 0 53034274 15371935744 18668 33554432000 4194304 4196468 140721356470880 140721356453424 139963790724855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
/proc/10003/statm: 3752914 18734 2780 1 0 3715374 0
[pid=10003/tid=10005] ppid=10000 vsize=15011656 memory=-6727144656924359504 CPUtime=0.09 cores=1,3,5,7
/proc/10003/task/10005/stat : 10005 (java) R 10000 10003 2271 0 -1 4202560 5136 0 0 0 8 1 0 0 20 0 15 0 53034275 15371935744 18866 33554432000 4194304 4196468 140721356470880 139963762536632 139963771000562 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10006] ppid=10000 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10006/stat : 10006 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15371935744 18866 33554432000 4194304 4196468 140721356470880 139963794967312 139963790735061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10007] ppid=10000 vsize=15011656 memory=140681969038976 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10007/stat : 10007 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15371935744 18866 33554432000 4194304 4196468 140721356470880 139963593743248 139963790735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10008] ppid=10000 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10008/stat : 10008 (java) S 10000 10003 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53034276 15371935744 18866 33554432000 4194304 4196468 140721356470880 139963592690704 139963790735061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10009] ppid=10000 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10009/stat : 10009 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15371935744 18866 33554432000 4194304 4196468 140721356470880 139963591638160 139963790735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10010] ppid=10000 vsize=15011656 memory=140681969038976 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10010/stat : 10010 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034278 15371935744 18932 33554432000 4194304 4196468 140721356470880 139962560223216 139963790736002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10011] ppid=10000 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10011/stat : 10011 (java) S 10000 10003 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53034278 15371935744 18932 33554432000 4194304 4196468 140721356470880 139962448077728 139963790735061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10012] ppid=10000 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10012/stat : 10012 (java) S 10000 10003 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53034278 15371935744 18932 33554432000 4194304 4196468 140721356470880 139962179642352 139963790735061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10013] ppid=10000 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10013/stat : 10013 (java) S 10000 10003 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53034281 15371935744 18932 33554432000 4194304 4196468 140721356470880 139961805134032 139963790743451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10014] ppid=10000 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10014/stat : 10014 (java) S 10000 10003 2271 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 53034281 15371935744 18932 33554432000 4194304 4196468 140721356470880 139962559171056 139963790736002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10015] ppid=10000 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10015/stat : 10015 (java) S 10000 10003 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53034281 15371935744 18932 33554432000 4194304 4196468 140721356470880 139962558118512 139963790736002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10016] ppid=10000 vsize=15011656 memory=140681969038976 CPUtime=0.01 cores=1,3,5,7
/proc/10003/task/10016/stat : 10016 (java) S 10000 10003 2271 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 15 0 53034281 15371935744 18932 33554432000 4194304 4196468 140721356470880 139962557065968 139963790736002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10017] ppid=10000 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10017/stat : 10017 (java) S 10000 10003 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53034281 15371935744 18932 33554432000 4194304 4196468 140721356470880 139961307229280 139963790735061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10018] ppid=10000 vsize=15011656 memory=140681969038976 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10018/stat : 10018 (java) S 10000 10003 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53034281 15371935744 18932 33554432000 4194304 4196468 140721356470880 139962556012848 139963790736002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 74936 KiB
[startup+0.210499 s]*
/proc/loadavg: 2.01 2.01 2.05 3/220 10018
/proc/meminfo: memFree=15944372/32770624 swapFree=67108860/67108860
[pid=10003] ppid=10000 vsize=15011656 memory=86732 CPUtime=0.26 cores=1,3,5,7
/proc/10003/stat : 10003 (java) S 10000 10003 2271 0 -1 1077944320 10104 0 0 0 23 3 0 0 20 0 15 0 53034274 15371935744 21683 33554432000 4194304 4196468 140721356470880 140721356453424 139963790724855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
/proc/10003/statm: 3752914 21683 2888 1 0 3715374 0
[pid=10003/tid=10005] ppid=10000 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/10003/task/10005/stat : 10005 (java) R 10000 10003 2271 0 -1 4202560 8007 0 0 0 18 2 0 0 20 0 15 0 53034275 15371935744 21683 33554432000 4194304 4196468 140721356470880 139963762550704 139963774768485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10006] ppid=10000 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10006/stat : 10006 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15371935744 21683 33554432000 4194304 4196468 140721356470880 139963794967312 139963790735061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10007] ppid=10000 vsize=15011656 memory=3472468978210600608 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10007/stat : 10007 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15371935744 21683 33554432000 4194304 4196468 140721356470880 139963593743248 139963790735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10008] ppid=10000 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10008/stat : 10008 (java) S 10000 10003 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53034276 15371935744 21683 33554432000 4194304 4196468 140721356470880 139963592690704 139963790735061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10009] ppid=10000 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10009/stat : 10009 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15371935744 21683 33554432000 4194304 4196468 140721356470880 139963591638160 139963790735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10010] ppid=10000 vsize=15011656 memory=140681969038976 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10010/stat : 10010 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034278 15371935744 21683 33554432000 4194304 4196468 140721356470880 139962560223216 139963790736002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10011] ppid=10000 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10011/stat : 10011 (java) S 10000 10003 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53034278 15371935744 21683 33554432000 4194304 4196468 140721356470880 139962448077728 139963790735061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10012] ppid=10000 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10012/stat : 10012 (java) S 10000 10003 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53034278 15371935744 21683 33554432000 4194304 4196468 140721356470880 139962179642352 139963790735061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10013] ppid=10000 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10013/stat : 10013 (java) S 10000 10003 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53034281 15371935744 21683 33554432000 4194304 4196468 140721356470880 139961805134032 139963790743451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10014] ppid=10000 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10003/task/10014/stat : 10014 (java) R 10000 10003 2271 0 -1 4202560 457 0 0 0 1 0 0 0 20 0 15 0 53034281 15371935744 21683 33554432000 4194304 4196468 140721356470880 139962559171056 139963769888016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10015] ppid=10000 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10015/stat : 10015 (java) R 10000 10003 2271 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 53034281 15371935744 21683 33554432000 4194304 4196468 140721356470880 139962558118512 139963790736002 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10016] ppid=10000 vsize=15011656 memory=140681969038976 CPUtime=0.03 cores=1,3,5,7
/proc/10003/task/10016/stat : 10016 (java) S 10000 10003 2271 0 -1 1077944384 291 0 0 0 3 0 0 0 20 0 15 0 53034281 15371935744 21683 33554432000 4194304 4196468 140721356470880 139962557065968 139963790736002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10017] ppid=10000 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10017/stat : 10017 (java) S 10000 10003 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53034281 15371935744 21683 33554432000 4194304 4196468 140721356470880 139961307229280 139963790735061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10018] ppid=10000 vsize=15011656 memory=140681969038976 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10018/stat : 10018 (java) S 10000 10003 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53034281 15371935744 21683 33554432000 4194304 4196468 140721356470880 139962556012848 139963790736002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86732 KiB
[startup+0.310546 s]*
/proc/loadavg: 2.01 2.01 2.05 3/220 10018
/proc/meminfo: memFree=15940712/32770624 swapFree=67108860/67108860
[pid=10003] ppid=10000 vsize=15011656 memory=90464 CPUtime=0.44 cores=1,3,5,7
/proc/10003/stat : 10003 (java) S 10000 10003 2271 0 -1 1077944320 10640 0 0 0 41 3 0 0 20 0 15 0 53034274 15371935744 22616 33554432000 4194304 4196468 140721356470880 140721356453424 139963790724855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
/proc/10003/statm: 3752914 22616 3028 1 0 3715374 0
[pid=10003/tid=10005] ppid=10000 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/10003/task/10005/stat : 10005 (java) R 10000 10003 2271 0 -1 4202560 8384 0 0 0 28 2 0 0 20 0 15 0 53034275 15371935744 22616 33554432000 4194304 4196468 140721356470880 139963762529008 139963771000185 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10006] ppid=10000 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10006/stat : 10006 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15371935744 22616 33554432000 4194304 4196468 140721356470880 139963794967312 139963790735061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10007] ppid=10000 vsize=15011656 memory=3760558672393273376 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10007/stat : 10007 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15371935744 22616 33554432000 4194304 4196468 140721356470880 139963593743248 139963790735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10008] ppid=10000 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10008/stat : 10008 (java) S 10000 10003 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53034276 15371935744 22616 33554432000 4194304 4196468 140721356470880 139963592690704 139963790735061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10009] ppid=10000 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10009/stat : 10009 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15371935744 22616 33554432000 4194304 4196468 140721356470880 139963591638160 139963790735061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10010] ppid=10000 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10010/stat : 10010 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034278 15371935744 22616 33554432000 4194304 4196468 140721356470880 139962560223216 139963790736002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10011] ppid=10000 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10011/stat : 10011 (java) S 10000 10003 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53034278 15371935744 22616 33554432000 4194304 4196468 140721356470880 139962448077728 139963790735061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10012] ppid=10000 vsize=15011656 memory=140681969038976 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10012/stat : 10012 (java) S 10000 10003 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53034278 15371935744 22616 33554432000 4194304 4196468 140721356470880 139962179642352 139963790735061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10013] ppid=10000 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10013/stat : 10013 (java) S 10000 10003 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53034281 15371935744 22616 33554432000 4194304 4196468 140721356470880 139961805134032 139963790743451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10014] ppid=10000 vsize=15011656 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10003/task/10014/stat : 10014 (java) S 10000 10003 2271 0 -1 1077944384 546 0 0 0 3 0 0 0 20 0 15 0 53034281 15371935744 22616 33554432000 4194304 4196468 140721356470880 139962559171056 139963790736002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10015] ppid=10000 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/10003/task/10015/stat : 10015 (java) S 10000 10003 2271 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 15 0 53034281 15371935744 22616 33554432000 4194304 4196468 140721356470880 139962558118512 139963790736002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10016] ppid=10000 vsize=15011656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10003/task/10016/stat : 10016 (java) S 10000 10003 2271 0 -1 1077944384 311 0 0 0 7 0 0 0 20 0 15 0 53034281 15371935744 22616 33554432000 4194304 4196468 140721356470880 139962557065968 139963790736002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10017] ppid=10000 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10017/stat : 10017 (java) S 10000 10003 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53034281 15371935744 22616 33554432000 4194304 4196468 140721356470880 139961307229280 139963790735061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10018] ppid=10000 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10018/stat : 10018 (java) S 10000 10003 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53034281 15371935744 22616 33554432000 4194304 4196468 140721356470880 139962556012848 139963790736002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90464 KiB
[startup+0.700801 s]
/proc/loadavg: 2.01 2.01 2.05 3/220 10018
/proc/meminfo: memFree=15916652/32770624 swapFree=67108860/67108860
[pid=10003] ppid=10000 vsize=15020052 memory=129756 CPUtime=1.03 cores=1,3,5,7
/proc/10003/stat : 10003 (java) S 10000 10003 2271 0 -1 1077944320 17661 0 0 0 98 5 0 0 20 0 15 0 53034274 15380533248 32439 33554432000 4194304 4196468 140721356470880 140721356453424 139963790724855 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
/proc/10003/statm: 3755013 32439 3158 1 0 3716398 0
[pid=10003/tid=10005] ppid=10000 vsize=15020052 memory=796 CPUtime=0.67 cores=1,3,5,7
/proc/10003/task/10005/stat : 10005 (java) R 10000 10003 2271 0 -1 4202560 14930 0 0 0 63 4 0 0 20 0 15 0 53034275 15380533248 32439 33554432000 4194304 4196468 140721356470880 139963762556768 139963774805342 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10006] ppid=10000 vsize=15020052 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10006/stat : 10006 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15380533248 32439 33554432000 4194304 4196468 140721356470880 139963794967312 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10007] ppid=10000 vsize=15020052 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10007/stat : 10007 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15380533248 32439 33554432000 4194304 4196468 140721356470880 139963593743248 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10008] ppid=10000 vsize=15020052 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10008/stat : 10008 (java) S 10000 10003 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53034276 15380533248 32439 33554432000 4194304 4196468 140721356470880 139963592690704 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10009] ppid=10000 vsize=15020052 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10009/stat : 10009 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15380533248 32439 33554432000 4194304 4196468 140721356470880 139963591638160 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10010] ppid=10000 vsize=15020052 memory=281363710519072 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10010/stat : 10010 (java) S 10000 10003 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53034278 15380533248 32439 33554432000 4194304 4196468 140721356470880 139962560223216 139963790736002 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10011] ppid=10000 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10011/stat : 10011 (java) S 10000 10003 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53034278 15380533248 32439 33554432000 4194304 4196468 140721356470880 139962448077728 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10012] ppid=10000 vsize=15020052 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10012/stat : 10012 (java) S 10000 10003 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53034278 15380533248 32439 33554432000 4194304 4196468 140721356470880 139962179642352 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10013] ppid=10000 vsize=15020052 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10013/stat : 10013 (java) S 10000 10003 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53034281 15380533248 32439 33554432000 4194304 4196468 140721356470880 139961805134032 139963790743451 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10014] ppid=10000 vsize=15020052 memory=8380 CPUtime=0.1 cores=1,3,5,7
/proc/10003/task/10014/stat : 10014 (java) S 10000 10003 2271 0 -1 1077944384 777 0 0 0 10 0 0 0 20 0 15 0 53034281 15380533248 32439 33554432000 4194304 4196468 140721356470880 139962559171056 139963790736002 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10015] ppid=10000 vsize=15020052 memory=7307210974946176466 CPUtime=0.07 cores=1,3,5,7
/proc/10003/task/10015/stat : 10015 (java) S 10000 10003 2271 0 -1 1077944384 162 0 0 0 7 0 0 0 20 0 15 0 53034281 15380533248 32439 33554432000 4194304 4196468 140721356470880 139962558118512 139963790736002 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10016] ppid=10000 vsize=15020052 memory=7302135314614015847 CPUtime=0.17 cores=1,3,5,7
/proc/10003/task/10016/stat : 10016 (java) S 10000 10003 2271 0 -1 1077944384 450 0 0 0 17 0 0 0 20 0 15 0 53034281 15380533248 32439 33554432000 4194304 4196468 140721356470880 139962557065968 139963790736002 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10017] ppid=10000 vsize=15020052 memory=7885635084775281008 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10017/stat : 10017 (java) S 10000 10003 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53034281 15380533248 32439 33554432000 4194304 4196468 140721356470880 139961307229280 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10018] ppid=10000 vsize=15020052 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10018/stat : 10018 (java) S 10000 10003 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53034281 15380533248 32439 33554432000 4194304 4196468 140721356470880 139962556012848 139963790736002 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129756 KiB
[startup+1.50998 s]
/proc/loadavg: 2.01 2.01 2.05 5/220 10018
/proc/meminfo: memFree=15881812/32770624 swapFree=67108860/67108860
[pid=10003] ppid=10000 vsize=15022100 memory=187508 CPUtime=3.22 cores=1,3,5,7
/proc/10003/stat : 10003 (java) S 10000 10003 2271 0 -1 1077944320 21804 0 0 0 314 8 0 0 20 0 15 0 53034274 15382630400 46877 33554432000 4194304 4196468 140721356470880 140721356453424 139963790724855 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
/proc/10003/statm: 3755525 46877 3208 1 0 3716910 0
[pid=10003/tid=10005] ppid=10000 vsize=15022100 memory=288230377108275491 CPUtime=1.47 cores=1,3,5,7
/proc/10003/task/10005/stat : 10005 (java) R 10000 10003 2271 0 -1 4202560 15950 0 0 0 142 5 0 0 20 0 15 0 53034275 15382630400 46877 33554432000 4194304 4196468 140721356470880 139963762554608 139963270168683 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10006] ppid=10000 vsize=15022100 memory=288293289789228285 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10006/stat : 10006 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15382630400 46877 33554432000 4194304 4196468 140721356470880 139963794967312 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10007] ppid=10000 vsize=15022100 memory=288285580272600099 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10007/stat : 10007 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15382630400 46877 33554432000 4194304 4196468 140721356470880 139963593743248 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10008] ppid=10000 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10008/stat : 10008 (java) S 10000 10003 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53034276 15382630400 46877 33554432000 4194304 4196468 140721356470880 139963592690704 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10009] ppid=10000 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10009/stat : 10009 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15382630400 46877 33554432000 4194304 4196468 140721356470880 139963591638160 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10010] ppid=10000 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10010/stat : 10010 (java) S 10000 10003 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53034278 15382630400 46877 33554432000 4194304 4196468 140721356470880 139962560223216 139963790736002 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
################
# More data... #
################
[startup+2.56341 s]
# the end of solver process 10003 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.39968 s, system=0.132306 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60188 s]
/proc/loadavg: 2.01 2.01 2.05 5/220 10018
/proc/meminfo: memFree=15881812/32770624 swapFree=67108860/67108860
[pid=10003] ppid=10000 vsize=15022100 memory=192496 CPUtime=3.45 cores=1,3,5,7
/proc/10003/stat : 10003 (java) S 10000 10003 2271 0 -1 1077944320 22052 0 0 0 337 8 0 0 20 0 15 0 53034274 15382630400 48124 33554432000 4194304 4196468 140721356470880 140721356453424 139963790724855 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
/proc/10003/statm: 3755525 48124 3209 1 0 3716910 0
[pid=10003/tid=10005] ppid=10000 vsize=15022100 memory=6944656575208382560 CPUtime=1.56 cores=1,3,5,7
/proc/10003/task/10005/stat : 10005 (java) R 10000 10003 2271 0 -1 4202560 16038 0 0 0 151 5 0 0 20 0 15 0 53034275 15382630400 48124 33554432000 4194304 4196468 140721356470880 139963762553616 139963278782950 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10006] ppid=10000 vsize=15022100 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10006/stat : 10006 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15382630400 48124 33554432000 4194304 4196468 140721356470880 139963794967312 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10007] ppid=10000 vsize=15022100 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10007/stat : 10007 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15382630400 48124 33554432000 4194304 4196468 140721356470880 139963593743248 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10008] ppid=10000 vsize=15022100 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10008/stat : 10008 (java) S 10000 10003 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53034276 15382630400 48124 33554432000 4194304 4196468 140721356470880 139963592690704 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10009] ppid=10000 vsize=15022100 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10009/stat : 10009 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15382630400 48124 33554432000 4194304 4196468 140721356470880 139963591638160 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10010] ppid=10000 vsize=15022100 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10010/stat : 10010 (java) S 10000 10003 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53034278 15382630400 48124 33554432000 4194304 4196468 140721356470880 139962560223216 139963790736002 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10011] ppid=10000 vsize=15022100 memory=7100839878644107880 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10011/stat : 10011 (java) S 10000 10003 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53034278 15382630400 48124 33554432000 4194304 4196468 140721356470880 139962448077728 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10012] ppid=10000 vsize=15022100 memory=-8392843219008451776 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10012/stat : 10012 (java) S 10000 10003 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53034278 15382630400 48124 33554432000 4194304 4196468 140721356470880 139962179642352 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10013] ppid=10000 vsize=15022100 memory=9119928391463226277 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10013/stat : 10013 (java) S 10000 10003 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53034281 15382630400 48124 33554432000 4194304 4196468 140721356470880 139961805134032 139963790743451 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10014] ppid=10000 vsize=15022100 memory=-8686725192589007501 CPUtime=0.52 cores=1,3,5,7
/proc/10003/task/10014/stat : 10014 (java) R 10000 10003 2271 0 -1 4202560 1247 0 0 0 52 0 0 0 20 0 15 0 53034281 15382630400 48124 33554432000 4194304 4196468 140721356470880 139962559154528 139963774111107 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10015] ppid=10000 vsize=15022100 memory=-6524724634732516766 CPUtime=0.56 cores=1,3,5,7
/proc/10003/task/10015/stat : 10015 (java) S 10000 10003 2271 0 -1 1077944384 982 0 0 0 56 0 0 0 20 0 15 0 53034281 15382630400 48124 33554432000 4194304 4196468 140721356470880 139962558118512 139963790736002 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10016] ppid=10000 vsize=15022100 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/10003/task/10016/stat : 10016 (java) S 10000 10003 2271 0 -1 1077944384 2442 0 0 0 77 0 0 0 20 0 15 0 53034281 15382630400 48124 33554432000 4194304 4196468 140721356470880 139962557065968 139963790736002 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10017] ppid=10000 vsize=15022100 memory=183674477858681 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10017/stat : 10017 (java) S 10000 10003 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53034281 15382630400 48636 33554432000 4194304 4196468 140721356470880 139961307229280 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10018] ppid=10000 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10018/stat : 10018 (java) S 10000 10003 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53034281 15382630400 48636 33554432000 4194304 4196468 140721356470880 139962556012848 139963790736002 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
Current children cumulated CPU time: 3.45 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 192496 KiB
[startup+2.0008 s]*
/proc/loadavg: 2.01 2.01 2.05 5/220 10018
/proc/meminfo: memFree=15781092/32770624 swapFree=67108860/67108860
[pid=10003] ppid=10000 vsize=15024148 memory=252572 CPUtime=4.73 cores=1,3,5,7
/proc/10003/stat : 10003 (java) S 10000 10003 2271 0 -1 1077944320 22783 0 0 0 463 10 0 0 20 0 15 0 53034274 15384727552 63143 33554432000 4194304 4196468 140721356470880 140721356453424 139963790724855 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
/proc/10003/statm: 3756037 63143 3210 1 0 3717422 0
[pid=10003/tid=10005] ppid=10000 vsize=15024148 memory=591154767701475604 CPUtime=1.96 cores=1,3,5,7
/proc/10003/task/10005/stat : 10005 (java) R 10000 10003 2271 0 -1 4202560 16251 0 0 0 190 6 0 0 20 0 15 0 53034275 15384727552 63143 33554432000 4194304 4196468 140721356470880 139963762554960 139963279546432 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10006] ppid=10000 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10006/stat : 10006 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15384727552 63143 33554432000 4194304 4196468 140721356470880 139963794967312 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10007] ppid=10000 vsize=15024148 memory=140681969392748 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10007/stat : 10007 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15384727552 63143 33554432000 4194304 4196468 140721356470880 139963593743248 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10008] ppid=10000 vsize=15024148 memory=-8412658744800154483 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10008/stat : 10008 (java) S 10000 10003 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53034276 15384727552 63143 33554432000 4194304 4196468 140721356470880 139963592690704 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10009] ppid=10000 vsize=15024148 memory=-8412652161523748723 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10009/stat : 10009 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15384727552 63143 33554432000 4194304 4196468 140721356470880 139963591638160 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10010] ppid=10000 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10010/stat : 10010 (java) S 10000 10003 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53034278 15384727552 63143 33554432000 4194304 4196468 140721356470880 139962560223216 139963790736002 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10011] ppid=10000 vsize=15024148 memory=7023173872967631466 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10011/stat : 10011 (java) S 10000 10003 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53034278 15384727552 63143 33554432000 4194304 4196468 140721356470880 139962448077728 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10012] ppid=10000 vsize=15024148 memory=8110268427993965958 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10012/stat : 10012 (java) S 10000 10003 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53034278 15384727552 63143 33554432000 4194304 4196468 140721356470880 139962179642352 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10013] ppid=10000 vsize=15024148 memory=-8033973737701895300 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10013/stat : 10013 (java) S 10000 10003 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53034281 15384727552 63143 33554432000 4194304 4196468 140721356470880 139961805134032 139963790743451 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10014] ppid=10000 vsize=15024148 memory=0 CPUtime=0.88 cores=1,3,5,7
/proc/10003/task/10014/stat : 10014 (java) R 10000 10003 2271 0 -1 4202560 1369 0 0 0 87 1 0 0 20 0 15 0 53034281 15384727552 63143 33554432000 4194304 4196468 140721356470880 139962559164080 139963769967975 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10015] ppid=10000 vsize=15024148 memory=3472328296225127011 CPUtime=0.92 cores=1,3,5,7
/proc/10003/task/10015/stat : 10015 (java) R 10000 10003 2271 0 -1 4202560 1089 0 0 0 91 1 0 0 20 0 15 0 53034281 15384727552 63143 33554432000 4194304 4196468 140721356470880 139962558104912 139963772269468 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10016] ppid=10000 vsize=15024148 memory=7236950725377228976 CPUtime=0.94 cores=1,3,5,7
/proc/10003/task/10016/stat : 10016 (java) R 10000 10003 2271 0 -1 1077944384 2731 0 0 0 93 1 0 0 20 0 15 0 53034281 15384727552 63143 33554432000 4194304 4196468 140721356470880 139962557065968 139963790736002 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10017] ppid=10000 vsize=15024148 memory=4207609243482280713 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10017/stat : 10017 (java) S 10000 10003 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53034281 15384727552 63143 33554432000 4194304 4196468 140721356470880 139961307229280 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10018] ppid=10000 vsize=15024148 memory=16100372959728920 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10018/stat : 10018 (java) S 10000 10003 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53034281 15384727552 63143 33554432000 4194304 4196468 140721356470880 139962556012848 139963790736002 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
Current children cumulated CPU time: 4.73 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 252572 KiB
[startup+2.40072 s]
/proc/loadavg: 2.01 2.01 2.05 5/220 10018
/proc/meminfo: memFree=15781092/32770624 swapFree=67108860/67108860
[pid=10003] ppid=10000 vsize=15026264 memory=311724 CPUtime=6.04 cores=1,3,5,7
/proc/10003/stat : 10003 (java) S 10000 10003 2271 0 -1 1077944320 24342 0 0 0 594 10 0 0 20 0 15 0 53034274 15386894336 77931 33554432000 4194304 4196468 140721356470880 140721356453424 139963790724855 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
/proc/10003/statm: 3756566 77931 3224 1 0 3717422 0
[pid=10003/tid=10005] ppid=10000 vsize=15026264 memory=0 CPUtime=2.36 cores=1,3,5,7
/proc/10003/task/10005/stat : 10005 (java) R 10000 10003 2271 0 -1 4202560 16704 0 0 0 229 7 0 0 20 0 15 0 53034275 15386894336 77931 33554432000 4194304 4196468 140721356470880 139963762559904 139963774835877 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10006] ppid=10000 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10006/stat : 10006 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15386894336 77931 33554432000 4194304 4196468 140721356470880 139963794967312 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10007] ppid=10000 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10007/stat : 10007 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15386894336 77931 33554432000 4194304 4196468 140721356470880 139963593743248 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10008] ppid=10000 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10008/stat : 10008 (java) S 10000 10003 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53034276 15386894336 77931 33554432000 4194304 4196468 140721356470880 139963592690704 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10009] ppid=10000 vsize=15026264 memory=222460 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10009/stat : 10009 (java) S 10000 10003 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53034276 15386894336 77931 33554432000 4194304 4196468 140721356470880 139963591638160 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10010] ppid=10000 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10010/stat : 10010 (java) S 10000 10003 2271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 53034278 15386894336 77931 33554432000 4194304 4196468 140721356470880 139962560223216 139963790736002 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10011] ppid=10000 vsize=15026264 memory=183631326760489 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10011/stat : 10011 (java) S 10000 10003 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53034278 15386894336 77931 33554432000 4194304 4196468 140721356470880 139962448077728 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10012] ppid=10000 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10012/stat : 10012 (java) S 10000 10003 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53034278 15386894336 77931 33554432000 4194304 4196468 140721356470880 139962179642352 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10013] ppid=10000 vsize=15026264 memory=7813734777054307858 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10013/stat : 10013 (java) S 10000 10003 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53034281 15386894336 77931 33554432000 4194304 4196468 140721356470880 139961805134032 139963790743451 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10014] ppid=10000 vsize=15026264 memory=6656426216303648864 CPUtime=1.26 cores=1,3,5,7
/proc/10003/task/10014/stat : 10014 (java) R 10000 10003 2271 0 -1 4202560 1751 0 0 0 125 1 0 0 20 0 15 0 53034281 15386894336 77931 33554432000 4194304 4196468 140721356470880 139962559156368 139963770561193 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10015] ppid=10000 vsize=15026264 memory=6944656592455360604 CPUtime=1.31 cores=1,3,5,7
/proc/10003/task/10015/stat : 10015 (java) R 10000 10003 2271 0 -1 4202560 1514 0 0 0 130 1 0 0 20 0 15 0 53034281 15386894336 77931 33554432000 4194304 4196468 140721356470880 139962558118512 139963775606436 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10016] ppid=10000 vsize=15026264 memory=6944656592455359580 CPUtime=1.1 cores=1,3,5,7
/proc/10003/task/10016/stat : 10016 (java) S 10000 10003 2271 0 -1 1077944384 3030 0 0 0 109 1 0 0 20 0 15 0 53034281 15386894336 77931 33554432000 4194304 4196468 140721356470880 139962557065968 139963790736002 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10017] ppid=10000 vsize=15026264 memory=-4051592751533505334 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10017/stat : 10017 (java) S 10000 10003 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53034281 15386894336 77931 33554432000 4194304 4196468 140721356470880 139961307229280 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10018] ppid=10000 vsize=15026264 memory=7100839870105755529 CPUtime=0 cores=1,3,5,7
/proc/10003/task/10018/stat : 10018 (java) S 10000 10003 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53034281 15386894336 77931 33554432000 4194304 4196468 140721356470880 139962556012848 139963790736002 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 311724 KiB
[startup+2.50532 s]
/proc/loadavg: 2.01 2.01 2.05 5/220 10018
/proc/meminfo: memFree=15781092/32770624 swapFree=67108860/67108860
[pid=10003] ppid=10000 vsize=15487300 memory=338012 CPUtime=6.39 cores=1,3,5,7
/proc/10003/stat : 10003 (java) S 10000 10003 2271 0 -1 1077944320 24782 801 0 0 626 12 1 0 20 0 17 0 53034274 15858995200 85000 33554432000 4194304 4196468 140721356470880 140721356453424 139963790724855 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
/proc/10003/statm: 3871825 85000 3229 1 0 3832681 0
[pid=10003/tid=10005] ppid=10000 vsize=15487300 memory=292800 CPUtime=2.46 cores=1,3,5,7
/proc/10003/task/10005/stat : 10005 (java) R 10000 10003 2271 0 -1 4202560 16977 801 0 0 237 8 1 0 20 0 17 0 53034275 15858995200 84503 33554432000 4194304 4196468 140721356470880 139963762560512 139963774805342 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10006] ppid=10000 vsize=15487300 memory=4132769004644038186 CPUtime=0.01 cores=1,3,5,7
/proc/10003/task/10006/stat : 10006 (java) S 10000 10003 2271 0 -1 1077944384 2 801 0 0 0 0 1 0 20 0 17 0 53034276 15858995200 84503 33554432000 4194304 4196468 140721356470880 139963794967312 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10007] ppid=10000 vsize=15356224 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10003/task/10007/stat : 10007 (java) S 10000 10003 2271 0 -1 1077944384 2 801 0 0 0 0 1 0 20 0 17 0 53034276 15724773376 84497 33554432000 4194304 4196468 140721356470880 139963593743248 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10008] ppid=10000 vsize=15356224 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10003/task/10008/stat : 10008 (java) S 10000 10003 2271 0 -1 1077944384 1 801 0 0 0 0 1 0 20 0 16 0 53034276 15724773376 84497 33554432000 4194304 4196468 140721356470880 139963592690704 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10009] ppid=10000 vsize=15356224 memory=4580 CPUtime=0.01 cores=1,3,5,7
/proc/10003/task/10009/stat : 10009 (java) S 10000 10003 2271 0 -1 1077944384 2 801 0 0 0 0 1 0 20 0 16 0 53034276 15724773376 84497 33554432000 4194304 4196468 140721356470880 139963591638160 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10010] ppid=10000 vsize=15356224 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10003/task/10010/stat : 10010 (java) S 10000 10003 2271 0 -1 1077944384 6 801 0 0 0 0 1 0 20 0 16 0 53034278 15724773376 84497 33554432000 4194304 4196468 140721356470880 139962560223216 139963790736002 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10011] ppid=10000 vsize=15356224 memory=281363710557200 CPUtime=0.01 cores=1,3,5,7
/proc/10003/task/10011/stat : 10011 (java) S 10000 10003 2271 0 -1 1077944384 13 801 0 0 0 0 1 0 20 0 16 0 53034278 15724773376 84497 33554432000 4194304 4196468 140721356470880 139962448077728 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10012] ppid=10000 vsize=15356224 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10003/task/10012/stat : 10012 (java) S 10000 10003 2271 0 -1 1077944384 1 801 0 0 0 0 1 0 20 0 16 0 53034278 15724773376 84497 33554432000 4194304 4196468 140721356470880 139962179642352 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10013] ppid=10000 vsize=15356224 memory=-4546129931942301728 CPUtime=0.01 cores=1,3,5,7
/proc/10003/task/10013/stat : 10013 (java) S 10000 10003 2271 0 -1 1077944384 3 801 0 0 0 0 1 0 20 0 16 0 53034281 15724773376 84497 33554432000 4194304 4196468 140721356470880 139961805134032 139963790743451 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10014] ppid=10000 vsize=15356224 memory=-1807685287717842718 CPUtime=1.38 cores=1,3,5,7
/proc/10003/task/10014/stat : 10014 (java) D 10000 10003 2271 0 -1 4202560 1774 801 0 0 136 1 1 0 20 0 16 0 53034281 15724773376 84497 33554432000 4194304 4196468 140721356470880 139962559152072 139963783442007 0 4 0 25189583 18446744071582151463 0 0 -1 1 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10015] ppid=10000 vsize=15356224 memory=166 CPUtime=1.4 cores=1,3,5,7
/proc/10003/task/10015/stat : 10015 (java) S 10000 10003 2271 0 -1 1077944384 1541 801 0 0 138 1 1 0 20 0 16 0 53034281 15724773376 84497 33554432000 4194304 4196468 140721356470880 139962558118512 139963790736002 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10016] ppid=10000 vsize=15356224 memory=0 CPUtime=1.14 cores=1,3,5,7
/proc/10003/task/10016/stat : 10016 (java) R 10000 10003 2271 0 -1 4202560 3090 801 0 0 112 1 1 0 20 0 16 0 53034281 15724773376 84497 33554432000 4194304 4196468 140721356470880 139962557060544 139963769329221 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10017] ppid=10000 vsize=15356224 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10003/task/10017/stat : 10017 (java) S 10000 10003 2271 0 -1 1077944384 3 801 0 0 0 0 1 0 20 0 16 0 53034281 15724773376 84497 33554432000 4194304 4196468 140721356470880 139961307229280 139963790735061 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
[pid=10003/tid=10018] ppid=10000 vsize=15356224 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10003/task/10018/stat : 10018 (java) S 10000 10003 2271 0 -1 1077944384 1 801 0 0 0 0 1 0 20 0 16 0 53034281 15724773376 84497 33554432000 4194304 4196468 140721356470880 139962556012848 139963790736002 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140721356477427 140721356477705 140721356477705 140721356480463 0
Current children cumulated CPU time: 6.39 s
Current children cumulated vsize: 15487300 KiB
Current children cumulated memory: 338012 KiB
Child status: 0
Real time (s): 2.56345
CPU time (s): 6.53199
CPU user time (s): 6.39968
CPU system time (s): 0.132306
CPU usage (%): 254.813
Max. virtual memory (cumulated for all children) (KiB): 15487300
Max. memory (cumulated for all children) (KiB): 338012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.39968
system time used= 0.132306
maximum resident set size= 345520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25849
page faults= 0
swaps= 0
block input operations= 0
block output operations= 328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3924
involuntary context switches= 30
# summary of solver processes directly reported to runsolver:
# pid: 10003
# total CPU time (s): 6.53199
# total CPU user time (s): 6.39968
# total CPU system time (s): 0.132306
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033315 second user time and 0.076001 second system time
The end