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-23885-serial-file.bin HOME/instance-4305444-1534091638.xml
0.55/0.51
0.67/0.52 scop order+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 18:33:59 CEST 2018
0.67/0.54 c PID: 23888
0.67/0.54 c IP: 172.20.3.107
0.67/0.54 c HOST: node107.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.42/0.98 c (0,0) Parsing End
1.42/0.99 c (0,0) CSP: 210 int (0 aux), 0 bool (0 aux), 114 ctr, max domain size 66
1.42/0.99 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.42/0.99 c (0,0) Constraint Name Generate Begin
1.42/1.00 c (0,0) Ctr:HOME/instance-4305444-1534091638.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.42/1.00 c (0,0) Constraint Name Generate End
1.42/1.00 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.42/1.00 c (0,0) CSP to CSPinCNF Begin
3.57/1.99 c (1,1) translated 12 (10%) constraints
4.53/2.25 c (1,1) translated 23 (20%) constraints
5.11/2.48 c (1,1) translated 35 (30%) constraints
5.70/2.68 c (2,1) translated 46 (40%) constraints
6.29/2.87 c (2,2) translated 57 (50%) constraints
7.17/3.18 c (2,2) translated 69 (60%) constraints
7.84/3.32 c (2,2) translated 80 (70%) constraints
8.47/3.58 c (3,2) translated 92 (80%) constraints
8.78/3.61 c (3,2) translated 103 (90%) constraints
8.78/3.67 c (3,2) translated 114 (100%) constraints
9.72/3.96 c (3,3) STATISTICS1:HOME/instance-4305444-1534091638.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,7086,30682,8388608,66,66,24,8388608:144;2097152:144;66:1770;32:22;11:798;1:375,66:19740;11:23160;2:46896;1:1980,66:2;12:222;11:66;10:66;9:66;8:66;7:66;6:66;5:66;4:7194;3:8262;2:14301;1:239,24:144;22:144;6:22;2:2943;1:82728;0:66,
9.72/3.96 c (3,3) ==========================================
9.72/3.96 c (3,3) Order
9.72/3.96 c (3,3) ==========================================
10.05/4.06 c (3,3) translated 3069 (10%) constraints
10.43/4.12 c (3,3) translated 6137 (20%) constraints
10.43/4.17 c (3,3) translated 9205 (30%) constraints
10.70/4.22 c (3,3) translated 12273 (40%) constraints
10.70/4.27 c (3,3) translated 15341 (50%) constraints
10.86/4.31 c (3,3) translated 18410 (60%) constraints
10.86/4.35 c (3,3) translated 21478 (70%) constraints
11.02/4.42 c (3,3) translated 24546 (80%) constraints
11.63/4.63 c (4,3) translated 27614 (90%) constraints
12.58/4.95 c (4,4) translated 30682 (100%) constraints
12.58/4.95 c (4,4) CSP to CSPinCNF End
12.58/4.96 c (4,4) CSP: 786 int (576 aux), 8670 bool (8670 aux), 35223 ctr, max domain size 64
12.58/4.96 c (4,4) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
12.58/4.96 c (4,4) CSPinCNF Propagation Begin
13.66/5.35 c (4,4) 1764 values, 6351 unsatisfiable literals, and 4815 valid clauses are removed
13.66/5.35 c (4,4) CSPinCNF Propagation End
13.66/5.36 c (4,4) CSP: 2088 int (1878 aux), 7368 bool (7368 aux), 30408 ctr, max domain size 64
13.66/5.36 c (4,4) Heap : 1351 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
13.66/5.36 c (4,4) Simplify CSPinCNF Begin
14.24/5.56 c (5,4) Simplify CSPinCNF End
14.24/5.56 c (5,4) CSP: 2088 int (1878 aux), 12840 bool (12840 aux), 35880 ctr, max domain size 64
14.24/5.56 c (5,4) Heap : 1408 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
14.24/5.56 c (5,4) Calculate Precise Domain Begin
14.51/5.60 c (5,4) 6 values are removed by re-calculation
14.51/5.60 c (5,4) Calculate Precise Domain End
14.51/5.60 c (5,4) CSP: 2088 int (1878 aux), 12840 bool (12840 aux), 35880 ctr, max domain size 64
14.51/5.60 c (5,4) Heap : 1408 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
14.51/5.60 c (5,4) CSPinCNF to SatSolver Begin
14.76/5.74 c (5,5) 3588 (10 %) CSP clauses are encoded (19464 SAT variables, 9467 SAT clauses)
14.76/5.77 c (5,5) 7176 (20 %) CSP clauses are encoded (19464 SAT variables, 13055 SAT clauses)
15.06/5.80 c (5,5) 10764 (30 %) CSP clauses are encoded (19464 SAT variables, 16643 SAT clauses)
15.06/5.83 c (5,5) 14352 (40 %) CSP clauses are encoded (19464 SAT variables, 20231 SAT clauses)
15.06/5.85 c (5,5) 17940 (50 %) CSP clauses are encoded (19464 SAT variables, 23819 SAT clauses)
15.30/5.99 c (5,5) 21528 (60 %) CSP clauses are encoded (19464 SAT variables, 50402 SAT clauses)
16.08/6.36 c (5,5) 25116 (70 %) CSP clauses are encoded (19464 SAT variables, 184526 SAT clauses)
16.31/6.58 c (6,5) 28704 (80 %) CSP clauses are encoded (19464 SAT variables, 267505 SAT clauses)
16.77/6.77 c (6,6) 32292 (90 %) CSP clauses are encoded (19464 SAT variables, 285659 SAT clauses)
17.32/6.94 c (6,6) 35880 (100 %) CSP clauses are encoded (19464 SAT variables, 310063 SAT clauses)
17.32/6.94 c (6,6) Launch Command will be: minisat_release
17.32/6.94 c (6,6) CSPinCNF to SatSolver End
17.32/6.94 c (6,6) Heap : 2253 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
17.85/7.19 c (6,6) STATISTICS2:HOME/instance-4305444-1534091638.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,14928,35880,256,64,11,9,256:108;128:432;64:3648;32:32;21:45;16:96;14:5;12:15;11:438;10:1020;9:180;8:109;4:36;1:480,64:22908;11:19308;10:4620;8:104;7:104;5:11;4:57;3:1200;2:56592;1:1800,11:120;10:120;9:60;8:60;7:60;6:82;5:60;4:6540;3:6642;2:20964;1:1172,9:576;8:288;6:20;3:282;2:5478;1:87294,
17.85/7.19 c (6,6) 19464 bool, 310073 clause
17.85/7.19 c (6,6) Export Begin
18.16/7.29 c (6,6) Export to HOME/scop-23885-serial-file.bin
18.16/7.29 c (6,6) Export End
18.16/7.29 c (6,6) Export File Size: 0.05 MB
18.16/7.29 c (6,6) 0,0,4,4,5,5,6,STOP-AFTER(DIMACS)
18.16/7.29 c END-Prog: Sun Aug 12 18:34:06 CEST 2018
0.00/7.31 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23885-serial-file.bin
18.43/7.80 c (0,0) Read Serial File Begin
18.43/7.80 c (0,0) HOME/scop-23885-serial-file.bin
18.43/7.99 c (0,0) Read Serial File End
18.43/8.01
18.43/8.01 scop order+minisat_release (2018-07-31)
18.43/8.01 (Solving Process)
18.43/8.01
18.43/8.03 c BEGIN-Prog: Sun Aug 12 18:34:06 CEST 2018
18.43/8.03 c PID: 23903
18.43/8.03 c IP: 172.20.3.107
18.43/8.03 c HOST: node107.alineos.net
18.43/8.03 c (0,0) SatSolver.solve Begin
18.43/8.03 c (0,0) 0 bool, 0 clause
18.43/8.03 c (0,0) minisat_release HOME/instance-4305444-1534091638.xml-scop-23888.cnf
118.21/106.63 c (98,0) c This is COMiniSatPS.
118.21/106.63 c (98,0) c WARNING: for repeatability, setting FPU to use double precision
118.21/106.63 c (98,0) c ============================[ Problem Statistics ]=============================
118.21/106.63 c (98,0) c | |
118.21/106.63 c (98,0) c | Number of variables: 19464 |
118.21/106.63 c (98,0) c | Number of clauses: 310073 |
118.21/106.63 c (98,0) c | Parse time: 0.09 s |
118.21/106.63 c (98,0) c | Eliminated clauses: 0.31 Mb |
118.21/106.63 c (98,0) c Reduced to 10276 vars, 280959 cls (grow=0)
118.21/106.63 c (98,0) c No iterative elimination performed. (vars=10276, c/v ratio=27.3)
118.21/106.63 c (98,0) c | Simplification time: 0.47 s |
118.21/106.63 c (98,0) c | |
118.21/106.64 c (98,0) c ============================[ Search Statistics ]==============================
118.21/106.64 c (98,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
118.21/106.64 c (98,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
118.21/106.64 c (98,0) c ===============================================================================
118.21/106.64 c (98,0) c ===============================================================================
118.21/106.64 c (98,0) c restarts : 1039
118.21/106.64 c (98,0) c conflicts : 410184 (4163 /sec)
118.21/106.64 c (98,0) c decisions : 1111681 (0.00 % random) (11283 /sec)
118.21/106.64 c (98,0) c propagations : 259285938 (2631615 /sec)
118.21/106.64 c (98,0) c conflict literals : 23916446 (19.24 % deleted)
118.21/106.64 c (98,0) c CPU time : 98.5273 s
118.21/106.64 c (98,0)
118.21/106.64 c (98,0) s SATISFIABLE
118.21/106.68 c (98,0) SatSolver.solve End
118.21/106.68 c (98,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
118.21/106.68 c (98,0) Show results Begin
118.41/106.74 s SATISFIABLE
118.41/106.76 v <instantiation>
118.41/106.76 v <list>h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] m[0][0] m[0][1] m[0][2] m[0][3] m[0][4] m[0][5] m[0][6] m[0][7] m[0][8] m[0][9] m[0][10] m[1][0] m[1][1] m[1][2] m[1][3] m[1][4] m[1][5] m[1][6] m[1][7] m[1][8] m[1][9] m[1][10] m[2][0] m[2][1] m[2][2] m[2][3] m[2][4] m[2][5] m[2][6] m[2][7] m[2][8] m[2][9] m[2][10] m[3][0] m[3][1] m[3][2] m[3][3] m[3][4] m[3][5] m[3][6] m[3][7] m[3][8] m[3][9] m[3][10] m[4][0] m[4][1] m[4][2] m[4][3] m[4][4] m[4][5] m[4][6] m[4][7] m[4][8] m[4][9] m[4][10] m[5][0] m[5][1] m[5][2] m[5][3] m[5][4] m[5][5] m[5][6] m[5][7] m[5][8] m[5][9] m[5][10] hd[0] hd[1] hd[2] hd[3] hd[4] hd[5] ad[0] ad[1] ad[2] ad[3] ad[4] ad[5]</list>
118.41/106.76 v <values>0 8 5 3 2 9 4 7 3 7 1 2 5 4 1 6 5 3 6 0 1 0 4 3 2 7 1 0 1 0 7 2 3 6 4 6 5 0 1 2 1 2 0 4 8 0 1 0 3 4 5 3 1 6 2 10 1 0 8 4 2 0 2 5 3 9 1 10 10 6 11 11 6 9 4 8 5 3 7 11 2 9 8 10 10 9 4 11 5 11 9 10 10 6 9 8 11 5 8 7 9 8 9 5 3 8 11 10 10 7 9 2 7 4 7 10 11 5 8 11 6 11 6 3 11 8 7 7 4 6 9 10 0 61 49 32 29 64 39 57 30 56 14 21 46 44 11 53 47 36 54 8 13 10 38 37 27 58 19 5 18 7 59 23 34 51 42 52 48 4 12 26 20 28 9 40 60 1 16 3 33 43 50 31 17 55 24 65 15 2 62 41 25 6 22 45 35 63 0 7 4 3 9 1 2 8 6 11 10 5</values>
118.41/106.76 v </instantiation>
118.41/106.76 c (99,0) Show results End
118.41/106.76 c (99,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
118.41/106.76 c (99,0) 98,99,STOP-AFTER(ALL)
118.41/106.76 c END-Prog: Sun Aug 12 18:35:45 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 (9337 MiB free)
memory of node 1: 16384 MiB (11387 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305444-1534091638/watcher-4305444-1534091638 -o /tmp/evaluation-result-4305444-1534091638/solver-4305444-1534091638 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16637 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305444-1534091638.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
solver pid=23885, runsolver pid=23882
Current StackSize limit: 8192 KiB
[startup+0.100137 s]*
/proc/loadavg: 2.00 2.00 2.03 3/222 23902
/proc/meminfo: memFree=21164788/32770624 swapFree=67108860/67108860
[pid=23885] ppid=23882 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/23885/stat : 23885 (scop.sh) S 23882 23885 16605 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 226727023 115843072 348 33554432000 4194304 5098028 140720914877648 140720914874904 140462491042428 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16977920 140720914879552 140720914879751 140720914879751 140720914882509 0
/proc/23885/statm: 28282 348 296 221 0 87 0
[pid=23888] ppid=23885 vsize=15012476 memory=69564 CPUtime=0.11 cores=1,3,5,7
/proc/23888/stat : 23888 (java) S 23885 23885 16605 0 -1 1077944320 7095 0 0 0 10 1 0 0 20 0 15 0 226727023 15372775424 17391 33554432000 4194304 4196468 140726434390000 140726434372544 140110051929847 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
/proc/23888/statm: 3753119 17391 2757 1 0 3715579 0
[pid=23888/tid=23889] ppid=23885 vsize=15012476 memory=-6511216345168003007 CPUtime=0.09 cores=1,3,5,7
/proc/23888/task/23889/stat : 23889 (java) R 23885 23885 16605 0 -1 4202560 5123 0 0 0 8 1 0 0 20 0 15 0 226727023 15372775424 17391 33554432000 4194304 4196468 140726434390000 140110023741832 140110032195752 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23890] ppid=23885 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23890/stat : 23890 (java) S 23885 23885 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226727025 15372775424 17391 33554432000 4194304 4196468 140726434390000 140110056172688 140110051940053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23891] ppid=23885 vsize=15012476 memory=140198639097472 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23891/stat : 23891 (java) S 23885 23885 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226727025 15372775424 17391 33554432000 4194304 4196468 140726434390000 140109887421456 140110051940053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23892] ppid=23885 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23892/stat : 23892 (java) S 23885 23885 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226727025 15372775424 17391 33554432000 4194304 4196468 140726434390000 140109511941008 140110051940053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23893] ppid=23885 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23893/stat : 23893 (java) S 23885 23885 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226727025 15372775424 17391 33554432000 4194304 4196468 140726434390000 140109510888208 140110051940053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23894] ppid=23885 vsize=15012476 memory=140198639097472 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23894/stat : 23894 (java) S 23885 23885 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226727026 15372775424 17391 33554432000 4194304 4196468 140726434390000 140109089491312 140110051940994 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23895] ppid=23885 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23895/stat : 23895 (java) S 23885 23885 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226727027 15372775424 17391 33554432000 4194304 4196468 140726434390000 140108678292512 140110051940053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23896] ppid=23885 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23896/stat : 23896 (java) S 23885 23885 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226727027 15372775424 17391 33554432000 4194304 4196468 140726434390000 140108544070512 140110051940053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23897] ppid=23885 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23897/stat : 23897 (java) S 23885 23885 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226727029 15372775424 17391 33554432000 4194304 4196468 140726434390000 140108169566032 140110051948443 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23898] ppid=23885 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23898/stat : 23898 (java) S 23885 23885 16605 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 226727029 15372775424 17391 33554432000 4194304 4196468 140726434390000 140109088439152 140110051940994 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23899] ppid=23885 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23899/stat : 23899 (java) S 23885 23885 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226727029 15372775424 17457 33554432000 4194304 4196468 140726434390000 140109087386352 140110051940994 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23900] ppid=23885 vsize=15012476 memory=140198639097472 CPUtime=0.01 cores=1,3,5,7
/proc/23888/task/23900/stat : 23900 (java) S 23885 23885 16605 0 -1 1077944384 307 0 0 0 1 0 0 0 20 0 15 0 226727029 15372775424 17457 33554432000 4194304 4196468 140726434390000 140109086333552 140110051940994 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23901] ppid=23885 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23901/stat : 23901 (java) S 23885 23885 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226727030 15372775424 17457 33554432000 4194304 4196468 140726434390000 140107671661280 140110051940053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23902] ppid=23885 vsize=15012476 memory=140198639097472 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23902/stat : 23902 (java) S 23885 23885 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226727030 15372775424 17457 33554432000 4194304 4196468 140726434390000 140109085280944 140110051940994 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 70956 KiB
[startup+0.210846 s]*
/proc/loadavg: 2.00 2.00 2.03 3/222 23902
/proc/meminfo: memFree=21150712/32770624 swapFree=67108860/67108860
[pid=23885] ppid=23882 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/23885/stat : 23885 (scop.sh) S 23882 23885 16605 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 226727023 115843072 348 33554432000 4194304 5098028 140720914877648 140720914874904 140462491042428 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16977920 140720914879552 140720914879751 140720914879751 140720914882509 0
/proc/23885/statm: 28282 348 296 221 0 87 0
[pid=23888] ppid=23885 vsize=15012476 memory=83128 CPUtime=0.26 cores=1,3,5,7
/proc/23888/stat : 23888 (java) S 23885 23885 16605 0 -1 1077944320 10634 0 0 0 24 2 0 0 20 0 15 0 226727023 15372775424 20782 33554432000 4194304 4196468 140726434390000 140726434372544 140110051929847 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
/proc/23888/statm: 3753119 20782 2920 1 0 3715579 0
[pid=23888/tid=23889] ppid=23885 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/23888/task/23889/stat : 23889 (java) R 23885 23885 16605 0 -1 4202560 8443 0 0 0 18 1 0 0 20 0 15 0 226727023 15372775424 20782 33554432000 4194304 4196468 140726434390000 140110023745904 140110051941782 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23890] ppid=23885 vsize=15012476 memory=539 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23890/stat : 23890 (java) S 23885 23885 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226727025 15372775424 20782 33554432000 4194304 4196468 140726434390000 140110056172688 140110051940053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23891] ppid=23885 vsize=15012476 memory=140198640294674 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23891/stat : 23891 (java) S 23885 23885 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226727025 15372775424 20782 33554432000 4194304 4196468 140726434390000 140109887421456 140110051940053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23892] ppid=23885 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23892/stat : 23892 (java) S 23885 23885 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226727025 15372775424 20782 33554432000 4194304 4196468 140726434390000 140109511941008 140110051940053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23893] ppid=23885 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23893/stat : 23893 (java) S 23885 23885 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226727025 15372775424 20782 33554432000 4194304 4196468 140726434390000 140109510888208 140110051940053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23894] ppid=23885 vsize=15012476 memory=140198639097472 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23894/stat : 23894 (java) S 23885 23885 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226727026 15372775424 20782 33554432000 4194304 4196468 140726434390000 140109089491312 140110051940994 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23895] ppid=23885 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23895/stat : 23895 (java) S 23885 23885 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226727027 15372775424 20782 33554432000 4194304 4196468 140726434390000 140108678292512 140110051940053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23896] ppid=23885 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23896/stat : 23896 (java) S 23885 23885 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226727027 15372775424 20782 33554432000 4194304 4196468 140726434390000 140108544070512 140110051940053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23897] ppid=23885 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23897/stat : 23897 (java) S 23885 23885 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226727029 15372775424 20782 33554432000 4194304 4196468 140726434390000 140108169566032 140110051948443 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23898] ppid=23885 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23888/task/23898/stat : 23898 (java) R 23885 23885 16605 0 -1 4202560 347 0 0 0 1 0 0 0 20 0 15 0 226727029 15372775424 20782 33554432000 4194304 4196468 140726434390000 140109088439248 140110051941782 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23899] ppid=23885 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23899/stat : 23899 (java) R 23885 23885 16605 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 226727029 15372775424 20782 33554432000 4194304 4196468 140726434390000 140109087386352 140110051940994 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23900] ppid=23885 vsize=15012476 memory=140198639097472 CPUtime=0.03 cores=1,3,5,7
/proc/23888/task/23900/stat : 23900 (java) R 23885 23885 16605 0 -1 4202560 360 0 0 0 3 0 0 0 20 0 15 0 226727029 15372775424 20782 33554432000 4194304 4196468 140726434390000 140109086333552 140110031361924 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23901] ppid=23885 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23901/stat : 23901 (java) S 23885 23885 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226727030 15372775424 20782 33554432000 4194304 4196468 140726434390000 140107671661280 140110051940053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23902] ppid=23885 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23902/stat : 23902 (java) S 23885 23885 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226727030 15372775424 20782 33554432000 4194304 4196468 140726434390000 140109085280944 140110051940994 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 84520 KiB
[startup+0.310839 s]*
/proc/loadavg: 2.00 2.00 2.03 3/222 23902
/proc/meminfo: memFree=21146680/32770624 swapFree=67108860/67108860
[pid=23885] ppid=23882 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/23885/stat : 23885 (scop.sh) S 23882 23885 16605 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 226727023 115843072 348 33554432000 4194304 5098028 140720914877648 140720914874904 140462491042428 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16977920 140720914879552 140720914879751 140720914879751 140720914882509 0
/proc/23885/statm: 28282 348 296 221 0 87 0
[pid=23888] ppid=23885 vsize=15012476 memory=86956 CPUtime=0.43 cores=1,3,5,7
/proc/23888/stat : 23888 (java) S 23885 23885 16605 0 -1 1077944320 11261 0 0 0 41 2 0 0 20 0 15 0 226727023 15372775424 21739 33554432000 4194304 4196468 140726434390000 140726434372544 140110051929847 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
/proc/23888/statm: 3753119 21739 3011 1 0 3715579 0
[pid=23888/tid=23889] ppid=23885 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/23888/task/23889/stat : 23889 (java) R 23885 23885 16605 0 -1 4202560 8823 0 0 0 28 2 0 0 20 0 15 0 226727023 15372775424 21739 33554432000 4194304 4196468 140726434390000 140110023724848 140110035973477 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23890] ppid=23885 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23890/stat : 23890 (java) S 23885 23885 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226727025 15372775424 21739 33554432000 4194304 4196468 140726434390000 140110056172688 140110051940053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23891] ppid=23885 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23891/stat : 23891 (java) S 23885 23885 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226727025 15372775424 21739 33554432000 4194304 4196468 140726434390000 140109887421456 140110051940053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23892] ppid=23885 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23892/stat : 23892 (java) S 23885 23885 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226727025 15372775424 21739 33554432000 4194304 4196468 140726434390000 140109511941008 140110051940053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23893] ppid=23885 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23893/stat : 23893 (java) S 23885 23885 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226727025 15372775424 21739 33554432000 4194304 4196468 140726434390000 140109510888208 140110051940053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23894] ppid=23885 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23894/stat : 23894 (java) S 23885 23885 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226727026 15372775424 21739 33554432000 4194304 4196468 140726434390000 140109089491312 140110051940994 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23895] ppid=23885 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23895/stat : 23895 (java) S 23885 23885 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226727027 15372775424 21739 33554432000 4194304 4196468 140726434390000 140108678292512 140110051940053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23896] ppid=23885 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23896/stat : 23896 (java) S 23885 23885 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226727027 15372775424 21739 33554432000 4194304 4196468 140726434390000 140108544070512 140110051940053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23897] ppid=23885 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23897/stat : 23897 (java) S 23885 23885 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226727029 15372775424 21739 33554432000 4194304 4196468 140726434390000 140108169566032 140110051948443 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23898] ppid=23885 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23888/task/23898/stat : 23898 (java) R 23885 23885 16605 0 -1 1077944384 464 0 0 0 3 0 0 0 20 0 15 0 226727029 15372775424 21739 33554432000 4194304 4196468 140726434390000 140109088439248 140110051940053 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23899] ppid=23885 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23888/task/23899/stat : 23899 (java) R 23885 23885 16605 0 -1 4202560 180 0 0 0 1 0 0 0 20 0 15 0 226727029 15372775424 21739 33554432000 4194304 4196468 140726434390000 140109087386352 140110044171237 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23900] ppid=23885 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23888/task/23900/stat : 23900 (java) R 23885 23885 16605 0 -1 4202560 447 0 0 0 7 0 0 0 20 0 15 0 226727029 15372775424 21739 33554432000 4194304 4196468 140726434390000 140109086333552 140110045026596 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23901] ppid=23885 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23901/stat : 23901 (java) S 23885 23885 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226727030 15372775424 21739 33554432000 4194304 4196468 140726434390000 140107671661280 140110051940053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23902] ppid=23885 vsize=15012476 memory=3905525982033944625 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23902/stat : 23902 (java) S 23885 23885 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226727030 15372775424 21739 33554432000 4194304 4196468 140726434390000 140109085280944 140110051940994 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88348 KiB
[startup+0.703801 s]
/proc/loadavg: 2.00 2.00 2.03 3/222 23902
/proc/meminfo: memFree=21122048/32770624 swapFree=67108860/67108860
[pid=23885] ppid=23882 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/23885/stat : 23885 (scop.sh) S 23882 23885 16605 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 226727023 115843072 348 33554432000 4194304 5098028 140720914877648 140720914874904 140462491042428 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16977920 140720914879552 140720914879751 140720914879751 140720914882509 0
/proc/23885/statm: 28282 348 296 221 0 87 0
[pid=23888] ppid=23885 vsize=15020872 memory=128772 CPUtime=1.03 cores=1,3,5,7
/proc/23888/stat : 23888 (java) S 23885 23885 16605 0 -1 1077944320 18449 0 0 0 98 5 0 0 20 0 15 0 226727023 15381372928 32193 33554432000 4194304 4196468 140726434390000 140726434372544 140110051929847 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
/proc/23888/statm: 3755218 32193 3146 1 0 3716603 0
[pid=23888/tid=23889] ppid=23885 vsize=15020872 memory=-7816663703405220396 CPUtime=0.68 cores=1,3,5,7
/proc/23888/task/23889/stat : 23889 (java) R 23885 23885 16605 0 -1 4202560 15450 0 0 0 64 4 0 0 20 0 15 0 226727023 15381372928 32193 33554432000 4194304 4196468 140726434390000 140110023760816 140110051951194 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23890] ppid=23885 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23890/stat : 23890 (java) S 23885 23885 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226727025 15381372928 32193 33554432000 4194304 4196468 140726434390000 140110056172688 140110051940053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23891] ppid=23885 vsize=15020872 memory=61668 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23891/stat : 23891 (java) S 23885 23885 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226727025 15381372928 32193 33554432000 4194304 4196468 140726434390000 140109887421456 140110051940053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23892] ppid=23885 vsize=15020872 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23892/stat : 23892 (java) S 23885 23885 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226727025 15381372928 32193 33554432000 4194304 4196468 140726434390000 140109511941008 140110051940053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23893] ppid=23885 vsize=15020872 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23893/stat : 23893 (java) S 23885 23885 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226727025 15381372928 32193 33554432000 4194304 4196468 140726434390000 140109510888208 140110051940053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23894] ppid=23885 vsize=15020872 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23894/stat : 23894 (java) S 23885 23885 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226727026 15381372928 32193 33554432000 4194304 4196468 140726434390000 140109089491312 140110051940994 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23895] ppid=23885 vsize=15020872 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23895/stat : 23895 (java) S 23885 23885 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226727027 15381372928 32193 33554432000 4194304 4196468 140726434390000 140108678292512 140110051940053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23896] ppid=23885 vsize=15020872 memory=752 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23896/stat : 23896 (java) S 23885 23885 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226727027 15381372928 32193 33554432000 4194304 4196468 140726434390000 140108544070512 140110051940053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23897] ppid=23885 vsize=15020872 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23897/stat : 23897 (java) S 23885 23885 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226727029 15381372928 32193 33554432000 4194304 4196468 140726434390000 140108169566032 140110051948443 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23898] ppid=23885 vsize=15020872 memory=1120 CPUtime=0.08 cores=1,3,5,7
/proc/23888/task/23898/stat : 23898 (java) R 23885 23885 16605 0 -1 4202560 536 0 0 0 8 0 0 0 20 0 15 0 226727029 15381372928 32193 33554432000 4194304 4196468 140726434390000 140109088428144 140110035426383 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23899] ppid=23885 vsize=15020872 memory=6120 CPUtime=0.08 cores=1,3,5,7
/proc/23888/task/23899/stat : 23899 (java) S 23885 23885 16605 0 -1 1077944384 449 0 0 0 8 0 0 0 20 0 15 0 226727029 15381372928 32193 33554432000 4194304 4196468 140726434390000 140109087386352 140110051940994 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23900] ppid=23885 vsize=15020872 memory=1724 CPUtime=0.16 cores=1,3,5,7
/proc/23888/task/23900/stat : 23900 (java) S 23885 23885 16605 0 -1 1077944384 658 0 0 0 16 0 0 0 20 0 15 0 226727029 15381372928 32193 33554432000 4194304 4196468 140726434390000 140109086333552 140110051940994 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23901] ppid=23885 vsize=15020872 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23901/stat : 23901 (java) S 23885 23885 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226727030 15381372928 32193 33554432000 4194304 4196468 140726434390000 140107671661280 140110051940053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
[pid=23888/tid=23902] ppid=23885 vsize=15020872 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/23888/task/23902/stat : 23902 (java) S 23885 23885 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226727030 15381372928 32193 33554432000 4194304 4196468 140726434390000 140109085280944 140110051940994 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39587840 140726434391046 140726434391345 140726434391345 140726434394063 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130164 KiB
[startup+1.50085 s]
/proc/loadavg: 2.00 2.00 2.03 3/222 23902
/proc/meminfo: memFree=21092208/32770624 swapFree=67108860/67108860
[pid=23885] ppid=23882 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/23885/stat : 23885 (scop.sh) S 23882 23885 16605 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 226727023 115843072 348 33554432000 4194304 5098028 140720914877648 140720914874904 140462491042428 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16977920 140720914879552 140720914879751 140720914879751 140720914882509 0
/proc/23885/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/23903/task/23919/stat : 23919 (java) S 23885 23885 16605 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 226727828 8261857280 30059 33554432000 4194304 4196468 140725223412000 139730926134848 139731625963289 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23921] ppid=23885 vsize=8068220 memory=924 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23921/stat : 23921 (java) S 23885 23885 16605 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 226727829 8261857280 30059 33554432000 4194304 4196468 140725223412000 139728775000240 139731625960605 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23922] ppid=23885 vsize=8068220 memory=1168 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23922/stat : 23922 (java) S 23885 23885 16605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 226727829 8261857280 30059 33554432000 4194304 4196468 140725223412000 139728506567984 139731625960605 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23923] ppid=23885 vsize=8068220 memory=2140 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23923/stat : 23923 (java) S 23885 23885 16605 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 226727831 8261857280 30059 33554432000 4194304 4196468 140725223412000 139728909229088 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
Current children cumulated CPU time: 115.72 s
Current children cumulated vsize: 8267908 KiB
Current children cumulated memory: 187356 KiB
[startup+105.701 s]
/proc/loadavg: 2.05 2.04 2.05 3/227 23924
/proc/meminfo: memFree=21031204/32770624 swapFree=67108860/67108860
[pid=23885] ppid=23882 vsize=113128 memory=1468 CPUtime=18.43 cores=1,3,5,7
/proc/23885/stat : 23885 (scop.sh) S 23882 23885 16605 0 -1 4202496 589 34654 0 0 0 0 1797 46 20 0 1 0 226727023 115843072 367 33554432000 4194304 5098028 140720914877648 140720914874392 140462491042428 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16977920 140720914879552 140720914879751 140720914879751 140720914882509 0
/proc/23885/statm: 28282 367 311 221 0 87 0
[pid=23903] ppid=23885 vsize=8068220 memory=120236 CPUtime=1.24 cores=1,3,5,7
/proc/23903/stat : 23903 (java) S 23885 23885 16605 0 -1 1077944320 18808 0 0 0 116 8 0 0 20 0 19 0 226727754 8261857280 30059 33554432000 4194304 4196468 140725223412000 140725223394544 139731625938679 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
/proc/23903/statm: 2017055 30059 3152 1 0 1978454 0
[pid=23918] ppid=23903 vsize=86560 memory=65652 CPUtime=97.64 cores=1,3,5,7
/proc/23918/stat : 23918 (minisat_release) R 23903 23885 16605 0 -1 4202496 58566 0 0 0 9759 5 0 0 20 0 1 0 226727828 88637440 16413 33554432000 4194304 4308513 140735755999920 140735755996824 4276015 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 17915904 140735756006516 140735756006614 140735756006614 140735756009413 0
/proc/23918/statm: 21640 16413 342 28 0 17880 0
[pid=23903/tid=23904] ppid=23885 vsize=8068220 memory=3712 CPUtime=0.77 cores=1,3,5,7
/proc/23903/task/23904/stat : 23904 (java) S 23885 23885 16605 0 -1 1077944384 15597 0 0 0 73 4 0 0 20 0 19 0 226727755 8261857280 30059 33554432000 4194304 4196468 140725223412000 139731597778832 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23905] ppid=23885 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23905/stat : 23905 (java) S 23885 23885 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226727756 8261857280 30059 33554432000 4194304 4196468 140725223412000 139731630180624 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23906] ppid=23885 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23906/stat : 23906 (java) S 23885 23885 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226727756 8261857280 30059 33554432000 4194304 4196468 140725223412000 139731461429648 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23907] ppid=23885 vsize=8068220 memory=120236 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23907/stat : 23907 (java) S 23885 23885 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226727756 8261857280 30059 33554432000 4194304 4196468 140725223412000 139731109521936 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23908] ppid=23885 vsize=8068220 memory=-7824251494390848866 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23908/stat : 23908 (java) S 23885 23885 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226727756 8261857280 30059 33554432000 4194304 4196468 140725223412000 139731108469392 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23909] ppid=23885 vsize=8068220 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23909/stat : 23909 (java) S 23885 23885 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 226727757 8261857280 30059 33554432000 4194304 4196468 140725223412000 139730938153456 139731625949826 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23910] ppid=23885 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23910/stat : 23910 (java) S 23885 23885 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226727758 8261857280 30059 33554432000 4194304 4196468 140725223412000 139730452735392 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23911] ppid=23885 vsize=8068220 memory=120236 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23911/stat : 23911 (java) S 23885 23885 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226727758 8261857280 30059 33554432000 4194304 4196468 140725223412000 139730184300016 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23912] ppid=23885 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23912/stat : 23912 (java) S 23885 23885 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226727760 8261857280 30059 33554432000 4194304 4196468 140725223412000 139729809791696 139731625957275 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23913] ppid=23885 vsize=8068220 memory=120236 CPUtime=0.09 cores=1,3,5,7
/proc/23903/task/23913/stat : 23913 (java) S 23885 23885 16605 0 -1 1077944384 578 0 0 0 9 0 0 0 20 0 19 0 226727760 8261857280 30059 33554432000 4194304 4196468 140725223412000 139730937100272 139731625949826 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23914] ppid=23885 vsize=8068220 memory=65652 CPUtime=0.08 cores=1,3,5,7
/proc/23903/task/23914/stat : 23914 (java) S 23885 23885 16605 0 -1 1077944384 445 0 0 0 8 0 0 0 20 0 19 0 226727760 8261857280 30059 33554432000 4194304 4196468 140725223412000 139730936047728 139731625949826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23915] ppid=23885 vsize=8068220 memory=120236 CPUtime=0.21 cores=1,3,5,7
/proc/23903/task/23915/stat : 23915 (java) S 23885 23885 16605 0 -1 1077944384 781 0 0 0 21 0 0 0 20 0 19 0 226727761 8261857280 30059 33554432000 4194304 4196468 140725223412000 139730934995184 139731625949826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23916] ppid=23885 vsize=8068220 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23916/stat : 23916 (java) S 23885 23885 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226727761 8261857280 30059 33554432000 4194304 4196468 140725223412000 139729311885920 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23917] ppid=23885 vsize=8068220 memory=3408 CPUtime=0.05 cores=1,3,5,7
/proc/23903/task/23917/stat : 23917 (java) S 23885 23885 16605 0 -1 1077944384 9 0 0 0 3 2 0 0 20 0 19 0 226727761 8261857280 30059 33554432000 4194304 4196468 140725223412000 139730933943088 139731625949826 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23919] ppid=23885 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23919/stat : 23919 (java) S 23885 23885 16605 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 226727828 8261857280 30059 33554432000 4194304 4196468 140725223412000 139730926134848 139731625963289 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23921] ppid=23885 vsize=8068220 memory=122648 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23921/stat : 23921 (java) S 23885 23885 16605 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 226727829 8261857280 30059 33554432000 4194304 4196468 140725223412000 139728775000240 139731625960605 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23922] ppid=23885 vsize=8068220 memory=2858180 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23922/stat : 23922 (java) S 23885 23885 16605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 226727829 8261857280 30059 33554432000 4194304 4196468 140725223412000 139728506567984 139731625960605 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23923] ppid=23885 vsize=8068220 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23923/stat : 23923 (java) S 23885 23885 16605 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 226727831 8261857280 30059 33554432000 4194304 4196468 140725223412000 139728909229088 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
Current children cumulated CPU time: 117.31 s
Current children cumulated vsize: 8267908 KiB
Current children cumulated memory: 187356 KiB
[startup+106.501 s]
/proc/loadavg: 2.05 2.04 2.05 3/227 23924
/proc/meminfo: memFree=21031204/32770624 swapFree=67108860/67108860
[pid=23885] ppid=23882 vsize=113128 memory=1468 CPUtime=18.43 cores=1,3,5,7
/proc/23885/stat : 23885 (scop.sh) S 23882 23885 16605 0 -1 4202496 589 34654 0 0 0 0 1797 46 20 0 1 0 226727023 115843072 367 33554432000 4194304 5098028 140720914877648 140720914874392 140462491042428 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16977920 140720914879552 140720914879751 140720914879751 140720914882509 0
/proc/23885/statm: 28282 367 311 221 0 87 0
[pid=23903] ppid=23885 vsize=8068220 memory=120236 CPUtime=1.24 cores=1,3,5,7
/proc/23903/stat : 23903 (java) S 23885 23885 16605 0 -1 1077944320 18808 0 0 0 116 8 0 0 20 0 19 0 226727754 8261857280 30059 33554432000 4194304 4196468 140725223412000 140725223394544 139731625938679 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
/proc/23903/statm: 2017055 30059 3152 1 0 1978454 0
[pid=23918] ppid=23903 vsize=86560 memory=65652 CPUtime=98.44 cores=1,3,5,7
/proc/23918/stat : 23918 (minisat_release) R 23903 23885 16605 0 -1 4202496 58567 0 0 0 9839 5 0 0 20 0 1 0 226727828 88637440 16413 33554432000 4194304 4308513 140735755999920 140735755996824 4275601 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 17915904 140735756006516 140735756006614 140735756006614 140735756009413 0
/proc/23918/statm: 21640 16413 342 28 0 17880 0
[pid=23903/tid=23904] ppid=23885 vsize=8068220 memory=-7824251494390848866 CPUtime=0.77 cores=1,3,5,7
/proc/23903/task/23904/stat : 23904 (java) S 23885 23885 16605 0 -1 1077944384 15597 0 0 0 73 4 0 0 20 0 19 0 226727755 8261857280 30059 33554432000 4194304 4196468 140725223412000 139731597778832 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23905] ppid=23885 vsize=8068220 memory=120236 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23905/stat : 23905 (java) S 23885 23885 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226727756 8261857280 30059 33554432000 4194304 4196468 140725223412000 139731630180624 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23906] ppid=23885 vsize=8068220 memory=65652 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23906/stat : 23906 (java) S 23885 23885 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226727756 8261857280 30059 33554432000 4194304 4196468 140725223412000 139731461429648 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23907] ppid=23885 vsize=8068220 memory=1088 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23907/stat : 23907 (java) S 23885 23885 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226727756 8261857280 30059 33554432000 4194304 4196468 140725223412000 139731109521936 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23908] ppid=23885 vsize=8068220 memory=61668 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23908/stat : 23908 (java) S 23885 23885 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226727756 8261857280 30059 33554432000 4194304 4196468 140725223412000 139731108469392 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23909] ppid=23885 vsize=8068220 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23909/stat : 23909 (java) S 23885 23885 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 226727757 8261857280 30059 33554432000 4194304 4196468 140725223412000 139730938153456 139731625949826 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23910] ppid=23885 vsize=8068220 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23910/stat : 23910 (java) S 23885 23885 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226727758 8261857280 30059 33554432000 4194304 4196468 140725223412000 139730452735392 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23911] ppid=23885 vsize=8068220 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23911/stat : 23911 (java) S 23885 23885 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226727758 8261857280 30059 33554432000 4194304 4196468 140725223412000 139730184300016 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23912] ppid=23885 vsize=8068220 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23912/stat : 23912 (java) S 23885 23885 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226727760 8261857280 30059 33554432000 4194304 4196468 140725223412000 139729809791696 139731625957275 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23913] ppid=23885 vsize=8068220 memory=752 CPUtime=0.09 cores=1,3,5,7
/proc/23903/task/23913/stat : 23913 (java) S 23885 23885 16605 0 -1 1077944384 578 0 0 0 9 0 0 0 20 0 19 0 226727760 8261857280 30059 33554432000 4194304 4196468 140725223412000 139730937100272 139731625949826 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23914] ppid=23885 vsize=8068220 memory=1468 CPUtime=0.08 cores=1,3,5,7
/proc/23903/task/23914/stat : 23914 (java) S 23885 23885 16605 0 -1 1077944384 445 0 0 0 8 0 0 0 20 0 19 0 226727760 8261857280 30059 33554432000 4194304 4196468 140725223412000 139730936047728 139731625949826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23915] ppid=23885 vsize=8068220 memory=1468 CPUtime=0.21 cores=1,3,5,7
/proc/23903/task/23915/stat : 23915 (java) S 23885 23885 16605 0 -1 1077944384 781 0 0 0 21 0 0 0 20 0 19 0 226727761 8261857280 30059 33554432000 4194304 4196468 140725223412000 139730934995184 139731625949826 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23916] ppid=23885 vsize=8068220 memory=120236 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23916/stat : 23916 (java) S 23885 23885 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226727761 8261857280 30059 33554432000 4194304 4196468 140725223412000 139729311885920 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23917] ppid=23885 vsize=8068220 memory=3712 CPUtime=0.05 cores=1,3,5,7
/proc/23903/task/23917/stat : 23917 (java) S 23885 23885 16605 0 -1 1077944384 9 0 0 0 3 2 0 0 20 0 19 0 226727761 8261857280 30059 33554432000 4194304 4196468 140725223412000 139730933943088 139731625949826 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23919] ppid=23885 vsize=8068220 memory=61668 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23919/stat : 23919 (java) S 23885 23885 16605 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 226727828 8261857280 30059 33554432000 4194304 4196468 140725223412000 139730926134848 139731625963289 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23921] ppid=23885 vsize=8068220 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23921/stat : 23921 (java) S 23885 23885 16605 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 226727829 8261857280 30059 33554432000 4194304 4196468 140725223412000 139728775000240 139731625960605 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23922] ppid=23885 vsize=8068220 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23922/stat : 23922 (java) S 23885 23885 16605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 226727829 8261857280 30059 33554432000 4194304 4196468 140725223412000 139728506567984 139731625960605 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23923] ppid=23885 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/23903/task/23923/stat : 23923 (java) S 23885 23885 16605 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 226727831 8261857280 30059 33554432000 4194304 4196468 140725223412000 139728909229088 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
Current children cumulated CPU time: 118.11 s
Current children cumulated vsize: 8267908 KiB
Current children cumulated memory: 187356 KiB
[startup+106.701 s]
/proc/loadavg: 2.05 2.04 2.05 3/227 23924
/proc/meminfo: memFree=21031204/32770624 swapFree=67108860/67108860
[pid=23885] ppid=23882 vsize=113128 memory=1468 CPUtime=18.43 cores=1,3,5,7
/proc/23885/stat : 23885 (scop.sh) S 23882 23885 16605 0 -1 4202496 589 34654 0 0 0 0 1797 46 20 0 1 0 226727023 115843072 367 33554432000 4194304 5098028 140720914877648 140720914874392 140462491042428 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16977920 140720914879552 140720914879751 140720914879751 140720914882509 0
/proc/23885/statm: 28282 367 311 221 0 87 0
[pid=23903] ppid=23885 vsize=7937144 memory=125804 CPUtime=99.98 cores=1,3,5,7
/proc/23903/stat : 23903 (java) S 23885 23885 16605 0 -1 1077944320 19720 58670 0 0 132 8 9853 5 20 0 17 0 226727754 8127635456 31451 33554432000 4194304 4196468 140725223412000 140725223394544 139731625938679 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
/proc/23903/statm: 1984286 31451 3167 1 0 1945685 0
[pid=23903/tid=23904] ppid=23885 vsize=7937144 memory=1064 CPUtime=99.37 cores=1,3,5,7
/proc/23903/task/23904/stat : 23904 (java) R 23885 23885 16605 0 -1 4202560 15706 58670 0 0 75 4 9853 5 20 0 17 0 226727755 8127635456 31451 33554432000 4194304 4196468 140725223412000 139731597755920 139731625950614 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23905] ppid=23885 vsize=7937144 memory=2072 CPUtime=98.58 cores=1,3,5,7
/proc/23903/task/23905/stat : 23905 (java) S 23885 23885 16605 0 -1 1077944384 1 58670 0 0 0 0 9853 5 20 0 17 0 226727756 8127635456 31451 33554432000 4194304 4196468 140725223412000 139731630180624 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23906] ppid=23885 vsize=7937144 memory=1468 CPUtime=98.58 cores=1,3,5,7
/proc/23903/task/23906/stat : 23906 (java) S 23885 23885 16605 0 -1 1077944384 2 58670 0 0 0 0 9853 5 20 0 17 0 226727756 8127635456 31451 33554432000 4194304 4196468 140725223412000 139731461429648 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23907] ppid=23885 vsize=7937144 memory=1468 CPUtime=98.58 cores=1,3,5,7
/proc/23903/task/23907/stat : 23907 (java) S 23885 23885 16605 0 -1 1077944384 2 58670 0 0 0 0 9853 5 20 0 17 0 226727756 8127635456 31451 33554432000 4194304 4196468 140725223412000 139731109521936 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23908] ppid=23885 vsize=7937144 memory=0 CPUtime=98.58 cores=1,3,5,7
/proc/23903/task/23908/stat : 23908 (java) S 23885 23885 16605 0 -1 1077944384 2 58670 0 0 0 0 9853 5 20 0 17 0 226727756 8127635456 31451 33554432000 4194304 4196468 140725223412000 139731108469392 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23909] ppid=23885 vsize=7937144 memory=-2752986171930792494 CPUtime=98.58 cores=1,3,5,7
/proc/23903/task/23909/stat : 23909 (java) S 23885 23885 16605 0 -1 1077944384 5 58670 0 0 0 0 9853 5 20 0 17 0 226727757 8127635456 31451 33554432000 4194304 4196468 140725223412000 139730938153456 139731625949826 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23910] ppid=23885 vsize=7937144 memory=-1598954323721476954 CPUtime=98.58 cores=1,3,5,7
/proc/23903/task/23910/stat : 23910 (java) S 23885 23885 16605 0 -1 1077944384 13 58670 0 0 0 0 9853 5 20 0 17 0 226727758 8127635456 31451 33554432000 4194304 4196468 140725223412000 139730452735392 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23911] ppid=23885 vsize=7937144 memory=-6586667735541663136 CPUtime=98.58 cores=1,3,5,7
/proc/23903/task/23911/stat : 23911 (java) S 23885 23885 16605 0 -1 1077944384 1 58670 0 0 0 0 9853 5 20 0 17 0 226727758 8127635456 31451 33554432000 4194304 4196468 140725223412000 139730184300016 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23912] ppid=23885 vsize=7937144 memory=8329294824090543255 CPUtime=98.58 cores=1,3,5,7
/proc/23903/task/23912/stat : 23912 (java) S 23885 23885 16605 0 -1 1077944384 3 58670 0 0 0 0 9853 5 20 0 17 0 226727760 8127635456 31451 33554432000 4194304 4196468 140725223412000 139729809791696 139731625957275 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23913] ppid=23885 vsize=7937144 memory=-8854054433366053469 CPUtime=98.71 cores=1,3,5,7
/proc/23903/task/23913/stat : 23913 (java) S 23885 23885 16605 0 -1 1077944384 604 58670 0 0 13 0 9853 5 20 0 17 0 226727760 8127635456 31451 33554432000 4194304 4196468 140725223412000 139730937100272 139731625949826 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23914] ppid=23885 vsize=7937144 memory=7679550394871646778 CPUtime=98.7 cores=1,3,5,7
/proc/23903/task/23914/stat : 23914 (java) S 23885 23885 16605 0 -1 1077944384 783 58670 0 0 12 0 9853 5 20 0 17 0 226727760 8127635456 31451 33554432000 4194304 4196468 140725223412000 139730936047728 139731625949826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23915] ppid=23885 vsize=7937144 memory=-7169666339305913429 CPUtime=98.81 cores=1,3,5,7
/proc/23903/task/23915/stat : 23915 (java) R 23885 23885 16605 0 -1 4202560 1159 58670 0 0 23 0 9853 5 20 0 17 0 226727761 8127635456 31451 33554432000 4194304 4196468 140725223412000 139730934995184 139731625960026 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23916] ppid=23885 vsize=7937144 memory=-7824251494390848866 CPUtime=98.58 cores=1,3,5,7
/proc/23903/task/23916/stat : 23916 (java) S 23885 23885 16605 0 -1 1077944384 3 58670 0 0 0 0 9853 5 20 0 17 0 226727761 8127635456 31451 33554432000 4194304 4196468 140725223412000 139729311885920 139731625948885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23917] ppid=23885 vsize=7937144 memory=4872558044660077418 CPUtime=98.63 cores=1,3,5,7
/proc/23903/task/23917/stat : 23917 (java) S 23885 23885 16605 0 -1 1077944384 9 58670 0 0 3 2 9853 5 20 0 17 0 226727761 8127635456 31451 33554432000 4194304 4196468 140725223412000 139730933943088 139731625949826 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23919] ppid=23885 vsize=7937144 memory=-6152575017436148066 CPUtime=98.58 cores=1,3,5,7
/proc/23903/task/23919/stat : 23919 (java) S 23885 23885 16605 0 -1 1077944384 28 58670 0 0 0 0 9853 5 20 0 17 0 226727828 8127635456 31451 33554432000 4194304 4196468 140725223412000 139730926134032 139731625949826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
[pid=23903/tid=23923] ppid=23885 vsize=7937144 memory=-7887815239212803378 CPUtime=98.58 cores=1,3,5,7
/proc/23903/task/23923/stat : 23923 (java) S 23885 23885 16605 0 -1 1077944384 35 58670 0 0 0 0 9853 5 20 0 17 0 226727831 8127635456 31451 33554432000 4194304 4196468 140725223412000 139728909230896 139731625949826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33763328 140725223417013 140725223417137 140725223417137 140725223419855 0
Current children cumulated CPU time: 118.41 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 127272 KiB
Child status: 0
Real time (s): 106.775
CPU time (s): 118.629
CPU user time (s): 118.002
CPU system time (s): 0.626735
CPU usage (%): 111.102
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 2413460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 118.002
system time used= 0.626735
maximum resident set size= 2419736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113910
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9808
involuntary context switches= 121
# summary of solver processes directly reported to runsolver:
# pid: 23885
# total CPU time (s): 118.629
# total CPU user time (s): 118.002
# total CPU system time (s): 0.626735
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.798929 second user time and 1.21315 second system time
The end