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-12190-serial-file.bin HOME/instance-4305445-1534088987.xml
0.66/0.52
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Sun Aug 12 17:49:48 CEST 2018
0.66/0.55 c PID: 12193
0.66/0.55 c IP: 172.20.3.151
0.66/0.55 c HOST: node151.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.63/1.01 c (0,0) Parsing End
1.63/1.02 c (0,0) CSP: 287 int (0 aux), 0 bool (0 aux), 147 ctr, max domain size 91
1.63/1.02 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.63/1.02 c (0,0) Constraint Name Generate Begin
1.63/1.03 c (0,0) Ctr:HOME/instance-4305445-1534088987.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.63/1.03 c (0,0) Constraint Name Generate End
1.63/1.03 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.63/1.03 c (0,0) CSP to CSPinCNF Begin
4.43/2.14 c (1,1) translated 15 (10%) constraints
5.62/2.54 c (2,1) translated 30 (20%) constraints
6.82/2.91 c (2,2) translated 45 (30%) constraints
7.50/3.21 c (2,2) translated 59 (40%) constraints
7.88/3.50 c (2,2) translated 74 (50%) constraints
8.09/3.79 c (3,3) translated 89 (60%) constraints
8.78/4.11 c (3,3) translated 103 (70%) constraints
10.97/4.74 c (4,4) translated 118 (80%) constraints
10.97/4.76 c (4,4) translated 133 (90%) constraints
11.60/4.90 c (4,4) translated 147 (100%) constraints
12.84/5.33 c (4,4) STATISTICS1:HOME/instance-4305445-1534088987.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,12586,56253,134217728,91,91,28,134217728:196;33554432:196;91:3486;64:26;13:1281;1:609,91:38136;13:42294;2:85582;1:3185,91:2;14:301;13:91;12:91;11:91;10:91;9:91;8:91;7:91;6:91;5:91;4:14105;3:14574;2:26131;1:321,28:196;26:196;7:26;2:5376;1:153356;0:91,
12.84/5.33 c (4,4) ==========================================
12.84/5.33 c (4,4) Order
12.84/5.33 c (4,4) ==========================================
13.17/5.47 c (4,4) translated 5626 (10%) constraints
13.47/5.56 c (5,4) translated 11251 (20%) constraints
13.74/5.64 c (5,5) translated 16876 (30%) constraints
13.87/5.72 c (5,5) translated 22502 (40%) constraints
13.97/5.81 c (5,5) translated 28127 (50%) constraints
13.97/5.89 c (5,5) translated 33752 (60%) constraints
14.09/5.97 c (5,5) translated 39378 (70%) constraints
14.20/6.05 c (5,5) translated 45003 (80%) constraints
15.03/6.34 c (5,5) translated 50628 (90%) constraints
16.59/6.87 c (6,6) translated 56253 (100%) constraints
16.59/6.87 c (6,6) CSP to CSPinCNF End
16.59/6.88 c (6,6) CSP: 1072 int (785 aux), 15134 bool (15134 aux), 63217 ctr, max domain size 89
16.59/6.88 c (6,6) Heap : 1858 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
16.59/6.88 c (6,6) CSPinCNF Propagation Begin
18.38/7.56 c (7,6) 2514 values, 9493 unsatisfiable literals, and 7097 valid clauses are removed
18.38/7.56 c (7,6) CSPinCNF Propagation End
18.38/7.56 c (7,6) CSP: 2962 int (2675 aux), 13244 bool (13244 aux), 56120 ctr, max domain size 89
18.38/7.56 c (7,6) Heap : 2196 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
18.38/7.57 c (7,6) Simplify CSPinCNF Begin
19.52/7.92 c (7,7) Simplify CSPinCNF End
19.52/7.92 c (7,7) CSP: 2962 int (2675 aux), 23422 bool (23422 aux), 66298 ctr, max domain size 89
19.52/7.92 c (7,7) Heap : 2365 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
19.52/7.92 c (7,7) Calculate Precise Domain Begin
19.52/7.97 c (7,7) 7 values are removed by re-calculation
19.52/7.97 c (7,7) Calculate Precise Domain End
19.52/7.97 c (7,7) CSP: 2962 int (2675 aux), 23422 bool (23422 aux), 66298 ctr, max domain size 89
19.52/7.97 c (7,7) Heap : 2365 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.52/7.97 c (7,7) CSPinCNF to SatSolver Begin
20.14/8.14 c (7,7) 6630 (10 %) CSP clauses are encoded (35386 SAT variables, 17570 SAT clauses)
20.14/8.19 c (7,7) 13260 (20 %) CSP clauses are encoded (35386 SAT variables, 24200 SAT clauses)
20.41/8.23 c (7,7) 19890 (30 %) CSP clauses are encoded (35386 SAT variables, 30830 SAT clauses)
20.41/8.27 c (7,7) 26520 (40 %) CSP clauses are encoded (35386 SAT variables, 37460 SAT clauses)
20.59/8.31 c (7,7) 33149 (50 %) CSP clauses are encoded (35386 SAT variables, 44089 SAT clauses)
20.59/8.35 c (7,7) 39779 (60 %) CSP clauses are encoded (35386 SAT variables, 50719 SAT clauses)
22.38/9.30 c (8,8) 46409 (70 %) CSP clauses are encoded (35386 SAT variables, 371509 SAT clauses)
23.17/9.97 c (9,9) 53039 (80 %) CSP clauses are encoded (35386 SAT variables, 684555 SAT clauses)
24.04/10.32 c (9,9) 59669 (90 %) CSP clauses are encoded (35386 SAT variables, 742499 SAT clauses)
24.35/10.55 c (10,9) 66298 (100 %) CSP clauses are encoded (35386 SAT variables, 805672 SAT clauses)
24.35/10.55 c (10,9) Launch Command will be: minisat_release
24.35/10.55 c (10,9) CSPinCNF to SatSolver End
24.35/10.55 c (10,9) Heap : 1762 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
25.11/10.87 c (10,10) STATISTICS2:HOME/instance-4305445-1534088987.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,26384,66298,1024,89,13,11,1024:2;512:306;256:614;128:2;89:6972;72:1;64:24;32:56;27:65;18:6;16:196;15:18;13:693;12:1680;10:1;9:252;4:42;1:840,89:44674;13:36260;12:7812;10:2;9:296;8:2;5:80;3:1678;2:104692;1:2660,13:168;12:168;11:84;10:84;9:84;8:84;7:110;6:84;5:84;4:13020;3:12243;2:38493;1:1592,11:196;10:784;9:196;7:24;3:385;2:10185;1:164703,
25.11/10.87 c (10,10) 35386 bool, 805684 clause
25.11/10.87 c (10,10) Export Begin
25.45/10.98 c (10,10) Export to HOME/scop-12190-serial-file.bin
25.45/10.98 c (10,10) Export End
25.45/10.98 c (10,10) Export File Size: 0.06 MB
25.45/10.98 c (10,10) 0,0,6,7,7,7,10,STOP-AFTER(DIMACS)
25.45/10.98 c END-Prog: Sun Aug 12 17:49:58 CEST 2018
0.00/11.01 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-12190-serial-file.bin
25.66/11.50 c (0,0) Read Serial File Begin
25.66/11.50 c (0,0) HOME/scop-12190-serial-file.bin
25.66/11.70 c (0,0) Read Serial File End
25.66/11.72
25.66/11.72 scop order+minisat_release (2018-07-31)
25.66/11.72 (Solving Process)
25.66/11.72
25.66/11.74 c BEGIN-Prog: Sun Aug 12 17:49:59 CEST 2018
25.66/11.74 c PID: 12208
25.66/11.74 c IP: 172.20.3.151
25.66/11.74 c HOST: node151.alineos.net
25.66/11.74 c (0,0) SatSolver.solve Begin
25.66/11.74 c (0,0) 0 bool, 0 clause
25.66/11.74 c (0,0) minisat_release HOME/instance-4305445-1534088987.xml-scop-12193.cnf
1841.71/1825.52 c (1814,0) c This is COMiniSatPS.
1841.71/1825.52 c (1814,0) c WARNING: for repeatability, setting FPU to use double precision
1841.71/1825.52 c (1814,0) c ============================[ Problem Statistics ]=============================
1841.71/1825.52 c (1814,0) c | |
1841.71/1825.52 c (1814,0) c | Number of variables: 35386 |
1841.71/1825.52 c (1814,0) c | Number of clauses: 805684 |
1841.71/1825.52 c (1814,0) c | Parse time: 0.22 s |
1841.71/1825.52 c (1814,0) c | Eliminated clauses: 0.58 Mb |
1841.71/1825.52 c (1814,0) c Reduced to 18504 vars, 727581 cls (grow=0)
1841.71/1825.52 c (1814,0) c No iterative elimination performed. (vars=18504, c/v ratio=39.3)
1841.71/1825.52 c (1814,0) c | Simplification time: 1.56 s |
1841.71/1825.52 c (1814,0) c | |
1841.71/1825.52 c (1814,0) c ============================[ Search Statistics ]==============================
1841.71/1825.52 c (1814,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
1841.71/1825.52 c (1814,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1841.71/1825.52 c (1814,0) c ===============================================================================
1841.71/1825.52 c (1814,0) c ===============================================================================
1841.71/1825.52 c (1814,0) c restarts : 6199
1841.71/1825.52 c (1814,0) c conflicts : 3516427 (1940 /sec)
1841.71/1825.52 c (1814,0) c decisions : 8712194 (0.00 % random) (4807 /sec)
1841.71/1825.52 c (1814,0) c propagations : 3647625637 (2012547 /sec)
1841.71/1825.52 c (1814,0) c conflict literals : 370877709 (22.46 % deleted)
1841.71/1825.52 c (1814,0) c CPU time : 1812.44 s
1841.71/1825.52 c (1814,0)
1841.71/1825.52 c (1814,0) s SATISFIABLE
1841.71/1825.58 c (1814,0) SatSolver.solve End
1841.71/1825.58 c (1814,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1841.71/1825.58 c (1814,0) Show results Begin
1841.93/1825.65 s SATISFIABLE
1841.93/1825.67 v <instantiation>
1841.93/1825.67 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[0][11] h[0][12] 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[1][11] h[1][12] 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[2][11] h[2][12] 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[3][11] h[3][12] 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[4][11] h[4][12] 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] h[5][11] h[5][12] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] 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[0][11] a[0][12] 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[1][11] a[1][12] 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[2][11] a[2][12] 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[3][11] a[3][12] 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[4][11] a[4][12] 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] a[5][11] a[5][12] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] 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[0][11] m[0][12] 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[1][11] m[1][12] 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[2][11] m[2][12] 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[3][11] m[3][12] 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[4][11] m[4][12] 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] m[5][11] m[5][12] m[6][0] m[6][1] m[6][2] m[6][3] m[6][4] m[6][5] m[6][6] m[6][7] m[6][8] m[6][9] m[6][10] m[6][11] m[6][12] hd[0] hd[1] hd[2] hd[3] hd[4] hd[5] hd[6] ad[0] ad[1] ad[2] ad[3] ad[4] ad[5] ad[6]</list>
1841.93/1825.67 v <values>0 3 5 8 1 9 2 6 3 4 2 0 7 2 6 1 5 4 0 8 3 7 1 10 7 4 4 8 0 1 9 3 6 2 2 7 1 5 0 6 1 9 0 2 8 5 0 1 5 4 6 3 8 5 4 2 3 10 0 1 4 3 0 2 1 10 0 2 9 7 1 1 4 0 6 5 3 5 12 4 7 3 0 2 11 11 6 0 3 1 2 1 13 12 10 13 11 4 10 5 8 9 12 11 3 12 8 11 11 6 12 9 13 2 13 9 10 5 11 3 6 10 4 9 7 10 12 12 13 13 7 10 13 4 12 13 10 8 11 9 7 11 12 9 7 6 13 6 12 7 5 12 11 11 8 9 11 2 11 12 8 7 3 13 9 13 6 10 8 13 9 10 7 5 5 13 12 8 10 8 4 6 0 45 61 77 24 82 26 66 37 49 31 11 73 25 68 19 60 52 5 79 41 75 13 87 71 51 46 78 2 17 81 36 65 29 32 74 23 62 12 63 21 84 3 34 80 59 7 22 58 48 67 44 76 56 47 35 38 86 6 16 53 43 10 30 20 85 1 33 83 70 18 14 54 8 69 55 42 57 90 50 72 39 4 27 89 88 64 9 40 15 28 6 0 8 2 10 4 1 7 5 11 3 13 12 9</values>
1841.93/1825.67 v </instantiation>
1841.93/1825.67 c (1814,0) Show results End
1841.93/1825.67 c (1814,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
1841.93/1825.67 c (1814,0) 1814,1814,STOP-AFTER(ALL)
1841.93/1825.67 c END-Prog: Sun Aug 12 18:20:13 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 (8532 MiB free)
memory of node 1: 16384 MiB (9603 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305445-1534088987/watcher-4305445-1534088987 -o /tmp/evaluation-result-4305445-1534088987/solver-4305445-1534088987 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3794 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305445-1534088987.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=12190, runsolver pid=12187
Current StackSize limit: 8192 KiB
[startup+0.100513 s]*
/proc/loadavg: 2.03 2.02 2.05 3/222 12207
/proc/meminfo: memFree=18512812/32770624 swapFree=67108196/67108860
[pid=12190] ppid=12187 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12190/stat : 12190 (scop.sh) S 12187 12190 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 226461927 115843072 349 33554432000 4194304 5098028 140728938021552 140728938018808 139716340519548 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19787776 140728938026048 140728938026247 140728938026247 140728938029005 0
/proc/12190/statm: 28282 349 296 221 0 87 0
[pid=12193] ppid=12190 vsize=15012476 memory=70064 CPUtime=0.11 cores=1,3,5,7
/proc/12193/stat : 12193 (java) S 12190 12190 3762 0 -1 1077944320 6658 0 0 0 9 2 0 0 20 0 15 0 226461927 15372775424 17516 33554432000 4194304 4196468 140729922398784 140729922381328 139631663292151 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
/proc/12193/statm: 3753119 17516 2771 1 0 3715579 0
[pid=12193/tid=12194] ppid=12190 vsize=15012476 memory=7533807676074704953 CPUtime=0.09 cores=1,3,5,7
/proc/12193/task/12194/stat : 12194 (java) R 12190 12190 3762 0 -1 4202560 4966 0 0 0 8 1 0 0 20 0 15 0 226461928 15372775424 17714 33554432000 4194304 4196468 140729922398784 139631635104136 139631643567900 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12195] ppid=12190 vsize=15012476 memory=3472468126057420464 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12195/stat : 12195 (java) S 12190 12190 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226461929 15372775424 17780 33554432000 4194304 4196468 140729922398784 139631667534864 139631663302357 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12196] ppid=12190 vsize=15012476 memory=139829829740160 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12196/stat : 12196 (java) S 12190 12190 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226461929 15372775424 17780 33554432000 4194304 4196468 140729922398784 139631481691280 139631663302357 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12197] ppid=12190 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12197/stat : 12197 (java) S 12190 12190 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226461929 15372775424 17780 33554432000 4194304 4196468 140729922398784 139631480638224 139631663302357 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12198] ppid=12190 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12198/stat : 12198 (java) S 12190 12190 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226461929 15372775424 17780 33554432000 4194304 4196468 140729922398784 139631479585680 139631663302357 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12199] ppid=12190 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12199/stat : 12199 (java) S 12190 12190 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226461931 15372775424 17780 33554432000 4194304 4196468 140729922398784 139630633523440 139631663303298 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12200] ppid=12190 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12200/stat : 12200 (java) S 12190 12190 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226461931 15372775424 17780 33554432000 4194304 4196468 140729922398784 139630259201184 139631663302357 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12201] ppid=12190 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12201/stat : 12201 (java) S 12190 12190 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226461931 15372775424 17780 33554432000 4194304 4196468 140729922398784 139630124978928 139631663302357 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12202] ppid=12190 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12202/stat : 12202 (java) S 12190 12190 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226461934 15372775424 17780 33554432000 4194304 4196468 140729922398784 139629750474704 139631663310747 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12203] ppid=12190 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12203/stat : 12203 (java) S 12190 12190 3762 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 226461934 15372775424 17780 33554432000 4194304 4196468 140729922398784 139630632471280 139631663303298 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12204] ppid=12190 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12204/stat : 12204 (java) S 12190 12190 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226461934 15372775424 17780 33554432000 4194304 4196468 140729922398784 139630631418736 139631663303298 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12205] ppid=12190 vsize=15012476 memory=139829829740160 CPUtime=0.01 cores=1,3,5,7
/proc/12193/task/12205/stat : 12205 (java) S 12190 12190 3762 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 15 0 226461934 15372775424 17780 33554432000 4194304 4196468 140729922398784 139630630365680 139631663303298 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12206] ppid=12190 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12206/stat : 12206 (java) S 12190 12190 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226461934 15372775424 17846 33554432000 4194304 4196468 140729922398784 139629252569952 139631663302357 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12207] ppid=12190 vsize=15012476 memory=139829829740160 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12207/stat : 12207 (java) S 12190 12190 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226461934 15372775424 17846 33554432000 4194304 4196468 140729922398784 139630629313072 139631663303298 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 71460 KiB
[startup+0.210812 s]*
/proc/loadavg: 2.03 2.02 2.05 3/222 12207
/proc/meminfo: memFree=18498648/32770624 swapFree=67108196/67108860
[pid=12190] ppid=12187 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12190/stat : 12190 (scop.sh) S 12187 12190 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 226461927 115843072 349 33554432000 4194304 5098028 140728938021552 140728938018808 139716340519548 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19787776 140728938026048 140728938026247 140728938026247 140728938029005 0
/proc/12190/statm: 28282 349 296 221 0 87 0
[pid=12193] ppid=12190 vsize=15012476 memory=83632 CPUtime=0.25 cores=1,3,5,7
/proc/12193/stat : 12193 (java) S 12190 12190 3762 0 -1 1077944320 10294 0 0 0 22 3 0 0 20 0 15 0 226461927 15372775424 20908 33554432000 4194304 4196468 140729922398784 140729922381328 139631663292151 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
/proc/12193/statm: 3753119 20908 2935 1 0 3715579 0
[pid=12193/tid=12194] ppid=12190 vsize=15012476 memory=8514701219881124769 CPUtime=0.2 cores=1,3,5,7
/proc/12193/task/12194/stat : 12194 (java) R 12190 12190 3762 0 -1 4202560 8163 0 0 0 18 2 0 0 20 0 15 0 226461928 15372775424 20908 33554432000 4194304 4196468 140729922398784 139631635117248 139631663304086 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12195] ppid=12190 vsize=15012476 memory=3472468126057420464 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12195/stat : 12195 (java) S 12190 12190 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226461929 15372775424 20908 33554432000 4194304 4196468 140729922398784 139631667534864 139631663302357 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12196] ppid=12190 vsize=15012476 memory=139829829740160 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12196/stat : 12196 (java) S 12190 12190 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226461929 15372775424 20908 33554432000 4194304 4196468 140729922398784 139631481691280 139631663302357 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12197] ppid=12190 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12197/stat : 12197 (java) S 12190 12190 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226461929 15372775424 20908 33554432000 4194304 4196468 140729922398784 139631480638224 139631663302357 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12198] ppid=12190 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12198/stat : 12198 (java) S 12190 12190 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226461929 15372775424 20908 33554432000 4194304 4196468 140729922398784 139631479585680 139631663302357 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12199] ppid=12190 vsize=15012476 memory=139829829740160 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12199/stat : 12199 (java) S 12190 12190 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226461931 15372775424 20908 33554432000 4194304 4196468 140729922398784 139630633523440 139631663303298 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12200] ppid=12190 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12200/stat : 12200 (java) S 12190 12190 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226461931 15372775424 20908 33554432000 4194304 4196468 140729922398784 139630259201184 139631663302357 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12201] ppid=12190 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12201/stat : 12201 (java) S 12190 12190 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226461931 15372775424 20908 33554432000 4194304 4196468 140729922398784 139630124978928 139631663302357 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12202] ppid=12190 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12202/stat : 12202 (java) S 12190 12190 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226461934 15372775424 20908 33554432000 4194304 4196468 140729922398784 139629750474704 139631663310747 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12203] ppid=12190 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12203/stat : 12203 (java) R 12190 12190 3762 0 -1 4202560 333 0 0 0 0 0 0 0 20 0 15 0 226461934 15372775424 20908 33554432000 4194304 4196468 140729922398784 139630632471280 139631648191658 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12204] ppid=12190 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12204/stat : 12204 (java) R 12190 12190 3762 0 -1 4202560 139 0 0 0 0 0 0 0 20 0 15 0 226461934 15372775424 20908 33554432000 4194304 4196468 140729922398784 139630631418736 139631642455312 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12205] ppid=12190 vsize=15012476 memory=139829829740160 CPUtime=0.03 cores=1,3,5,7
/proc/12193/task/12205/stat : 12205 (java) R 12190 12190 3762 0 -1 1077944384 312 0 0 0 3 0 0 0 20 0 15 0 226461934 15372775424 20908 33554432000 4194304 4196468 140729922398784 139630630365680 139631663303298 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12206] ppid=12190 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12206/stat : 12206 (java) S 12190 12190 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226461934 15372775424 20908 33554432000 4194304 4196468 140729922398784 139629252569952 139631663302357 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12207] ppid=12190 vsize=15012476 memory=139829829740160 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12207/stat : 12207 (java) R 12190 12190 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226461934 15372775424 20908 33554432000 4194304 4196468 140729922398784 139630629313072 139631663303298 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85028 KiB
[startup+0.311513 s]*
/proc/loadavg: 2.03 2.02 2.05 3/222 12207
/proc/meminfo: memFree=18495112/32770624 swapFree=67108196/67108860
[pid=12190] ppid=12187 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12190/stat : 12190 (scop.sh) S 12187 12190 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 226461927 115843072 349 33554432000 4194304 5098028 140728938021552 140728938018808 139716340519548 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19787776 140728938026048 140728938026247 140728938026247 140728938029005 0
/proc/12190/statm: 28282 349 296 221 0 87 0
[pid=12193] ppid=12190 vsize=15012476 memory=87572 CPUtime=0.42 cores=1,3,5,7
/proc/12193/stat : 12193 (java) S 12190 12190 3762 0 -1 1077944320 10910 0 0 0 39 3 0 0 20 0 15 0 226461927 15372775424 21893 33554432000 4194304 4196468 140729922398784 140729922381328 139631663292151 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
/proc/12193/statm: 3753119 21893 2972 1 0 3715579 0
[pid=12193/tid=12194] ppid=12190 vsize=15012476 memory=8514701219881124769 CPUtime=0.29 cores=1,3,5,7
/proc/12193/task/12194/stat : 12194 (java) R 12190 12190 3762 0 -1 4202560 8603 0 0 0 27 2 0 0 20 0 15 0 226461928 15372775424 21893 33554432000 4194304 4196468 140729922398784 139631635092352 139631647372638 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12195] ppid=12190 vsize=15012476 memory=3472468126057420464 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12195/stat : 12195 (java) S 12190 12190 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226461929 15372775424 21893 33554432000 4194304 4196468 140729922398784 139631667534864 139631663302357 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12196] ppid=12190 vsize=15012476 memory=279659536608128 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12196/stat : 12196 (java) S 12190 12190 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226461929 15372775424 21893 33554432000 4194304 4196468 140729922398784 139631481691280 139631663302357 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12197] ppid=12190 vsize=15012476 memory=279659413765920 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12197/stat : 12197 (java) S 12190 12190 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226461929 15372775424 21893 33554432000 4194304 4196468 140729922398784 139631480638224 139631663302357 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12198] ppid=12190 vsize=15012476 memory=139829706867983 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12198/stat : 12198 (java) S 12190 12190 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226461929 15372775424 21893 33554432000 4194304 4196468 140729922398784 139631479585680 139631663302357 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12199] ppid=12190 vsize=15012476 memory=279659536617312 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12199/stat : 12199 (java) S 12190 12190 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226461931 15372775424 21893 33554432000 4194304 4196468 140729922398784 139630633523440 139631663303298 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12200] ppid=12190 vsize=15012476 memory=139829706872591 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12200/stat : 12200 (java) S 12190 12190 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226461931 15372775424 21893 33554432000 4194304 4196468 140729922398784 139630259201184 139631663302357 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12201] ppid=12190 vsize=15012476 memory=279659413775136 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12201/stat : 12201 (java) S 12190 12190 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226461931 15372775424 21893 33554432000 4194304 4196468 140729922398784 139630124978928 139631663302357 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12202] ppid=12190 vsize=15012476 memory=139829706889233 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12202/stat : 12202 (java) S 12190 12190 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226461934 15372775424 21893 33554432000 4194304 4196468 140729922398784 139629750474704 139631663310747 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12203] ppid=12190 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12193/task/12203/stat : 12203 (java) R 12190 12190 3762 0 -1 4202560 424 0 0 0 2 0 0 0 20 0 15 0 226461934 15372775424 21893 33554432000 4194304 4196468 140729922398784 139630632471280 139631663304086 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12204] ppid=12190 vsize=15012476 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/12193/task/12204/stat : 12204 (java) R 12190 12190 3762 0 -1 1077944384 186 0 0 0 1 0 0 0 20 0 15 0 226461934 15372775424 21893 33554432000 4194304 4196468 140729922398784 139630631418832 139631663302357 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12205] ppid=12190 vsize=15012476 memory=139829829740160 CPUtime=0.07 cores=1,3,5,7
/proc/12193/task/12205/stat : 12205 (java) R 12190 12190 3762 0 -1 4202560 352 0 0 0 7 0 0 0 20 0 15 0 226461934 15372775424 21893 33554432000 4194304 4196468 140729922398784 139630630365680 139631641948050 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12206] ppid=12190 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12206/stat : 12206 (java) S 12190 12190 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226461934 15372775424 21893 33554432000 4194304 4196468 140729922398784 139629252569952 139631663302357 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12207] ppid=12190 vsize=15012476 memory=139829829741556 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12207/stat : 12207 (java) R 12190 12190 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226461934 15372775424 21893 33554432000 4194304 4196468 140729922398784 139630629313072 139631663303298 0 4 2 16800973 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88968 KiB
[startup+0.701533 s]
/proc/loadavg: 2.03 2.02 2.05 3/222 12207
/proc/meminfo: memFree=18470472/32770624 swapFree=67108196/67108860
[pid=12190] ppid=12187 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12190/stat : 12190 (scop.sh) S 12187 12190 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 226461927 115843072 349 33554432000 4194304 5098028 140728938021552 140728938018808 139716340519548 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19787776 140728938026048 140728938026247 140728938026247 140728938029005 0
/proc/12190/statm: 28282 349 296 221 0 87 0
[pid=12193] ppid=12190 vsize=15020872 memory=127664 CPUtime=1 cores=1,3,5,7
/proc/12193/stat : 12193 (java) S 12190 12190 3762 0 -1 1077944320 18154 0 0 0 95 5 0 0 20 0 15 0 226461927 15381372928 31916 33554432000 4194304 4196468 140729922398784 140729922381328 139631663292151 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
/proc/12193/statm: 3755218 31916 3153 1 0 3716603 0
[pid=12193/tid=12194] ppid=12190 vsize=15020872 memory=54 CPUtime=0.67 cores=1,3,5,7
/proc/12193/task/12194/stat : 12194 (java) R 12190 12190 3762 0 -1 4202560 15342 0 0 0 63 4 0 0 20 0 15 0 226461928 15381372928 31916 33554432000 4194304 4196468 140729922398784 139631635127952 139631663304086 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12195] ppid=12190 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12195/stat : 12195 (java) S 12190 12190 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226461929 15381372928 31916 33554432000 4194304 4196468 140729922398784 139631667534864 139631663302357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12196] ppid=12190 vsize=15020872 memory=8751464017575360309 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12196/stat : 12196 (java) S 12190 12190 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226461929 15381372928 31916 33554432000 4194304 4196468 140729922398784 139631481691280 139631663302357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12197] ppid=12190 vsize=15020872 memory=5788902677008311104 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12197/stat : 12197 (java) S 12190 12190 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226461929 15381372928 31916 33554432000 4194304 4196468 140729922398784 139631480638224 139631663302357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12198] ppid=12190 vsize=15020872 memory=6440526044186890340 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12198/stat : 12198 (java) S 12190 12190 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226461929 15381372928 31916 33554432000 4194304 4196468 140729922398784 139631479585680 139631663302357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12199] ppid=12190 vsize=15020872 memory=170926128 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12199/stat : 12199 (java) S 12190 12190 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226461931 15381372928 31916 33554432000 4194304 4196468 140729922398784 139630633523440 139631663303298 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12200] ppid=12190 vsize=15020872 memory=1128 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12200/stat : 12200 (java) S 12190 12190 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226461931 15381372928 31916 33554432000 4194304 4196468 140729922398784 139630259201184 139631663302357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12201] ppid=12190 vsize=15020872 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12201/stat : 12201 (java) S 12190 12190 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226461931 15381372928 31916 33554432000 4194304 4196468 140729922398784 139630124978928 139631663302357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12202] ppid=12190 vsize=15020872 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12202/stat : 12202 (java) S 12190 12190 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226461934 15381372928 31916 33554432000 4194304 4196468 140729922398784 139629750474704 139631663310747 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12203] ppid=12190 vsize=15020872 memory=4168 CPUtime=0.06 cores=1,3,5,7
/proc/12193/task/12203/stat : 12203 (java) R 12190 12190 3762 0 -1 4202560 517 0 0 0 6 0 0 0 20 0 15 0 226461934 15381372928 31916 33554432000 4194304 4196468 140729922398784 139630632471576 139631648221564 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12204] ppid=12190 vsize=15020872 memory=7852 CPUtime=0.08 cores=1,3,5,7
/proc/12193/task/12204/stat : 12204 (java) R 12190 12190 3762 0 -1 4202560 432 0 0 0 8 0 0 0 20 0 15 0 226461934 15381372928 31916 33554432000 4194304 4196468 140729922398784 139630631399936 139631648417923 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12205] ppid=12190 vsize=15020872 memory=1628 CPUtime=0.16 cores=1,3,5,7
/proc/12193/task/12205/stat : 12205 (java) R 12190 12190 3762 0 -1 4202560 508 0 0 0 16 0 0 0 20 0 15 0 226461934 15381372928 31916 33554432000 4194304 4196468 140729922398784 139630630365680 139631644702301 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12206] ppid=12190 vsize=15020872 memory=1140 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12206/stat : 12206 (java) S 12190 12190 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226461934 15381372928 31916 33554432000 4194304 4196468 140729922398784 139629252569952 139631663302357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
[pid=12193/tid=12207] ppid=12190 vsize=15020872 memory=15244 CPUtime=0 cores=1,3,5,7
/proc/12193/task/12207/stat : 12207 (java) S 12190 12190 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226461934 15381372928 31916 33554432000 4194304 4196468 140729922398784 139630629313072 139631663303298 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140729922401286 140729922401585 140729922401585 140729922404303 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 129060 KiB
[startup+1.50632 s]
/proc/loadavg: 2.03 2.02 2.05 4/222 12207
/proc/meminfo: memFree=18442308/32770624 swapFree=67108196/67108860
[pid=12190] ppid=12187 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12190/stat : 12190 (scop.sh) S 12187 12190 3762 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 226461927 115843072 349 33554432000 4194304 5098028 140728938021552 140728938018808 139716340519548 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19787776 140728938026048 140728938026247 140728938026247 140728938029005 0
/proc/12190/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/12208/task/12224/stat : 12224 (java) S 12190 12190 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226463104 8261857280 29413 33554432000 4194304 4196468 140728879184400 140565421921472 140566121717529 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12226] ppid=12190 vsize=8068220 memory=4032 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12226/stat : 12226 (java) S 12190 12190 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226463104 8261857280 29413 33554432000 4194304 4196468 140728879184400 140563273723184 140566121714845 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12227] ppid=12190 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12227/stat : 12227 (java) S 12190 12190 3762 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 226463104 8261857280 29413 33554432000 4194304 4196468 140728879184400 140563407945904 140566121714845 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12228] ppid=12190 vsize=8068220 memory=640 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12228/stat : 12228 (java) S 12190 12190 3762 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226463107 8261857280 29413 33554432000 4194304 4196468 140728879184400 140563005300384 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
Current children cumulated CPU time: 1840.21 s
Current children cumulated vsize: 8371568 KiB
Current children cumulated memory: 281816 KiB
[startup+1824.8 s]
/proc/loadavg: 1.02 1.31 1.71 2/201 12361
/proc/meminfo: memFree=18482348/32770624 swapFree=67108196/67108860
[pid=12190] ppid=12187 vsize=113128 memory=1472 CPUtime=25.66 cores=1,3,5,7
/proc/12190/stat : 12190 (scop.sh) S 12187 12190 3762 0 -1 4202496 592 40052 0 0 0 0 2496 70 20 0 1 0 226461927 115843072 368 33554432000 4194304 5098028 140728938021552 140728938018296 139716340519548 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19787776 140728938026048 140728938026247 140728938026247 140728938029005 0
/proc/12190/statm: 28282 368 311 221 0 87 0
[pid=12208] ppid=12190 vsize=8068220 memory=117652 CPUtime=2.42 cores=1,3,5,7
/proc/12208/stat : 12208 (java) S 12190 12190 3762 0 -1 1077944320 19332 0 0 0 172 70 0 0 20 0 19 0 226463029 8261857280 29413 33554432000 4194304 4196468 140728879184400 140728879166944 140566121692919 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
/proc/12208/statm: 2017055 29413 3143 1 0 1978454 0
[pid=12223] ppid=12208 vsize=190220 memory=162692 CPUtime=1812.93 cores=1,3,5,7
/proc/12223/stat : 12223 (minisat_release) R 12208 12190 3762 0 -1 4202496 570856 0 0 0 181172 121 0 0 20 0 1 0 226463104 194785280 40673 33554432000 4194304 4308513 140727674212432 140727674209880 4275601 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 39510016 140727674217588 140727674217686 140727674217686 140727674220485 0
/proc/12223/statm: 47555 40673 340 28 0 43795 0
[pid=12208/tid=12209] ppid=12190 vsize=8068220 memory=1572 CPUtime=0.77 cores=1,3,5,7
/proc/12208/task/12209/stat : 12209 (java) S 12190 12190 3762 0 -1 1077944384 15638 0 0 0 72 5 0 0 20 0 19 0 226463029 8261857280 29413 33554432000 4194304 4196468 140728879184400 140566093533072 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12210] ppid=12190 vsize=8068220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12210/stat : 12210 (java) S 12190 12190 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226463030 8261857280 29413 33554432000 4194304 4196468 140728879184400 140566125935760 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12211] ppid=12190 vsize=8068220 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12211/stat : 12211 (java) S 12190 12190 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226463030 8261857280 29413 33554432000 4194304 4196468 140728879184400 140565959314448 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12212] ppid=12190 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12212/stat : 12212 (java) S 12190 12190 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226463030 8261857280 29413 33554432000 4194304 4196468 140728879184400 140565606116240 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12213] ppid=12190 vsize=8068220 memory=117652 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12213/stat : 12213 (java) S 12190 12190 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226463030 8261857280 29413 33554432000 4194304 4196468 140728879184400 140565605063440 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12214] ppid=12190 vsize=8068220 memory=162692 CPUtime=0.03 cores=1,3,5,7
/proc/12208/task/12214/stat : 12214 (java) S 12190 12190 3762 0 -1 1077944384 7 0 0 0 1 2 0 0 20 0 19 0 226463032 8261857280 29413 33554432000 4194304 4196468 140728879184400 140565433940336 140566121704066 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12215] ppid=12190 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12215/stat : 12215 (java) S 12190 12190 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226463032 8261857280 29413 33554432000 4194304 4196468 140728879184400 140564951458848 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12216] ppid=12190 vsize=8068220 memory=117652 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12216/stat : 12216 (java) S 12190 12190 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226463032 8261857280 29413 33554432000 4194304 4196468 140728879184400 140564683023216 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12217] ppid=12190 vsize=8068220 memory=164908 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12217/stat : 12217 (java) S 12190 12190 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226463035 8261857280 29413 33554432000 4194304 4196468 140728879184400 140564308514640 140566121711515 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12218] ppid=12190 vsize=8068220 memory=792 CPUtime=0.1 cores=1,3,5,7
/proc/12208/task/12218/stat : 12218 (java) S 12190 12190 3762 0 -1 1077944384 674 0 0 0 9 1 0 0 20 0 19 0 226463035 8261857280 29413 33554432000 4194304 4196468 140728879184400 140565432888176 140566121704066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12219] ppid=12190 vsize=8068220 memory=168668 CPUtime=0.15 cores=1,3,5,7
/proc/12208/task/12219/stat : 12219 (java) S 12190 12190 3762 0 -1 1077944384 715 0 0 0 15 0 0 0 20 0 19 0 226463035 8261857280 29413 33554432000 4194304 4196468 140728879184400 140565431835376 140566121704066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12220] ppid=12190 vsize=8068220 memory=1472 CPUtime=0.22 cores=1,3,5,7
/proc/12208/task/12220/stat : 12220 (java) S 12190 12190 3762 0 -1 1077944384 774 0 0 0 22 0 0 0 20 0 19 0 226463035 8261857280 29413 33554432000 4194304 4196468 140728879184400 140565430782576 140566121704066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12221] ppid=12190 vsize=8068220 memory=117652 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12221/stat : 12221 (java) S 12190 12190 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226463035 8261857280 29413 33554432000 4194304 4196468 140728879184400 140563810609888 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12222] ppid=12190 vsize=8068220 memory=168668 CPUtime=1.07 cores=1,3,5,7
/proc/12208/task/12222/stat : 12222 (java) S 12190 12190 3762 0 -1 1077944384 121 0 0 0 45 62 0 0 20 0 19 0 226463035 8261857280 29413 33554432000 4194304 4196468 140728879184400 140565429729968 140566121704066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12224] ppid=12190 vsize=8068220 memory=976 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12224/stat : 12224 (java) S 12190 12190 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226463104 8261857280 29413 33554432000 4194304 4196468 140728879184400 140565421921472 140566121717529 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12226] ppid=12190 vsize=8068220 memory=11200 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12226/stat : 12226 (java) S 12190 12190 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226463104 8261857280 29413 33554432000 4194304 4196468 140728879184400 140563273723184 140566121714845 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12227] ppid=12190 vsize=8068220 memory=5060 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12227/stat : 12227 (java) S 12190 12190 3762 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 226463104 8261857280 29413 33554432000 4194304 4196468 140728879184400 140563407945904 140566121714845 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12228] ppid=12190 vsize=8068220 memory=792 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12228/stat : 12228 (java) S 12190 12190 3762 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226463107 8261857280 29413 33554432000 4194304 4196468 140728879184400 140563005300384 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
Current children cumulated CPU time: 1841.01 s
Current children cumulated vsize: 8371568 KiB
Current children cumulated memory: 281816 KiB
[startup+1825.2 s]
/proc/loadavg: 1.02 1.31 1.71 2/201 12361
/proc/meminfo: memFree=18482348/32770624 swapFree=67108196/67108860
[pid=12190] ppid=12187 vsize=113128 memory=1472 CPUtime=25.66 cores=1,3,5,7
/proc/12190/stat : 12190 (scop.sh) S 12187 12190 3762 0 -1 4202496 592 40052 0 0 0 0 2496 70 20 0 1 0 226461927 115843072 368 33554432000 4194304 5098028 140728938021552 140728938018296 139716340519548 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19787776 140728938026048 140728938026247 140728938026247 140728938029005 0
/proc/12190/statm: 28282 368 311 221 0 87 0
[pid=12208] ppid=12190 vsize=8068220 memory=117652 CPUtime=2.42 cores=1,3,5,7
/proc/12208/stat : 12208 (java) S 12190 12190 3762 0 -1 1077944320 19332 0 0 0 172 70 0 0 20 0 19 0 226463029 8261857280 29413 33554432000 4194304 4196468 140728879184400 140728879166944 140566121692919 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
/proc/12208/statm: 2017055 29413 3143 1 0 1978454 0
[pid=12223] ppid=12208 vsize=190220 memory=162692 CPUtime=1813.33 cores=1,3,5,7
/proc/12223/stat : 12223 (minisat_release) R 12208 12190 3762 0 -1 4202496 570856 0 0 0 181212 121 0 0 20 0 1 0 226463104 194785280 40673 33554432000 4194304 4308513 140727674212432 140727674209880 4276158 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 39510016 140727674217588 140727674217686 140727674217686 140727674220485 0
/proc/12223/statm: 47555 40673 340 28 0 43795 0
[pid=12208/tid=12209] ppid=12190 vsize=8068220 memory=1140 CPUtime=0.77 cores=1,3,5,7
/proc/12208/task/12209/stat : 12209 (java) S 12190 12190 3762 0 -1 1077944384 15638 0 0 0 72 5 0 0 20 0 19 0 226463029 8261857280 29413 33554432000 4194304 4196468 140728879184400 140566093533072 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12210] ppid=12190 vsize=8068220 memory=15244 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12210/stat : 12210 (java) S 12190 12190 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226463030 8261857280 29413 33554432000 4194304 4196468 140728879184400 140566125935760 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12211] ppid=12190 vsize=8068220 memory=35076 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12211/stat : 12211 (java) S 12190 12190 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226463030 8261857280 29413 33554432000 4194304 4196468 140728879184400 140565959314448 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12212] ppid=12190 vsize=8068220 memory=4032 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12212/stat : 12212 (java) S 12190 12190 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226463030 8261857280 29413 33554432000 4194304 4196468 140728879184400 140565606116240 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12213] ppid=12190 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12213/stat : 12213 (java) S 12190 12190 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226463030 8261857280 29413 33554432000 4194304 4196468 140728879184400 140565605063440 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12214] ppid=12190 vsize=8068220 memory=117652 CPUtime=0.03 cores=1,3,5,7
/proc/12208/task/12214/stat : 12214 (java) S 12190 12190 3762 0 -1 1077944384 7 0 0 0 1 2 0 0 20 0 19 0 226463032 8261857280 29413 33554432000 4194304 4196468 140728879184400 140565433940336 140566121704066 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12215] ppid=12190 vsize=8068220 memory=160644 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12215/stat : 12215 (java) S 12190 12190 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226463032 8261857280 29413 33554432000 4194304 4196468 140728879184400 140564951458848 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12216] ppid=12190 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12216/stat : 12216 (java) S 12190 12190 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226463032 8261857280 29413 33554432000 4194304 4196468 140728879184400 140564683023216 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12217] ppid=12190 vsize=8068220 memory=117652 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12217/stat : 12217 (java) S 12190 12190 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226463035 8261857280 29413 33554432000 4194304 4196468 140728879184400 140564308514640 140566121711515 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12218] ppid=12190 vsize=8068220 memory=162692 CPUtime=0.1 cores=1,3,5,7
/proc/12208/task/12218/stat : 12218 (java) S 12190 12190 3762 0 -1 1077944384 674 0 0 0 9 1 0 0 20 0 19 0 226463035 8261857280 29413 33554432000 4194304 4196468 140728879184400 140565432888176 140566121704066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12219] ppid=12190 vsize=8068220 memory=8148 CPUtime=0.15 cores=1,3,5,7
/proc/12208/task/12219/stat : 12219 (java) S 12190 12190 3762 0 -1 1077944384 715 0 0 0 15 0 0 0 20 0 19 0 226463035 8261857280 29413 33554432000 4194304 4196468 140728879184400 140565431835376 140566121704066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12220] ppid=12190 vsize=8068220 memory=844 CPUtime=0.22 cores=1,3,5,7
/proc/12208/task/12220/stat : 12220 (java) S 12190 12190 3762 0 -1 1077944384 774 0 0 0 22 0 0 0 20 0 19 0 226463035 8261857280 29413 33554432000 4194304 4196468 140728879184400 140565430782576 140566121704066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12221] ppid=12190 vsize=8068220 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12221/stat : 12221 (java) S 12190 12190 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226463035 8261857280 29413 33554432000 4194304 4196468 140728879184400 140563810609888 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12222] ppid=12190 vsize=8068220 memory=920 CPUtime=1.07 cores=1,3,5,7
/proc/12208/task/12222/stat : 12222 (java) S 12190 12190 3762 0 -1 1077944384 121 0 0 0 45 62 0 0 20 0 19 0 226463035 8261857280 29413 33554432000 4194304 4196468 140728879184400 140565429729968 140566121704066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12224] ppid=12190 vsize=8068220 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12224/stat : 12224 (java) S 12190 12190 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226463104 8261857280 29413 33554432000 4194304 4196468 140728879184400 140565421921472 140566121717529 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12226] ppid=12190 vsize=8068220 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12226/stat : 12226 (java) S 12190 12190 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226463104 8261857280 29413 33554432000 4194304 4196468 140728879184400 140563273723184 140566121714845 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12227] ppid=12190 vsize=8068220 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12227/stat : 12227 (java) S 12190 12190 3762 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 226463104 8261857280 29413 33554432000 4194304 4196468 140728879184400 140563407945904 140566121714845 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12228] ppid=12190 vsize=8068220 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/12208/task/12228/stat : 12228 (java) S 12190 12190 3762 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226463107 8261857280 29413 33554432000 4194304 4196468 140728879184400 140563005300384 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
Current children cumulated CPU time: 1841.41 s
Current children cumulated vsize: 8371568 KiB
Current children cumulated memory: 281816 KiB
[startup+1825.6 s]
/proc/loadavg: 1.02 1.31 1.71 2/201 12361
/proc/meminfo: memFree=18482348/32770624 swapFree=67108196/67108860
[pid=12190] ppid=12187 vsize=113128 memory=1472 CPUtime=25.66 cores=1,3,5,7
/proc/12190/stat : 12190 (scop.sh) S 12187 12190 3762 0 -1 4202496 592 40052 0 0 0 0 2496 70 20 0 1 0 226461927 115843072 368 33554432000 4194304 5098028 140728938021552 140728938018296 139716340519548 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19787776 140728938026048 140728938026247 140728938026247 140728938029005 0
/proc/12190/statm: 28282 368 311 221 0 87 0
[pid=12208] ppid=12190 vsize=7937144 memory=128312 CPUtime=1816.27 cores=1,3,5,7
/proc/12208/stat : 12208 (java) S 12190 12190 3762 0 -1 1077944320 19955 571026 0 0 190 70 181245 122 20 0 17 0 226463029 8127635456 32078 33554432000 4194304 4196468 140728879184400 140728879166944 140566121692919 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
/proc/12208/statm: 1984286 32078 3168 1 0 1945685 0
[pid=12208/tid=12209] ppid=12190 vsize=7937144 memory=1472 CPUtime=1814.46 cores=1,3,5,7
/proc/12208/task/12209/stat : 12209 (java) R 12190 12190 3762 0 -1 4202560 15741 571026 0 0 74 5 181245 122 20 0 17 0 226463029 8127635456 32078 33554432000 4194304 4196468 140728879184400 140566093531424 140566105773406 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12210] ppid=12190 vsize=7937144 memory=1472 CPUtime=1813.67 cores=1,3,5,7
/proc/12208/task/12210/stat : 12210 (java) S 12190 12190 3762 0 -1 1077944384 2 571026 0 0 0 0 181245 122 20 0 17 0 226463030 8127635456 32078 33554432000 4194304 4196468 140728879184400 140566125935760 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12211] ppid=12190 vsize=7937144 memory=-7824251494390521193 CPUtime=1813.67 cores=1,3,5,7
/proc/12208/task/12211/stat : 12211 (java) S 12190 12190 3762 0 -1 1077944384 2 571026 0 0 0 0 181245 122 20 0 17 0 226463030 8127635456 32078 33554432000 4194304 4196468 140728879184400 140565959314448 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12212] ppid=12190 vsize=7937144 memory=117652 CPUtime=1813.67 cores=1,3,5,7
/proc/12208/task/12212/stat : 12212 (java) S 12190 12190 3762 0 -1 1077944384 1 571026 0 0 0 0 181245 122 20 0 17 0 226463030 8127635456 32078 33554432000 4194304 4196468 140728879184400 140565606116240 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12213] ppid=12190 vsize=7937144 memory=168668 CPUtime=1813.67 cores=1,3,5,7
/proc/12208/task/12213/stat : 12213 (java) S 12190 12190 3762 0 -1 1077944384 1 571026 0 0 0 0 181245 122 20 0 17 0 226463030 8127635456 32078 33554432000 4194304 4196468 140728879184400 140565605063440 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12214] ppid=12190 vsize=7937144 memory=17816 CPUtime=1813.7 cores=1,3,5,7
/proc/12208/task/12214/stat : 12214 (java) S 12190 12190 3762 0 -1 1077944384 7 571026 0 0 1 2 181245 122 20 0 17 0 226463032 8127635456 32078 33554432000 4194304 4196468 140728879184400 140565433940336 140566121704066 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12215] ppid=12190 vsize=7937144 memory=11200 CPUtime=1813.67 cores=1,3,5,7
/proc/12208/task/12215/stat : 12215 (java) S 12190 12190 3762 0 -1 1077944384 13 571026 0 0 0 0 181245 122 20 0 17 0 226463032 8127635456 32078 33554432000 4194304 4196468 140728879184400 140564951458848 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12216] ppid=12190 vsize=7937144 memory=5060 CPUtime=1813.67 cores=1,3,5,7
/proc/12208/task/12216/stat : 12216 (java) S 12190 12190 3762 0 -1 1077944384 1 571026 0 0 0 0 181245 122 20 0 17 0 226463032 8127635456 32078 33554432000 4194304 4196468 140728879184400 140564683023216 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12217] ppid=12190 vsize=7937144 memory=792 CPUtime=1813.67 cores=1,3,5,7
/proc/12208/task/12217/stat : 12217 (java) S 12190 12190 3762 0 -1 1077944384 3 571026 0 0 0 0 181245 122 20 0 17 0 226463035 8127635456 32078 33554432000 4194304 4196468 140728879184400 140564308514640 140566121711515 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12218] ppid=12190 vsize=7937144 memory=1128 CPUtime=1813.8 cores=1,3,5,7
/proc/12208/task/12218/stat : 12218 (java) S 12190 12190 3762 0 -1 1077944384 695 571026 0 0 12 1 181245 122 20 0 17 0 226463035 8127635456 32078 33554432000 4194304 4196468 140728879184400 140565432888176 140566121704066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12219] ppid=12190 vsize=7937144 memory=1944 CPUtime=1813.87 cores=1,3,5,7
/proc/12208/task/12219/stat : 12219 (java) S 12190 12190 3762 0 -1 1077944384 733 571026 0 0 20 0 181245 122 20 0 17 0 226463035 8127635456 32078 33554432000 4194304 4196468 140728879184400 140565431835376 140566121704066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12220] ppid=12190 vsize=7937144 memory=1384 CPUtime=1813.92 cores=1,3,5,7
/proc/12208/task/12220/stat : 12220 (java) S 12190 12190 3762 0 -1 1077944384 1190 571026 0 0 24 1 181245 122 20 0 17 0 226463035 8127635456 32078 33554432000 4194304 4196468 140728879184400 140565430782576 140566121704066 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12221] ppid=12190 vsize=7937144 memory=4168 CPUtime=1813.67 cores=1,3,5,7
/proc/12208/task/12221/stat : 12221 (java) S 12190 12190 3762 0 -1 1077944384 3 571026 0 0 0 0 181245 122 20 0 17 0 226463035 8127635456 32078 33554432000 4194304 4196468 140728879184400 140563810609888 140566121703125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12222] ppid=12190 vsize=7937144 memory=-7824251494390521193 CPUtime=1814.75 cores=1,3,5,7
/proc/12208/task/12222/stat : 12222 (java) S 12190 12190 3762 0 -1 1077944384 121 571026 0 0 46 62 181245 122 20 0 17 0 226463035 8127635456 32078 33554432000 4194304 4196468 140728879184400 140565429729968 140566121704066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12224] ppid=12190 vsize=7937144 memory=640 CPUtime=1813.67 cores=1,3,5,7
/proc/12208/task/12224/stat : 12224 (java) S 12190 12190 3762 0 -1 1077944384 25 571026 0 0 0 0 181245 122 20 0 17 0 226463104 8127635456 32078 33554432000 4194304 4196468 140728879184400 140565421920656 140566121704066 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
[pid=12208/tid=12228] ppid=12190 vsize=7937144 memory=960 CPUtime=1813.67 cores=1,3,5,7
/proc/12208/task/12228/stat : 12228 (java) S 12190 12190 3762 0 -1 1077944384 8 571026 0 0 0 0 181245 122 20 0 17 0 226463107 8127635456 32078 33554432000 4194304 4196468 140728879184400 140563005302192 140566121704066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12455936 140728879191221 140728879191345 140728879191345 140728879194063 0
Current children cumulated CPU time: 1841.93 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 129784 KiB
Child status: 0
Real time (s): 1825.69
CPU time (s): 1842.15
CPU user time (s): 1839.5
CPU system time (s): 2.64824
CPU usage (%): 100.902
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3102116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1839.5
system time used= 2.64824
maximum resident set size= 3102272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 631967
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47412
involuntary context switches= 1659
# summary of solver processes directly reported to runsolver:
# pid: 12190
# total CPU time (s): 1842.15
# total CPU user time (s): 1839.5
# total CPU system time (s): 2.64824
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7745 second user time and 19.6466 second system time
The end