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-23965-serial-file.bin HOME/instance-4305671-1534065631.xml
0.55/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: Sun Aug 12 11:20:31 CEST 2018
0.66/0.54 c PID: 23968
0.66/0.54 c IP: 172.20.3.106
0.66/0.54 c HOST: node106.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.42/1.00 c (0,0) Parsing End
1.66/1.01 c (0,0) CSP: 100 int (0 aux), 25 bool (0 aux), 76 ctr, max domain size 40
1.66/1.01 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.66/1.01 c (0,0) Constraint Name Generate Begin
1.66/1.01 c (0,0) Ctr:HOME/instance-4305671-1534065631.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.66/1.01 c (0,0) Constraint Name Generate End
1.66/1.01 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.66/1.01 c (0,0) CSP to CSPinCNF Begin
1.66/1.09 c (0,0) translated 8 (10%) constraints
1.66/1.10 c (0,0) translated 16 (20%) constraints
1.66/1.11 c (0,0) translated 23 (30%) constraints
1.81/1.11 c (0,0) translated 31 (40%) constraints
1.81/1.12 c (0,0) translated 38 (50%) constraints
1.81/1.12 c (0,0) translated 46 (60%) constraints
1.98/1.22 c (0,0) translated 54 (70%) constraints
1.98/1.29 c (0,0) translated 61 (80%) constraints
2.23/1.36 c (0,0) translated 69 (90%) constraints
2.23/1.39 c (0,0) translated 76 (100%) constraints
3.15/1.60 c (1,1) STATISTICS1:HOME/instance-4305671-1534065631.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,221,711,80,40,4,3,80:2;78:119;76:203;74:205;72:47;39:11;38:7;37:5;36:1;30:2;28:119;26:203;24:205;22:47;14:11;13:7;12:5;11:1;2:48;1:2,40:98;39:490;38:343;37:245;36:49;15:98;14:490;13:343;12:245;11:49;2:2016;1:50,4:300;3:120;2:240;1:51,3:1200;2:50;1:816;0:25,
3.15/1.60 c (1,1) ==========================================
3.15/1.60 c (1,1) Both Encoding selects:
3.15/1.60 c (1,1) Order
3.15/1.60 c (1,1) ==========================================
3.15/1.61 c (1,1) translated 72 (10%) constraints
3.15/1.62 c (1,1) translated 143 (20%) constraints
3.15/1.62 c (1,1) translated 214 (30%) constraints
3.15/1.63 c (1,1) translated 285 (40%) constraints
3.15/1.63 c (1,1) translated 356 (50%) constraints
3.15/1.64 c (1,1) translated 427 (60%) constraints
3.15/1.65 c (1,1) translated 498 (70%) constraints
3.15/1.65 c (1,1) translated 569 (80%) constraints
3.15/1.66 c (1,1) translated 640 (90%) constraints
3.15/1.67 c (1,1) translated 711 (100%) constraints
3.15/1.67 c (1,1) CSP to CSPinCNF End
3.15/1.67 c (1,1) CSP: 100 int (0 aux), 121 bool (96 aux), 711 ctr, max domain size 40
3.15/1.67 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.15/1.67 c (1,1) CSPinCNF Propagation Begin
3.49/1.75 c (1,1) 0 values, 24 unsatisfiable literals, and 3 valid clauses are removed
3.49/1.75 c (1,1) CSPinCNF Propagation End
3.49/1.75 c (1,1) CSP: 100 int (0 aux), 121 bool (96 aux), 708 ctr, max domain size 40
3.49/1.75 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.49/1.75 c (1,1) Simplify CSPinCNF Begin
3.85/1.85 c (1,1) Simplify CSPinCNF End
3.85/1.85 c (1,1) CSP: 100 int (0 aux), 1321 bool (1296 aux), 1908 ctr, max domain size 40
3.85/1.85 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.85/1.85 c (1,1) Calculate Precise Domain Begin
3.85/1.85 c (1,1) 0 values are removed by re-calculation
3.85/1.85 c (1,1) Calculate Precise Domain End
3.85/1.85 c (1,1) CSP: 100 int (0 aux), 1321 bool (1296 aux), 1908 ctr, max domain size 40
3.85/1.85 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.85/1.85 c (1,1) CSPinCNF to SatSolver Begin
4.18/1.91 c (1,1) 191 (10 %) CSP clauses are encoded (2608 SAT variables, 1379 SAT clauses)
4.18/1.91 c (1,1) 382 (20 %) CSP clauses are encoded (2608 SAT variables, 1570 SAT clauses)
4.18/1.98 c (1,1) 573 (30 %) CSP clauses are encoded (2608 SAT variables, 6895 SAT clauses)
4.57/2.03 c (1,1) 764 (40 %) CSP clauses are encoded (2608 SAT variables, 13308 SAT clauses)
4.57/2.08 c (1,1) 954 (50 %) CSP clauses are encoded (2608 SAT variables, 19804 SAT clauses)
4.88/2.12 c (1,1) 1145 (60 %) CSP clauses are encoded (2608 SAT variables, 26241 SAT clauses)
4.88/2.15 c (1,1) 1336 (70 %) CSP clauses are encoded (2608 SAT variables, 32368 SAT clauses)
4.88/2.19 c (1,1) 1527 (80 %) CSP clauses are encoded (2608 SAT variables, 38789 SAT clauses)
5.15/2.22 c (1,1) 1718 (90 %) CSP clauses are encoded (2608 SAT variables, 45131 SAT clauses)
5.15/2.25 c (1,1) 1908 (100 %) CSP clauses are encoded (2608 SAT variables, 51834 SAT clauses)
5.15/2.25 c (1,1) Launch Command will be: minisat_release
5.15/2.25 c (1,1) CSPinCNF to SatSolver End
5.15/2.25 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
5.15/2.28 c (1,1) STATISTICS2:HOME/instance-4305671-1534065631.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,1421,1908,80,40,4,3,80:2;78:119;76:203;74:205;72:47;39:11;38:7;37:5;36:1;30:2;28:119;26:203;24:205;22:47;14:11;13:7;12:5;11:1;2:48,40:98;39:489;38:343;37:245;36:49;15:98;14:489;13:343;12:245;11:49;2:4416;1:48,4:300;3:96;2:1464;1:48,3:1200;2:48;1:3216,
5.15/2.29 c (1,1) 2608 bool, 51856 clause
5.15/2.29 c (1,1) Export Begin
5.46/2.38 c (1,1) Export to HOME/scop-23965-serial-file.bin
5.46/2.38 c (1,1) Export End
5.46/2.39 c (1,1) Export File Size: 0.03 MB
5.46/2.39 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
5.46/2.39 c END-Prog: Sun Aug 12 11:20:33 CEST 2018
0.00/2.40 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23965-serial-file.bin
5.64/2.88 c (0,0) Read Serial File Begin
5.64/2.88 c (0,0) HOME/scop-23965-serial-file.bin
6.46/3.08 c (0,0) Read Serial File End
6.46/3.09
6.46/3.09 scop order+minisat_release (2018-07-31)
6.46/3.09 (Solving Process)
6.46/3.09
6.64/3.11 c BEGIN-Prog: Sun Aug 12 11:20:34 CEST 2018
6.64/3.11 c PID: 23983
6.64/3.11 c IP: 172.20.3.106
6.64/3.11 c HOST: node106.alineos.net
6.64/3.12 c (0,0) SatSolver.solve Begin
6.64/3.12 c (0,0) 0 bool, 0 clause
6.64/3.12 c (0,0) minisat_release HOME/instance-4305671-1534065631.xml-scop-23968.cnf
9.77/6.17 c (3,0) c This is COMiniSatPS.
9.77/6.17 c (3,0) c WARNING: for repeatability, setting FPU to use double precision
9.77/6.17 c (3,0) c ============================[ Problem Statistics ]=============================
9.77/6.17 c (3,0) c | |
9.77/6.17 c (3,0) c | Number of variables: 2608 |
9.77/6.17 c (3,0) c | Number of clauses: 51856 |
9.77/6.17 c (3,0) c | Parse time: 0.02 s |
9.77/6.17 c (3,0) c | Eliminated clauses: 0.01 Mb |
9.77/6.17 c (3,0) c Reduced to 2163 vars, 51196 cls (grow=0)
9.77/6.17 c (3,0) c No iterative elimination performed. (vars=2163, c/v ratio=23.7)
9.77/6.17 c (3,0) c | Simplification time: 0.05 s |
9.77/6.17 c (3,0) c | |
9.77/6.17 c (3,0) c ============================[ Search Statistics ]==============================
9.77/6.17 c (3,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
9.77/6.17 c (3,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
9.77/6.17 c (3,0) c ===============================================================================
9.77/6.17 c (3,0) c ===============================================================================
9.77/6.17 c (3,0) c restarts : 203
9.77/6.17 c (3,0) c conflicts : 66117 (21868 /sec)
9.77/6.17 c (3,0) c decisions : 163071 (0.00 % random) (53934 /sec)
9.77/6.17 c (3,0) c propagations : 6684436 (2210811 /sec)
9.77/6.17 c (3,0) c conflict literals : 2597828 (19.59 % deleted)
9.77/6.17 c (3,0) c CPU time : 3.02352 s
9.77/6.17 c (3,0)
9.77/6.17 c (3,0) s SATISFIABLE
9.77/6.18 c (3,0) SatSolver.solve End
9.77/6.18 c (3,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
9.77/6.18 c (3,0) Show results Begin
9.90/6.24 s SATISFIABLE
9.90/6.25 v <instantiation>
9.90/6.25 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] w[16] w[17] w[18] w[19] w[20] w[21] w[22] w[23] w[24] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] h[16] h[17] h[18] h[19] h[20] h[21] h[22] h[23] h[24] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15] r[16] r[17] r[18] r[19] r[20] r[21] r[22] r[23] r[24]</list>
9.90/6.25 v <values>29 0 3 33 18 3 0 27 10 27 5 22 14 18 11 5 14 10 3 5 14 27 39 22 16 0 2 6 13 3 2 0 7 2 9 5 13 6 0 0 11 0 13 5 8 8 3 3 6 6 11 3 2 7 9 7 11 13 4 13 5 11 2 11 3 5 4 12 2 5 13 12 1 5 6 3 13 9 2 3 3 2 2 11 4 3 2 2 3 2 4 6 2 1 3 5 4 4 2 2 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0</values>
9.90/6.25 v </instantiation>
9.90/6.25 c (3,0) Show results End
9.90/6.25 c (3,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
9.90/6.25 c (3,0) 3,3,STOP-AFTER(ALL)
9.90/6.25 c END-Prog: Sun Aug 12 11:20:37 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 (8388 MiB free)
memory of node 1: 16384 MiB (11650 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305671-1534065631/watcher-4305671-1534065631 -o /tmp/evaluation-result-4305671-1534065631/solver-4305671-1534065631 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23199 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305671-1534065631.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=23965, runsolver pid=23962
[startup+0.100134 s]*
/proc/loadavg: 2.06 2.03 2.05 3/222 23982
/proc/meminfo: memFree=20459644/32770624 swapFree=67108688/67108860
[pid=23965] ppid=23962 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23965/stat : 23965 (scop.sh) S 23962 23965 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224125941 115843072 349 33554432000 4194304 5098028 140732319971184 140732319968440 140698109022844 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29724672 140732319978561 140732319978759 140732319978759 140732319981517 0
/proc/23965/statm: 28282 349 296 221 0 87 0
[pid=23968] ppid=23965 vsize=15012476 memory=72220 CPUtime=0.11 cores=1,3,5,7
/proc/23968/stat : 23968 (java) S 23965 23965 23167 0 -1 1077944320 6665 0 0 0 9 2 0 0 20 0 15 0 224125942 15372775424 18055 33554432000 4194304 4196468 140729874036144 140729874018688 140249932328695 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
/proc/23968/statm: 3753119 18055 2772 1 0 3715579 0
[pid=23968/tid=23969] ppid=23965 vsize=15012476 memory=-6078870780940435391 CPUtime=0.08 cores=1,3,5,7
/proc/23968/task/23969/stat : 23969 (java) R 23965 23965 23167 0 -1 4202560 4759 0 0 0 7 1 0 0 20 0 15 0 224125942 15372775424 18055 33554432000 4194304 4196468 140729874036144 140249904119800 140249916409182 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23970] ppid=23965 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23970/stat : 23970 (java) S 23965 23965 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224125944 15372775424 18055 33554432000 4194304 4196468 140729874036144 140249936571536 140249932338901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23971] ppid=23965 vsize=15012476 memory=139829456369280 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23971/stat : 23971 (java) S 23965 23965 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224125944 15372775424 18055 33554432000 4194304 4196468 140729874036144 140249750727696 140249932338901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23972] ppid=23965 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23972/stat : 23972 (java) S 23965 23965 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224125944 15372775424 18055 33554432000 4194304 4196468 140729874036144 140249749674896 140249932338901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23973] ppid=23965 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23973/stat : 23973 (java) S 23965 23965 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224125944 15372775424 18055 33554432000 4194304 4196468 140729874036144 140249748622096 140249932338901 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23974] ppid=23965 vsize=15012476 memory=139829456369280 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23974/stat : 23974 (java) S 23965 23965 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224125945 15372775424 18055 33554432000 4194304 4196468 140729874036144 140248969664880 140249932339842 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23975] ppid=23965 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23975/stat : 23975 (java) S 23965 23965 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224125946 15372775424 18055 33554432000 4194304 4196468 140729874036144 140248466056224 140249932338901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23976] ppid=23965 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23976/stat : 23976 (java) S 23965 23965 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224125946 15372775424 18055 33554432000 4194304 4196468 140729874036144 140248197620592 140249932338901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23977] ppid=23965 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23977/stat : 23977 (java) S 23965 23965 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224125948 15372775424 18055 33554432000 4194304 4196468 140729874036144 140247823112016 140249932347291 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23978] ppid=23965 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23978/stat : 23978 (java) S 23965 23965 23167 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 224125948 15372775424 18055 33554432000 4194304 4196468 140729874036144 140248968612720 140249932339842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23979] ppid=23965 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23979/stat : 23979 (java) S 23965 23965 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224125948 15372775424 18055 33554432000 4194304 4196468 140729874036144 140248967559920 140249932339842 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23980] ppid=23965 vsize=15012476 memory=139829456369280 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23980/stat : 23980 (java) R 23965 23965 23167 0 -1 4202560 267 0 0 0 0 0 0 0 20 0 15 0 224125948 15372775424 18055 33554432000 4194304 4196468 140729874036144 140248966507120 140249910963453 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23981] ppid=23965 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23981/stat : 23981 (java) S 23965 23965 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224125949 15372775424 18055 33554432000 4194304 4196468 140729874036144 140247325207264 140249932338901 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23982] ppid=23965 vsize=15012476 memory=139829456369280 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23982/stat : 23982 (java) S 23965 23965 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224125949 15372775424 18055 33554432000 4194304 4196468 140729874036144 140248965454512 140249932339842 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73616 KiB
[startup+0.212261 s]*
/proc/loadavg: 2.06 2.03 2.05 3/222 23982
/proc/meminfo: memFree=20445552/32770624 swapFree=67108688/67108860
[pid=23965] ppid=23962 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23965/stat : 23965 (scop.sh) S 23962 23965 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224125941 115843072 349 33554432000 4194304 5098028 140732319971184 140732319968440 140698109022844 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29724672 140732319978561 140732319978759 140732319978759 140732319981517 0
/proc/23965/statm: 28282 349 296 221 0 87 0
[pid=23968] ppid=23965 vsize=15012476 memory=85820 CPUtime=0.25 cores=1,3,5,7
/proc/23968/stat : 23968 (java) S 23965 23965 23167 0 -1 1077944320 10275 0 0 0 23 2 0 0 20 0 15 0 224125942 15372775424 21455 33554432000 4194304 4196468 140729874036144 140729874018688 140249932328695 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
/proc/23968/statm: 3753119 21455 2930 1 0 3715579 0
[pid=23968/tid=23969] ppid=23965 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/23968/task/23969/stat : 23969 (java) R 23965 23965 23167 0 -1 4202560 8182 0 0 0 18 2 0 0 20 0 15 0 224125942 15372775424 21455 33554432000 4194304 4196468 140729874036144 140249904155088 140249422495816 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23970] ppid=23965 vsize=15012476 memory=546 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23970/stat : 23970 (java) S 23965 23965 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224125944 15372775424 21455 33554432000 4194304 4196468 140729874036144 140249936571536 140249932338901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23971] ppid=23965 vsize=15012476 memory=139829457561576 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23971/stat : 23971 (java) S 23965 23965 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224125944 15372775424 21455 33554432000 4194304 4196468 140729874036144 140249750727696 140249932338901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23972] ppid=23965 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23972/stat : 23972 (java) S 23965 23965 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224125944 15372775424 21455 33554432000 4194304 4196468 140729874036144 140249749674896 140249932338901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23973] ppid=23965 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23973/stat : 23973 (java) S 23965 23965 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224125944 15372775424 21455 33554432000 4194304 4196468 140729874036144 140249748622096 140249932338901 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23974] ppid=23965 vsize=15012476 memory=139829456369280 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23974/stat : 23974 (java) S 23965 23965 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224125945 15372775424 21455 33554432000 4194304 4196468 140729874036144 140248969664880 140249932339842 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23975] ppid=23965 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23975/stat : 23975 (java) S 23965 23965 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224125946 15372775424 21455 33554432000 4194304 4196468 140729874036144 140248466056224 140249932338901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23976] ppid=23965 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23976/stat : 23976 (java) S 23965 23965 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224125946 15372775424 21455 33554432000 4194304 4196468 140729874036144 140248197620592 140249932338901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23977] ppid=23965 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23977/stat : 23977 (java) S 23965 23965 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224125948 15372775424 21455 33554432000 4194304 4196468 140729874036144 140247823112016 140249932347291 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23978] ppid=23965 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23978/stat : 23978 (java) S 23965 23965 23167 0 -1 1077944384 338 0 0 0 0 0 0 0 20 0 15 0 224125948 15372775424 21455 33554432000 4194304 4196468 140729874036144 140248968612720 140249932339842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23979] ppid=23965 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23979/stat : 23979 (java) S 23965 23965 23167 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 224125948 15372775424 21455 33554432000 4194304 4196468 140729874036144 140248967559104 140249932338901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23980] ppid=23965 vsize=15012476 memory=139829456369280 CPUtime=0.03 cores=1,3,5,7
/proc/23968/task/23980/stat : 23980 (java) R 23965 23965 23167 0 -1 4202560 290 0 0 0 3 0 0 0 20 0 15 0 224125948 15372775424 21455 33554432000 4194304 4196468 140729874036144 140248966507120 140249924565822 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23981] ppid=23965 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23981/stat : 23981 (java) S 23965 23965 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224125949 15372775424 21455 33554432000 4194304 4196468 140729874036144 140247325207264 140249932338901 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23982] ppid=23965 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23982/stat : 23982 (java) S 23965 23965 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224125949 15372775424 21455 33554432000 4194304 4196468 140729874036144 140248965454512 140249932339842 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87216 KiB
[startup+0.310712 s]*
/proc/loadavg: 2.06 2.03 2.05 3/222 23982
/proc/meminfo: memFree=20441536/32770624 swapFree=67108688/67108860
[pid=23965] ppid=23962 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23965/stat : 23965 (scop.sh) S 23962 23965 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224125941 115843072 349 33554432000 4194304 5098028 140732319971184 140732319968440 140698109022844 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29724672 140732319978561 140732319978759 140732319978759 140732319981517 0
/proc/23965/statm: 28282 349 296 221 0 87 0
[pid=23968] ppid=23965 vsize=15012476 memory=89692 CPUtime=0.43 cores=1,3,5,7
/proc/23968/stat : 23968 (java) S 23965 23965 23167 0 -1 1077944320 10876 0 0 0 40 3 0 0 20 0 15 0 224125942 15372775424 22423 33554432000 4194304 4196468 140729874036144 140729874018688 140249932328695 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
/proc/23968/statm: 3753119 22423 2985 1 0 3715579 0
[pid=23968/tid=23969] ppid=23965 vsize=15012476 memory=7022364632946311227 CPUtime=0.29 cores=1,3,5,7
/proc/23968/task/23969/stat : 23969 (java) R 23965 23965 23167 0 -1 4202560 8614 0 0 0 27 2 0 0 20 0 15 0 224125942 15372775424 22423 33554432000 4194304 4196468 140729874036144 140249904123696 140249932340630 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23970] ppid=23965 vsize=15012476 memory=288292155783643526 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23970/stat : 23970 (java) S 23965 23965 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224125944 15372775424 22423 33554432000 4194304 4196468 140729874036144 140249936571536 140249932338901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23971] ppid=23965 vsize=15012476 memory=1186756 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23971/stat : 23971 (java) S 23965 23965 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224125944 15372775424 22423 33554432000 4194304 4196468 140729874036144 140249750727696 140249932338901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23972] ppid=23965 vsize=15012476 memory=279658608490864 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23972/stat : 23972 (java) S 23965 23965 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224125944 15372775424 22423 33554432000 4194304 4196468 140729874036144 140249749674896 140249932338901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23973] ppid=23965 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23973/stat : 23973 (java) S 23965 23965 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224125944 15372775424 22423 33554432000 4194304 4196468 140729874036144 140249748622096 140249932338901 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23974] ppid=23965 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23974/stat : 23974 (java) S 23965 23965 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224125945 15372775424 22423 33554432000 4194304 4196468 140729874036144 140248969664880 140249932339842 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23975] ppid=23965 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23975/stat : 23975 (java) S 23965 23965 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224125946 15372775424 22423 33554432000 4194304 4196468 140729874036144 140248466056224 140249932338901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23976] ppid=23965 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23976/stat : 23976 (java) S 23965 23965 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224125946 15372775424 22423 33554432000 4194304 4196468 140729874036144 140248197620592 140249932338901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23977] ppid=23965 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23977/stat : 23977 (java) S 23965 23965 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224125948 15372775424 22423 33554432000 4194304 4196468 140729874036144 140247823112016 140249932347291 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23978] ppid=23965 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23968/task/23978/stat : 23978 (java) R 23965 23965 23167 0 -1 4202560 449 0 0 0 3 0 0 0 20 0 15 0 224125948 15372775424 22423 33554432000 4194304 4196468 140729874036144 140248968612720 140249925313737 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23979] ppid=23965 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23968/task/23979/stat : 23979 (java) R 23965 23965 23167 0 -1 1077944384 147 0 0 0 1 0 0 0 20 0 15 0 224125948 15372775424 22423 33554432000 4194304 4196468 140729874036144 140248967559920 140249932339842 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23980] ppid=23965 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23968/task/23980/stat : 23980 (java) R 23965 23965 23167 0 -1 4202560 332 0 0 0 7 0 0 0 20 0 15 0 224125948 15372775424 22423 33554432000 4194304 4196468 140729874036144 140248966507120 140249932350042 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23981] ppid=23965 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23981/stat : 23981 (java) S 23965 23965 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224125949 15372775424 22423 33554432000 4194304 4196468 140729874036144 140247325207264 140249932338901 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23982] ppid=23965 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23982/stat : 23982 (java) S 23965 23965 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224125949 15372775424 22423 33554432000 4194304 4196468 140729874036144 140248965454512 140249932339842 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91088 KiB
[startup+0.705178 s]
/proc/loadavg: 2.06 2.03 2.05 3/222 23982
/proc/meminfo: memFree=20417476/32770624 swapFree=67108688/67108860
[pid=23965] ppid=23962 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23965/stat : 23965 (scop.sh) S 23962 23965 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224125941 115843072 349 33554432000 4194304 5098028 140732319971184 140732319968440 140698109022844 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29724672 140732319978561 140732319978759 140732319978759 140732319981517 0
/proc/23965/statm: 28282 349 296 221 0 87 0
[pid=23968] ppid=23965 vsize=15020872 memory=129772 CPUtime=1.02 cores=1,3,5,7
/proc/23968/stat : 23968 (java) S 23965 23965 23167 0 -1 1077944320 18122 0 0 0 97 5 0 0 20 0 15 0 224125942 15381372928 32443 33554432000 4194304 4196468 140729874036144 140729874018688 140249932328695 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
/proc/23968/statm: 3755218 32443 3156 1 0 3716603 0
[pid=23968/tid=23969] ppid=23965 vsize=15020872 memory=868 CPUtime=0.67 cores=1,3,5,7
/proc/23968/task/23969/stat : 23969 (java) R 23965 23965 23167 0 -1 4202560 15364 0 0 0 63 4 0 0 20 0 15 0 224125942 15381372928 32443 33554432000 4194304 4196468 140729874036144 140249904155488 140249932340630 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23970] ppid=23965 vsize=15020872 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23970/stat : 23970 (java) S 23965 23965 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224125944 15381372928 32443 33554432000 4194304 4196468 140729874036144 140249936571536 140249932338901 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23971] ppid=23965 vsize=15020872 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23971/stat : 23971 (java) S 23965 23965 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224125944 15381372928 32443 33554432000 4194304 4196468 140729874036144 140249750727696 140249932338901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23972] ppid=23965 vsize=15020872 memory=748 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23972/stat : 23972 (java) S 23965 23965 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224125944 15381372928 32443 33554432000 4194304 4196468 140729874036144 140249749674896 140249932338901 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23973] ppid=23965 vsize=15020872 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23973/stat : 23973 (java) S 23965 23965 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224125944 15381372928 32443 33554432000 4194304 4196468 140729874036144 140249748622096 140249932338901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23974] ppid=23965 vsize=15020872 memory=6580 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23974/stat : 23974 (java) S 23965 23965 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224125945 15381372928 32443 33554432000 4194304 4196468 140729874036144 140248969664880 140249932339842 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23975] ppid=23965 vsize=15020872 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23975/stat : 23975 (java) S 23965 23965 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224125946 15381372928 32443 33554432000 4194304 4196468 140729874036144 140248466056224 140249932338901 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23976] ppid=23965 vsize=15020872 memory=4452 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23976/stat : 23976 (java) S 23965 23965 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224125946 15381372928 32443 33554432000 4194304 4196468 140729874036144 140248197620592 140249932338901 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23977] ppid=23965 vsize=15020872 memory=3732 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23977/stat : 23977 (java) S 23965 23965 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224125948 15381372928 32443 33554432000 4194304 4196468 140729874036144 140247823112016 140249932347291 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23978] ppid=23965 vsize=15020872 memory=12668 CPUtime=0.07 cores=1,3,5,7
/proc/23968/task/23978/stat : 23978 (java) S 23965 23965 23167 0 -1 1077944384 518 0 0 0 7 0 0 0 20 0 15 0 224125948 15381372928 32443 33554432000 4194304 4196468 140729874036144 140248968612720 140249932339842 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23979] ppid=23965 vsize=15020872 memory=1072 CPUtime=0.09 cores=1,3,5,7
/proc/23968/task/23979/stat : 23979 (java) S 23965 23965 23167 0 -1 1077944384 417 0 0 0 9 0 0 0 20 0 15 0 224125948 15381372928 32443 33554432000 4194304 4196468 140729874036144 140248967559920 140249932339842 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23980] ppid=23965 vsize=15020872 memory=14888 CPUtime=0.16 cores=1,3,5,7
/proc/23968/task/23980/stat : 23980 (java) R 23965 23965 23167 0 -1 4202560 486 0 0 0 16 0 0 0 20 0 15 0 224125948 15381372928 32443 33554432000 4194304 4196468 140729874036144 140248966507120 140249932340630 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23981] ppid=23965 vsize=15020872 memory=3316 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23981/stat : 23981 (java) S 23965 23965 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224125949 15381372928 32443 33554432000 4194304 4196468 140729874036144 140247325207264 140249932338901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
[pid=23968/tid=23982] ppid=23965 vsize=15020872 memory=15768 CPUtime=0 cores=1,3,5,7
/proc/23968/task/23982/stat : 23982 (java) S 23965 23965 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224125949 15381372928 32443 33554432000 4194304 4196468 140729874036144 140248965454512 140249932339842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34279424 140729874039815 140729874040113 140729874040113 140729874042831 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131168 KiB
[startup+1.50086 s]
/proc/loadavg: 2.06 2.03 2.05 5/222 23982
/proc/meminfo: memFree=20432440/32770624 swapFree=67108688/67108860
[pid=23965] ppid=23962 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23965/stat : 23965 (scop.sh) S 23962 23965 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224125941 115843072 349 33554432000 4194304 5098028 140732319971184 140732319968440 140698109022844 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29724672 140732319978561 140732319978759 140732319978759 140732319981517 0
/proc/23965/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/23983/task/23999/stat : 23999 (java) S 23965 23965 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224126256 8261857280 29872 33554432000 4194304 4196468 140732922467056 140126731101760 140127260946201 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=24001] ppid=23965 vsize=8068220 memory=1 CPUtime=0 cores=1,3,5,7
/proc/23983/task/24001/stat : 24001 (java) S 23965 23965 23167 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224126256 8261857280 29872 33554432000 4194304 4196468 140732922467056 140124448862352 140127260943517 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=24002] ppid=23965 vsize=8068220 memory=84 CPUtime=0 cores=1,3,5,7
/proc/23983/task/24002/stat : 24002 (java) S 23965 23965 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224126256 8261857280 29872 33554432000 4194304 4196468 140732922467056 140124583083280 140127260943517 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=24003] ppid=23965 vsize=8068220 memory=660 CPUtime=0 cores=1,3,5,7
/proc/23983/task/24003/stat : 24003 (java) S 23965 23965 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224126258 8261857280 29872 33554432000 4194304 4196468 140732922467056 140124180438048 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
Current children cumulated CPU time: 8.46 s
Current children cumulated vsize: 8219324 KiB
Current children cumulated memory: 137972 KiB
[startup+5.60084 s]
/proc/loadavg: 2.05 2.03 2.05 3/227 24003
/proc/meminfo: memFree=20426280/32770624 swapFree=67108688/67108860
[pid=23965] ppid=23962 vsize=113128 memory=1472 CPUtime=5.64 cores=1,3,5,7
/proc/23965/stat : 23965 (scop.sh) S 23962 23965 23167 0 -1 4202496 591 25907 0 0 0 0 550 14 20 0 1 0 224125941 115843072 368 33554432000 4194304 5098028 140732319971184 140732319967928 140698109022844 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29724672 140732319978561 140732319978759 140732319978759 140732319981517 0
/proc/23965/statm: 28282 368 311 221 0 87 0
[pid=23983] ppid=23965 vsize=8068220 memory=119488 CPUtime=1.17 cores=1,3,5,7
/proc/23983/stat : 23983 (java) S 23965 23965 23167 0 -1 1077944320 17524 0 0 0 111 6 0 0 20 0 19 0 224126182 8261857280 29872 33554432000 4194304 4196468 140732922467056 140732922449600 140127260921591 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
/proc/23983/statm: 2017055 29872 3146 1 0 1978454 0
[pid=23998] ppid=23983 vsize=37976 memory=21940 CPUtime=2.45 cores=1,3,5,7
/proc/23998/stat : 23998 (minisat_release) R 23983 23965 23167 0 -1 4202496 7195 0 0 0 245 0 0 0 20 0 1 0 224126255 38887424 5485 33554432000 4194304 4308513 140728319134640 140728319132088 139782840804166 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 39534592 140728319140980 140728319141078 140728319141078 140728319143877 0
/proc/23998/statm: 9494 5485 341 28 0 5734 0
[pid=23983/tid=23984] ppid=23965 vsize=8068220 memory=1472 CPUtime=0.76 cores=1,3,5,7
/proc/23983/task/23984/stat : 23984 (java) S 23965 23965 23167 0 -1 1077944384 14610 0 0 0 71 5 0 0 20 0 19 0 224126182 8261857280 29872 33554432000 4194304 4196468 140732922467056 140127232761744 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23985] ppid=23965 vsize=8068220 memory=119488 CPUtime=0 cores=1,3,5,7
/proc/23983/task/23985/stat : 23985 (java) S 23965 23965 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224126183 8261857280 29872 33554432000 4194304 4196468 140732922467056 140127265163536 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23986] ppid=23965 vsize=8068220 memory=3868 CPUtime=0 cores=1,3,5,7
/proc/23983/task/23986/stat : 23986 (java) S 23965 23965 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224126183 8261857280 29872 33554432000 4194304 4196468 140732922467056 140127070927248 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23987] ppid=23965 vsize=8068220 memory=61020 CPUtime=0 cores=1,3,5,7
/proc/23983/task/23987/stat : 23987 (java) S 23965 23965 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224126183 8261857280 29872 33554432000 4194304 4196468 140732922467056 140127069874704 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23988] ppid=23965 vsize=8068220 memory=119488 CPUtime=0 cores=1,3,5,7
/proc/23983/task/23988/stat : 23988 (java) S 23965 23965 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224126183 8261857280 29872 33554432000 4194304 4196468 140732922467056 140127068822160 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23989] ppid=23965 vsize=8068220 memory=13680 CPUtime=0 cores=1,3,5,7
/proc/23983/task/23989/stat : 23989 (java) S 23965 23965 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224126184 8261857280 29872 33554432000 4194304 4196468 140732922467056 140126639290864 140127260932738 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23990] ppid=23965 vsize=8068220 memory=-7025448733113094249 CPUtime=0 cores=1,3,5,7
/proc/23983/task/23990/stat : 23990 (java) S 23965 23965 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224126185 8261857280 29872 33554432000 4194304 4196468 140732922467056 140126126597536 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23991] ppid=23965 vsize=8068220 memory=8326441210107759524 CPUtime=0 cores=1,3,5,7
/proc/23983/task/23991/stat : 23991 (java) S 23965 23965 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224126185 8261857280 29872 33554432000 4194304 4196468 140732922467056 140125858162160 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23992] ppid=23965 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23983/task/23992/stat : 23992 (java) S 23965 23965 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224126187 8261857280 29872 33554432000 4194304 4196468 140732922467056 140125483653840 140127260940187 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23993] ppid=23965 vsize=8068220 memory=279658608676272 CPUtime=0.07 cores=1,3,5,7
/proc/23983/task/23993/stat : 23993 (java) S 23965 23965 23167 0 -1 1077944384 665 0 0 0 7 0 0 0 20 0 19 0 224126187 8261857280 29872 33554432000 4194304 4196468 140732922467056 140126638237680 140127260932738 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23994] ppid=23965 vsize=8068220 memory=7954035789022126930 CPUtime=0.09 cores=1,3,5,7
/proc/23983/task/23994/stat : 23994 (java) S 23965 23965 23167 0 -1 1077944384 274 0 0 0 9 0 0 0 20 0 19 0 224126187 8261857280 29872 33554432000 4194304 4196468 140732922467056 140126637185136 140127260932738 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23995] ppid=23965 vsize=8068220 memory=7309178837960058450 CPUtime=0.21 cores=1,3,5,7
/proc/23983/task/23995/stat : 23995 (java) S 23965 23965 23167 0 -1 1077944384 585 0 0 0 21 0 0 0 20 0 19 0 224126187 8261857280 29872 33554432000 4194304 4196468 140732922467056 140126636132592 140127260932738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23996] ppid=23965 vsize=8068220 memory=7300704776819335744 CPUtime=0 cores=1,3,5,7
/proc/23983/task/23996/stat : 23996 (java) S 23965 23965 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224126188 8261857280 29872 33554432000 4194304 4196468 140732922467056 140124985748064 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23997] ppid=23965 vsize=8068220 memory=4049357534731265349 CPUtime=0 cores=1,3,5,7
/proc/23983/task/23997/stat : 23997 (java) S 23965 23965 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224126188 8261857280 29872 33554432000 4194304 4196468 140732922467056 140126635080496 140127260932738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23999] ppid=23965 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23983/task/23999/stat : 23999 (java) S 23965 23965 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224126256 8261857280 29872 33554432000 4194304 4196468 140732922467056 140126731101760 140127260946201 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=24001] ppid=23965 vsize=8068220 memory=2276 CPUtime=0 cores=1,3,5,7
/proc/23983/task/24001/stat : 24001 (java) S 23965 23965 23167 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224126256 8261857280 29872 33554432000 4194304 4196468 140732922467056 140124448862352 140127260943517 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=24002] ppid=23965 vsize=8068220 memory=30754 CPUtime=0 cores=1,3,5,7
/proc/23983/task/24002/stat : 24002 (java) S 23965 23965 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224126256 8261857280 29872 33554432000 4194304 4196468 140732922467056 140124583083280 140127260943517 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=24003] ppid=23965 vsize=8068220 memory=139829304237905 CPUtime=0 cores=1,3,5,7
/proc/23983/task/24003/stat : 24003 (java) S 23965 23965 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224126258 8261857280 29872 33554432000 4194304 4196468 140732922467056 140124180438048 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
Current children cumulated CPU time: 9.26 s
Current children cumulated vsize: 8219324 KiB
Current children cumulated memory: 142900 KiB
[startup+6.00098 s]*
/proc/loadavg: 2.05 2.03 2.05 3/227 24003
/proc/meminfo: memFree=20423488/32770624 swapFree=67108688/67108860
[pid=23965] ppid=23962 vsize=113128 memory=1472 CPUtime=5.64 cores=1,3,5,7
/proc/23965/stat : 23965 (scop.sh) S 23962 23965 23167 0 -1 4202496 591 25907 0 0 0 0 550 14 20 0 1 0 224125941 115843072 368 33554432000 4194304 5098028 140732319971184 140732319967928 140698109022844 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29724672 140732319978561 140732319978759 140732319978759 140732319981517 0
/proc/23965/statm: 28282 368 311 221 0 87 0
[pid=23983] ppid=23965 vsize=8068220 memory=119488 CPUtime=1.17 cores=1,3,5,7
/proc/23983/stat : 23983 (java) S 23965 23965 23167 0 -1 1077944320 17524 0 0 0 111 6 0 0 20 0 19 0 224126182 8261857280 29872 33554432000 4194304 4196468 140732922467056 140732922449600 140127260921591 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
/proc/23983/statm: 2017055 29872 3146 1 0 1978454 0
[pid=23998] ppid=23983 vsize=37976 memory=21940 CPUtime=2.86 cores=1,3,5,7
/proc/23998/stat : 23998 (minisat_release) R 23983 23965 23167 0 -1 4202496 7360 0 0 0 286 0 0 0 20 0 1 0 224126255 38887424 5485 33554432000 4194304 4308513 140728319134640 140728319132088 139782840804204 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 39534592 140728319140980 140728319141078 140728319141078 140728319143877 0
/proc/23998/statm: 9494 5485 341 28 0 5734 0
[pid=23983/tid=23984] ppid=23965 vsize=8068220 memory=8462108013221118012 CPUtime=0.76 cores=1,3,5,7
/proc/23983/task/23984/stat : 23984 (java) S 23965 23965 23167 0 -1 1077944384 14610 0 0 0 71 5 0 0 20 0 19 0 224126182 8261857280 29872 33554432000 4194304 4196468 140732922467056 140127232761744 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23985] ppid=23965 vsize=8068220 memory=288291094943510899 CPUtime=0 cores=1,3,5,7
/proc/23983/task/23985/stat : 23985 (java) S 23965 23965 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224126183 8261857280 29872 33554432000 4194304 4196468 140732922467056 140127265163536 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23986] ppid=23965 vsize=8068220 memory=1215741 CPUtime=0 cores=1,3,5,7
/proc/23983/task/23986/stat : 23986 (java) S 23965 23965 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224126183 8261857280 29872 33554432000 4194304 4196468 140732922467056 140127070927248 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23987] ppid=23965 vsize=8068220 memory=4026531960 CPUtime=0 cores=1,3,5,7
/proc/23983/task/23987/stat : 23987 (java) S 23965 23965 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224126183 8261857280 29872 33554432000 4194304 4196468 140732922467056 140127069874704 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23988] ppid=23965 vsize=8068220 memory=15986 CPUtime=0 cores=1,3,5,7
/proc/23983/task/23988/stat : 23988 (java) S 23965 23965 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224126183 8261857280 29872 33554432000 4194304 4196468 140732922467056 140127068822160 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23989] ppid=23965 vsize=8068220 memory=288230376151711743 CPUtime=0 cores=1,3,5,7
/proc/23983/task/23989/stat : 23989 (java) S 23965 23965 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224126184 8261857280 29872 33554432000 4194304 4196468 140732922467056 140126639290864 140127260932738 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23990] ppid=23965 vsize=8068220 memory=139829456369280 CPUtime=0 cores=1,3,5,7
/proc/23983/task/23990/stat : 23990 (java) S 23965 23965 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224126185 8261857280 29872 33554432000 4194304 4196468 140732922467056 140126126597536 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23991] ppid=23965 vsize=8068220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23983/task/23991/stat : 23991 (java) S 23965 23965 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224126185 8261857280 29872 33554432000 4194304 4196468 140732922467056 140125858162160 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23992] ppid=23965 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23983/task/23992/stat : 23992 (java) S 23965 23965 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224126187 8261857280 29872 33554432000 4194304 4196468 140732922467056 140125483653840 140127260940187 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23993] ppid=23965 vsize=8068220 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23983/task/23993/stat : 23993 (java) S 23965 23965 23167 0 -1 1077944384 665 0 0 0 7 0 0 0 20 0 19 0 224126187 8261857280 29872 33554432000 4194304 4196468 140732922467056 140126638237680 140127260932738 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23994] ppid=23965 vsize=8068220 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23983/task/23994/stat : 23994 (java) S 23965 23965 23167 0 -1 1077944384 274 0 0 0 9 0 0 0 20 0 19 0 224126187 8261857280 29872 33554432000 4194304 4196468 140732922467056 140126637185136 140127260932738 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23995] ppid=23965 vsize=8068220 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/23983/task/23995/stat : 23995 (java) S 23965 23965 23167 0 -1 1077944384 585 0 0 0 21 0 0 0 20 0 19 0 224126187 8261857280 29872 33554432000 4194304 4196468 140732922467056 140126636132592 140127260932738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23996] ppid=23965 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23983/task/23996/stat : 23996 (java) S 23965 23965 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224126188 8261857280 29872 33554432000 4194304 4196468 140732922467056 140124985748064 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23997] ppid=23965 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23983/task/23997/stat : 23997 (java) S 23965 23965 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224126188 8261857280 29872 33554432000 4194304 4196468 140732922467056 140126635080496 140127260932738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23999] ppid=23965 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23983/task/23999/stat : 23999 (java) S 23965 23965 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224126256 8261857280 29872 33554432000 4194304 4196468 140732922467056 140126731101760 140127260946201 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=24001] ppid=23965 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23983/task/24001/stat : 24001 (java) S 23965 23965 23167 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224126256 8261857280 29872 33554432000 4194304 4196468 140732922467056 140124448862352 140127260943517 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=24002] ppid=23965 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23983/task/24002/stat : 24002 (java) S 23965 23965 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224126256 8261857280 29872 33554432000 4194304 4196468 140732922467056 140124583083280 140127260943517 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=24003] ppid=23965 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23983/task/24003/stat : 24003 (java) S 23965 23965 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224126258 8261857280 29872 33554432000 4194304 4196468 140732922467056 140124180438048 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
Current children cumulated CPU time: 9.67 s
Current children cumulated vsize: 8219324 KiB
Current children cumulated memory: 142900 KiB
[startup+6.20085 s]
/proc/loadavg: 2.05 2.03 2.05 3/227 24003
/proc/meminfo: memFree=20423488/32770624 swapFree=67108688/67108860
[pid=23965] ppid=23962 vsize=113128 memory=1472 CPUtime=5.64 cores=1,3,5,7
/proc/23965/stat : 23965 (scop.sh) S 23962 23965 23167 0 -1 4202496 591 25907 0 0 0 0 550 14 20 0 1 0 224125941 115843072 368 33554432000 4194304 5098028 140732319971184 140732319967928 140698109022844 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29724672 140732319978561 140732319978759 140732319978759 140732319981517 0
/proc/23965/statm: 28282 368 311 221 0 87 0
[pid=23983] ppid=23965 vsize=7937144 memory=120028 CPUtime=4.26 cores=1,3,5,7
/proc/23983/stat : 23983 (java) S 23965 23965 23167 0 -1 1077944320 17699 7392 0 0 117 7 302 0 20 0 17 0 224126182 8127635456 30007 33554432000 4194304 4196468 140732922467056 140732922449600 140127260921591 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
/proc/23983/statm: 1984286 30007 3150 1 0 1945685 0
[pid=23983/tid=23984] ppid=23965 vsize=7937144 memory=0 CPUtime=3.79 cores=1,3,5,7
/proc/23983/task/23984/stat : 23984 (java) R 23965 23965 23167 0 -1 4202560 14696 7392 0 0 72 5 302 0 20 0 17 0 224126182 8127635456 30007 33554432000 4194304 4196468 140732922467056 140127232757488 140127247168888 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23985] ppid=23965 vsize=7937144 memory=139829304727952 CPUtime=3.02 cores=1,3,5,7
/proc/23983/task/23985/stat : 23985 (java) S 23965 23965 23167 0 -1 1077944384 1 7392 0 0 0 0 302 0 20 0 17 0 224126183 8127635456 30007 33554432000 4194304 4196468 140732922467056 140127265163536 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23986] ppid=23965 vsize=7937144 memory=6656426216303648864 CPUtime=3.02 cores=1,3,5,7
/proc/23983/task/23986/stat : 23986 (java) S 23965 23965 23167 0 -1 1077944384 1 7392 0 0 0 0 302 0 20 0 17 0 224126183 8127635456 30007 33554432000 4194304 4196468 140732922467056 140127070927248 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23987] ppid=23965 vsize=7937144 memory=0 CPUtime=3.02 cores=1,3,5,7
/proc/23983/task/23987/stat : 23987 (java) S 23965 23965 23167 0 -1 1077944384 1 7392 0 0 0 0 302 0 20 0 17 0 224126183 8127635456 30007 33554432000 4194304 4196468 140732922467056 140127069874704 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23988] ppid=23965 vsize=7937144 memory=0 CPUtime=3.02 cores=1,3,5,7
/proc/23983/task/23988/stat : 23988 (java) S 23965 23965 23167 0 -1 1077944384 2 7392 0 0 0 0 302 0 20 0 17 0 224126183 8127635456 30007 33554432000 4194304 4196468 140732922467056 140127068822160 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23989] ppid=23965 vsize=7937144 memory=0 CPUtime=3.02 cores=1,3,5,7
/proc/23983/task/23989/stat : 23989 (java) S 23965 23965 23167 0 -1 1077944384 5 7392 0 0 0 0 302 0 20 0 17 0 224126184 8127635456 30007 33554432000 4194304 4196468 140732922467056 140126639290864 140127260932738 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23990] ppid=23965 vsize=7937144 memory=0 CPUtime=3.02 cores=1,3,5,7
/proc/23983/task/23990/stat : 23990 (java) S 23965 23965 23167 0 -1 1077944384 13 7392 0 0 0 0 302 0 20 0 17 0 224126185 8127635456 30007 33554432000 4194304 4196468 140732922467056 140126126597536 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23991] ppid=23965 vsize=7937144 memory=0 CPUtime=3.02 cores=1,3,5,7
/proc/23983/task/23991/stat : 23991 (java) S 23965 23965 23167 0 -1 1077944384 1 7392 0 0 0 0 302 0 20 0 17 0 224126185 8127635456 30007 33554432000 4194304 4196468 140732922467056 140125858162160 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23992] ppid=23965 vsize=7937144 memory=0 CPUtime=3.02 cores=1,3,5,7
/proc/23983/task/23992/stat : 23992 (java) S 23965 23965 23167 0 -1 1077944384 3 7392 0 0 0 0 302 0 20 0 17 0 224126187 8127635456 30007 33554432000 4194304 4196468 140732922467056 140125483653840 140127260940187 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23993] ppid=23965 vsize=7937144 memory=0 CPUtime=3.1 cores=1,3,5,7
/proc/23983/task/23993/stat : 23993 (java) S 23965 23965 23167 0 -1 1077944384 675 7392 0 0 8 0 302 0 20 0 17 0 224126187 8127635456 30007 33554432000 4194304 4196468 140732922467056 140126638237680 140127260932738 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23994] ppid=23965 vsize=7937144 memory=0 CPUtime=3.12 cores=1,3,5,7
/proc/23983/task/23994/stat : 23994 (java) S 23965 23965 23167 0 -1 1077944384 279 7392 0 0 10 0 302 0 20 0 17 0 224126187 8127635456 30007 33554432000 4194304 4196468 140732922467056 140126637185136 140127260932738 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23995] ppid=23965 vsize=7937144 memory=0 CPUtime=3.25 cores=1,3,5,7
/proc/23983/task/23995/stat : 23995 (java) S 23965 23965 23167 0 -1 1077944384 616 7392 0 0 23 0 302 0 20 0 17 0 224126187 8127635456 30007 33554432000 4194304 4196468 140732922467056 140126636132592 140127260932738 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23996] ppid=23965 vsize=7937144 memory=0 CPUtime=3.02 cores=1,3,5,7
/proc/23983/task/23996/stat : 23996 (java) S 23965 23965 23167 0 -1 1077944384 3 7392 0 0 0 0 302 0 20 0 17 0 224126188 8127635456 30007 33554432000 4194304 4196468 140732922467056 140124985748064 140127260931797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23997] ppid=23965 vsize=7937144 memory=0 CPUtime=3.02 cores=1,3,5,7
/proc/23983/task/23997/stat : 23997 (java) S 23965 23965 23167 0 -1 1077944384 1 7392 0 0 0 0 302 0 20 0 17 0 224126188 8127635456 30007 33554432000 4194304 4196468 140732922467056 140126635080496 140127260932738 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=23999] ppid=23965 vsize=7937144 memory=0 CPUtime=3.02 cores=1,3,5,7
/proc/23983/task/23999/stat : 23999 (java) S 23965 23965 23167 0 -1 1077944384 23 7392 0 0 0 0 302 0 20 0 17 0 224126256 8127635456 30007 33554432000 4194304 4196468 140732922467056 140126731100944 140127260932738 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
[pid=23983/tid=24003] ppid=23965 vsize=7937144 memory=0 CPUtime=3.02 cores=1,3,5,7
/proc/23983/task/24003/stat : 24003 (java) S 23965 23965 23167 0 -1 1077944384 10 7392 0 0 0 0 302 0 20 0 17 0 224126258 8127635456 30007 33554432000 4194304 4196468 140732922467056 140124180439856 140127260932738 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33857536 140732922471605 140732922471729 140732922471729 140732922474447 0
Current children cumulated CPU time: 9.9 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 121500 KiB
Child status: 0
Real time (s): 6.26506
CPU time (s): 10.0365
CPU user time (s): 9.80422
CPU system time (s): 0.232251
CPU usage (%): 160.198
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 373884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.80423
system time used= 0.232251
maximum resident set size= 378776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51877
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5905
involuntary context switches= 46
# summary of solver processes directly reported to runsolver:
# pid: 23965
# total CPU time (s): 10.0365
# total CPU user time (s): 9.80422
# total CPU system time (s): 0.232251
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.066789 second user time and 0.109022 second system time
The end