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-12424-serial-file.bin HOME/instance-4305443-1534090814.xml
0.65/0.52
0.65/0.52 scop order+minisat_release (2018-07-31)
0.65/0.52 (Encoding Process)
0.65/0.52
0.65/0.55 c BEGIN-Prog: Sun Aug 12 18:20:14 CEST 2018
0.65/0.55 c PID: 12427
0.65/0.55 c IP: 172.20.3.151
0.65/0.55 c HOST: node151.alineos.net
0.65/0.55 c (0,0) Parsing Begin
1.41/0.95 c (0,0) Parsing End
1.41/0.95 c (0,0) CSP: 145 int (0 aux), 0 bool (0 aux), 85 ctr, max domain size 45
1.41/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.41/0.96 c (0,0) Constraint Name Generate Begin
1.41/0.96 c (0,0) Ctr:HOME/instance-4305443-1534090814.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.41/0.96 c (0,0) Constraint Name Generate End
1.41/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.41/0.96 c (0,0) CSP to CSPinCNF Begin
3.18/1.61 c (1,1) translated 9 (10%) constraints
3.50/1.78 c (1,1) translated 17 (20%) constraints
4.12/1.93 c (1,1) translated 26 (30%) constraints
4.45/2.05 c (1,1) translated 34 (40%) constraints
4.75/2.17 c (1,1) translated 43 (50%) constraints
5.38/2.35 c (1,1) translated 51 (60%) constraints
6.08/2.56 c (2,2) translated 60 (70%) constraints
6.40/2.61 c (2,2) translated 68 (80%) constraints
6.40/2.64 c (2,2) translated 77 (90%) constraints
6.40/2.67 c (2,2) translated 85 (100%) constraints
7.03/2.83 c (2,2) STATISTICS1:HOME/instance-4305443-1534090814.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,3620,15016,524288,45,45,20,524288:100;131072:100;45:780;16:18;9:455;1:210,45:8960;9:11390;2:23070;1:1125,45:2;10:155;9:45;8:45;7:45;6:45;5:45;4:3195;3:4240;2:7030;1:169,20:100;18:100;5:18;2:1445;1:39860;0:45,
7.03/2.83 c (2,2) ==========================================
7.03/2.83 c (2,2) Order
7.03/2.83 c (2,2) ==========================================
7.03/2.89 c (2,2) translated 1502 (10%) constraints
7.35/2.93 c (2,2) translated 3004 (20%) constraints
7.35/2.97 c (2,2) translated 4505 (30%) constraints
7.68/3.01 c (2,2) translated 6007 (40%) constraints
7.68/3.05 c (2,2) translated 7508 (50%) constraints
7.68/3.09 c (2,2) translated 9010 (60%) constraints
7.98/3.13 c (2,2) translated 10512 (70%) constraints
7.98/3.19 c (2,2) translated 12013 (80%) constraints
8.58/3.37 c (2,2) translated 13515 (90%) constraints
9.20/3.58 c (3,3) translated 15016 (100%) constraints
9.20/3.58 c (3,3) CSP to CSPinCNF End
9.20/3.58 c (3,3) CSP: 545 int (400 aux), 4520 bool (4520 aux), 17770 ctr, max domain size 43
9.20/3.58 c (3,3) Heap : 619 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
9.20/3.58 c (3,3) CSPinCNF Propagation Begin
10.14/3.88 c (3,3) 1205 values, 3964 unsatisfiable literals, and 3051 valid clauses are removed
10.14/3.88 c (3,3) CSPinCNF Propagation End
10.14/3.88 c (3,3) CSP: 1385 int (1240 aux), 3680 bool (3680 aux), 14719 ctr, max domain size 43
10.14/3.88 c (3,3) Heap : 732 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.14/3.88 c (3,3) Simplify CSPinCNF Begin
10.82/4.01 c (3,3) Simplify CSPinCNF End
10.82/4.01 c (3,3) CSP: 1385 int (1240 aux), 6290 bool (6290 aux), 17329 ctr, max domain size 43
10.82/4.01 c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
10.82/4.01 c (3,3) Calculate Precise Domain Begin
11.06/4.21 c (3,3) 10 values are removed by re-calculation
11.06/4.21 c (3,3) Calculate Precise Domain End
11.06/4.21 c (3,3) CSP: 1385 int (1240 aux), 6290 bool (6290 aux), 17329 ctr, max domain size 43
11.06/4.21 c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.06/4.21 c (3,3) CSPinCNF to SatSolver Begin
11.42/4.31 c (3,3) 1733 (10 %) CSP clauses are encoded (9595 SAT variables, 4527 SAT clauses)
11.42/4.34 c (3,3) 3466 (20 %) CSP clauses are encoded (9595 SAT variables, 6260 SAT clauses)
11.42/4.36 c (3,3) 5199 (30 %) CSP clauses are encoded (9595 SAT variables, 7993 SAT clauses)
11.42/4.37 c (3,3) 6932 (40 %) CSP clauses are encoded (9595 SAT variables, 9726 SAT clauses)
11.42/4.39 c (3,3) 8665 (50 %) CSP clauses are encoded (9595 SAT variables, 11459 SAT clauses)
12.05/4.54 c (4,3) 10398 (60 %) CSP clauses are encoded (9595 SAT variables, 35704 SAT clauses)
12.66/4.71 c (4,4) 12131 (70 %) CSP clauses are encoded (9595 SAT variables, 77925 SAT clauses)
12.66/4.77 c (4,4) 13864 (80 %) CSP clauses are encoded (9595 SAT variables, 88273 SAT clauses)
12.94/4.85 c (4,4) 15597 (90 %) CSP clauses are encoded (9595 SAT variables, 93756 SAT clauses)
13.24/4.96 c (4,4) 17329 (100 %) CSP clauses are encoded (9595 SAT variables, 102815 SAT clauses)
13.24/4.96 c (4,4) Launch Command will be: minisat_release
13.24/4.96 c (4,4) CSPinCNF to SatSolver End
13.24/4.96 c (4,4) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
13.58/5.10 c (4,4) STATISTICS2:HOME/instance-4305443-1534090814.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,7675,17329,128,43,9,8,128:70;64:210;43:1560;32:70;16:106;15:28;10:7;9:387;8:680;6:3;4:70;1:240,43:10230;9:9120;8:2440;7:70;5:70;4:30;3:830;2:27225;1:1140,9:80;8:80;7:40;6:40;5:58;4:2840;3:3185;2:10185;1:821,8:200;7:400;5:16;3:200;2:2615;1:40845,
13.58/5.10 c (4,4) 9595 bool, 102823 clause
13.58/5.10 c (4,4) Export Begin
14.17/5.20 c (4,4) Export to HOME/scop-12424-serial-file.bin
14.17/5.20 c (4,4) Export End
14.17/5.20 c (4,4) Export File Size: 0.03 MB
14.17/5.20 c (4,4) 0,0,3,3,3,3,4,STOP-AFTER(DIMACS)
14.17/5.20 c END-Prog: Sun Aug 12 18:20:19 CEST 2018
14.17/5.22 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-12424-serial-file.bin
14.19/5.71 c (0,0) Read Serial File Begin
14.19/5.71 c (0,0) HOME/scop-12424-serial-file.bin
14.19/5.89 c (0,0) Read Serial File End
14.19/5.90
14.19/5.90 scop order+minisat_release (2018-07-31)
14.19/5.90 (Solving Process)
14.19/5.90
14.19/5.92 c BEGIN-Prog: Sun Aug 12 18:20:20 CEST 2018
14.19/5.92 c PID: 12442
14.19/5.92 c IP: 172.20.3.151
14.19/5.92 c HOST: node151.alineos.net
14.19/5.93 c (0,0) SatSolver.solve Begin
14.19/5.93 c (0,0) 0 bool, 0 clause
14.19/5.93 c (0,0) minisat_release HOME/instance-4305443-1534090814.xml-scop-12427.cnf
16.17/6.89 c (1,0) c This is COMiniSatPS.
16.17/6.89 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
16.17/6.89 c (1,0) c ============================[ Problem Statistics ]=============================
16.17/6.89 c (1,0) c | |
16.17/6.89 c (1,0) c | Number of variables: 9595 |
16.17/6.89 c (1,0) c | Number of clauses: 102823 |
16.17/6.89 c (1,0) c | Parse time: 0.03 s |
16.17/6.89 c (1,0) c | Eliminated clauses: 0.15 Mb |
16.17/6.89 c (1,0) c Reduced to 5102 vars, 91705 cls (grow=0)
16.17/6.89 c (1,0) c No iterative elimination performed. (vars=5102, c/v ratio=18.0)
16.17/6.89 c (1,0) c | Simplification time: 0.12 s |
16.17/6.89 c (1,0) c | |
16.17/6.89 c (1,0) c ============================[ Search Statistics ]==============================
16.17/6.89 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
16.17/6.89 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
16.17/6.89 c (1,0) c ===============================================================================
16.17/6.89 c (1,0) c ===============================================================================
16.17/6.89 c (1,0) c restarts : 98
16.17/6.89 c (1,0) c conflicts : 11891 (12822 /sec)
16.17/6.89 c (1,0) c decisions : 41544 (0.00 % random) (44796 /sec)
16.17/6.89 c (1,0) c propagations : 3103764 (3346705 /sec)
16.17/6.89 c (1,0) c conflict literals : 224382 (10.86 % deleted)
16.17/6.89 c (1,0) c CPU time : 0.927409 s
16.17/6.89 c (1,0)
16.17/6.89 c (1,0) s SATISFIABLE
16.30/6.92 c (1,0) SatSolver.solve End
16.30/6.92 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
16.30/6.92 c (1,0) Show results Begin
16.30/6.98 s SATISFIABLE
16.30/7.00 v <instantiation>
16.30/7.00 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[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[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[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[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] 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[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[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[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[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] 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[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[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[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[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] hd[0] hd[1] hd[2] hd[3] hd[4] ad[0] ad[1] ad[2] ad[3] ad[4]</list>
16.30/7.00 v <values>0 4 1 5 2 3 0 5 3 2 0 6 0 7 1 3 6 7 4 5 0 1 3 2 1 2 0 6 3 2 3 1 0 4 0 1 8 1 4 2 0 4 2 1 5 1 6 9 8 8 9 7 7 4 3 2 8 4 9 5 5 9 8 5 9 3 6 6 7 8 4 9 7 8 5 7 4 6 9 8 2 9 7 7 9 5 8 6 3 6 0 31 16 37 22 29 6 36 24 17 1 40 3 43 12 25 41 42 30 38 2 13 26 21 15 18 8 39 28 19 27 11 5 34 7 9 44 14 32 23 4 33 20 10 35 2 1 7 5 0 6 4 8 9 3</values>
16.30/7.00 v </instantiation>
16.30/7.00 c (1,0) Show results End
16.30/7.00 c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
16.30/7.00 c (1,0) 1,1,STOP-AFTER(ALL)
16.30/7.00 c END-Prog: Sun Aug 12 18:20:21 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 (8726 MiB free)
memory of node 1: 16384 MiB (9602 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305443-1534090814/watcher-4305443-1534090814 -o /tmp/evaluation-result-4305443-1534090814/solver-4305443-1534090814 -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-4305443-1534090814.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12424, runsolver pid=12421
[startup+0.100546 s]*
/proc/loadavg: 1.02 1.31 1.71 2/196 12441
/proc/meminfo: memFree=18707016/32770624 swapFree=67108196/67108860
[pid=12424] ppid=12421 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12424/stat : 12424 (scop.sh) S 12421 12424 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226644582 115843072 349 33554432000 4194304 5098028 140720859850112 140720859847368 140535605543548 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39571456 140720859853888 140720859854087 140720859854087 140720859856845 0
/proc/12424/statm: 28282 349 296 221 0 87 0
[pid=12427] ppid=12424 vsize=15012476 memory=71748 CPUtime=0.11 cores=1,3,5,7
/proc/12427/stat : 12427 (java) S 12424 12424 3762 0 -1 1077944320 6631 0 0 0 9 2 0 0 20 0 15 0 226644583 15372775424 17937 33554432000 4194304 4196468 140726008888240 140726008870784 140415091433207 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
/proc/12427/statm: 3753119 17937 2745 1 0 3715579 0
[pid=12427/tid=12428] ppid=12424 vsize=15012476 memory=-6586068523681943907 CPUtime=0.08 cores=1,3,5,7
/proc/12427/task/12428/stat : 12428 (java) R 12424 12424 3762 0 -1 4202560 4767 0 0 0 7 1 0 0 20 0 15 0 226644583 15372775424 18068 33554432000 4194304 4196468 140726008888240 140415063245192 140415074620002 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12429] ppid=12424 vsize=15012476 memory=5767624776926730633 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12429/stat : 12429 (java) S 12424 12424 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226644585 15372775424 18068 33554432000 4194304 4196468 140726008888240 140415095675664 140415091443413 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12430] ppid=12424 vsize=15012476 memory=140698586539648 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12430/stat : 12430 (java) S 12424 12424 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226644585 15372775424 18068 33554432000 4194304 4196468 140726008888240 140414909832080 140415091443413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12431] ppid=12424 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12431/stat : 12431 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226644585 15372775424 18068 33554432000 4194304 4196468 140726008888240 140414908779536 140415091443413 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12432] ppid=12424 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12432/stat : 12432 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226644585 15372775424 18068 33554432000 4194304 4196468 140726008888240 140414907726992 140415091443413 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12433] ppid=12424 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12433/stat : 12433 (java) S 12424 12424 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226644586 15372775424 18068 33554432000 4194304 4196468 140726008888240 140414084417520 140415091444354 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12434] ppid=12424 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12434/stat : 12434 (java) S 12424 12424 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226644587 15372775424 18068 33554432000 4194304 4196468 140726008888240 140413688079264 140415091443413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12435] ppid=12424 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12435/stat : 12435 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226644587 15372775424 18068 33554432000 4194304 4196468 140726008888240 140413419643888 140415091443413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12436] ppid=12424 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12436/stat : 12436 (java) S 12424 12424 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226644589 15372775424 18068 33554432000 4194304 4196468 140726008888240 140413045135568 140415091451803 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12437] ppid=12424 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12437/stat : 12437 (java) S 12424 12424 3762 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 226644589 15372775424 18068 33554432000 4194304 4196468 140726008888240 140414083365360 140415091444354 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12438] ppid=12424 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12438/stat : 12438 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226644589 15372775424 18068 33554432000 4194304 4196468 140726008888240 140414082312816 140415091444354 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12439] ppid=12424 vsize=15012476 memory=140698586539648 CPUtime=0.01 cores=1,3,5,7
/proc/12427/task/12439/stat : 12439 (java) R 12424 12424 3762 0 -1 4202560 269 0 0 0 1 0 0 0 20 0 15 0 226644589 15372775424 18068 33554432000 4194304 4196468 140726008888240 140414081260272 140415083670334 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12440] ppid=12424 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12440/stat : 12440 (java) S 12424 12424 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226644589 15372775424 18068 33554432000 4194304 4196468 140726008888240 140412547230816 140415091443413 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12441] ppid=12424 vsize=15012476 memory=140698586539648 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12441/stat : 12441 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226644590 15372775424 18068 33554432000 4194304 4196468 140726008888240 140414080207152 140415091444354 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73144 KiB
[startup+0.210551 s]*
/proc/loadavg: 1.02 1.31 1.71 3/196 12441
/proc/meminfo: memFree=18693752/32770624 swapFree=67108196/67108860
[pid=12424] ppid=12421 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12424/stat : 12424 (scop.sh) S 12421 12424 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226644582 115843072 349 33554432000 4194304 5098028 140720859850112 140720859847368 140535605543548 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39571456 140720859853888 140720859854087 140720859854087 140720859856845 0
/proc/12424/statm: 28282 349 296 221 0 87 0
[pid=12427] ppid=12424 vsize=15012476 memory=85592 CPUtime=0.25 cores=1,3,5,7
/proc/12427/stat : 12427 (java) S 12424 12424 3762 0 -1 1077944320 10255 0 0 0 22 3 0 0 20 0 15 0 226644583 15372775424 21398 33554432000 4194304 4196468 140726008888240 140726008870784 140415091433207 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
/proc/12427/statm: 3753119 21398 2870 1 0 3715579 0
[pid=12427/tid=12428] ppid=12424 vsize=15012476 memory=7968726398794637465 CPUtime=0.19 cores=1,3,5,7
/proc/12427/task/12428/stat : 12428 (java) R 12424 12424 3762 0 -1 4202560 8170 0 0 0 17 2 0 0 20 0 15 0 226644583 15372775424 21398 33554432000 4194304 4196468 140726008888240 140415063253120 140415091445142 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12429] ppid=12424 vsize=15012476 memory=5767624776926730633 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12429/stat : 12429 (java) S 12424 12424 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226644585 15372775424 21398 33554432000 4194304 4196468 140726008888240 140415095675664 140415091443413 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12430] ppid=12424 vsize=15012476 memory=140698586539648 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12430/stat : 12430 (java) S 12424 12424 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226644585 15372775424 21398 33554432000 4194304 4196468 140726008888240 140414909832080 140415091443413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12431] ppid=12424 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12431/stat : 12431 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226644585 15372775424 21398 33554432000 4194304 4196468 140726008888240 140414908779536 140415091443413 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12432] ppid=12424 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12432/stat : 12432 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226644585 15372775424 21398 33554432000 4194304 4196468 140726008888240 140414907726992 140415091443413 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12433] ppid=12424 vsize=15012476 memory=140698586539648 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12433/stat : 12433 (java) S 12424 12424 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226644586 15372775424 21398 33554432000 4194304 4196468 140726008888240 140414084417520 140415091444354 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12434] ppid=12424 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12434/stat : 12434 (java) S 12424 12424 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226644587 15372775424 21398 33554432000 4194304 4196468 140726008888240 140413688079264 140415091443413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12435] ppid=12424 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12435/stat : 12435 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226644587 15372775424 21398 33554432000 4194304 4196468 140726008888240 140413419643888 140415091443413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12436] ppid=12424 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12436/stat : 12436 (java) S 12424 12424 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226644589 15372775424 21398 33554432000 4194304 4196468 140726008888240 140413045135568 140415091451803 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12437] ppid=12424 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12437/stat : 12437 (java) S 12424 12424 3762 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 226644589 15372775424 21398 33554432000 4194304 4196468 140726008888240 140414083365360 140415091444354 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12438] ppid=12424 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12438/stat : 12438 (java) S 12424 12424 3762 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 226644589 15372775424 21398 33554432000 4194304 4196468 140726008888240 140414082312816 140415091444354 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12439] ppid=12424 vsize=15012476 memory=140698586539648 CPUtime=0.03 cores=1,3,5,7
/proc/12427/task/12439/stat : 12439 (java) R 12424 12424 3762 0 -1 4202560 287 0 0 0 3 0 0 0 20 0 15 0 226644589 15372775424 21398 33554432000 4194304 4196468 140726008888240 140414081260272 140415083670334 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12440] ppid=12424 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12440/stat : 12440 (java) S 12424 12424 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226644589 15372775424 21398 33554432000 4194304 4196468 140726008888240 140412547230816 140415091443413 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12441] ppid=12424 vsize=15012476 memory=140698586539648 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12441/stat : 12441 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226644590 15372775424 21398 33554432000 4194304 4196468 140726008888240 140414080207152 140415091444354 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86988 KiB
[startup+0.310549 s]*
/proc/loadavg: 1.02 1.31 1.71 2/196 12441
/proc/meminfo: memFree=18690092/32770624 swapFree=67108196/67108860
[pid=12424] ppid=12421 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12424/stat : 12424 (scop.sh) S 12421 12424 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226644582 115843072 349 33554432000 4194304 5098028 140720859850112 140720859847368 140535605543548 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39571456 140720859853888 140720859854087 140720859854087 140720859856845 0
/proc/12424/statm: 28282 349 296 221 0 87 0
[pid=12427] ppid=12424 vsize=15012476 memory=89672 CPUtime=0.42 cores=1,3,5,7
/proc/12427/stat : 12427 (java) S 12424 12424 3762 0 -1 1077944320 10868 0 0 0 39 3 0 0 20 0 15 0 226644583 15372775424 22418 33554432000 4194304 4196468 140726008888240 140726008870784 140415091433207 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
/proc/12427/statm: 3753119 22418 2974 1 0 3715579 0
[pid=12427/tid=12428] ppid=12424 vsize=15012476 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/12427/task/12428/stat : 12428 (java) R 12424 12424 3762 0 -1 4202560 8609 0 0 0 27 2 0 0 20 0 15 0 226644583 15372775424 22418 33554432000 4194304 4196468 140726008888240 140415063223888 140415075513694 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12429] ppid=12424 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12429/stat : 12429 (java) S 12424 12424 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226644585 15372775424 22418 33554432000 4194304 4196468 140726008888240 140415095675664 140415091443413 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12430] ppid=12424 vsize=15012476 memory=281396862224928 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12430/stat : 12430 (java) S 12424 12424 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226644585 15372775424 22418 33554432000 4194304 4196468 140726008888240 140414909832080 140415091443413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12431] ppid=12424 vsize=15012476 memory=281396862227232 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12431/stat : 12431 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226644585 15372775424 22418 33554432000 4194304 4196468 140726008888240 140414908779536 140415091443413 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12432] ppid=12424 vsize=15012476 memory=140698431098639 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12432/stat : 12432 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226644585 15372775424 22418 33554432000 4194304 4196468 140726008888240 140414907726992 140415091443413 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12433] ppid=12424 vsize=15012476 memory=281397017645184 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12433/stat : 12433 (java) S 12424 12424 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226644586 15372775424 22418 33554432000 4194304 4196468 140726008888240 140414084417520 140415091444354 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12434] ppid=12424 vsize=15012476 memory=140698431103247 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12434/stat : 12434 (java) S 12424 12424 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226644587 15372775424 22418 33554432000 4194304 4196468 140726008888240 140413688079264 140415091443413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12435] ppid=12424 vsize=15012476 memory=140698431109314 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12435/stat : 12435 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226644587 15372775424 22418 33554432000 4194304 4196468 140726008888240 140413419643888 140415091443413 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12436] ppid=12424 vsize=15012476 memory=140698431111644 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12436/stat : 12436 (java) S 12424 12424 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226644589 15372775424 22418 33554432000 4194304 4196468 140726008888240 140413045135568 140415091451803 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12437] ppid=12424 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12427/task/12437/stat : 12437 (java) S 12424 12424 3762 0 -1 1077944384 449 0 0 0 1 0 0 0 20 0 15 0 226644589 15372775424 22418 33554432000 4194304 4196468 140726008888240 140414083365360 140415091444354 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12438] ppid=12424 vsize=15012476 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12427/task/12438/stat : 12438 (java) S 12424 12424 3762 0 -1 1077944384 148 0 0 0 2 0 0 0 20 0 15 0 226644589 15372775424 22418 33554432000 4194304 4196468 140726008888240 140414082312816 140415091444354 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12439] ppid=12424 vsize=15012476 memory=140698586539648 CPUtime=0.07 cores=1,3,5,7
/proc/12427/task/12439/stat : 12439 (java) S 12424 12424 3762 0 -1 1077944384 333 0 0 0 7 0 0 0 20 0 15 0 226644589 15372775424 22418 33554432000 4194304 4196468 140726008888240 140414081260272 140415091444354 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12440] ppid=12424 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12440/stat : 12440 (java) S 12424 12424 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226644589 15372775424 22418 33554432000 4194304 4196468 140726008888240 140412547230816 140415091443413 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12441] ppid=12424 vsize=15012476 memory=140698586541044 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12441/stat : 12441 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226644590 15372775424 22418 33554432000 4194304 4196468 140726008888240 140414080207152 140415091444354 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91068 KiB
[startup+0.70271 s]
/proc/loadavg: 1.02 1.31 1.71 2/196 12441
/proc/meminfo: memFree=18665288/32770624 swapFree=67108196/67108860
[pid=12424] ppid=12421 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12424/stat : 12424 (scop.sh) S 12421 12424 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226644582 115843072 349 33554432000 4194304 5098028 140720859850112 140720859847368 140535605543548 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39571456 140720859853888 140720859854087 140720859854087 140720859856845 0
/proc/12424/statm: 28282 349 296 221 0 87 0
[pid=12427] ppid=12424 vsize=15020872 memory=129752 CPUtime=1 cores=1,3,5,7
/proc/12427/stat : 12427 (java) S 12424 12424 3762 0 -1 1077944320 18133 0 0 0 95 5 0 0 20 0 15 0 226644583 15381372928 32438 33554432000 4194304 4196468 140726008888240 140726008870784 140415091433207 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
/proc/12427/statm: 3755218 32438 3148 1 0 3716603 0
[pid=12427/tid=12428] ppid=12424 vsize=15020872 memory=8751464017575360309 CPUtime=0.66 cores=1,3,5,7
/proc/12427/task/12428/stat : 12428 (java) R 12424 12424 3762 0 -1 4202560 15383 0 0 0 62 4 0 0 20 0 15 0 226644583 15381372928 32438 33554432000 4194304 4196468 140726008888240 140415063264320 140415075476837 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12429] ppid=12424 vsize=15020872 memory=7813587196152395573 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12429/stat : 12429 (java) S 12424 12424 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226644585 15381372928 32438 33554432000 4194304 4196468 140726008888240 140415095675664 140415091443413 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12430] ppid=12424 vsize=15020872 memory=5789185273153740882 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12430/stat : 12430 (java) S 12424 12424 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226644585 15381372928 32438 33554432000 4194304 4196468 140726008888240 140414909832080 140415091443413 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12431] ppid=12424 vsize=15020872 memory=7666631141572832339 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12431/stat : 12431 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226644585 15381372928 32438 33554432000 4194304 4196468 140726008888240 140414908779536 140415091443413 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12432] ppid=12424 vsize=15020872 memory=1128 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12432/stat : 12432 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226644585 15381372928 32438 33554432000 4194304 4196468 140726008888240 140414907726992 140415091443413 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12433] ppid=12424 vsize=15020872 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12433/stat : 12433 (java) S 12424 12424 3762 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 226644586 15381372928 32438 33554432000 4194304 4196468 140726008888240 140414084417520 140415091444354 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12434] ppid=12424 vsize=15020872 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12434/stat : 12434 (java) S 12424 12424 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226644587 15381372928 32438 33554432000 4194304 4196468 140726008888240 140413688079264 140415091443413 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12435] ppid=12424 vsize=15020872 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12435/stat : 12435 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226644587 15381372928 32438 33554432000 4194304 4196468 140726008888240 140413419643888 140415091443413 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12436] ppid=12424 vsize=15020872 memory=7852 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12436/stat : 12436 (java) S 12424 12424 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226644589 15381372928 32438 33554432000 4194304 4196468 140726008888240 140413045135568 140415091451803 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12437] ppid=12424 vsize=15020872 memory=1628 CPUtime=0.06 cores=1,3,5,7
/proc/12427/task/12437/stat : 12437 (java) R 12424 12424 3762 0 -1 4202560 557 0 0 0 6 0 0 0 20 0 15 0 226644589 15381372928 32438 33554432000 4194304 4196468 140726008888240 140414083354160 140415091445142 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12438] ppid=12424 vsize=15020872 memory=1140 CPUtime=0.09 cores=1,3,5,7
/proc/12427/task/12438/stat : 12438 (java) R 12424 12424 3762 0 -1 4202560 377 0 0 0 9 0 0 0 20 0 15 0 226644589 15381372928 32438 33554432000 4194304 4196468 140726008888240 140414082312816 140415076558592 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12439] ppid=12424 vsize=15020872 memory=15244 CPUtime=0.16 cores=1,3,5,7
/proc/12427/task/12439/stat : 12439 (java) R 12424 12424 3762 0 -1 1077944384 479 0 0 0 16 0 0 0 20 0 15 0 226644589 15381372928 32438 33554432000 4194304 4196468 140726008888240 140414081255344 140415091443413 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12440] ppid=12424 vsize=15020872 memory=35076 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12440/stat : 12440 (java) S 12424 12424 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226644589 15381372928 32438 33554432000 4194304 4196468 140726008888240 140412547230816 140415091443413 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
[pid=12427/tid=12441] ppid=12424 vsize=15020872 memory=33 CPUtime=0 cores=1,3,5,7
/proc/12427/task/12441/stat : 12441 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226644590 15381372928 32438 33554432000 4194304 4196468 140726008888240 140414080207152 140415091444354 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23666688 140726008890374 140726008890673 140726008890673 140726008893391 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131148 KiB
[startup+1.50071 s]
/proc/loadavg: 1.02 1.31 1.71 2/196 12441
/proc/meminfo: memFree=18636380/32770624 swapFree=67108196/67108860
[pid=12424] ppid=12421 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12424/stat : 12424 (scop.sh) S 12421 12424 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226644582 115843072 349 33554432000 4194304 5098028 140720859850112 140720859847368 140535605543548 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39571456 140720859853888 140720859854087 140720859854087 140720859856845 0
/proc/12424/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/12457/statm: 7576 3341 340 28 0 3816 0
[pid=12442/tid=12443] ppid=12424 vsize=8068220 memory=0 CPUtime=0.75 cores=1,3,5,7
/proc/12442/task/12443/stat : 12443 (java) S 12424 12424 3762 0 -1 1077944384 15546 0 0 0 71 4 0 0 20 0 19 0 226645105 8261857280 29751 33554432000 4194304 4196468 140730599324384 140121235095440 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12444] ppid=12424 vsize=8068220 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12444/stat : 12444 (java) S 12424 12424 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226645106 8261857280 29751 33554432000 4194304 4196468 140730599324384 140121267497872 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12445] ppid=12424 vsize=8068220 memory=1175948 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12445/stat : 12445 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226645106 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120748018448 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12446] ppid=12424 vsize=8068220 memory=7852 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12446/stat : 12446 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226645106 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120746966160 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12447] ppid=12424 vsize=8068220 memory=1628 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12447/stat : 12447 (java) S 12424 12424 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226645106 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120745913360 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12448] ppid=12424 vsize=8068220 memory=7378418284777597291 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12448/stat : 12448 (java) S 12424 12424 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 226645107 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120709679216 140121263266434 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12449] ppid=12424 vsize=8068220 memory=8171050792093248104 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12449/stat : 12449 (java) S 12424 12424 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226645108 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120086799136 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12450] ppid=12424 vsize=8068220 memory=4639950512826379884 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12450/stat : 12450 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226645108 8261857280 29751 33554432000 4194304 4196468 140730599324384 140119818364016 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12451] ppid=12424 vsize=8068220 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12451/stat : 12451 (java) S 12424 12424 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226645110 8261857280 29751 33554432000 4194304 4196468 140730599324384 140119443855440 140121263273883 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12452] ppid=12424 vsize=8068220 memory=8026369338701343081 CPUtime=0.07 cores=1,3,5,7
/proc/12442/task/12452/stat : 12452 (java) S 12424 12424 3762 0 -1 1077944384 610 0 0 0 7 0 0 0 20 0 19 0 226645110 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120708627056 140121263266434 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12453] ppid=12424 vsize=8068220 memory=6298680351475133031 CPUtime=0.08 cores=1,3,5,7
/proc/12442/task/12453/stat : 12453 (java) S 12424 12424 3762 0 -1 1077944384 332 0 0 0 8 0 0 0 20 0 19 0 226645110 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120707574256 140121263266434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12454] ppid=12424 vsize=8068220 memory=53433688141976 CPUtime=0.21 cores=1,3,5,7
/proc/12442/task/12454/stat : 12454 (java) S 12424 12424 3762 0 -1 1077944384 580 0 0 0 21 0 0 0 20 0 19 0 226645110 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120706521968 140121263266434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12455] ppid=12424 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12455/stat : 12455 (java) S 12424 12424 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226645111 8261857280 29751 33554432000 4194304 4196468 140730599324384 140118945950688 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12456] ppid=12424 vsize=8068220 memory=-1807685287725067907 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12456/stat : 12456 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226645111 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120705468848 140121263266434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12458] ppid=12424 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12458/stat : 12458 (java) S 12424 12424 3762 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 226645178 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120697660352 140121263279897 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12460] ppid=12424 vsize=8068220 memory=281396861996784 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12460/stat : 12460 (java) S 12424 12424 3762 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 226645178 8261857280 29751 33554432000 4194304 4196468 140730599324384 140118409063952 140121263277213 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12461] ppid=12424 vsize=8068220 memory=281396861993200 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12461/stat : 12461 (java) S 12424 12424 3762 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 226645178 8261857280 29751 33554432000 4194304 4196468 140730599324384 140118140632976 140121263277213 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12462] ppid=12424 vsize=8068220 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12462/stat : 12462 (java) S 12424 12424 3762 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 226645180 8261857280 29751 33554432000 4194304 4196468 140730599324384 140118543293856 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
Current children cumulated CPU time: 15.67 s
Current children cumulated vsize: 8211652 KiB
Current children cumulated memory: 133840 KiB
[startup+7.01033 s]
# the end of solver process 12424 was just reported to runsolver
# cumulated CPU time of all completed processes: user=16.1848 s, system=0.392731 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40116 s]
/proc/loadavg: 1.09 1.32 1.71 4/201 12462
/proc/meminfo: memFree=18646136/32770624 swapFree=67108196/67108860
[pid=12424] ppid=12421 vsize=113128 memory=1472 CPUtime=14.19 cores=1,3,5,7
/proc/12424/stat : 12424 (scop.sh) S 12421 12424 3762 0 -1 4202496 591 32359 0 0 0 0 1389 30 20 0 1 0 226644582 115843072 368 33554432000 4194304 5098028 140720859850112 140720859846856 140535605543548 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39571456 140720859853888 140720859854087 140720859854087 140720859856845 0
/proc/12424/statm: 28282 368 311 221 0 87 0
[pid=12442] ppid=12424 vsize=8068220 memory=119004 CPUtime=1.15 cores=1,3,5,7
/proc/12442/stat : 12442 (java) S 12424 12424 3762 0 -1 1077944320 18466 0 0 0 109 6 0 0 20 0 19 0 226645105 8261857280 29751 33554432000 4194304 4196468 140730599324384 140730599306928 140121263255287 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
/proc/12442/statm: 2017055 29751 3153 1 0 1978454 0
[pid=12457] ppid=12442 vsize=30304 memory=13612 CPUtime=0.43 cores=1,3,5,7
/proc/12457/stat : 12457 (minisat_release) R 12442 12424 3762 0 -1 4202496 4940 0 0 0 43 0 0 0 20 0 1 0 226645178 31031296 3403 33554432000 4194304 4308513 140731180102192 140731180099816 4275920 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 34955264 140731180110964 140731180111062 140731180111062 140731180113861 0
/proc/12457/statm: 7576 3403 340 28 0 3816 0
[pid=12442/tid=12443] ppid=12424 vsize=8068220 memory=4420 CPUtime=0.75 cores=1,3,5,7
/proc/12442/task/12443/stat : 12443 (java) S 12424 12424 3762 0 -1 1077944384 15546 0 0 0 71 4 0 0 20 0 19 0 226645105 8261857280 29751 33554432000 4194304 4196468 140730599324384 140121235095440 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12444] ppid=12424 vsize=8068220 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12444/stat : 12444 (java) S 12424 12424 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226645106 8261857280 29751 33554432000 4194304 4196468 140730599324384 140121267497872 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12445] ppid=12424 vsize=8068220 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12445/stat : 12445 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226645106 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120748018448 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12446] ppid=12424 vsize=8068220 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12446/stat : 12446 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226645106 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120746966160 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12447] ppid=12424 vsize=8068220 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12447/stat : 12447 (java) S 12424 12424 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226645106 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120745913360 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12448] ppid=12424 vsize=8068220 memory=15460 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12448/stat : 12448 (java) S 12424 12424 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 226645107 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120709679216 140121263266434 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12449] ppid=12424 vsize=8068220 memory=17668 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12449/stat : 12449 (java) S 12424 12424 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226645108 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120086799136 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12450] ppid=12424 vsize=8068220 memory=19876 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12450/stat : 12450 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226645108 8261857280 29751 33554432000 4194304 4196468 140730599324384 140119818364016 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12451] ppid=12424 vsize=8068220 memory=22084 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12451/stat : 12451 (java) S 12424 12424 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226645110 8261857280 29751 33554432000 4194304 4196468 140730599324384 140119443855440 140121263273883 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12452] ppid=12424 vsize=8068220 memory=17816 CPUtime=0.07 cores=1,3,5,7
/proc/12442/task/12452/stat : 12452 (java) S 12424 12424 3762 0 -1 1077944384 610 0 0 0 7 0 0 0 20 0 19 0 226645110 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120708627056 140121263266434 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12453] ppid=12424 vsize=8068220 memory=640 CPUtime=0.08 cores=1,3,5,7
/proc/12442/task/12453/stat : 12453 (java) S 12424 12424 3762 0 -1 1077944384 332 0 0 0 8 0 0 0 20 0 19 0 226645110 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120707574256 140121263266434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12454] ppid=12424 vsize=8068220 memory=1764 CPUtime=0.21 cores=1,3,5,7
/proc/12442/task/12454/stat : 12454 (java) S 12424 12424 3762 0 -1 1077944384 580 0 0 0 21 0 0 0 20 0 19 0 226645110 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120706521968 140121263266434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12455] ppid=12424 vsize=8068220 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12455/stat : 12455 (java) S 12424 12424 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226645111 8261857280 29751 33554432000 4194304 4196468 140730599324384 140118945950688 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12456] ppid=12424 vsize=8068220 memory=960 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12456/stat : 12456 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226645111 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120705468848 140121263266434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12458] ppid=12424 vsize=8068220 memory=2096 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12458/stat : 12458 (java) S 12424 12424 3762 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 226645178 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120697660352 140121263279897 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12460] ppid=12424 vsize=8068220 memory=928 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12460/stat : 12460 (java) S 12424 12424 3762 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 226645178 8261857280 29751 33554432000 4194304 4196468 140730599324384 140118409063952 140121263277213 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12461] ppid=12424 vsize=8068220 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12461/stat : 12461 (java) S 12424 12424 3762 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 226645178 8261857280 29751 33554432000 4194304 4196468 140730599324384 140118140632976 140121263277213 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12462] ppid=12424 vsize=8068220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12462/stat : 12462 (java) S 12424 12424 3762 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 226645180 8261857280 29751 33554432000 4194304 4196468 140730599324384 140118543293856 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
Current children cumulated CPU time: 15.77 s
Current children cumulated vsize: 8211652 KiB
Current children cumulated memory: 134088 KiB
[startup+6.80094 s]
/proc/loadavg: 1.09 1.32 1.71 4/201 12462
/proc/meminfo: memFree=18646136/32770624 swapFree=67108196/67108860
[pid=12424] ppid=12421 vsize=113128 memory=1472 CPUtime=14.19 cores=1,3,5,7
/proc/12424/stat : 12424 (scop.sh) S 12421 12424 3762 0 -1 4202496 591 32359 0 0 0 0 1389 30 20 0 1 0 226644582 115843072 368 33554432000 4194304 5098028 140720859850112 140720859846856 140535605543548 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39571456 140720859853888 140720859854087 140720859854087 140720859856845 0
/proc/12424/statm: 28282 368 311 221 0 87 0
[pid=12442] ppid=12424 vsize=8068220 memory=119004 CPUtime=1.15 cores=1,3,5,7
/proc/12442/stat : 12442 (java) S 12424 12424 3762 0 -1 1077944320 18466 0 0 0 109 6 0 0 20 0 19 0 226645105 8261857280 29751 33554432000 4194304 4196468 140730599324384 140730599306928 140121263255287 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
/proc/12442/statm: 2017055 29751 3153 1 0 1978454 0
[pid=12457] ppid=12442 vsize=34660 memory=16160 CPUtime=0.83 cores=1,3,5,7
/proc/12457/stat : 12457 (minisat_release) R 12442 12424 3762 0 -1 4202496 5079 0 0 0 83 0 0 0 20 0 1 0 226645178 35491840 4040 33554432000 4194304 4308513 140731180102192 140731180099816 4289173 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 34955264 140731180110964 140731180111062 140731180111062 140731180113861 0
/proc/12457/statm: 8665 4040 342 28 0 4905 0
[pid=12442/tid=12443] ppid=12424 vsize=8068220 memory=-8675733323038954102 CPUtime=0.75 cores=1,3,5,7
/proc/12442/task/12443/stat : 12443 (java) S 12424 12424 3762 0 -1 1077944384 15546 0 0 0 71 4 0 0 20 0 19 0 226645105 8261857280 29751 33554432000 4194304 4196468 140730599324384 140121235095440 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12444] ppid=12424 vsize=8068220 memory=-9180700527125620825 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12444/stat : 12444 (java) S 12424 12424 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226645106 8261857280 29751 33554432000 4194304 4196468 140730599324384 140121267497872 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12445] ppid=12424 vsize=8068220 memory=-9001728533042062950 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12445/stat : 12445 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226645106 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120748018448 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12446] ppid=12424 vsize=8068220 memory=-7025448733113094249 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12446/stat : 12446 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226645106 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120746966160 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12447] ppid=12424 vsize=8068220 memory=4137282616176384387 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12447/stat : 12447 (java) S 12424 12424 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226645106 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120745913360 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12448] ppid=12424 vsize=8068220 memory=-7737605721172012177 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12448/stat : 12448 (java) S 12424 12424 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 226645107 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120709679216 140121263266434 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12449] ppid=12424 vsize=8068220 memory=311593010494453935 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12449/stat : 12449 (java) S 12424 12424 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226645108 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120086799136 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12450] ppid=12424 vsize=8068220 memory=14133333739198900 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12450/stat : 12450 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226645108 8261857280 29751 33554432000 4194304 4196468 140730599324384 140119818364016 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12451] ppid=12424 vsize=8068220 memory=-7025994870846939764 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12451/stat : 12451 (java) S 12424 12424 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226645110 8261857280 29751 33554432000 4194304 4196468 140730599324384 140119443855440 140121263273883 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12452] ppid=12424 vsize=8068220 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/12442/task/12452/stat : 12452 (java) S 12424 12424 3762 0 -1 1077944384 610 0 0 0 7 0 0 0 20 0 19 0 226645110 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120708627056 140121263266434 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12453] ppid=12424 vsize=8068220 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/12442/task/12453/stat : 12453 (java) S 12424 12424 3762 0 -1 1077944384 332 0 0 0 8 0 0 0 20 0 19 0 226645110 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120707574256 140121263266434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12454] ppid=12424 vsize=8068220 memory=8148 CPUtime=0.21 cores=1,3,5,7
/proc/12442/task/12454/stat : 12454 (java) S 12424 12424 3762 0 -1 1077944384 580 0 0 0 21 0 0 0 20 0 19 0 226645110 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120706521968 140121263266434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12455] ppid=12424 vsize=8068220 memory=844 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12455/stat : 12455 (java) S 12424 12424 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226645111 8261857280 29751 33554432000 4194304 4196468 140730599324384 140118945950688 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12456] ppid=12424 vsize=8068220 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12456/stat : 12456 (java) S 12424 12424 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226645111 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120705468848 140121263266434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12458] ppid=12424 vsize=8068220 memory=920 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12458/stat : 12458 (java) S 12424 12424 3762 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 226645178 8261857280 29751 33554432000 4194304 4196468 140730599324384 140120697660352 140121263279897 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12460] ppid=12424 vsize=8068220 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12460/stat : 12460 (java) S 12424 12424 3762 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 226645178 8261857280 29751 33554432000 4194304 4196468 140730599324384 140118409063952 140121263277213 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12461] ppid=12424 vsize=8068220 memory=3380 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12461/stat : 12461 (java) S 12424 12424 3762 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 226645178 8261857280 29751 33554432000 4194304 4196468 140730599324384 140118140632976 140121263277213 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
[pid=12442/tid=12462] ppid=12424 vsize=8068220 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/12442/task/12462/stat : 12462 (java) S 12424 12424 3762 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 226645180 8261857280 29751 33554432000 4194304 4196468 140730599324384 140118543293856 140121263265493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13811712 140730599330997 140730599331121 140730599331121 140730599333839 0
Current children cumulated CPU time: 16.17 s
Current children cumulated vsize: 8216008 KiB
Current children cumulated memory: 136636 KiB
[startup+7.00081 s]*
/proc/loadavg: 1.09 1.32 1.71 3/198 12462
/proc/meminfo: memFree=18650732/32770624 swapFree=67108196/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 7.01037
CPU time (s): 16.5775
CPU user time (s): 16.1848
CPU system time (s): 0.392731
CPU usage (%): 236.471
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 1177344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.1848
system time used= 0.392731
maximum resident set size= 1178892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57079
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6785
involuntary context switches= 71
# summary of solver processes directly reported to runsolver:
# pid: 12424
# total CPU time (s): 16.5775
# total CPU user time (s): 16.1848
# total CPU system time (s): 0.392731
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.083032 second user time and 0.094831 second system time
The end