0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-30298-serial-file.bin HOME/instance-4305640-1534132206.xml
0.66/0.52
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Mon Aug 13 05:50:06 CEST 2018
0.66/0.54 c PID: 30301
0.66/0.55 c IP: 172.20.3.139
0.66/0.55 c HOST: node139.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.79/1.01 c (0,0) Parsing End
1.79/1.02 c (0,0) CSP: 153 int (0 aux), 0 bool (0 aux), 146 ctr, max domain size 81
1.79/1.02 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.79/1.02 c (0,0) Constraint Name Generate Begin
1.79/1.03 c (0,0) Ctr:HOME/instance-4305640-1534132206.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num
1.79/1.03 c (0,0) Constraint Name Generate End
1.79/1.03 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.79/1.03 c (0,0) CSP to CSPinCNF Begin
2.79/1.49 c (0,0) translated 15 (10%) constraints
3.07/1.57 c (1,1) translated 30 (20%) constraints
3.36/1.64 c (1,1) translated 44 (30%) constraints
3.66/1.70 c (1,1) translated 59 (40%) constraints
3.66/1.76 c (1,1) translated 73 (50%) constraints
3.66/1.77 c (1,1) translated 88 (60%) constraints
3.66/1.78 c (1,1) translated 103 (70%) constraints
3.66/1.78 c (1,1) translated 117 (80%) constraints
3.66/1.78 c (1,1) translated 132 (90%) constraints
3.66/1.79 c (1,1) translated 146 (100%) constraints
4.33/1.90 c (1,1) STATISTICS1:HOME/instance-4305640-1534132206.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,153,6597,81,81,9,3,81:144;9:504;1:144,81:5904;9:6768;1:837,9:36;3:5832;2:648;1:81,3:144;2:648;1:17838,
4.33/1.90 c (1,1) ==========================================
4.33/1.90 c (1,1) Both Encoding selects:
4.33/1.90 c (1,1) Order
4.33/1.90 c (1,1) ==========================================
4.33/1.97 c (1,1) translated 660 (10%) constraints
4.71/2.09 c (1,1) translated 1320 (20%) constraints
5.09/2.15 c (1,1) translated 1980 (30%) constraints
5.40/2.21 c (1,1) translated 2639 (40%) constraints
5.40/2.27 c (1,1) translated 3299 (50%) constraints
5.70/2.33 c (1,1) translated 3959 (60%) constraints
5.70/2.38 c (1,1) translated 4618 (70%) constraints
5.99/2.43 c (1,1) translated 5278 (80%) constraints
5.99/2.48 c (1,1) translated 5938 (90%) constraints
6.29/2.53 c (2,1) translated 6597 (100%) constraints
6.29/2.53 c (2,1) CSP to CSPinCNF End
6.29/2.53 c (2,1) CSP: 153 int (0 aux), 729 bool (729 aux), 18342 ctr, max domain size 81
6.29/2.53 c (2,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.29/2.53 c (2,1) CSPinCNF Propagation Begin
6.94/2.78 c (2,2) 288 values, 2508 unsatisfiable literals, and 3600 valid clauses are removed
6.94/2.78 c (2,2) CSPinCNF Propagation End
6.94/2.78 c (2,2) CSP: 261 int (108 aux), 621 bool (621 aux), 14742 ctr, max domain size 79
6.94/2.78 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
6.94/2.78 c (2,2) Simplify CSPinCNF Begin
7.26/2.86 c (2,2) Simplify CSPinCNF End
7.26/2.86 c (2,2) CSP: 261 int (108 aux), 1845 bool (1845 aux), 15966 ctr, max domain size 79
7.26/2.86 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.26/2.86 c (2,2) Calculate Precise Domain Begin
7.26/2.86 c (2,2) 0 values are removed by re-calculation
7.26/2.86 c (2,2) Calculate Precise Domain End
7.26/2.86 c (2,2) CSP: 261 int (108 aux), 1845 bool (1845 aux), 15966 ctr, max domain size 79
7.26/2.86 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.26/2.86 c (2,2) CSPinCNF to SatSolver Begin
7.98/3.04 c (2,2) 1597 (10 %) CSP clauses are encoded (7627 SAT variables, 13452 SAT clauses)
7.98/3.07 c (2,2) 3194 (20 %) CSP clauses are encoded (7627 SAT variables, 16111 SAT clauses)
7.98/3.08 c (2,2) 4790 (30 %) CSP clauses are encoded (7627 SAT variables, 17707 SAT clauses)
7.98/3.10 c (2,2) 6387 (40 %) CSP clauses are encoded (7627 SAT variables, 19304 SAT clauses)
8.31/3.12 c (2,2) 7983 (50 %) CSP clauses are encoded (7627 SAT variables, 20900 SAT clauses)
8.31/3.14 c (2,2) 9580 (60 %) CSP clauses are encoded (7627 SAT variables, 22497 SAT clauses)
8.31/3.15 c (2,2) 11177 (70 %) CSP clauses are encoded (7627 SAT variables, 24094 SAT clauses)
8.31/3.16 c (2,2) 12773 (80 %) CSP clauses are encoded (7627 SAT variables, 25690 SAT clauses)
8.31/3.18 c (2,2) 14370 (90 %) CSP clauses are encoded (7627 SAT variables, 27287 SAT clauses)
8.56/3.22 c (2,2) 15966 (100 %) CSP clauses are encoded (7627 SAT variables, 38841 SAT clauses)
8.56/3.22 c (2,2) Launch Command will be: minisat_release
8.56/3.22 c (2,2) CSPinCNF to SatSolver End
8.56/3.22 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.88/3.31 c (2,2) STATISTICS2:HOME/instance-4305640-1534132206.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,2106,15966,81,79,7,3,81:84;64:48;49:12;9:420;8:428;7:160;1:216,79:4740;78:1872;69:3036;68:272;59:708;9:7056;8:3552;7:776;2:15866;1:216,7:32;3:4634;2:11156;1:144,3:144;2:1224;1:35214,
8.88/3.31 c (2,2) 7627 bool, 38888 clause
8.88/3.31 c (2,2) Export Begin
9.22/3.41 c (2,2) Export to HOME/scop-30298-serial-file.bin
9.22/3.41 c (2,2) Export End
9.22/3.41 c (2,2) Export File Size: 0.03 MB
9.22/3.41 c (2,2) 0,0,2,2,2,2,2,STOP-AFTER(DIMACS)
9.22/3.41 c END-Prog: Mon Aug 13 05:50:09 CEST 2018
9.22/3.43 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-30298-serial-file.bin
9.28/3.93 c (0,0) Read Serial File Begin
9.28/3.93 c (0,0) HOME/scop-30298-serial-file.bin
10.03/4.10 c (0,0) Read Serial File End
10.19/4.11
10.19/4.11 scop order+minisat_release (2018-07-31)
10.19/4.11 (Solving Process)
10.19/4.11
10.19/4.14 c BEGIN-Prog: Mon Aug 13 05:50:10 CEST 2018
10.19/4.14 c PID: 30316
10.19/4.14 c IP: 172.20.3.139
10.19/4.14 c HOST: node139.alineos.net
10.19/4.14 c (0,0) SatSolver.solve Begin
10.19/4.14 c (0,0) 0 bool, 0 clause
10.19/4.14 c (0,0) minisat_release HOME/instance-4305640-1534132206.xml-scop-30301.cnf
10.40/4.22 c (0,0) c This is COMiniSatPS.
10.40/4.22 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
10.40/4.22 c (0,0) c ============================[ Problem Statistics ]=============================
10.40/4.22 c (0,0) c | |
10.40/4.22 c (0,0) c | Number of variables: 7627 |
10.40/4.22 c (0,0) c | Number of clauses: 38888 |
10.40/4.22 c (0,0) c | Parse time: 0.01 s |
10.40/4.22 c (0,0) c | Eliminated clauses: 0.13 Mb |
10.40/4.22 c (0,0) c Reduced to 4267 vars, 29263 cls (grow=0)
10.40/4.22 c (0,0) c No iterative elimination performed. (vars=4267, c/v ratio=6.9)
10.40/4.22 c (0,0) c | Simplification time: 0.03 s |
10.40/4.22 c (0,0) c | |
10.40/4.22 c (0,0) c ============================[ Search Statistics ]==============================
10.40/4.22 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
10.40/4.22 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
10.40/4.22 c (0,0) c ===============================================================================
10.40/4.22 c (0,0) c ===============================================================================
10.40/4.22 c (0,0) c restarts : 1
10.40/4.22 c (0,0) c conflicts : 51 (982 /sec)
10.40/4.22 c (0,0) c decisions : 133 (0.00 % random) (2561 /sec)
10.40/4.22 c (0,0) c propagations : 39157 (754063 /sec)
10.40/4.22 c (0,0) c conflict literals : 1464 (14.69 % deleted)
10.40/4.22 c (0,0) c CPU time : 0.051928 s
10.40/4.22 c (0,0)
10.40/4.22 c (0,0) s SATISFIABLE
10.40/4.25 c (0,0) SatSolver.solve End
10.40/4.25 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
10.40/4.25 c (0,0) Show results Begin
10.65/4.32 s SATISFIABLE
10.65/4.34 v <instantiation>
10.65/4.34 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[1][0] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[2][0] y[2][1] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[3][0] y[3][1] y[3][2] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[4][0] y[4][1] y[4][2] y[4][3] y[4][5] y[4][6] y[4][7] y[4][8] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][6] y[5][7] y[5][8] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][7] y[6][8] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][8] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7]</list>
10.65/4.34 v <values>0 2 7 6 8 3 4 1 5 5 1 3 7 0 6 8 2 4 6 8 2 4 7 1 5 3 0 8 0 6 3 5 7 1 4 2 2 6 1 0 4 8 3 5 7 4 3 0 2 1 5 7 8 6 1 7 8 5 2 4 6 0 3 3 4 5 8 6 0 2 7 1 7 5 4 1 3 2 0 6 8 47 61 78 26 39 13 28 68 23 75 7 54 33 71 38 49 69 35 58 16 1 77 48 36 62 63 42 5 25 46 76 11 74 6 64 45 17 21 59 34 31 57 9 65 73 43 8 24 37 79 53 14 29 67 18 3 12 22 32 44 51 72 2 55 52 41 4 19 66 56 27 15</values>
10.65/4.34 v </instantiation>
10.65/4.34 c (0,0) Show results End
10.65/4.34 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
10.65/4.34 c (0,0) 0,0,STOP-AFTER(ALL)
10.65/4.34 c END-Prog: Mon Aug 13 05:50:10 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 (5937 MiB free)
memory of node 1: 16384 MiB (6881 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305640-1534132206/watcher-4305640-1534132206 -o /tmp/evaluation-result-4305640-1534132206/solver-4305640-1534132206 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534129696-29820 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305640-1534132206.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30298, runsolver pid=30295
[startup+0.105524 s]*
/proc/loadavg: 2.01 2.07 2.02 3/223 30315
/proc/meminfo: memFree=13063876/32770624 swapFree=67108860/67108860
[pid=30298] ppid=30295 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/30298/stat : 30298 (scop.sh) S 30295 30298 29789 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230783741 115843072 348 33554432000 4194304 5098028 140734856314048 140734856311304 139827631936124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11849728 140734856315969 140734856316167 140734856316167 140734856318925 0
/proc/30298/statm: 28282 348 296 221 0 87 0
[pid=30301] ppid=30298 vsize=15012476 memory=74452 CPUtime=0.12 cores=0,2,4,6
/proc/30301/stat : 30301 (java) S 30298 30298 29789 0 -1 1077944320 7217 0 0 0 10 2 0 0 20 0 15 0 230783741 15372775424 18613 33554432000 4194304 4196468 140726310219104 140726310201648 139917486022391 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
/proc/30301/statm: 3753119 18613 2771 1 0 3715579 0
[pid=30301/tid=30302] ppid=30298 vsize=15012476 memory=-6078870780940435395 CPUtime=0.09 cores=0,2,4,6
/proc/30301/task/30302/stat : 30302 (java) R 30298 30298 29789 0 -1 4202560 5291 0 0 0 8 1 0 0 20 0 15 0 230783741 15372775424 18613 33554432000 4194304 4196468 140726310219104 139917457834376 139917486044317 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30303] ppid=30298 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30303/stat : 30303 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783743 15372775424 18613 33554432000 4194304 4196468 140726310219104 139917490264592 139917486032597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30304] ppid=30298 vsize=15012476 memory=140257055344256 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30304/stat : 30304 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783743 15372775424 18613 33554432000 4194304 4196468 140726310219104 139917289040528 139917486032597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30305] ppid=30298 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30305/stat : 30305 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783743 15372775424 18613 33554432000 4194304 4196468 140726310219104 139917287987472 139917486032597 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30306] ppid=30298 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30306/stat : 30306 (java) S 30298 30298 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230783743 15372775424 18613 33554432000 4194304 4196468 140726310219104 139917286934928 139917486032597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30307] ppid=30298 vsize=15012476 memory=140257055344256 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30307/stat : 30307 (java) S 30298 30298 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230783744 15372775424 18613 33554432000 4194304 4196468 140726310219104 139916892789488 139917486033538 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30308] ppid=30298 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30308/stat : 30308 (java) S 30298 30298 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230783745 15372775424 18613 33554432000 4194304 4196468 140726310219104 139916042299040 139917486032597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30309] ppid=30298 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30309/stat : 30309 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783745 15372775424 18613 33554432000 4194304 4196468 140726310219104 139915807417584 139917486032597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30310] ppid=30298 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30310/stat : 30310 (java) S 30298 30298 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230783747 15372775424 18613 33554432000 4194304 4196468 140726310219104 139915432909264 139917486040987 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30311] ppid=30298 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30311/stat : 30311 (java) S 30298 30298 29789 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 230783747 15372775424 18613 33554432000 4194304 4196468 140726310219104 139916891736304 139917486033538 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30312] ppid=30298 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30312/stat : 30312 (java) S 30298 30298 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230783747 15372775424 18613 33554432000 4194304 4196468 140726310219104 139916890683760 139917486033538 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30313] ppid=30298 vsize=15012476 memory=140257055344256 CPUtime=0.01 cores=0,2,4,6
/proc/30301/task/30313/stat : 30313 (java) S 30298 30298 29789 0 -1 1077944384 296 0 0 0 1 0 0 0 20 0 15 0 230783747 15372775424 18613 33554432000 4194304 4196468 140726310219104 139916889630704 139917486033538 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30314] ppid=30298 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30314/stat : 30314 (java) S 30298 30298 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230783748 15372775424 18613 33554432000 4194304 4196468 140726310219104 139914935003488 139917486032597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30315] ppid=30298 vsize=15012476 memory=140257055344256 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30315/stat : 30315 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783748 15372775424 18613 33554432000 4194304 4196468 140726310219104 139916888579120 139917486033538 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75844 KiB
[startup+0.210649 s]*
/proc/loadavg: 2.01 2.07 2.02 4/223 30315
/proc/meminfo: memFree=13051560/32770624 swapFree=67108860/67108860
[pid=30298] ppid=30295 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/30298/stat : 30298 (scop.sh) S 30295 30298 29789 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230783741 115843072 348 33554432000 4194304 5098028 140734856314048 140734856311304 139827631936124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11849728 140734856315969 140734856316167 140734856316167 140734856318925 0
/proc/30298/statm: 28282 348 296 221 0 87 0
[pid=30301] ppid=30298 vsize=15012476 memory=85632 CPUtime=0.25 cores=0,2,4,6
/proc/30301/stat : 30301 (java) S 30298 30298 29789 0 -1 1077944320 10265 0 0 0 22 3 0 0 20 0 15 0 230783741 15372775424 21408 33554432000 4194304 4196468 140726310219104 140726310201648 139917486022391 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
/proc/30301/statm: 3753119 21408 2933 1 0 3715579 0
[pid=30301/tid=30302] ppid=30298 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/30301/task/30302/stat : 30302 (java) R 30298 30298 29789 0 -1 4202560 8149 0 0 0 17 2 0 0 20 0 15 0 230783741 15372775424 21408 33554432000 4194304 4196468 140726310219104 139917457848784 139917471803158 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30303] ppid=30298 vsize=15012476 memory=365 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30303/stat : 30303 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783743 15372775424 21408 33554432000 4194304 4196468 140726310219104 139917490264592 139917486032597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30304] ppid=30298 vsize=15012476 memory=4051468116620347040 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30304/stat : 30304 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783743 15372775424 21408 33554432000 4194304 4196468 140726310219104 139917289040528 139917486032597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30305] ppid=30298 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30305/stat : 30305 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783743 15372775424 21408 33554432000 4194304 4196468 140726310219104 139917287987472 139917486032597 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30306] ppid=30298 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30306/stat : 30306 (java) S 30298 30298 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230783743 15372775424 21408 33554432000 4194304 4196468 140726310219104 139917286934928 139917486032597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30307] ppid=30298 vsize=15012476 memory=140257055344256 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30307/stat : 30307 (java) S 30298 30298 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230783744 15372775424 21408 33554432000 4194304 4196468 140726310219104 139916892789488 139917486033538 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30308] ppid=30298 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30308/stat : 30308 (java) S 30298 30298 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230783745 15372775424 21408 33554432000 4194304 4196468 140726310219104 139916042299040 139917486032597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30309] ppid=30298 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30309/stat : 30309 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783745 15372775424 21408 33554432000 4194304 4196468 140726310219104 139915807417584 139917486032597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30310] ppid=30298 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30310/stat : 30310 (java) S 30298 30298 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230783747 15372775424 21408 33554432000 4194304 4196468 140726310219104 139915432909264 139917486040987 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30311] ppid=30298 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30311/stat : 30311 (java) S 30298 30298 29789 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 15 0 230783747 15372775424 21408 33554432000 4194304 4196468 140726310219104 139916891736304 139917486033538 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30312] ppid=30298 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30312/stat : 30312 (java) S 30298 30298 29789 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 230783747 15372775424 21408 33554432000 4194304 4196468 140726310219104 139916890683760 139917486033538 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30313] ppid=30298 vsize=15012476 memory=140257055344256 CPUtime=0.03 cores=0,2,4,6
/proc/30301/task/30313/stat : 30313 (java) S 30298 30298 29789 0 -1 1077944384 318 0 0 0 3 0 0 0 20 0 15 0 230783747 15372775424 21408 33554432000 4194304 4196468 140726310219104 139916889630704 139917486033538 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30314] ppid=30298 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30314/stat : 30314 (java) S 30298 30298 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230783748 15372775424 21408 33554432000 4194304 4196468 140726310219104 139914935003488 139917486032597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30315] ppid=30298 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30315/stat : 30315 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783748 15372775424 21408 33554432000 4194304 4196468 140726310219104 139916888579120 139917486033538 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87024 KiB
[startup+0.310663 s]*
/proc/loadavg: 2.01 2.07 2.02 3/223 30315
/proc/meminfo: memFree=13047244/32770624 swapFree=67108860/67108860
[pid=30298] ppid=30295 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/30298/stat : 30298 (scop.sh) S 30295 30298 29789 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230783741 115843072 348 33554432000 4194304 5098028 140734856314048 140734856311304 139827631936124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11849728 140734856315969 140734856316167 140734856316167 140734856318925 0
/proc/30298/statm: 28282 348 296 221 0 87 0
[pid=30301] ppid=30298 vsize=15012476 memory=89604 CPUtime=0.42 cores=0,2,4,6
/proc/30301/stat : 30301 (java) S 30298 30298 29789 0 -1 1077944320 10886 0 0 0 39 3 0 0 20 0 15 0 230783741 15372775424 22401 33554432000 4194304 4196468 140726310219104 140726310201648 139917486022391 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
/proc/30301/statm: 3753119 22401 2988 1 0 3715579 0
[pid=30301/tid=30302] ppid=30298 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/30301/task/30302/stat : 30302 (java) R 30298 30298 29789 0 -1 4202560 8593 0 0 0 27 2 0 0 20 0 15 0 230783741 15372775424 22401 33554432000 4194304 4196468 140726310219104 139917457817752 139917470102878 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30303] ppid=30298 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30303/stat : 30303 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783743 15372775424 22401 33554432000 4194304 4196468 140726310219104 139917490264592 139917486032597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30304] ppid=30298 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30304/stat : 30304 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783743 15372775424 22401 33554432000 4194304 4196468 140726310219104 139917289040528 139917486032597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30305] ppid=30298 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30305/stat : 30305 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783743 15372775424 22401 33554432000 4194304 4196468 140726310219104 139917287987472 139917486032597 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30306] ppid=30298 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30306/stat : 30306 (java) S 30298 30298 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230783743 15372775424 22401 33554432000 4194304 4196468 140726310219104 139917286934928 139917486032597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30307] ppid=30298 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30307/stat : 30307 (java) S 30298 30298 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230783744 15372775424 22401 33554432000 4194304 4196468 140726310219104 139916892789488 139917486033538 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30308] ppid=30298 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30308/stat : 30308 (java) S 30298 30298 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230783745 15372775424 22401 33554432000 4194304 4196468 140726310219104 139916042299040 139917486032597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30309] ppid=30298 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30309/stat : 30309 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783745 15372775424 22401 33554432000 4194304 4196468 140726310219104 139915807417584 139917486032597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30310] ppid=30298 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30310/stat : 30310 (java) S 30298 30298 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230783747 15372775424 22401 33554432000 4194304 4196468 140726310219104 139915432909264 139917486040987 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30311] ppid=30298 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30301/task/30311/stat : 30311 (java) S 30298 30298 29789 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 15 0 230783747 15372775424 22401 33554432000 4194304 4196468 140726310219104 139916891736304 139917486033538 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30312] ppid=30298 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30301/task/30312/stat : 30312 (java) S 30298 30298 29789 0 -1 1077944384 156 0 0 0 1 0 0 0 20 0 15 0 230783747 15372775424 22401 33554432000 4194304 4196468 140726310219104 139916890683760 139917486033538 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30313] ppid=30298 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30301/task/30313/stat : 30313 (java) S 30298 30298 29789 0 -1 1077944384 355 0 0 0 7 0 0 0 20 0 15 0 230783747 15372775424 22401 33554432000 4194304 4196468 140726310219104 139916889630704 139917486033538 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30314] ppid=30298 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30314/stat : 30314 (java) S 30298 30298 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230783748 15372775424 22401 33554432000 4194304 4196468 140726310219104 139914935003488 139917486032597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30315] ppid=30298 vsize=15012476 memory=3473180417806377009 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30315/stat : 30315 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783748 15372775424 22401 33554432000 4194304 4196468 140726310219104 139916888579120 139917486033538 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90996 KiB
[startup+0.709333 s]
/proc/loadavg: 2.01 2.07 2.02 3/223 30315
/proc/meminfo: memFree=13023060/32770624 swapFree=67108860/67108860
[pid=30298] ppid=30295 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/30298/stat : 30298 (scop.sh) S 30295 30298 29789 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230783741 115843072 348 33554432000 4194304 5098028 140734856314048 140734856311304 139827631936124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11849728 140734856315969 140734856316167 140734856316167 140734856318925 0
/proc/30298/statm: 28282 348 296 221 0 87 0
[pid=30301] ppid=30298 vsize=15020872 memory=129932 CPUtime=1.03 cores=0,2,4,6
/proc/30301/stat : 30301 (java) S 30298 30298 29789 0 -1 1077944320 18144 0 0 0 97 6 0 0 20 0 15 0 230783741 15381372928 32483 33554432000 4194304 4196468 140726310219104 140726310201648 139917486022391 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
/proc/30301/statm: 3755218 32483 3161 1 0 3716603 0
[pid=30301/tid=30302] ppid=30298 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/30301/task/30302/stat : 30302 (java) R 30298 30298 29789 0 -1 4202560 15360 0 0 0 62 5 0 0 20 0 15 0 230783741 15381372928 32483 33554432000 4194304 4196468 140726310219104 139917457858752 139917470066021 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30303] ppid=30298 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30303/stat : 30303 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783743 15381372928 32483 33554432000 4194304 4196468 140726310219104 139917490264592 139917486032597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30304] ppid=30298 vsize=15020872 memory=62580 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30304/stat : 30304 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783743 15381372928 32483 33554432000 4194304 4196468 140726310219104 139917289040528 139917486032597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30305] ppid=30298 vsize=15020872 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30305/stat : 30305 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783743 15381372928 32483 33554432000 4194304 4196468 140726310219104 139917287987472 139917486032597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30306] ppid=30298 vsize=15020872 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30306/stat : 30306 (java) S 30298 30298 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230783743 15381372928 32483 33554432000 4194304 4196468 140726310219104 139917286934928 139917486032597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30307] ppid=30298 vsize=15020872 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30307/stat : 30307 (java) S 30298 30298 29789 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230783744 15381372928 32483 33554432000 4194304 4196468 140726310219104 139916892789488 139917486033538 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30308] ppid=30298 vsize=15020872 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30308/stat : 30308 (java) S 30298 30298 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230783745 15381372928 32483 33554432000 4194304 4196468 140726310219104 139916042299040 139917486032597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30309] ppid=30298 vsize=15020872 memory=796 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30309/stat : 30309 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783745 15381372928 32483 33554432000 4194304 4196468 140726310219104 139915807417584 139917486032597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30310] ppid=30298 vsize=15020872 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30310/stat : 30310 (java) S 30298 30298 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230783747 15381372928 32483 33554432000 4194304 4196468 140726310219104 139915432909264 139917486040987 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30311] ppid=30298 vsize=15020872 memory=876 CPUtime=0.09 cores=0,2,4,6
/proc/30301/task/30311/stat : 30311 (java) S 30298 30298 29789 0 -1 1077944384 528 0 0 0 9 0 0 0 20 0 15 0 230783747 15381372928 32483 33554432000 4194304 4196468 140726310219104 139916891736304 139917486033538 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30312] ppid=30298 vsize=15020872 memory=10096 CPUtime=0.08 cores=0,2,4,6
/proc/30301/task/30312/stat : 30312 (java) S 30298 30298 29789 0 -1 1077944384 406 0 0 0 8 0 0 0 20 0 15 0 230783747 15381372928 32483 33554432000 4194304 4196468 140726310219104 139916890683760 139917486033538 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30313] ppid=30298 vsize=15020872 memory=1228 CPUtime=0.17 cores=0,2,4,6
/proc/30301/task/30313/stat : 30313 (java) S 30298 30298 29789 0 -1 1077944384 517 0 0 0 17 0 0 0 20 0 15 0 230783747 15381372928 32483 33554432000 4194304 4196468 140726310219104 139916889630704 139917486033538 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30314] ppid=30298 vsize=15020872 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30314/stat : 30314 (java) S 30298 30298 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230783748 15381372928 32483 33554432000 4194304 4196468 140726310219104 139914935003488 139917486032597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30315] ppid=30298 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30315/stat : 30315 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783748 15381372928 32483 33554432000 4194304 4196468 140726310219104 139916888579120 139917486033538 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131324 KiB
[startup+1.50154 s]
/proc/loadavg: 2.01 2.07 2.02 6/223 30315
/proc/meminfo: memFree=12993592/32770624 swapFree=67108860/67108860
[pid=30298] ppid=30295 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/30298/stat : 30298 (scop.sh) S 30295 30298 29789 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230783741 115843072 348 33554432000 4194304 5098028 140734856314048 140734856311304 139827631936124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11849728 140734856315969 140734856316167 140734856316167 140734856318925 0
/proc/30298/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/30301/task/30308/stat : 30308 (java) S 30298 30298 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230783745 15387734016 143811 33554432000 4194304 4196468 140726310219104 139916042299040 139917486032597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30309] ppid=30298 vsize=15027084 memory=12813 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30309/stat : 30309 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783745 15387734016 143811 33554432000 4194304 4196468 140726310219104 139915807417584 139917486032597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30310] ppid=30298 vsize=15027084 memory=24398 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30310/stat : 30310 (java) S 30298 30298 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230783747 15387734016 143811 33554432000 4194304 4196468 140726310219104 139915432909264 139917486040987 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30311] ppid=30298 vsize=15027084 memory=0 CPUtime=2.01 cores=0,2,4,6
/proc/30301/task/30311/stat : 30311 (java) R 30298 30298 29789 0 -1 4202560 4142 0 0 0 200 1 0 0 20 0 15 0 230783747 15387734016 143811 33554432000 4194304 4196468 140726310219104 139916891726720 139917470000600 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30312] ppid=30298 vsize=15027084 memory=0 CPUtime=2 cores=0,2,4,6
/proc/30301/task/30312/stat : 30312 (java) R 30298 30298 29789 0 -1 4202560 2827 0 0 0 199 1 0 0 20 0 15 0 230783747 15387734016 143811 33554432000 4194304 4196468 140726310219104 139916890683648 139917469380689 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30313] ppid=30298 vsize=15027084 memory=1392 CPUtime=1.19 cores=0,2,4,6
/proc/30301/task/30313/stat : 30313 (java) S 30298 30298 29789 0 -1 1077944384 3929 0 0 0 118 1 0 0 20 0 15 0 230783747 15387734016 143811 33554432000 4194304 4196468 140726310219104 139916889630704 139917486033538 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30314] ppid=30298 vsize=15027084 memory=427744 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30314/stat : 30314 (java) S 30298 30298 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230783748 15387734016 143811 33554432000 4194304 4196468 140726310219104 139914935003488 139917486032597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30315] ppid=30298 vsize=15027084 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30315/stat : 30315 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783748 15387734016 143811 33554432000 4194304 4196468 140726310219104 139916888579120 139917486033538 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
Current children cumulated CPU time: 8.31 s
Current children cumulated vsize: 15140212 KiB
Current children cumulated memory: 576636 KiB
[startup+4.56794 s]
# the end of solver process 30298 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.4974 s, system=0.288533 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20156 s]
/proc/loadavg: 2.01 2.07 2.02 5/223 30315
/proc/meminfo: memFree=12602576/32770624 swapFree=67108860/67108860
[pid=30298] ppid=30295 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/30298/stat : 30298 (scop.sh) S 30295 30298 29789 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230783741 115843072 348 33554432000 4194304 5098028 140734856314048 140734856311304 139827631936124 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11849728 140734856315969 140734856316167 140734856316167 140734856318925 0
/proc/30298/statm: 28282 348 296 221 0 87 0
[pid=30301] ppid=30298 vsize=15027084 memory=612108 CPUtime=8.56 cores=0,2,4,6
/proc/30301/stat : 30301 (java) S 30298 30298 29789 0 -1 1077944320 29342 0 0 0 838 18 0 0 20 0 15 0 230783741 15387734016 153027 33554432000 4194304 4196468 140726310219104 140726310201648 139917486022391 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
/proc/30301/statm: 3756771 153027 3212 1 0 3717627 0
[pid=30301/tid=30302] ppid=30298 vsize=15027084 memory=2416 CPUtime=3.15 cores=0,2,4,6
/proc/30301/task/30302/stat : 30302 (java) R 30298 30298 29789 0 -1 4202560 17103 0 0 0 302 13 0 0 20 0 15 0 230783741 15387734016 153027 33554432000 4194304 4196468 140726310219104 139917457859608 139916978174396 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30303] ppid=30298 vsize=15027084 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30303/stat : 30303 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783743 15387734016 153027 33554432000 4194304 4196468 140726310219104 139917490264592 139917486032597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30304] ppid=30298 vsize=15027084 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30304/stat : 30304 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783743 15387734016 153027 33554432000 4194304 4196468 140726310219104 139917289040528 139917486032597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30305] ppid=30298 vsize=15027084 memory=796 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30305/stat : 30305 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783743 15387734016 153027 33554432000 4194304 4196468 140726310219104 139917287987472 139917486032597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30306] ppid=30298 vsize=15027084 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30306/stat : 30306 (java) S 30298 30298 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230783743 15387734016 153027 33554432000 4194304 4196468 140726310219104 139917286934928 139917486032597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30307] ppid=30298 vsize=15027084 memory=876 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30307/stat : 30307 (java) S 30298 30298 29789 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230783744 15387734016 153027 33554432000 4194304 4196468 140726310219104 139916892789488 139917486033538 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30308] ppid=30298 vsize=15027084 memory=10096 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30308/stat : 30308 (java) S 30298 30298 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230783745 15387734016 153027 33554432000 4194304 4196468 140726310219104 139916042299040 139917486032597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30309] ppid=30298 vsize=15027084 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30309/stat : 30309 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783745 15387734016 153027 33554432000 4194304 4196468 140726310219104 139915807417584 139917486032597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30310] ppid=30298 vsize=15027084 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30310/stat : 30310 (java) S 30298 30298 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230783747 15387734016 153027 33554432000 4194304 4196468 140726310219104 139915432909264 139917486040987 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30311] ppid=30298 vsize=15027084 memory=0 CPUtime=2.1 cores=0,2,4,6
/proc/30301/task/30311/stat : 30311 (java) R 30298 30298 29789 0 -1 4202560 4149 0 0 0 209 1 0 0 20 0 15 0 230783747 15387734016 153027 33554432000 4194304 4196468 140726310219104 139916891726720 139917465268314 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30312] ppid=30298 vsize=15027084 memory=0 CPUtime=2.09 cores=0,2,4,6
/proc/30301/task/30312/stat : 30312 (java) R 30298 30298 29789 0 -1 4202560 2827 0 0 0 208 1 0 0 20 0 15 0 230783747 15387734016 153027 33554432000 4194304 4196468 140726310219104 139916890683648 139917470904159 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30313] ppid=30298 vsize=15027084 memory=0 CPUtime=1.19 cores=0,2,4,6
/proc/30301/task/30313/stat : 30313 (java) S 30298 30298 29789 0 -1 1077944384 3929 0 0 0 118 1 0 0 20 0 15 0 230783747 15387734016 153027 33554432000 4194304 4196468 140726310219104 139916889630704 139917486033538 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30314] ppid=30298 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30314/stat : 30314 (java) S 30298 30298 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230783748 15387734016 153027 33554432000 4194304 4196468 140726310219104 139914935003488 139917486032597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
[pid=30301/tid=30315] ppid=30298 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30301/task/30315/stat : 30315 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230783748 15387734016 153027 33554432000 4194304 4196468 140726310219104 139916888579120 139917486033538 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140726310224903 140726310225201 140726310225201 140726310227919 0
Current children cumulated CPU time: 8.56 s
Current children cumulated vsize: 15140212 KiB
Current children cumulated memory: 613500 KiB
[startup+4.00041 s]*
/proc/loadavg: 2.01 2.07 2.02 3/223 30330
/proc/meminfo: memFree=13044676/32770624 swapFree=67108860/67108860
[pid=30298] ppid=30295 vsize=113128 memory=1468 CPUtime=9.28 cores=0,2,4,6
/proc/30298/stat : 30298 (scop.sh) S 30295 30298 29789 0 -1 4202496 590 30344 0 0 0 0 907 21 20 0 1 0 230783741 115843072 367 33554432000 4194304 5098028 140734856314048 140734856310792 139827631936124 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11849728 140734856315969 140734856316167 140734856316167 140734856318925 0
/proc/30298/statm: 28282 367 311 221 0 87 0
[pid=30316] ppid=30298 vsize=7406384 memory=93156 CPUtime=0.75 cores=0,2,4,6
/proc/30316/stat : 30316 (java) S 30298 30298 29789 0 -1 1077944320 16935 0 0 0 71 4 0 0 20 0 15 0 230784084 7584137216 23289 33554432000 4194304 4196468 140733572521824 140733572504368 139867789115127 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
/proc/30316/statm: 1851596 23289 3029 1 0 1813530 0
[pid=30316/tid=30317] ppid=30298 vsize=7406384 memory=-7449383003082255507 CPUtime=0.55 cores=0,2,4,6
/proc/30316/task/30317/stat : 30317 (java) R 30298 30298 29789 0 -1 4202560 14382 0 0 0 52 3 0 0 20 0 15 0 230784085 7584137216 23289 33554432000 4194304 4196468 140733572521824 139867760947216 139867769390834 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30318] ppid=30298 vsize=7406384 memory=8292148123324110535 CPUtime=0 cores=0,2,4,6
/proc/30316/task/30318/stat : 30318 (java) S 30298 30298 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230784086 7584137216 23289 33554432000 4194304 4196468 140733572521824 139867793357456 139867789125333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30319] ppid=30298 vsize=7406384 memory=6944656592385698452 CPUtime=0 cores=0,2,4,6
/proc/30316/task/30319/stat : 30319 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784086 7584137216 23289 33554432000 4194304 4196468 140733572521824 139867624606224 139867789125333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30320] ppid=30298 vsize=7406384 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/30316/task/30320/stat : 30320 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784086 7584137216 23289 33554432000 4194304 4196468 140733572521824 139867273406864 139867789125333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30321] ppid=30298 vsize=7406384 memory=3472328279047811119 CPUtime=0 cores=0,2,4,6
/proc/30316/task/30321/stat : 30321 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784086 7584137216 23289 33554432000 4194304 4196468 140733572521824 139867272354064 139867789125333 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30322] ppid=30298 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30316/task/30322/stat : 30322 (java) S 30298 30298 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230784087 7584137216 23289 33554432000 4194304 4196468 140733572521824 139867235584880 139867789126274 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30323] ppid=30298 vsize=7406384 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30316/task/30323/stat : 30323 (java) S 30298 30298 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230784088 7584137216 23289 33554432000 4194304 4196468 140733572521824 139866616620576 139867789125333 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30324] ppid=30298 vsize=7406384 memory=280513977426848 CPUtime=0 cores=0,2,4,6
/proc/30316/task/30324/stat : 30324 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784088 7584137216 23289 33554432000 4194304 4196468 140733572521824 139866348184944 139867789125333 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30325] ppid=30298 vsize=7406384 memory=3472328296227679279 CPUtime=0 cores=0,2,4,6
/proc/30316/task/30325/stat : 30325 (java) S 30298 30298 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230784090 7584137216 23289 33554432000 4194304 4196468 140733572521824 139865973676368 139867789133723 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30326] ppid=30298 vsize=7406384 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30316/task/30326/stat : 30326 (java) S 30298 30298 29789 0 -1 1077944384 434 0 0 0 3 0 0 0 20 0 15 0 230784090 7584137216 23289 33554432000 4194304 4196468 140733572521824 139867234531696 139867789126274 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30327] ppid=30298 vsize=7406384 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/30316/task/30327/stat : 30327 (java) S 30298 30298 29789 0 -1 1077944384 250 0 0 0 3 0 0 0 20 0 15 0 230784090 7584137216 23289 33554432000 4194304 4196468 140733572521824 139867233478896 139867789126274 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30328] ppid=30298 vsize=7406384 memory=7022364632946311227 CPUtime=0.11 cores=0,2,4,6
/proc/30316/task/30328/stat : 30328 (java) S 30298 30298 29789 0 -1 1077944384 536 0 0 0 11 0 0 0 20 0 15 0 230784090 7584137216 23289 33554432000 4194304 4196468 140733572521824 139867232426096 139867789126274 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30329] ppid=30298 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30316/task/30329/stat : 30329 (java) S 30298 30298 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230784091 7584137216 23289 33554432000 4194304 4196468 140733572521824 139865475770592 139867789125333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30330] ppid=30298 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30316/task/30330/stat : 30330 (java) S 30298 30298 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230784091 7584137216 23289 33554432000 4194304 4196468 140733572521824 139867231374512 139867789126274 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
Current children cumulated CPU time: 10.03 s
Current children cumulated vsize: 7519512 KiB
Current children cumulated memory: 94624 KiB
[startup+4.40072 s]
/proc/loadavg: 2.01 2.07 2.02 3/223 30330
/proc/meminfo: memFree=13044676/32770624 swapFree=67108860/67108860
[pid=30298] ppid=30295 vsize=113128 memory=1468 CPUtime=9.28 cores=0,2,4,6
/proc/30298/stat : 30298 (scop.sh) S 30295 30298 29789 0 -1 4202496 590 30344 0 0 0 0 907 21 20 0 1 0 230783741 115843072 367 33554432000 4194304 5098028 140734856314048 140734856310792 139827631936124 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11849728 140734856315969 140734856316167 140734856316167 140734856318925 0
/proc/30298/statm: 28282 367 311 221 0 87 0
[pid=30316] ppid=30298 vsize=7937144 memory=124664 CPUtime=1.47 cores=0,2,4,6
/proc/30316/stat : 30316 (java) S 30298 30298 29789 0 -1 1077944320 19381 2459 0 0 136 6 5 0 20 0 17 0 230784084 8127635456 31166 33554432000 4194304 4196468 140733572521824 140733572504368 139867789115127 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
/proc/30316/statm: 1984286 31166 3169 1 0 1945685 0
[pid=30316/tid=30317] ppid=30298 vsize=7937144 memory=15880 CPUtime=0.89 cores=0,2,4,6
/proc/30316/task/30317/stat : 30317 (java) D 30298 30298 29789 0 -1 4202560 15844 2459 0 0 80 4 5 0 20 0 17 0 230784085 8127635456 31166 33554432000 4194304 4196468 140733572521824 139867760956904 139867781800759 0 4 2 25189581 18446744071580418449 0 0 -1 4 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30318] ppid=30298 vsize=7937144 memory=16228 CPUtime=0.05 cores=0,2,4,6
/proc/30316/task/30318/stat : 30318 (java) S 30298 30298 29789 0 -1 1077944384 2 2459 0 0 0 0 5 0 20 0 17 0 230784086 8127635456 31166 33554432000 4194304 4196468 140733572521824 139867793357456 139867789125333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30319] ppid=30298 vsize=7937144 memory=6153431502485415018 CPUtime=0.05 cores=0,2,4,6
/proc/30316/task/30319/stat : 30319 (java) S 30298 30298 29789 0 -1 1077944384 1 2459 0 0 0 0 5 0 20 0 17 0 230784086 8127635456 31166 33554432000 4194304 4196468 140733572521824 139867624606224 139867789125333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30320] ppid=30298 vsize=7937144 memory=8025788809765872980 CPUtime=0.05 cores=0,2,4,6
/proc/30316/task/30320/stat : 30320 (java) S 30298 30298 29789 0 -1 1077944384 1 2459 0 0 0 0 5 0 20 0 17 0 230784086 8127635456 31166 33554432000 4194304 4196468 140733572521824 139867273406864 139867789125333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30321] ppid=30298 vsize=7937144 memory=5787213827131598673 CPUtime=0.05 cores=0,2,4,6
/proc/30316/task/30321/stat : 30321 (java) S 30298 30298 29789 0 -1 1077944384 1 2459 0 0 0 0 5 0 20 0 17 0 230784086 8127635456 31166 33554432000 4194304 4196468 140733572521824 139867272354064 139867789125333 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30322] ppid=30298 vsize=7937144 memory=-7522837583129502606 CPUtime=0.05 cores=0,2,4,6
/proc/30316/task/30322/stat : 30322 (java) S 30298 30298 29789 0 -1 1077944384 5 2459 0 0 0 0 5 0 20 0 17 0 230784087 8127635456 31166 33554432000 4194304 4196468 140733572521824 139867235584880 139867789126274 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30323] ppid=30298 vsize=7937144 memory=6944938067432061290 CPUtime=0.05 cores=0,2,4,6
/proc/30316/task/30323/stat : 30323 (java) S 30298 30298 29789 0 -1 1077944384 13 2459 0 0 0 0 5 0 20 0 17 0 230784088 8127635456 31166 33554432000 4194304 4196468 140733572521824 139866616620576 139867789125333 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30324] ppid=30298 vsize=7937144 memory=8292088564187963537 CPUtime=0.05 cores=0,2,4,6
/proc/30316/task/30324/stat : 30324 (java) S 30298 30298 29789 0 -1 1077944384 1 2459 0 0 0 0 5 0 20 0 17 0 230784088 8127635456 31166 33554432000 4194304 4196468 140733572521824 139866348184944 139867789125333 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30325] ppid=30298 vsize=7937144 memory=4134692831991786133 CPUtime=0.05 cores=0,2,4,6
/proc/30316/task/30325/stat : 30325 (java) S 30298 30298 29789 0 -1 1077944384 3 2459 0 0 0 0 5 0 20 0 17 0 230784090 8127635456 31166 33554432000 4194304 4196468 140733572521824 139865973676368 139867789133723 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30326] ppid=30298 vsize=7937144 memory=36004 CPUtime=0.19 cores=0,2,4,6
/proc/30316/task/30326/stat : 30326 (java) S 30298 30298 29789 0 -1 1077944384 654 2459 0 0 14 0 5 0 20 0 17 0 230784090 8127635456 31166 33554432000 4194304 4196468 140733572521824 139867234531696 139867789126274 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30327] ppid=30298 vsize=7937144 memory=7812726576340533336 CPUtime=0.17 cores=0,2,4,6
/proc/30316/task/30327/stat : 30327 (java) S 30298 30298 29789 0 -1 1077944384 497 2459 0 0 12 0 5 0 20 0 17 0 230784090 8127635456 31166 33554432000 4194304 4196468 140733572521824 139867233478896 139867789126274 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30328] ppid=30298 vsize=7937144 memory=288293289772451328 CPUtime=0.31 cores=0,2,4,6
/proc/30316/task/30328/stat : 30328 (java) S 30298 30298 29789 0 -1 1077944384 903 2459 0 0 26 0 5 0 20 0 17 0 230784090 8127635456 31166 33554432000 4194304 4196468 140733572521824 139867232426096 139867789126274 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30329] ppid=30298 vsize=7937144 memory=8514701219781834910 CPUtime=0.05 cores=0,2,4,6
/proc/30316/task/30329/stat : 30329 (java) S 30298 30298 29789 0 -1 1077944384 3 2459 0 0 0 0 5 0 20 0 17 0 230784091 8127635456 31166 33554432000 4194304 4196468 140733572521824 139865475770592 139867789125333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
[pid=30316/tid=30330] ppid=30298 vsize=7937144 memory=-7028383565733675155 CPUtime=0.05 cores=0,2,4,6
/proc/30316/task/30330/stat : 30330 (java) S 30298 30298 29789 0 -1 1077944384 2 2459 0 0 0 0 5 0 20 0 17 0 230784091 8127635456 31166 33554432000 4194304 4196468 140733572521824 139867231374512 139867789126274 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12402688 140733572523189 140733572523313 140733572523313 140733572526031 0
Current children cumulated CPU time: 10.75 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 126132 KiB
[startup+4.50083 s]
/proc/loadavg: 2.01 2.07 2.02 3/223 30330
/proc/meminfo: memFree=13044676/32770624 swapFree=67108860/67108860
[pid=30298] ppid=30295 vsize=113128 memory=1468 CPUtime=9.28 cores=0,2,4,6
/proc/30298/stat : 30298 (scop.sh) S 30295 30298 29789 0 -1 4202496 590 30344 0 0 0 0 907 21 20 0 1 0 230783741 115843072 367 33554432000 4194304 5098028 140734856314048 140734856310792 139827631936124 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11849728 140734856315969 140734856316167 140734856316167 140734856318925 0
/proc/30298/statm: 28282 367 311 221 0 87 0
Current children cumulated CPU time: 9.28 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1468 KiB
Child status: 0
Real time (s): 4.56797
CPU time (s): 10.786
CPU user time (s): 10.4974
CPU system time (s): 0.288533
CPU usage (%): 236.121
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 681076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.4974
system time used= 0.288533
maximum resident set size= 682436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52807
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5600
involuntary context switches= 46
# summary of solver processes directly reported to runsolver:
# pid: 30298
# total CPU time (s): 10.786
# total CPU user time (s): 10.4974
# total CPU system time (s): 0.288533
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043715 second user time and 0.099204 second system time
The end