0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-5128-serial-file.bin HOME/instance-4305379-1534134847.xml
0.54/0.51
0.65/0.52 scop order+minisat_release (2018-07-31)
0.65/0.52 (Encoding Process)
0.65/0.52
0.65/0.54 c BEGIN-Prog: Mon Aug 13 06:34:07 CEST 2018
0.65/0.54 c PID: 5131
0.65/0.54 c IP: 172.20.3.106
0.65/0.54 c HOST: node106.alineos.net
0.65/0.55 c (0,0) Parsing Begin
2.06/1.02 c (0,0) Parsing End
2.06/1.03 c (0,0) CSP: 161 int (0 aux), 0 bool (0 aux), 78 ctr, max domain size 49
2.06/1.03 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.06/1.03 c (0,0) Constraint Name Generate Begin
2.06/1.04 c (0,0) Ctr:HOME/instance-4305379-1534134847.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.06/1.04 c (0,0) Constraint Name Generate End
2.06/1.04 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.06/1.04 c (0,0) CSP to CSPinCNF Begin
6.60/2.59 c (2,2) translated 8 (10%) constraints
9.21/3.40 c (2,2) translated 16 (20%) constraints
11.05/4.12 c (3,3) translated 24 (30%) constraints
12.30/4.79 c (4,4) translated 32 (40%) constraints
12.94/5.35 c (4,4) translated 39 (50%) constraints
13.55/5.99 c (5,5) translated 47 (60%) constraints
13.97/6.32 c (5,5) translated 55 (70%) constraints
13.97/6.32 c (5,5) translated 63 (80%) constraints
13.97/6.32 c (5,5) translated 71 (90%) constraints
13.97/6.32 c (5,5) translated 78 (100%) constraints
14.75/6.72 c (6,6) STATISTICS1:HOME/instance-4305379-1534134847.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,13538,83477,49,49,50,2,49:1176,49:7154;10:87864;2:144893;1:14672,50:49;49:2;5:980;4:32340;3:17640;2:32438;1:28,2:1176;1:252259;0:49,
14.75/6.72 c (6,6) ==========================================
14.75/6.72 c (6,6) Order
14.75/6.73 c (6,6) ==========================================
15.76/7.04 c (6,6) translated 8348 (10%) constraints
16.27/7.20 c (6,6) translated 16696 (20%) constraints
16.37/7.33 c (6,6) translated 25044 (30%) constraints
16.48/7.46 c (6,6) translated 33391 (40%) constraints
16.57/7.59 c (7,7) translated 41739 (50%) constraints
16.77/7.72 c (7,7) translated 50087 (60%) constraints
16.88/7.85 c (7,7) translated 58434 (70%) constraints
16.97/7.98 c (7,7) translated 66782 (80%) constraints
17.18/8.11 c (7,7) translated 75130 (90%) constraints
17.72/8.39 c (7,7) translated 83477 (100%) constraints
17.72/8.39 c (7,7) CSP to CSPinCNF End
17.95/8.40 c (7,7) CSP: 161 int (0 aux), 13377 bool (13377 aux), 83505 ctr, max domain size 49
17.95/8.40 c (7,7) Heap : 190 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.95/8.40 c (7,7) CSPinCNF Propagation Begin
20.27/9.71 c (9,9) 4653 values, 25765 unsatisfiable literals, and 26757 valid clauses are removed
20.27/9.71 c (9,9) CSPinCNF Propagation End
20.27/9.72 c (9,9) CSP: 4134 int (3973 aux), 9404 bool (9404 aux), 56748 ctr, max domain size 49
20.27/9.72 c (9,9) Heap : 797 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
20.27/9.72 c (9,9) Simplify CSPinCNF Begin
20.56/9.88 c (9,9) Simplify CSPinCNF End
20.56/9.88 c (9,9) CSP: 4134 int (3973 aux), 11756 bool (11756 aux), 59100 ctr, max domain size 49
20.56/9.88 c (9,9) Heap : 908 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
20.56/9.88 c (9,9) Calculate Precise Domain Begin
20.56/9.88 c (9,9) 0 values are removed by re-calculation
20.56/9.88 c (9,9) Calculate Precise Domain End
20.56/9.89 c (9,9) CSP: 4134 int (3973 aux), 11756 bool (11756 aux), 59100 ctr, max domain size 49
20.56/9.89 c (9,9) Heap : 908 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
20.56/9.89 c (9,9) CSPinCNF to SatSolver Begin
22.16/10.31 c (9,9) 5910 (10 %) CSP clauses are encoded (14184 SAT variables, 69860 SAT clauses)
22.16/10.36 c (9,9) 11820 (20 %) CSP clauses are encoded (14184 SAT variables, 75770 SAT clauses)
22.16/10.38 c (9,9) 17730 (30 %) CSP clauses are encoded (14184 SAT variables, 81680 SAT clauses)
22.44/10.40 c (9,9) 23640 (40 %) CSP clauses are encoded (14184 SAT variables, 87590 SAT clauses)
22.44/10.43 c (9,9) 29550 (50 %) CSP clauses are encoded (14184 SAT variables, 93500 SAT clauses)
22.44/10.46 c (9,9) 35460 (60 %) CSP clauses are encoded (14184 SAT variables, 99410 SAT clauses)
22.44/10.49 c (9,9) 41370 (70 %) CSP clauses are encoded (14184 SAT variables, 105320 SAT clauses)
22.54/10.51 c (9,9) 47280 (80 %) CSP clauses are encoded (14184 SAT variables, 111230 SAT clauses)
22.54/10.54 c (10,9) 53190 (90 %) CSP clauses are encoded (14184 SAT variables, 117140 SAT clauses)
22.54/10.57 c (10,9) 59100 (100 %) CSP clauses are encoded (14184 SAT variables, 123050 SAT clauses)
22.54/10.57 c (10,9) Launch Command will be: minisat_release
22.54/10.57 c (10,9) CSPinCNF to SatSolver End
22.54/10.57 c (10,9) Heap : 1294 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
22.98/10.76 c (10,10) STATISTICS2:HOME/instance-4305379-1534134847.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,15890,59100,49,49,49,2,49:600;24:1380;4:372,49:4850;24:2860;10:67501;4:412;2:100851,49:26;25:1;24:20;5:565;4:20287;3:11968;2:26233,2:2352;1:171770,
22.98/10.76 c (10,10) 14184 bool, 123051 clause
22.98/10.76 c (10,10) Export Begin
23.12/10.86 c (10,10) Export to HOME/scop-5128-serial-file.bin
23.12/10.86 c (10,10) Export End
23.12/10.86 c (10,10) Export File Size: 0.03 MB
23.12/10.86 c (10,10) 0,0,7,9,9,9,10,STOP-AFTER(DIMACS)
23.12/10.86 c END-Prog: Mon Aug 13 06:34:18 CEST 2018
23.12/10.88 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-5128-serial-file.bin
23.82/11.37 c (0,0) Read Serial File Begin
23.82/11.37 c (0,0) HOME/scop-5128-serial-file.bin
24.13/11.55 c (0,0) Read Serial File End
24.13/11.57
24.13/11.57 scop order+minisat_release (2018-07-31)
24.13/11.57 (Solving Process)
24.13/11.57
24.13/11.59 c BEGIN-Prog: Mon Aug 13 06:34:18 CEST 2018
24.13/11.59 c PID: 5146
24.13/11.59 c IP: 172.20.3.106
24.13/11.59 c HOST: node106.alineos.net
24.13/11.59 c (0,0) SatSolver.solve Begin
24.13/11.59 c (0,0) 0 bool, 0 clause
24.13/11.59 c (0,0) minisat_release HOME/instance-4305379-1534134847.xml-scop-5131.cnf
82.73/70.00 c (58,0) c This is COMiniSatPS.
82.73/70.00 c (58,0) c WARNING: for repeatability, setting FPU to use double precision
82.73/70.00 c (58,0) c ============================[ Problem Statistics ]=============================
82.73/70.00 c (58,0) c | |
82.73/70.00 c (58,0) c | Number of variables: 14184 |
82.73/70.00 c (58,0) c | Number of clauses: 123051 |
82.73/70.00 c (58,0) c | Parse time: 0.04 s |
82.73/70.00 c (58,0) c | Eliminated clauses: 0.19 Mb |
82.73/70.00 c (58,0) c Reduced to 9333 vars, 107449 cls (grow=0)
82.73/70.00 c (58,0) c No iterative elimination performed. (vars=9333, c/v ratio=11.5)
82.73/70.00 c (58,0) c | Simplification time: 0.12 s |
82.73/70.00 c (58,0) c | |
82.73/70.00 c (58,0) c ============================[ Search Statistics ]==============================
82.73/70.00 c (58,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
24.47/70.01 c (58,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
24.47/70.01 c (58,0) c ===============================================================================
24.47/70.01 c (58,0) c ===============================================================================
24.47/70.01 c (58,0) c restarts : 588
24.47/70.01 c (58,0) c conflicts : 236405 (4053 /sec)
24.47/70.01 c (58,0) c decisions : 476010 (0.00 % random) (8160 /sec)
24.47/70.01 c (58,0) c propagations : 118941873 (2039020 /sec)
24.47/70.01 c (58,0) c conflict literals : 23383032 (44.19 % deleted)
24.47/70.01 c (58,0) c CPU time : 58.3329 s
24.47/70.01 c (58,0)
24.47/70.01 c (58,0) s SATISFIABLE
24.47/70.04 c (58,0) SatSolver.solve End
24.47/70.04 c (58,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
24.47/70.04 c (58,0) Show results Begin
24.47/70.10 s SATISFIABLE
83.07/70.12 v <instantiation>
83.07/70.12 v <list>id[0][0] id[0][1] id[0][2] id[0][3] id[0][4] id[0][5] id[0][6] id[1][0] id[1][1] id[1][2] id[1][3] id[1][4] id[1][5] id[1][6] id[2][0] id[2][1] id[2][2] id[2][3] id[2][4] id[2][5] id[2][6] id[3][0] id[3][1] id[3][2] id[3][3] id[3][4] id[3][5] id[3][6] id[4][0] id[4][1] id[4][2] id[4][3] id[4][4] id[4][5] id[4][6] id[5][0] id[5][1] id[5][2] id[5][3] id[5][4] id[5][5] id[5][6] id[6][0] id[6][1] id[6][2] id[6][3] id[6][4] id[6][5] id[6][6] top[0][0] top[0][1] top[0][2] top[0][3] top[0][4] top[0][5] top[0][6] top[1][0] top[1][1] top[1][2] top[1][3] top[1][4] top[1][5] top[1][6] top[2][0] top[2][1] top[2][2] top[2][3] top[2][4] top[2][5] top[2][6] top[3][0] top[3][1] top[3][2] top[3][3] top[3][4] top[3][5] top[3][6] top[4][0] top[4][1] top[4][2] top[4][3] top[4][4] top[4][5] top[4][6] top[5][0] top[5][1] top[5][2] top[5][3] top[5][4] top[5][5] top[5][6] top[6][0] top[6][1] top[6][2] top[6][3] top[6][4] top[6][5] top[6][6] left[0][0] left[0][1] left[0][2] left[0][3] left[0][4] left[0][5] left[0][6] left[1][0] left[1][1] left[1][2] left[1][3] left[1][4] left[1][5] left[1][6] left[2][0] left[2][1] left[2][2] left[2][3] left[2][4] left[2][5] left[2][6] left[3][0] left[3][1] left[3][2] left[3][3] left[3][4] left[3][5] left[3][6] left[4][0] left[4][1] left[4][2] left[4][3] left[4][4] left[4][5] left[4][6] left[5][0] left[5][1] left[5][2] left[5][3] left[5][4] left[5][5] left[5][6] left[6][0] left[6][1] left[6][2] left[6][3] left[6][4] left[6][5] left[6][6] bot[0] bot[1] bot[2] bot[3] bot[4] bot[5] bot[6] right[0] right[1] right[2] right[3] right[4] right[5] right[6]</list>
83.07/70.12 v <values>1 23 6 19 14 10 3 18 37 47 43 44 34 22 13 41 38 40 27 36 9 15 35 28 29 39 42 20 4 25 24 46 30 48 16 8 45 26 33 31 32 12 2 5 7 11 21 17 0 0 0 0 0 0 0 0 3 9 6 5 8 4 3 2 6 8 7 7 9 3 2 6 5 6 5 5 1 1 4 5 7 7 9 3 1 7 4 8 4 7 2 2 6 7 5 6 4 2 0 1 3 1 3 2 2 0 4 9 9 9 6 8 0 8 5 7 5 4 8 0 9 8 4 5 9 6 0 5 4 8 6 6 9 0 8 7 4 9 8 7 0 1 1 2 3 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
83.07/70.12 v </instantiation>
83.07/70.12 c (58,0) Show results End
83.07/70.12 c (58,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
83.07/70.12 c (58,0) 58,58,STOP-AFTER(ALL)
83.07/70.12 c END-Prog: Mon Aug 13 06:35:17 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 (9775 MiB free)
memory of node 1: 16384 MiB (9864 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305379-1534134847/watcher-4305379-1534134847 -o /tmp/evaluation-result-4305379-1534134847/solver-4305379-1534134847 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534129828-4306 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305379-1534134847.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5128, runsolver pid=5125
[startup+0.100119 s]*
/proc/loadavg: 2.48 2.12 2.08 3/218 5145
/proc/meminfo: memFree=20051628/32770624 swapFree=67108688/67108860
[pid=5128] ppid=5125 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/5128/stat : 5128 (scop.sh) S 5125 5128 4275 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231047548 115843072 349 33554432000 4194304 5098028 140721209001488 140721208998744 140020385149564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14782464 140721209005120 140721209005319 140721209005319 140721209008077 0
/proc/5128/statm: 28282 349 296 221 0 87 0
[pid=5131] ppid=5128 vsize=15012476 memory=72212 CPUtime=0.1 cores=0,2,4,6
/proc/5131/stat : 5131 (java) S 5128 5128 4275 0 -1 1077944320 6680 0 0 0 9 1 0 0 20 0 15 0 231047548 15372775424 18053 33554432000 4194304 4196468 140729815130624 140729815113168 139879355600631 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
/proc/5131/statm: 3753119 18053 2770 1 0 3715579 0
[pid=5131/tid=5132] ppid=5128 vsize=15012476 memory=7899208899303281499 CPUtime=0.09 cores=0,2,4,6
/proc/5131/task/5132/stat : 5132 (java) R 5128 5128 4275 0 -1 4202560 4768 0 0 0 8 1 0 0 20 0 15 0 231047549 15372775424 18053 33554432000 4194304 4196468 140729815130624 139879327412616 139879338787440 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5133] ppid=5128 vsize=15012476 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5133/stat : 5133 (java) S 5128 5128 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231047550 15372775424 18053 33554432000 4194304 4196468 140729815130624 139879359843088 139879355610837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5134] ppid=5128 vsize=15012476 memory=139874840553088 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5134/stat : 5134 (java) S 5128 5128 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231047550 15372775424 18053 33554432000 4194304 4196468 140729815130624 139879173999504 139879355610837 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5135] ppid=5128 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5135/stat : 5135 (java) S 5128 5128 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231047550 15372775424 18053 33554432000 4194304 4196468 140729815130624 139879172946960 139879355610837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5136] ppid=5128 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5136/stat : 5136 (java) S 5128 5128 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231047550 15372775424 18053 33554432000 4194304 4196468 140729815130624 139879171894416 139879355610837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5137] ppid=5128 vsize=15012476 memory=139874840553088 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5137/stat : 5137 (java) S 5128 5128 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231047552 15372775424 18053 33554432000 4194304 4196468 140729815130624 139878393194480 139879355611778 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5138] ppid=5128 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5138/stat : 5138 (java) S 5128 5128 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231047552 15372775424 18053 33554432000 4194304 4196468 140729815130624 139877890909088 139879355610837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5139] ppid=5128 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5139/stat : 5139 (java) S 5128 5128 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231047552 15372775424 18053 33554432000 4194304 4196468 140729815130624 139877622473712 139879355610837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5140] ppid=5128 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5140/stat : 5140 (java) S 5128 5128 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231047555 15372775424 18053 33554432000 4194304 4196468 140729815130624 139877247965392 139879355619227 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5141] ppid=5128 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5141/stat : 5141 (java) S 5128 5128 4275 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 231047555 15372775424 18053 33554432000 4194304 4196468 140729815130624 139878392142320 139879355611778 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5142] ppid=5128 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5142/stat : 5142 (java) S 5128 5128 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231047555 15372775424 18053 33554432000 4194304 4196468 140729815130624 139878391089776 139879355611778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5143] ppid=5128 vsize=15012476 memory=139874840553088 CPUtime=0.01 cores=0,2,4,6
/proc/5131/task/5143/stat : 5143 (java) S 5128 5128 4275 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 15 0 231047555 15372775424 18053 33554432000 4194304 4196468 140729815130624 139878390037232 139879355611778 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5144] ppid=5128 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5144/stat : 5144 (java) S 5128 5128 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231047555 15372775424 18053 33554432000 4194304 4196468 140729815130624 139876750060640 139879355610837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5145] ppid=5128 vsize=15012476 memory=139874840553088 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5145/stat : 5145 (java) S 5128 5128 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231047555 15372775424 18053 33554432000 4194304 4196468 140729815130624 139878388984112 139879355611778 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73608 KiB
[startup+0.210486 s]*
/proc/loadavg: 2.48 2.12 2.08 4/218 5145
/proc/meminfo: memFree=20037428/32770624 swapFree=67108688/67108860
[pid=5128] ppid=5125 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/5128/stat : 5128 (scop.sh) S 5125 5128 4275 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231047548 115843072 349 33554432000 4194304 5098028 140721209001488 140721208998744 140020385149564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14782464 140721209005120 140721209005319 140721209005319 140721209008077 0
/proc/5128/statm: 28282 349 296 221 0 87 0
[pid=5131] ppid=5128 vsize=15012476 memory=85800 CPUtime=0.25 cores=0,2,4,6
/proc/5131/stat : 5131 (java) S 5128 5128 4275 0 -1 1077944320 10266 0 0 0 22 3 0 0 20 0 15 0 231047548 15372775424 21450 33554432000 4194304 4196468 140729815130624 140729815113168 139879355600631 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
/proc/5131/statm: 3753119 21450 2931 1 0 3715579 0
[pid=5131/tid=5132] ppid=5128 vsize=15012476 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/5131/task/5132/stat : 5132 (java) R 5128 5128 4275 0 -1 4202560 8176 0 0 0 18 2 0 0 20 0 15 0 231047549 15372775424 21450 33554432000 4194304 4196468 140729815130624 139879327417368 139878847342141 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5133] ppid=5128 vsize=15012476 memory=12630 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5133/stat : 5133 (java) S 5128 5128 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231047550 15372775424 21450 33554432000 4194304 4196468 140729815130624 139879359843088 139879355610837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5134] ppid=5128 vsize=15012476 memory=3834172316543297184 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5134/stat : 5134 (java) S 5128 5128 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231047550 15372775424 21450 33554432000 4194304 4196468 140729815130624 139879173999504 139879355610837 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5135] ppid=5128 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5135/stat : 5135 (java) S 5128 5128 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231047550 15372775424 21450 33554432000 4194304 4196468 140729815130624 139879172946960 139879355610837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5136] ppid=5128 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5136/stat : 5136 (java) S 5128 5128 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231047550 15372775424 21450 33554432000 4194304 4196468 140729815130624 139879171894416 139879355610837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5137] ppid=5128 vsize=15012476 memory=139874840553088 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5137/stat : 5137 (java) S 5128 5128 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231047552 15372775424 21450 33554432000 4194304 4196468 140729815130624 139878393194480 139879355611778 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5138] ppid=5128 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5138/stat : 5138 (java) S 5128 5128 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231047552 15372775424 21450 33554432000 4194304 4196468 140729815130624 139877890909088 139879355610837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5139] ppid=5128 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5139/stat : 5139 (java) S 5128 5128 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231047552 15372775424 21450 33554432000 4194304 4196468 140729815130624 139877622473712 139879355610837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5140] ppid=5128 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5140/stat : 5140 (java) S 5128 5128 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231047555 15372775424 21450 33554432000 4194304 4196468 140729815130624 139877247965392 139879355619227 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5141] ppid=5128 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5141/stat : 5141 (java) S 5128 5128 4275 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 15 0 231047555 15372775424 21450 33554432000 4194304 4196468 140729815130624 139878392142320 139879355611778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5142] ppid=5128 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5142/stat : 5142 (java) S 5128 5128 4275 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 231047555 15372775424 21450 33554432000 4194304 4196468 140729815130624 139878391089776 139879355611778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5143] ppid=5128 vsize=15012476 memory=139874840553088 CPUtime=0.03 cores=0,2,4,6
/proc/5131/task/5143/stat : 5143 (java) R 5128 5128 4275 0 -1 4202560 295 0 0 0 3 0 0 0 20 0 15 0 231047555 15372775424 21450 33554432000 4194304 4196468 140729815130624 139878390037232 139879339681118 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5144] ppid=5128 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5144/stat : 5144 (java) S 5128 5128 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231047555 15372775424 21450 33554432000 4194304 4196468 140729815130624 139876750060640 139879355610837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5145] ppid=5128 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5145/stat : 5145 (java) S 5128 5128 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231047555 15372775424 21450 33554432000 4194304 4196468 140729815130624 139878388984112 139879355611778 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87196 KiB
[startup+0.310567 s]*
/proc/loadavg: 2.48 2.12 2.08 3/218 5145
/proc/meminfo: memFree=20033276/32770624 swapFree=67108688/67108860
[pid=5128] ppid=5125 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/5128/stat : 5128 (scop.sh) S 5125 5128 4275 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231047548 115843072 349 33554432000 4194304 5098028 140721209001488 140721208998744 140020385149564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14782464 140721209005120 140721209005319 140721209005319 140721209008077 0
/proc/5128/statm: 28282 349 296 221 0 87 0
[pid=5131] ppid=5128 vsize=15012476 memory=89668 CPUtime=0.42 cores=0,2,4,6
/proc/5131/stat : 5131 (java) S 5128 5128 4275 0 -1 1077944320 10897 0 0 0 39 3 0 0 20 0 15 0 231047548 15372775424 22417 33554432000 4194304 4196468 140729815130624 140729815113168 139879355600631 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
/proc/5131/statm: 3753119 22417 2975 1 0 3715579 0
[pid=5131/tid=5132] ppid=5128 vsize=15012476 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/5131/task/5132/stat : 5132 (java) R 5128 5128 4275 0 -1 4202560 8613 0 0 0 27 2 0 0 20 0 15 0 231047549 15372775424 22417 33554432000 4194304 4196468 140729815130624 139879327395632 139878848722508 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5133] ppid=5128 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5133/stat : 5133 (java) S 5128 5128 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231047550 15372775424 22417 33554432000 4194304 4196468 140729815130624 139879359843088 139879355610837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5134] ppid=5128 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5134/stat : 5134 (java) S 5128 5128 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231047550 15372775424 22417 33554432000 4194304 4196468 140729815130624 139879173999504 139879355610837 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5135] ppid=5128 vsize=15012476 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5135/stat : 5135 (java) S 5128 5128 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231047550 15372775424 22417 33554432000 4194304 4196468 140729815130624 139879172946960 139879355610837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5136] ppid=5128 vsize=15012476 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5136/stat : 5136 (java) S 5128 5128 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231047550 15372775424 22417 33554432000 4194304 4196468 140729815130624 139879171894416 139879355610837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5137] ppid=5128 vsize=15012476 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5137/stat : 5137 (java) S 5128 5128 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231047552 15372775424 22417 33554432000 4194304 4196468 140729815130624 139878393194480 139879355611778 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5138] ppid=5128 vsize=15012476 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5138/stat : 5138 (java) S 5128 5128 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231047552 15372775424 22417 33554432000 4194304 4196468 140729815130624 139877890909088 139879355610837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5139] ppid=5128 vsize=15012476 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5139/stat : 5139 (java) S 5128 5128 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231047552 15372775424 22417 33554432000 4194304 4196468 140729815130624 139877622473712 139879355610837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5140] ppid=5128 vsize=15012476 memory=8693815914432465728 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5140/stat : 5140 (java) S 5128 5128 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231047555 15372775424 22417 33554432000 4194304 4196468 140729815130624 139877247965392 139879355619227 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5141] ppid=5128 vsize=15012476 memory=8325818968683490714 CPUtime=0.01 cores=0,2,4,6
/proc/5131/task/5141/stat : 5141 (java) R 5128 5128 4275 0 -1 4202560 391 0 0 0 1 0 0 0 20 0 15 0 231047555 15372775424 22417 33554432000 4194304 4196468 140729815130624 139878392142320 139879333348076 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5142] ppid=5128 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5131/task/5142/stat : 5142 (java) R 5128 5128 4275 0 -1 1077944384 222 0 0 0 2 0 0 0 20 0 15 0 231047555 15372775424 22417 33554432000 4194304 4196468 140729815130624 139878391089776 139879355611778 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5143] ppid=5128 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5131/task/5143/stat : 5143 (java) R 5128 5128 4275 0 -1 4202560 338 0 0 0 7 0 0 0 20 0 15 0 231047555 15372775424 22417 33554432000 4194304 4196468 140729815130624 139878390037232 139879340727895 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5144] ppid=5128 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5144/stat : 5144 (java) S 5128 5128 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231047555 15372775424 22417 33554432000 4194304 4196468 140729815130624 139876750060640 139879355610837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5145] ppid=5128 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5145/stat : 5145 (java) S 5128 5128 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231047555 15372775424 22417 33554432000 4194304 4196468 140729815130624 139878388984112 139879355611778 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91064 KiB
[startup+0.700766 s]
/proc/loadavg: 2.48 2.12 2.08 3/218 5145
/proc/meminfo: memFree=20009092/32770624 swapFree=67108688/67108860
[pid=5128] ppid=5125 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/5128/stat : 5128 (scop.sh) S 5125 5128 4275 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231047548 115843072 349 33554432000 4194304 5098028 140721209001488 140721208998744 140020385149564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14782464 140721209005120 140721209005319 140721209005319 140721209008077 0
/proc/5128/statm: 28282 349 296 221 0 87 0
[pid=5131] ppid=5128 vsize=15020872 memory=129736 CPUtime=1 cores=0,2,4,6
/proc/5131/stat : 5131 (java) S 5128 5128 4275 0 -1 1077944320 18079 0 0 0 95 5 0 0 20 0 15 0 231047548 15381372928 32434 33554432000 4194304 4196468 140729815130624 140729815113168 139879355600631 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
/proc/5131/statm: 3755218 32434 3144 1 0 3716603 0
[pid=5131/tid=5132] ppid=5128 vsize=15020872 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/5131/task/5132/stat : 5132 (java) R 5128 5128 4275 0 -1 4202560 15345 0 0 0 63 4 0 0 20 0 15 0 231047549 15381372928 32434 33554432000 4194304 4196468 140729815130624 139879327431856 139879339681118 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5133] ppid=5128 vsize=15020872 memory=288230613197271346 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5133/stat : 5133 (java) S 5128 5128 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231047550 15381372928 32434 33554432000 4194304 4196468 140729815130624 139879359843088 139879355610837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5134] ppid=5128 vsize=15020872 memory=14972273996090760 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5134/stat : 5134 (java) S 5128 5128 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231047550 15381372928 32434 33554432000 4194304 4196468 140729815130624 139879173999504 139879355610837 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5135] ppid=5128 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5135/stat : 5135 (java) S 5128 5128 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231047550 15381372928 32434 33554432000 4194304 4196468 140729815130624 139879172946960 139879355610837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5136] ppid=5128 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5136/stat : 5136 (java) S 5128 5128 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231047550 15381372928 32434 33554432000 4194304 4196468 140729815130624 139879171894416 139879355610837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5137] ppid=5128 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5137/stat : 5137 (java) S 5128 5128 4275 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 231047552 15381372928 32434 33554432000 4194304 4196468 140729815130624 139878393194480 139879355611778 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5138] ppid=5128 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5138/stat : 5138 (java) S 5128 5128 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231047552 15381372928 32434 33554432000 4194304 4196468 140729815130624 139877890909088 139879355610837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5139] ppid=5128 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5139/stat : 5139 (java) S 5128 5128 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231047552 15381372928 32434 33554432000 4194304 4196468 140729815130624 139877622473712 139879355610837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5140] ppid=5128 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5140/stat : 5140 (java) S 5128 5128 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231047555 15381372928 32434 33554432000 4194304 4196468 140729815130624 139877247965392 139879355619227 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5141] ppid=5128 vsize=15020872 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/5131/task/5141/stat : 5141 (java) S 5128 5128 4275 0 -1 1077944384 479 0 0 0 6 0 0 0 20 0 15 0 231047555 15381372928 32434 33554432000 4194304 4196468 140729815130624 139878392142320 139879355611778 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5142] ppid=5128 vsize=15020872 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5131/task/5142/stat : 5142 (java) R 5128 5128 4275 0 -1 4202560 449 0 0 0 9 0 0 0 20 0 15 0 231047555 15381372928 32434 33554432000 4194304 4196468 140729815130624 139878391078448 139879339099492 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5143] ppid=5128 vsize=15020872 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/5131/task/5143/stat : 5143 (java) R 5128 5128 4275 0 -1 4202560 470 0 0 0 15 0 0 0 20 0 15 0 231047555 15381372928 32434 33554432000 4194304 4196468 140729815130624 139878390033600 139879335010721 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5144] ppid=5128 vsize=15020872 memory=7667493171775422564 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5144/stat : 5144 (java) S 5128 5128 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231047555 15381372928 32434 33554432000 4194304 4196468 140729815130624 139876750060640 139879355610837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
[pid=5131/tid=5145] ppid=5128 vsize=15020872 memory=7373909286527201123 CPUtime=0 cores=0,2,4,6
/proc/5131/task/5145/stat : 5145 (java) S 5128 5128 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231047555 15381372928 32434 33554432000 4194304 4196468 140729815130624 139878388984112 139879355611778 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23146496 140729815139335 140729815139633 140729815139633 140729815142351 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131132 KiB
[startup+1.50075 s]
/proc/loadavg: 2.48 2.12 2.08 5/218 5145
/proc/meminfo: memFree=19964736/32770624 swapFree=67108688/67108860
[pid=5128] ppid=5125 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/5128/stat : 5128 (scop.sh) S 5125 5128 4275 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231047548 115843072 349 33554432000 4194304 5098028 140721209001488 140721208998744 140020385149564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14782464 140721209005120 140721209005319 140721209005319 140721209008077 0
/proc/5128/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=5146/tid=5159] ppid=5128 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/5146/task/5159/stat : 5159 (java) S 5128 5128 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231048643 8261857280 28712 33554432000 4194304 4196468 140732364027536 140202630704096 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5160] ppid=5128 vsize=8068220 memory=114848 CPUtime=0.02 cores=0,2,4,6
/proc/5146/task/5160/stat : 5160 (java) S 5128 5128 4275 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 231048643 8261857280 28712 33554432000 4194304 4196468 140732364027536 140204256004528 140204813838978 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5162] ppid=5128 vsize=8068220 memory=62204 CPUtime=0 cores=0,2,4,6
/proc/5146/task/5162/stat : 5162 (java) S 5128 5128 4275 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231048710 8261857280 28712 33554432000 4194304 4196468 140732364027536 140204248196032 140204813852441 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5164] ppid=5128 vsize=8068220 memory=3316 CPUtime=0 cores=0,2,4,6
/proc/5146/task/5164/stat : 5164 (java) S 5128 5128 4275 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 231048710 8261857280 28712 33554432000 4194304 4196468 140732364027536 140201959603760 140204813849757 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5165] ppid=5128 vsize=8068220 memory=15768 CPUtime=0 cores=0,2,4,6
/proc/5146/task/5165/stat : 5165 (java) S 5128 5128 4275 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 231048710 8261857280 28712 33554432000 4194304 4196468 140732364027536 140202362257328 140204813849757 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5166] ppid=5128 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/5146/task/5166/stat : 5166 (java) S 5128 5128 4275 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 231048713 8261857280 28712 33554432000 4194304 4196468 140732364027536 140201825389984 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
Current children cumulated CPU time: 81.63 s
Current children cumulated vsize: 8270840 KiB
Current children cumulated memory: 180572 KiB
[startup+69.601 s]
/proc/loadavg: 2.11 2.10 2.07 3/227 5188
/proc/meminfo: memFree=23318576/32770624 swapFree=67108688/67108860
[pid=5128] ppid=5125 vsize=113128 memory=1472 CPUtime=23.28 cores=0,2,4,6
/proc/5128/stat : 5128 (scop.sh) S 5125 5128 4275 0 -1 4202496 591 40295 0 0 0 0 2259 69 20 0 1 0 231047548 115843072 368 33554432000 4194304 5098028 140721209001488 140721208998232 140020385149564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14782464 140721209005120 140721209005319 140721209005319 140721209008077 0
/proc/5128/statm: 28282 368 311 221 0 87 0
[pid=5146] ppid=5128 vsize=8068220 memory=114848 CPUtime=1.18 cores=0,2,4,6
/proc/5146/stat : 5146 (java) S 5128 5128 4275 0 -1 1077944320 18511 0 0 0 111 7 0 0 20 0 19 0 231048637 8261857280 28712 33554432000 4194304 4196468 140732364027536 140732364010080 140204813827831 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
/proc/5146/statm: 2017055 28712 3147 1 0 1978454 0
[pid=5161] ppid=5146 vsize=89492 memory=64252 CPUtime=57.97 cores=0,2,4,6
/proc/5161/stat : 5161 (minisat_release) R 5146 5128 4275 0 -1 4202496 29160 0 0 0 5793 4 0 0 20 0 1 0 231048710 91639808 16063 33554432000 4194304 4308513 140726564629792 140726564626696 4250833 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 26365952 140726564631669 140726564631766 140726564631766 140726564634565 0
/proc/5161/statm: 22373 16063 341 28 0 18613 0
[pid=5146/tid=5147] ppid=5128 vsize=8068220 memory=114848 CPUtime=0.75 cores=0,2,4,6
/proc/5146/task/5147/stat : 5147 (java) S 5128 5128 4275 0 -1 1077944384 15541 0 0 0 71 4 0 0 20 0 19 0 231048637 8261857280 28712 33554432000 4194304 4196468 140732364027536 140204785667984 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5148] ppid=5128 vsize=8068220 memory=64252 CPUtime=0 cores=0,2,4,6
/proc/5146/task/5148/stat : 5148 (java) S 5128 5128 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231048638 8261857280 28712 33554432000 4194304 4196468 140732364027536 140204818070416 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5149] ppid=5128 vsize=8068220 memory=-5059952977386882957 CPUtime=0 cores=0,2,4,6
/proc/5146/task/5149/stat : 5149 (java) S 5128 5128 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231048638 8261857280 28712 33554432000 4194304 4196468 140732364027536 140204298554128 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5150] ppid=5128 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/5146/task/5150/stat : 5150 (java) S 5128 5128 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231048638 8261857280 28712 33554432000 4194304 4196468 140732364027536 140204297501840 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5151] ppid=5128 vsize=8068220 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/5146/task/5151/stat : 5151 (java) S 5128 5128 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231048638 8261857280 28712 33554432000 4194304 4196468 140732364027536 140204296449040 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5152] ppid=5128 vsize=8068220 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/5146/task/5152/stat : 5152 (java) S 5128 5128 4275 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 231048640 8261857280 28712 33554432000 4194304 4196468 140732364027536 140204260214896 140204813838978 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5153] ppid=5128 vsize=8068220 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/5146/task/5153/stat : 5153 (java) S 5128 5128 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231048640 8261857280 28712 33554432000 4194304 4196468 140732364027536 140203637334816 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5154] ppid=5128 vsize=8068220 memory=868 CPUtime=0 cores=0,2,4,6
/proc/5146/task/5154/stat : 5154 (java) S 5128 5128 4275 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 231048640 8261857280 28712 33554432000 4194304 4196468 140732364027536 140203503113328 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5155] ppid=5128 vsize=8068220 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/5146/task/5155/stat : 5155 (java) S 5128 5128 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231048643 8261857280 28712 33554432000 4194304 4196468 140732364027536 140203128608848 140204813846427 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5156] ppid=5128 vsize=8068220 memory=1620 CPUtime=0.08 cores=0,2,4,6
/proc/5146/task/5156/stat : 5156 (java) S 5128 5128 4275 0 -1 1077944384 714 0 0 0 8 0 0 0 20 0 19 0 231048643 8261857280 28712 33554432000 4194304 4196468 140732364027536 140204259162736 140204813838978 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5157] ppid=5128 vsize=8068220 memory=748 CPUtime=0.08 cores=0,2,4,6
/proc/5146/task/5157/stat : 5157 (java) S 5128 5128 4275 0 -1 1077944384 244 0 0 0 8 0 0 0 20 0 19 0 231048643 8261857280 28712 33554432000 4194304 4196468 140732364027536 140204258109936 140204813838978 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5158] ppid=5128 vsize=8068220 memory=1220 CPUtime=0.2 cores=0,2,4,6
/proc/5146/task/5158/stat : 5158 (java) S 5128 5128 4275 0 -1 1077944384 577 0 0 0 20 0 0 0 20 0 19 0 231048643 8261857280 28712 33554432000 4194304 4196468 140732364027536 140204257057648 140204813838978 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5159] ppid=5128 vsize=8068220 memory=6580 CPUtime=0 cores=0,2,4,6
/proc/5146/task/5159/stat : 5159 (java) S 5128 5128 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231048643 8261857280 28712 33554432000 4194304 4196468 140732364027536 140202630704096 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5160] ppid=5128 vsize=8068220 memory=1296 CPUtime=0.02 cores=0,2,4,6
/proc/5146/task/5160/stat : 5160 (java) S 5128 5128 4275 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 231048643 8261857280 28712 33554432000 4194304 4196468 140732364027536 140204256004528 140204813838978 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5162] ppid=5128 vsize=8068220 memory=4452 CPUtime=0 cores=0,2,4,6
/proc/5146/task/5162/stat : 5162 (java) S 5128 5128 4275 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231048710 8261857280 28712 33554432000 4194304 4196468 140732364027536 140204248196032 140204813852441 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5164] ppid=5128 vsize=8068220 memory=3732 CPUtime=0 cores=0,2,4,6
/proc/5146/task/5164/stat : 5164 (java) S 5128 5128 4275 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 231048710 8261857280 28712 33554432000 4194304 4196468 140732364027536 140201959603760 140204813849757 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5165] ppid=5128 vsize=8068220 memory=12668 CPUtime=0 cores=0,2,4,6
/proc/5146/task/5165/stat : 5165 (java) S 5128 5128 4275 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 231048710 8261857280 28712 33554432000 4194304 4196468 140732364027536 140202362257328 140204813849757 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5166] ppid=5128 vsize=8068220 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/5146/task/5166/stat : 5166 (java) S 5128 5128 4275 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 231048713 8261857280 28712 33554432000 4194304 4196468 140732364027536 140201825389984 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
Current children cumulated CPU time: 82.43 s
Current children cumulated vsize: 8270840 KiB
Current children cumulated memory: 180572 KiB
[startup+70.0009 s]*
/proc/loadavg: 2.11 2.10 2.07 3/227 5188
/proc/meminfo: memFree=23191060/32770624 swapFree=67108688/67108860
[pid=5128] ppid=5125 vsize=113128 memory=1472 CPUtime=23.28 cores=0,2,4,6
/proc/5128/stat : 5128 (scop.sh) S 5125 5128 4275 0 -1 4202496 591 40295 0 0 0 0 2259 69 20 0 1 0 231047548 115843072 368 33554432000 4194304 5098028 140721209001488 140721208998232 140020385149564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14782464 140721209005120 140721209005319 140721209005319 140721209008077 0
/proc/5128/statm: 28282 368 311 221 0 87 0
[pid=5146] ppid=5128 vsize=8068220 memory=114852 CPUtime=1.19 cores=0,2,4,6
/proc/5146/stat : 5146 (java) S 5128 5128 4275 0 -1 1077944320 18524 0 0 0 112 7 0 0 20 0 18 0 231048637 8261857280 28713 33554432000 4194304 4196468 140732364027536 140732364010080 140204813827831 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
/proc/5146/statm: 2017055 28713 3147 1 0 1978454 0
[pid=5146/tid=5147] ppid=5128 vsize=8068220 memory=-5059952977386882957 CPUtime=59.12 cores=0,2,4,6
/proc/5146/task/5147/stat : 5147 (java) S 5128 5128 4275 0 -1 1077944384 15541 29281 0 0 71 4 5833 4 20 0 18 0 231048637 8261857280 29225 33554432000 4194304 4196468 140732364027536 140204785667984 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5148] ppid=5128 vsize=8068220 memory=0 CPUtime=58.37 cores=0,2,4,6
/proc/5146/task/5148/stat : 5148 (java) S 5128 5128 4275 0 -1 1077944384 1 29281 0 0 0 0 5833 4 20 0 18 0 231048638 8261857280 29225 33554432000 4194304 4196468 140732364027536 140204818070416 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5149] ppid=5128 vsize=8068220 memory=0 CPUtime=58.37 cores=0,2,4,6
/proc/5146/task/5149/stat : 5149 (java) S 5128 5128 4275 0 -1 1077944384 1 29281 0 0 0 0 5833 4 20 0 18 0 231048638 8261857280 29225 33554432000 4194304 4196468 140732364027536 140204298554128 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5150] ppid=5128 vsize=8068220 memory=0 CPUtime=58.37 cores=0,2,4,6
/proc/5146/task/5150/stat : 5150 (java) S 5128 5128 4275 0 -1 1077944384 1 29281 0 0 0 0 5833 4 20 0 18 0 231048638 8261857280 29225 33554432000 4194304 4196468 140732364027536 140204297501840 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5151] ppid=5128 vsize=8068220 memory=0 CPUtime=58.37 cores=0,2,4,6
/proc/5146/task/5151/stat : 5151 (java) S 5128 5128 4275 0 -1 1077944384 2 29281 0 0 0 0 5833 4 20 0 18 0 231048638 8261857280 29225 33554432000 4194304 4196468 140732364027536 140204296449040 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5152] ppid=5128 vsize=8068220 memory=734139722786418735 CPUtime=58.37 cores=0,2,4,6
/proc/5146/task/5152/stat : 5152 (java) S 5128 5128 4275 0 -1 1077944384 5 29281 0 0 0 0 5833 4 20 0 18 0 231048640 8261857280 29225 33554432000 4194304 4196468 140732364027536 140204260214896 140204813838978 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5153] ppid=5128 vsize=8068220 memory=3763099673816014896 CPUtime=58.37 cores=0,2,4,6
/proc/5146/task/5153/stat : 5153 (java) S 5128 5128 4275 0 -1 1077944384 13 29281 0 0 0 0 5833 4 20 0 18 0 231048640 8261857280 29225 33554432000 4194304 4196468 140732364027536 140203637334816 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5154] ppid=5128 vsize=8068220 memory=7014751519667409509 CPUtime=58.37 cores=0,2,4,6
/proc/5146/task/5154/stat : 5154 (java) S 5128 5128 4275 0 -1 1077944384 21 29281 0 0 0 0 5833 4 20 0 18 0 231048640 8261857280 29225 33554432000 4194304 4196468 140732364027536 140203503113328 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5155] ppid=5128 vsize=8068220 memory=8492905923 CPUtime=58.37 cores=0,2,4,6
/proc/5146/task/5155/stat : 5155 (java) S 5128 5128 4275 0 -1 1077944384 3 29281 0 0 0 0 5833 4 20 0 18 0 231048643 8261857280 29225 33554432000 4194304 4196468 140732364027536 140203128608848 140204813846427 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5156] ppid=5128 vsize=8068220 memory=0 CPUtime=58.45 cores=0,2,4,6
/proc/5146/task/5156/stat : 5156 (java) S 5128 5128 4275 0 -1 1077944384 714 29281 0 0 8 0 5833 4 20 0 18 0 231048643 8261857280 29225 33554432000 4194304 4196468 140732364027536 140204259162736 140204813838978 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5157] ppid=5128 vsize=8068220 memory=7019467088040636724 CPUtime=58.46 cores=0,2,4,6
/proc/5146/task/5157/stat : 5157 (java) R 5128 5128 4275 0 -1 4202560 293 29281 0 0 9 0 5833 4 20 0 18 0 231048643 8261857280 29225 33554432000 4194304 4196468 140732364027536 140204258109936 140204806117213 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5158] ppid=5128 vsize=8068220 memory=2319529074006902448 CPUtime=58.58 cores=0,2,4,6
/proc/5146/task/5158/stat : 5158 (java) R 5128 5128 4275 0 -1 1077944384 582 29281 0 0 21 0 5833 4 20 0 18 0 231048643 8261857280 29225 33554432000 4194304 4196468 140732364027536 140204257057648 140204813838978 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5159] ppid=5128 vsize=8068220 memory=7019467088074191156 CPUtime=58.37 cores=0,2,4,6
/proc/5146/task/5159/stat : 5159 (java) S 5128 5128 4275 0 -1 1077944384 3 29281 0 0 0 0 5833 4 20 0 18 0 231048643 8261857280 29225 33554432000 4194304 4196468 140732364027536 140202630704096 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5160] ppid=5128 vsize=8068220 memory=2319548796764116640 CPUtime=58.39 cores=0,2,4,6
/proc/5146/task/5160/stat : 5160 (java) S 5128 5128 4275 0 -1 1077944384 5 29281 0 0 1 1 5833 4 20 0 18 0 231048643 8261857280 29225 33554432000 4194304 4196468 140732364027536 140204256004528 140204813838978 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5162] ppid=5128 vsize=8068220 memory=7019467087956816180 CPUtime=58.37 cores=0,2,4,6
/proc/5146/task/5162/stat : 5162 (java) S 5128 5128 4275 0 -1 1077944384 27 29281 0 0 0 0 5833 4 20 0 18 0 231048710 8261857280 29225 33554432000 4194304 4196468 140732364027536 140204248195216 140204813838978 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5164] ppid=5128 vsize=8068220 memory=3540022096759441072 CPUtime=58.37 cores=0,2,4,6
/proc/5146/task/5164/stat : 5164 (java) R 5128 5128 4275 0 -1 4202560 8 29281 0 0 0 0 5833 4 20 0 18 0 231048710 8261857280 29225 33554432000 4194304 4196468 140732364027536 140201959603760 140204316606309 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5166] ppid=5128 vsize=8068220 memory=-1 CPUtime=58.37 cores=0,2,4,6
/proc/5146/task/5166/stat : 5166 (java) S 5128 5128 4275 0 -1 1077944384 27 29281 0 0 0 0 5833 4 20 0 18 0 231048713 8261857280 29225 33554432000 4194304 4196468 140732364027536 140201825389744 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
Current children cumulated CPU time: 24.47 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 116324 KiB
[startup+70.1111 s]
/proc/loadavg: 2.11 2.10 2.07 3/227 5188
/proc/meminfo: memFree=23191060/32770624 swapFree=67108688/67108860
[pid=5128] ppid=5125 vsize=113128 memory=1472 CPUtime=23.28 cores=0,2,4,6
/proc/5128/stat : 5128 (scop.sh) S 5125 5128 4275 0 -1 4202496 591 40295 0 0 0 0 2259 69 20 0 1 0 231047548 115843072 368 33554432000 4194304 5098028 140721209001488 140721208998232 140020385149564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14782464 140721209005120 140721209005319 140721209005319 140721209008077 0
/proc/5128/statm: 28282 368 311 221 0 87 0
[pid=5146] ppid=5128 vsize=7937144 memory=123888 CPUtime=59.79 cores=0,2,4,6
/proc/5146/stat : 5146 (java) S 5128 5128 4275 0 -1 1077944320 19770 29281 0 0 135 7 5833 4 20 0 17 0 231048637 8127635456 30972 33554432000 4194304 4196468 140732364027536 140732364010080 140204813827831 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
/proc/5146/statm: 1984286 30972 3167 1 0 1945685 0
[pid=5146/tid=5147] ppid=5128 vsize=7937144 memory=114848 CPUtime=59.19 cores=0,2,4,6
/proc/5146/task/5147/stat : 5147 (java) R 5128 5128 4275 0 -1 4202560 15754 29281 0 0 78 4 5833 4 20 0 17 0 231048637 8127635456 30972 33554432000 4194304 4196468 140732364027536 140204785662344 140204813841680 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5148] ppid=5128 vsize=7937144 memory=114848 CPUtime=58.37 cores=0,2,4,6
/proc/5146/task/5148/stat : 5148 (java) S 5128 5128 4275 0 -1 1077944384 1 29281 0 0 0 0 5833 4 20 0 17 0 231048638 8127635456 30972 33554432000 4194304 4196468 140732364027536 140204818070416 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5149] ppid=5128 vsize=7937144 memory=1472 CPUtime=58.37 cores=0,2,4,6
/proc/5146/task/5149/stat : 5149 (java) S 5128 5128 4275 0 -1 1077944384 1 29281 0 0 0 0 5833 4 20 0 17 0 231048638 8127635456 30972 33554432000 4194304 4196468 140732364027536 140204298554128 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5150] ppid=5128 vsize=7937144 memory=64252 CPUtime=58.37 cores=0,2,4,6
/proc/5146/task/5150/stat : 5150 (java) S 5128 5128 4275 0 -1 1077944384 1 29281 0 0 0 0 5833 4 20 0 17 0 231048638 8127635456 30972 33554432000 4194304 4196468 140732364027536 140204297501840 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5151] ppid=5128 vsize=7937144 memory=62204 CPUtime=58.37 cores=0,2,4,6
/proc/5146/task/5151/stat : 5151 (java) S 5128 5128 4275 0 -1 1077944384 2 29281 0 0 0 0 5833 4 20 0 17 0 231048638 8127635456 30972 33554432000 4194304 4196468 140732364027536 140204296449040 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5152] ppid=5128 vsize=7937144 memory=62204 CPUtime=58.37 cores=0,2,4,6
/proc/5146/task/5152/stat : 5152 (java) S 5128 5128 4275 0 -1 1077944384 5 29281 0 0 0 0 5833 4 20 0 17 0 231048640 8127635456 30972 33554432000 4194304 4196468 140732364027536 140204260214896 140204813838978 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5153] ppid=5128 vsize=7937144 memory=114848 CPUtime=58.37 cores=0,2,4,6
/proc/5146/task/5153/stat : 5153 (java) S 5128 5128 4275 0 -1 1077944384 13 29281 0 0 0 0 5833 4 20 0 17 0 231048640 8127635456 30972 33554432000 4194304 4196468 140732364027536 140203637334816 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5154] ppid=5128 vsize=7937144 memory=1924 CPUtime=58.37 cores=0,2,4,6
/proc/5146/task/5154/stat : 5154 (java) S 5128 5128 4275 0 -1 1077944384 21 29281 0 0 0 0 5833 4 20 0 17 0 231048640 8127635456 30972 33554432000 4194304 4196468 140732364027536 140203503113328 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5155] ppid=5128 vsize=7937144 memory=7284 CPUtime=58.37 cores=0,2,4,6
/proc/5146/task/5155/stat : 5155 (java) S 5128 5128 4275 0 -1 1077944384 3 29281 0 0 0 0 5833 4 20 0 17 0 231048643 8127635456 30972 33554432000 4194304 4196468 140732364027536 140203128608848 140204813846427 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5156] ppid=5128 vsize=7937144 memory=-5059952977386882957 CPUtime=58.48 cores=0,2,4,6
/proc/5146/task/5156/stat : 5156 (java) S 5128 5128 4275 0 -1 1077944384 748 29281 0 0 11 0 5833 4 20 0 17 0 231048643 8127635456 30972 33554432000 4194304 4196468 140732364027536 140204259162736 140204813838978 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5157] ppid=5128 vsize=7937144 memory=1408 CPUtime=58.5 cores=0,2,4,6
/proc/5146/task/5157/stat : 5157 (java) S 5128 5128 4275 0 -1 1077944384 753 29281 0 0 13 0 5833 4 20 0 17 0 231048643 8127635456 30972 33554432000 4194304 4196468 140732364027536 140204258109936 140204813838978 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5158] ppid=5128 vsize=7937144 memory=64252 CPUtime=58.63 cores=0,2,4,6
/proc/5146/task/5158/stat : 5158 (java) R 5128 5128 4275 0 -1 4202560 1025 29281 0 0 26 0 5833 4 20 0 17 0 231048643 8127635456 30972 33554432000 4194304 4196468 140732364027536 140204257057648 140204806924667 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5159] ppid=5128 vsize=7937144 memory=3732 CPUtime=58.37 cores=0,2,4,6
/proc/5146/task/5159/stat : 5159 (java) S 5128 5128 4275 0 -1 1077944384 3 29281 0 0 0 0 5833 4 20 0 17 0 231048643 8127635456 30972 33554432000 4194304 4196468 140732364027536 140202630704096 140204813838037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5160] ppid=5128 vsize=7937144 memory=39676 CPUtime=58.39 cores=0,2,4,6
/proc/5146/task/5160/stat : 5160 (java) S 5128 5128 4275 0 -1 1077944384 5 29281 0 0 1 1 5833 4 20 0 17 0 231048643 8127635456 30972 33554432000 4194304 4196468 140732364027536 140204256004528 140204813838978 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5162] ppid=5128 vsize=7937144 memory=0 CPUtime=58.37 cores=0,2,4,6
/proc/5146/task/5162/stat : 5162 (java) S 5128 5128 4275 0 -1 1077944384 27 29281 0 0 0 0 5833 4 20 0 17 0 231048710 8127635456 30972 33554432000 4194304 4196468 140732364027536 140204248195216 140204813838978 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
[pid=5146/tid=5166] ppid=5128 vsize=7937144 memory=3316 CPUtime=58.37 cores=0,2,4,6
/proc/5146/task/5166/stat : 5166 (java) S 5128 5128 4275 0 -1 1077944384 32 29281 0 0 0 0 5833 4 20 0 17 0 231048713 8127635456 30972 33554432000 4194304 4196468 140732364027536 140201825391792 140204813838978 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13307904 140732364035254 140732364035377 140732364035377 140732364038095 0
Current children cumulated CPU time: 83.07 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 125360 KiB
Child status: 0
Real time (s): 70.1425
CPU time (s): 83.1574
CPU user time (s): 82.3295
CPU system time (s): 0.82798
CPU usage (%): 118.555
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3134848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 82.3295
system time used= 0.82798
maximum resident set size= 3134848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90001
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8027
involuntary context switches= 87
# summary of solver processes directly reported to runsolver:
# pid: 5128
# total CPU time (s): 83.1574
# total CPU user time (s): 82.3295
# total CPU system time (s): 0.82798
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.496505 second user time and 0.797361 second system time
The end