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-23548-serial-file.bin HOME/instance-4305751-1534075230.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.55 c BEGIN-Prog: Sun Aug 12 14:00:31 CEST 2018
0.66/0.55 c PID: 23551
0.66/0.55 c IP: 172.20.3.103
0.66/0.55 c HOST: node103.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.49/0.95 c (0,0) Parsing End
1.49/0.96 c (0,0) CSP: 144 int (0 aux), 0 bool (0 aux), 109 ctr, max domain size 12
1.49/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.49/0.96 c (0,0) Constraint Name Generate Begin
1.49/0.97 c (0,0) Ctr:HOME/instance-4305751-1534075230.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
1.49/0.97 c (0,0) Constraint Name Generate End
1.49/0.97 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.49/0.97 c (0,0) CSP to CSPinCNF Begin
2.26/1.26 c (0,0) translated 11 (10%) constraints
2.26/1.28 c (0,0) translated 22 (20%) constraints
2.84/1.43 c (0,0) translated 33 (30%) constraints
3.37/1.61 c (1,1) translated 44 (40%) constraints
3.37/1.65 c (1,1) translated 55 (50%) constraints
3.37/1.68 c (1,1) translated 66 (60%) constraints
3.67/1.71 c (1,1) translated 77 (70%) constraints
3.67/1.75 c (1,1) translated 88 (80%) constraints
3.67/1.78 c (1,1) translated 99 (90%) constraints
3.67/1.80 c (1,1) translated 109 (100%) constraints
4.05/1.87 c (1,1) STATISTICS1:HOME/instance-4305751-1534075230.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,427,2422,12,12,12,2,12:370;11:48;10:85;4:36;3:36,12:3085;11:207;10:306;4:360;3:288;2:1209,12:12;5:36;4:67;3:1141;2:1147;1:19,2:575;1:5169;0:72,
4.05/1.87 c (1,1) ==========================================
4.05/1.87 c (1,1) Both Encoding selects:
4.05/1.87 c (1,1) Order
4.05/1.87 c (1,1) ==========================================
4.38/1.90 c (1,1) translated 243 (10%) constraints
4.38/1.92 c (1,1) translated 485 (20%) constraints
4.38/1.97 c (1,1) translated 727 (30%) constraints
4.80/2.02 c (1,1) translated 969 (40%) constraints
4.80/2.06 c (1,1) translated 1211 (50%) constraints
4.80/2.10 c (1,1) translated 1454 (60%) constraints
5.10/2.11 c (1,1) translated 1696 (70%) constraints
5.10/2.12 c (1,1) translated 1938 (80%) constraints
5.10/2.13 c (1,1) translated 2180 (90%) constraints
5.10/2.14 c (1,1) translated 2422 (100%) constraints
5.10/2.14 c (1,1) CSP to CSPinCNF End
5.10/2.15 c (1,1) CSP: 144 int (0 aux), 1147 bool (1147 aux), 4150 ctr, max domain size 12
5.10/2.15 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
5.10/2.15 c (1,1) CSPinCNF Propagation Begin
5.40/2.22 c (1,1) 39 values, 326 unsatisfiable literals, and 234 valid clauses are removed
5.40/2.22 c (1,1) CSPinCNF Propagation End
5.40/2.22 c (1,1) CSP: 174 int (30 aux), 1117 bool (1117 aux), 3916 ctr, max domain size 12
5.40/2.23 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
5.40/2.23 c (1,1) Simplify CSPinCNF Begin
5.40/2.28 c (1,1) Simplify CSPinCNF End
5.40/2.28 c (1,1) CSP: 174 int (30 aux), 2110 bool (2110 aux), 4909 ctr, max domain size 12
5.40/2.28 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
5.40/2.28 c (1,1) Calculate Precise Domain Begin
5.40/2.28 c (1,1) 0 values are removed by re-calculation
5.40/2.28 c (1,1) Calculate Precise Domain End
5.40/2.29 c (1,1) CSP: 174 int (30 aux), 2110 bool (2110 aux), 4909 ctr, max domain size 12
5.40/2.29 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
5.40/2.29 c (1,1) CSPinCNF to SatSolver Begin
5.72/2.39 c (1,1) 491 (10 %) CSP clauses are encoded (3052 SAT variables, 4506 SAT clauses)
6.05/2.43 c (1,1) 982 (20 %) CSP clauses are encoded (3052 SAT variables, 8341 SAT clauses)
6.05/2.45 c (1,1) 1473 (30 %) CSP clauses are encoded (3052 SAT variables, 10712 SAT clauses)
6.05/2.45 c (1,1) 1964 (40 %) CSP clauses are encoded (3052 SAT variables, 11203 SAT clauses)
6.05/2.46 c (1,1) 2455 (50 %) CSP clauses are encoded (3052 SAT variables, 11694 SAT clauses)
6.05/2.46 c (1,1) 2946 (60 %) CSP clauses are encoded (3052 SAT variables, 12185 SAT clauses)
6.05/2.47 c (1,1) 3437 (70 %) CSP clauses are encoded (3052 SAT variables, 12676 SAT clauses)
6.05/2.48 c (1,1) 3928 (80 %) CSP clauses are encoded (3052 SAT variables, 13853 SAT clauses)
6.05/2.48 c (1,1) 4419 (90 %) CSP clauses are encoded (3052 SAT variables, 14700 SAT clauses)
6.05/2.49 c (1,1) 4909 (100 %) CSP clauses are encoded (3052 SAT variables, 15190 SAT clauses)
6.05/2.49 c (1,1) Launch Command will be: minisat_release
6.05/2.49 c (1,1) CSPinCNF to SatSolver End
6.05/2.49 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
6.39/2.53 c (2,1) STATISTICS2:HOME/instance-4305751-1534075230.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,2284,4909,12,12,12,2,12:526;11:78;10:295;4:72;3:72,12:4449;11:301;10:940;4:432;3:360;2:5585,12:3;10:8;8:1;4:67;3:991;2:3820;1:19,2:1043;1:9981,
6.39/2.54 c (2,1) 3052 bool, 15191 clause
6.39/2.54 c (2,1) Export Begin
6.69/2.63 c (2,2) Export to HOME/scop-23548-serial-file.bin
6.69/2.63 c (2,2) Export End
6.69/2.63 c (2,2) Export File Size: 0.03 MB
6.69/2.63 c (2,2) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
6.69/2.63 c END-Prog: Sun Aug 12 14:00:33 CEST 2018
6.69/2.65 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23548-serial-file.bin
7.42/3.15 c (0,0) Read Serial File Begin
7.42/3.15 c (0,0) HOME/scop-23548-serial-file.bin
7.72/3.33 c (0,0) Read Serial File End
7.72/3.34
7.72/3.34 scop order+minisat_release (2018-07-31)
7.72/3.34 (Solving Process)
7.72/3.34
7.72/3.37 c BEGIN-Prog: Sun Aug 12 14:00:34 CEST 2018
7.72/3.37 c PID: 23566
7.72/3.37 c IP: 172.20.3.103
7.72/3.37 c HOST: node103.alineos.net
7.72/3.37 c (0,0) SatSolver.solve Begin
7.72/3.37 c (0,0) 0 bool, 0 clause
7.72/3.37 c (0,0) minisat_release HOME/instance-4305751-1534075230.xml-scop-23551.cnf
7.91/3.42 c (0,0) c This is COMiniSatPS.
7.91/3.42 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.91/3.42 c (0,0) c ============================[ Problem Statistics ]=============================
7.91/3.42 c (0,0) c | |
7.91/3.42 c (0,0) c | Number of variables: 3052 |
7.91/3.42 c (0,0) c | Number of clauses: 15071 |
7.91/3.42 c (0,0) c | Parse time: 0.00 s |
7.91/3.42 c (0,0) c | Eliminated clauses: 0.03 Mb |
7.91/3.42 c (0,0) c Reduced to 1268 vars, 11306 cls (grow=0)
7.91/3.42 c (0,0) c No iterative elimination performed. (vars=1268, c/v ratio=8.9)
7.91/3.42 c (0,0) c | Simplification time: 0.01 s |
7.91/3.42 c (0,0) c | |
7.91/3.42 c (0,0) c ============================[ Search Statistics ]==============================
7.91/3.42 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
7.91/3.42 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
7.91/3.42 c (0,0) c ===============================================================================
7.91/3.42 c (0,0) c ===============================================================================
7.91/3.42 c (0,0) c restarts : 2
7.91/3.42 c (0,0) c conflicts : 108 (5810 /sec)
7.91/3.42 c (0,0) c decisions : 418 (0.00 % random) (22485 /sec)
7.91/3.42 c (0,0) c propagations : 15721 (845670 /sec)
7.91/3.42 c (0,0) c conflict literals : 1208 (15.11 % deleted)
7.91/3.42 c (0,0) c CPU time : 0.01859 s
7.91/3.42 c (0,0)
7.91/3.42 c (0,0) s SATISFIABLE
7.91/3.44 c (0,0) SatSolver.solve End
7.91/3.45 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
7.91/3.45 c (0,0) Show results Begin
8.12/3.51 s SATISFIABLE
8.12/3.52 v <instantiation>
8.12/3.52 v <list>vr[0][0] vr[0][1] vr[0][2] vr[1][0] vr[1][1] vr[1][2] vr[2][0] vr[2][1] vr[2][2] vr[3][0] vr[3][1] vr[3][2] vr[4][0] vr[4][1] vr[4][2] vr[5][0] vr[5][1] vr[5][2] vr[6][0] vr[6][1] vr[6][2] vr[7][0] vr[7][1] vr[7][2] vr[8][0] vr[8][1] vr[8][2] vr[9][0] vr[9][1] vr[9][2] vr[10][0] vr[10][1] vr[10][2] vr[11][0] vr[11][1] vr[11][2] ve[0][0] ve[0][1] ve[0][2] ve[1][0] ve[1][1] ve[1][2] ve[2][0] ve[2][1] ve[2][2] ve[3][0] ve[3][1] ve[3][2] ve[4][0] ve[4][1] ve[4][2] ve[5][0] ve[5][1] ve[5][2] ve[6][0] ve[6][1] ve[6][2] ve[7][0] ve[7][1] ve[7][2] ve[8][0] ve[8][1] ve[8][2] ve[9][0] ve[9][1] ve[9][2] ve[10][0] ve[10][1] ve[10][2] ve[11][0] ve[11][1] ve[11][2] gvr[0][0] gvr[0][1] gvr[0][2] gvr[1][0] gvr[1][1] gvr[1][2] gvr[2][0] gvr[2][1] gvr[2][2] gvr[3][0] gvr[3][1] gvr[3][2] gvr[4][0] gvr[4][1] gvr[4][2] gvr[5][0] gvr[5][1] gvr[5][2] gvr[6][0] gvr[6][1] gvr[6][2] gvr[7][0] gvr[7][1] gvr[7][2] gvr[8][0] gvr[8][1] gvr[8][2] gvr[9][0] gvr[9][1] gvr[9][2] gvr[10][0] gvr[10][1] gvr[10][2] gvr[11][0] gvr[11][1] gvr[11][2] gve[0][0] gve[0][1] gve[0][2] gve[1][0] gve[1][1] gve[1][2] gve[2][0] gve[2][1] gve[2][2] gve[3][0] gve[3][1] gve[3][2] gve[4][0] gve[4][1] gve[4][2] gve[5][0] gve[5][1] gve[5][2] gve[6][0] gve[6][1] gve[6][2] gve[7][0] gve[7][1] gve[7][2] gve[8][0] gve[8][1] gve[8][2] gve[9][0] gve[9][1] gve[9][2] gve[10][0] gve[10][1] gve[10][2] gve[11][0] gve[11][1] gve[11][2]</list>
8.12/3.52 v <values>0 4 8 1 10 6 2 11 5 3 8 7 4 0 9 5 2 10 6 9 0 7 1 11 8 3 4 9 5 1 10 6 2 11 7 3 0 4 6 1 7 9 2 5 10 3 8 11 4 0 8 5 9 2 6 10 1 7 11 3 8 3 0 9 6 4 10 1 5 11 2 7 0 1 2 0 2 1 0 2 1 0 2 1 1 0 2 1 0 2 1 2 0 1 0 2 2 0 1 2 1 0 2 1 0 2 1 0 0 1 2 0 2 3 0 2 3 1 2 3 1 0 2 2 3 0 2 3 0 2 3 1 2 1 0 3 2 1 3 0 2 3 0 2</values>
8.12/3.52 v </instantiation>
8.12/3.52 c (0,0) Show results End
8.12/3.52 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
8.12/3.52 c (0,0) 0,0,STOP-AFTER(ALL)
8.12/3.52 c END-Prog: Sun Aug 12 14:00:34 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 (8033 MiB free)
memory of node 1: 16384 MiB (8595 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305751-1534075230/watcher-4305751-1534075230 -o /tmp/evaluation-result-4305751-1534075230/solver-4305751-1534075230 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20637 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305751-1534075230.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=23548, runsolver pid=23545
[startup+0.100095 s]*
/proc/loadavg: 2.19 2.14 2.10 3/224 23565
/proc/meminfo: memFree=16963900/32770624 swapFree=67058744/67108860
[pid=23548] ppid=23545 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/23548/stat : 23548 (scop.sh) S 23545 23548 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225086205 115843072 348 33554432000 4194304 5098028 140733342572016 140733342569272 139749467628156 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15273984 140733342573633 140733342573831 140733342573831 140733342576589 0
/proc/23548/statm: 28282 348 296 221 0 87 0
[pid=23551] ppid=23548 vsize=15012476 memory=75584 CPUtime=0.11 cores=0,2,4,6
/proc/23551/stat : 23551 (java) S 23548 23548 20606 0 -1 1077944320 5965 0 0 0 10 1 0 0 20 0 15 0 225086205 15372775424 18896 33554432000 4194304 4196468 140720467164096 140720467146640 140069967978231 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
/proc/23551/statm: 3753119 18896 2770 1 0 3715579 0
[pid=23551/tid=23552] ppid=23548 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=0,2,4,6
/proc/23551/task/23552/stat : 23552 (java) R 23548 23548 20606 0 -1 4202560 4058 0 0 0 8 1 0 0 20 0 15 0 225086206 15372775424 18896 33554432000 4194304 4196468 140720467164096 140069939790216 140069952058718 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23553] ppid=23548 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23553/stat : 23553 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086207 15372775424 18896 33554432000 4194304 4196468 140720467164096 140069972220176 140069967988437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23554] ppid=23548 vsize=15012476 memory=140539576481408 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23554/stat : 23554 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086207 15372775424 18896 33554432000 4194304 4196468 140720467164096 140069763303824 140069967988437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23555] ppid=23548 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23555/stat : 23555 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086207 15372775424 18896 33554432000 4194304 4196468 140720467164096 140069762251280 140069967988437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23556] ppid=23548 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23556/stat : 23556 (java) S 23548 23548 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225086207 15372775424 18896 33554432000 4194304 4196468 140720467164096 140069761198736 140069967988437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23557] ppid=23548 vsize=15012476 memory=140539576481408 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23557/stat : 23557 (java) S 23548 23548 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225086209 15372775424 18896 33554432000 4194304 4196468 140720467164096 140069307357680 140069967989378 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23558] ppid=23548 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23558/stat : 23558 (java) S 23548 23548 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225086209 15372775424 18896 33554432000 4194304 4196468 140720467164096 140068614301088 140069967988437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23559] ppid=23548 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23559/stat : 23559 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086209 15372775424 18896 33554432000 4194304 4196468 140720467164096 140068345865712 140069967988437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23560] ppid=23548 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23560/stat : 23560 (java) S 23548 23548 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086212 15372775424 18896 33554432000 4194304 4196468 140720467164096 140067971357392 140069967996827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23561] ppid=23548 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23561/stat : 23561 (java) S 23548 23548 20606 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 225086212 15372775424 18896 33554432000 4194304 4196468 140720467164096 140069306304496 140069967989378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23562] ppid=23548 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23562/stat : 23562 (java) S 23548 23548 20606 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 225086212 15372775424 18896 33554432000 4194304 4196468 140720467164096 140069305251952 140069967989378 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23563] ppid=23548 vsize=15012476 memory=140539576481408 CPUtime=0.01 cores=0,2,4,6
/proc/23551/task/23563/stat : 23563 (java) R 23548 23548 20606 0 -1 4202560 269 0 0 0 1 0 0 0 20 0 15 0 225086212 15372775424 18896 33554432000 4194304 4196468 140720467164096 140069304196520 140069952155705 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23564] ppid=23548 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23564/stat : 23564 (java) S 23548 23548 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086212 15372775424 18896 33554432000 4194304 4196468 140720467164096 140067473451616 140069967988437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23565] ppid=23548 vsize=15012476 memory=140539576481408 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23565/stat : 23565 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086212 15372775424 18896 33554432000 4194304 4196468 140720467164096 140069303147312 140069967989378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 76976 KiB
[startup+0.210623 s]*
/proc/loadavg: 2.19 2.14 2.10 4/224 23565
/proc/meminfo: memFree=16949632/32770624 swapFree=67058744/67108860
[pid=23548] ppid=23545 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/23548/stat : 23548 (scop.sh) S 23545 23548 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225086205 115843072 348 33554432000 4194304 5098028 140733342572016 140733342569272 139749467628156 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15273984 140733342573633 140733342573831 140733342573831 140733342576589 0
/proc/23548/statm: 28282 348 296 221 0 87 0
[pid=23551] ppid=23548 vsize=15012476 memory=88632 CPUtime=0.25 cores=0,2,4,6
/proc/23551/stat : 23551 (java) S 23548 23548 20606 0 -1 1077944320 9487 0 0 0 23 2 0 0 20 0 15 0 225086205 15372775424 22158 33554432000 4194304 4196468 140720467164096 140720467146640 140069967978231 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
/proc/23551/statm: 3753119 22158 2901 1 0 3715579 0
[pid=23551/tid=23552] ppid=23548 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/23551/task/23552/stat : 23552 (java) R 23548 23548 20606 0 -1 4202560 7391 0 0 0 18 2 0 0 20 0 15 0 225086206 15372775424 22158 33554432000 4194304 4196468 140720467164096 140069939795824 140069968000157 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23553] ppid=23548 vsize=15012476 memory=545 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23553/stat : 23553 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086207 15372775424 22158 33554432000 4194304 4196468 140720467164096 140069972220176 140069967988437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23554] ppid=23548 vsize=15012476 memory=140539577644642 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23554/stat : 23554 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086207 15372775424 22158 33554432000 4194304 4196468 140720467164096 140069763303824 140069967988437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23555] ppid=23548 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23555/stat : 23555 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086207 15372775424 22158 33554432000 4194304 4196468 140720467164096 140069762251280 140069967988437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23556] ppid=23548 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23556/stat : 23556 (java) S 23548 23548 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225086207 15372775424 22158 33554432000 4194304 4196468 140720467164096 140069761198736 140069967988437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23557] ppid=23548 vsize=15012476 memory=140539576481408 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23557/stat : 23557 (java) S 23548 23548 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225086209 15372775424 22158 33554432000 4194304 4196468 140720467164096 140069307357680 140069967989378 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23558] ppid=23548 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23558/stat : 23558 (java) S 23548 23548 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225086209 15372775424 22158 33554432000 4194304 4196468 140720467164096 140068614301088 140069967988437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23559] ppid=23548 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23559/stat : 23559 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086209 15372775424 22158 33554432000 4194304 4196468 140720467164096 140068345865712 140069967988437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23560] ppid=23548 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23560/stat : 23560 (java) S 23548 23548 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086212 15372775424 22158 33554432000 4194304 4196468 140720467164096 140067971357392 140069967996827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23561] ppid=23548 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23551/task/23561/stat : 23561 (java) S 23548 23548 20606 0 -1 1077944384 317 0 0 0 1 0 0 0 20 0 15 0 225086212 15372775424 22158 33554432000 4194304 4196468 140720467164096 140069306304496 140069967989378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23562] ppid=23548 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23562/stat : 23562 (java) S 23548 23548 20606 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 15 0 225086212 15372775424 22158 33554432000 4194304 4196468 140720467164096 140069305251952 140069967989378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23563] ppid=23548 vsize=15012476 memory=140539576481408 CPUtime=0.03 cores=0,2,4,6
/proc/23551/task/23563/stat : 23563 (java) S 23548 23548 20606 0 -1 1077944384 290 0 0 0 3 0 0 0 20 0 15 0 225086212 15372775424 22158 33554432000 4194304 4196468 140720467164096 140069304199408 140069967989378 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23564] ppid=23548 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23564/stat : 23564 (java) S 23548 23548 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086212 15372775424 22158 33554432000 4194304 4196468 140720467164096 140067473451616 140069967988437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23565] ppid=23548 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23565/stat : 23565 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086212 15372775424 22158 33554432000 4194304 4196468 140720467164096 140069303147312 140069967989378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90024 KiB
[startup+0.310765 s]*
/proc/loadavg: 2.19 2.14 2.10 3/224 23565
/proc/meminfo: memFree=16946716/32770624 swapFree=67058744/67108860
[pid=23548] ppid=23545 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/23548/stat : 23548 (scop.sh) S 23545 23548 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225086205 115843072 348 33554432000 4194304 5098028 140733342572016 140733342569272 139749467628156 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15273984 140733342573633 140733342573831 140733342573831 140733342576589 0
/proc/23548/statm: 28282 348 296 221 0 87 0
[pid=23551] ppid=23548 vsize=15012476 memory=92424 CPUtime=0.42 cores=0,2,4,6
/proc/23551/stat : 23551 (java) S 23548 23548 20606 0 -1 1077944320 10019 0 0 0 40 2 0 0 20 0 15 0 225086205 15372775424 23106 33554432000 4194304 4196468 140720467164096 140720467146640 140069967978231 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
/proc/23551/statm: 3753119 23106 3022 1 0 3715579 0
[pid=23551/tid=23552] ppid=23548 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/23551/task/23552/stat : 23552 (java) R 23548 23548 20606 0 -1 4202560 7764 0 0 0 28 2 0 0 20 0 15 0 225086206 15372775424 23106 33554432000 4194304 4196468 140720467164096 140069939773232 140069949541808 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23553] ppid=23548 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23553/stat : 23553 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086207 15372775424 23106 33554432000 4194304 4196468 140720467164096 140069972220176 140069967988437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23554] ppid=23548 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23554/stat : 23554 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086207 15372775424 23106 33554432000 4194304 4196468 140720467164096 140069763303824 140069967988437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23555] ppid=23548 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23555/stat : 23555 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086207 15372775424 23106 33554432000 4194304 4196468 140720467164096 140069762251280 140069967988437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23556] ppid=23548 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23556/stat : 23556 (java) S 23548 23548 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225086207 15372775424 23106 33554432000 4194304 4196468 140720467164096 140069761198736 140069967988437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23557] ppid=23548 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23557/stat : 23557 (java) S 23548 23548 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225086209 15372775424 23106 33554432000 4194304 4196468 140720467164096 140069307357680 140069967989378 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23558] ppid=23548 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23558/stat : 23558 (java) S 23548 23548 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225086209 15372775424 23106 33554432000 4194304 4196468 140720467164096 140068614301088 140069967988437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23559] ppid=23548 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23559/stat : 23559 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086209 15372775424 23106 33554432000 4194304 4196468 140720467164096 140068345865712 140069967988437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23560] ppid=23548 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23560/stat : 23560 (java) S 23548 23548 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086212 15372775424 23106 33554432000 4194304 4196468 140720467164096 140067971357392 140069967996827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23561] ppid=23548 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23551/task/23561/stat : 23561 (java) S 23548 23548 20606 0 -1 1077944384 340 0 0 0 2 0 0 0 20 0 15 0 225086212 15372775424 23106 33554432000 4194304 4196468 140720467164096 140069306304496 140069967989378 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23562] ppid=23548 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23551/task/23562/stat : 23562 (java) R 23548 23548 20606 0 -1 1077944384 274 0 0 0 2 0 0 0 20 0 15 0 225086212 15372775424 23106 33554432000 4194304 4196468 140720467164096 140069305251952 140069967989378 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23563] ppid=23548 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23551/task/23563/stat : 23563 (java) S 23548 23548 20606 0 -1 1077944384 310 0 0 0 7 0 0 0 20 0 15 0 225086212 15372775424 23106 33554432000 4194304 4196468 140720467164096 140069304199408 140069967989378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23564] ppid=23548 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23564/stat : 23564 (java) S 23548 23548 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086212 15372775424 23106 33554432000 4194304 4196468 140720467164096 140067473451616 140069967988437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23565] ppid=23548 vsize=15012476 memory=3689353199920160817 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23565/stat : 23565 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086212 15372775424 23106 33554432000 4194304 4196468 140720467164096 140069303147312 140069967989378 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 93816 KiB
[startup+0.708059 s]
/proc/loadavg: 2.19 2.14 2.10 3/224 23565
/proc/meminfo: memFree=16923204/32770624 swapFree=67058744/67108860
[pid=23548] ppid=23545 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/23548/stat : 23548 (scop.sh) S 23545 23548 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225086205 115843072 348 33554432000 4194304 5098028 140733342572016 140733342569272 139749467628156 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15273984 140733342573633 140733342573831 140733342573831 140733342576589 0
/proc/23548/statm: 28282 348 296 221 0 87 0
[pid=23551] ppid=23548 vsize=15020872 memory=131660 CPUtime=1.02 cores=0,2,4,6
/proc/23551/stat : 23551 (java) S 23548 23548 20606 0 -1 1077944320 17075 0 0 0 98 4 0 0 20 0 15 0 225086205 15381372928 32915 33554432000 4194304 4196468 140720467164096 140720467146640 140069967978231 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
/proc/23551/statm: 3755218 32915 3147 1 0 3716603 0
[pid=23551/tid=23552] ppid=23548 vsize=15020872 memory=33 CPUtime=0.68 cores=0,2,4,6
/proc/23551/task/23552/stat : 23552 (java) R 23548 23548 20606 0 -1 4202560 14367 0 0 0 64 4 0 0 20 0 15 0 225086206 15381372928 32915 33554432000 4194304 4196468 140720467164096 140069939814240 140069952058718 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23553] ppid=23548 vsize=15020872 memory=288230377057956186 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23553/stat : 23553 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086207 15381372928 32915 33554432000 4194304 4196468 140720467164096 140069972220176 140069967988437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23554] ppid=23548 vsize=15020872 memory=14408211646139281 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23554/stat : 23554 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086207 15381372928 32915 33554432000 4194304 4196468 140720467164096 140069763303824 140069967988437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23555] ppid=23548 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23555/stat : 23555 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086207 15381372928 32915 33554432000 4194304 4196468 140720467164096 140069762251280 140069967988437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23556] ppid=23548 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23556/stat : 23556 (java) S 23548 23548 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225086207 15381372928 32915 33554432000 4194304 4196468 140720467164096 140069761198736 140069967988437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23557] ppid=23548 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23557/stat : 23557 (java) S 23548 23548 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225086209 15381372928 32915 33554432000 4194304 4196468 140720467164096 140069307357680 140069967989378 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23558] ppid=23548 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23558/stat : 23558 (java) S 23548 23548 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225086209 15381372928 32915 33554432000 4194304 4196468 140720467164096 140068614301088 140069967988437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23559] ppid=23548 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23559/stat : 23559 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086209 15381372928 32915 33554432000 4194304 4196468 140720467164096 140068345865712 140069967988437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23560] ppid=23548 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23560/stat : 23560 (java) S 23548 23548 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086212 15381372928 32915 33554432000 4194304 4196468 140720467164096 140067971357392 140069967996827 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23561] ppid=23548 vsize=15020872 memory=281078900195568 CPUtime=0.09 cores=0,2,4,6
/proc/23551/task/23561/stat : 23561 (java) R 23548 23548 20606 0 -1 4202560 588 0 0 0 9 0 0 0 20 0 15 0 225086212 15381372928 32915 33554432000 4194304 4196468 140720467164096 140069306290752 140069952899984 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23562] ppid=23548 vsize=15020872 memory=7234030490512222553 CPUtime=0.07 cores=0,2,4,6
/proc/23551/task/23562/stat : 23562 (java) R 23548 23548 20606 0 -1 4202560 341 0 0 0 7 0 0 0 20 0 15 0 225086212 15381372928 32915 33554432000 4194304 4196468 140720467164096 140069305229616 140069953104498 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23563] ppid=23548 vsize=15020872 memory=7594587674001172330 CPUtime=0.16 cores=0,2,4,6
/proc/23551/task/23563/stat : 23563 (java) R 23548 23548 20606 0 -1 4202560 445 0 0 0 16 0 0 0 20 0 15 0 225086212 15381372928 32915 33554432000 4194304 4196468 140720467164096 140069304199408 140069967999578 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23564] ppid=23548 vsize=15020872 memory=7649399371413664562 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23564/stat : 23564 (java) S 23548 23548 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086212 15381372928 32915 33554432000 4194304 4196468 140720467164096 140067473451616 140069967988437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
[pid=23551/tid=23565] ppid=23548 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23565/stat : 23565 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086212 15381372928 32915 33554432000 4194304 4196468 140720467164096 140069303147312 140069967989378 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16760832 140720467166215 140720467166513 140720467166513 140720467169231 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 133052 KiB
[startup+1.5008 s]
/proc/loadavg: 2.19 2.14 2.10 4/224 23565
/proc/meminfo: memFree=16893388/32770624 swapFree=67058744/67108860
[pid=23548] ppid=23545 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/23548/stat : 23548 (scop.sh) S 23545 23548 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225086205 115843072 348 33554432000 4194304 5098028 140733342572016 140733342569272 139749467628156 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15273984 140733342573633 140733342573831 140733342573831 140733342576589 0
/proc/23548/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/23566/task/23568/stat : 23568 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086472 7584116736 18636 33554432000 4194304 4196468 140736996277632 140619959937424 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23569] ppid=23548 vsize=7406364 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23569/stat : 23569 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086472 7584116736 18636 33554432000 4194304 4196468 140736996277632 140619440507152 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23570] ppid=23548 vsize=7406364 memory=60000 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23570/stat : 23570 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086472 7584116736 18636 33554432000 4194304 4196468 140736996277632 140619439454864 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23571] ppid=23548 vsize=7406364 memory=780 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23571/stat : 23571 (java) S 23548 23548 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225086472 7584116736 18636 33554432000 4194304 4196468 140736996277632 140619438402064 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23572] ppid=23548 vsize=7406364 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23572/stat : 23572 (java) S 23548 23548 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225086474 7584116736 18636 33554432000 4194304 4196468 140736996277632 140619402168944 140619955706498 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23573] ppid=23548 vsize=7406364 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23573/stat : 23573 (java) S 23548 23548 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225086474 7584116736 18636 33554432000 4194304 4196468 140736996277632 140618906985760 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23574] ppid=23548 vsize=7406364 memory=976 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23574/stat : 23574 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086474 7584116736 18636 33554432000 4194304 4196468 140736996277632 140618638550640 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23575] ppid=23548 vsize=7406364 memory=1140 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23575/stat : 23575 (java) S 23548 23548 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086477 7584116736 18636 33554432000 4194304 4196468 140736996277632 140618264042064 140619955713947 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23576] ppid=23548 vsize=7406364 memory=1024 CPUtime=0.03 cores=0,2,4,6
/proc/23566/task/23576/stat : 23576 (java) S 23548 23548 20606 0 -1 1077944384 358 0 0 0 3 0 0 0 20 0 15 0 225086477 7584116736 18636 33554432000 4194304 4196468 140736996277632 140619401115760 140619955706498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23577] ppid=23548 vsize=7406364 memory=3172 CPUtime=0.02 cores=0,2,4,6
/proc/23566/task/23577/stat : 23577 (java) S 23548 23548 20606 0 -1 1077944384 266 0 0 0 2 0 0 0 20 0 15 0 225086477 7584116736 18636 33554432000 4194304 4196468 140736996277632 140619400062960 140619955706498 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23578] ppid=23548 vsize=7406364 memory=2076 CPUtime=0.09 cores=0,2,4,6
/proc/23566/task/23578/stat : 23578 (java) S 23548 23548 20606 0 -1 1077944384 380 0 0 0 9 0 0 0 20 0 15 0 225086477 7584116736 18636 33554432000 4194304 4196468 140736996277632 140619399010672 140619955706498 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23579] ppid=23548 vsize=7406364 memory=9004 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23579/stat : 23579 (java) S 23548 23548 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086477 7584116736 18636 33554432000 4194304 4196468 140736996277632 140617766136288 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23580] ppid=23548 vsize=7406364 memory=768 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23580/stat : 23580 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086477 7584116736 18636 33554432000 4194304 4196468 140736996277632 140619397958576 140619955706498 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
Current children cumulated CPU time: 7.42 s
Current children cumulated vsize: 7519492 KiB
Current children cumulated memory: 76012 KiB
[startup+3.53394 s]
# the end of solver process 23548 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.99221 s, system=0.224304 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20093 s]
/proc/loadavg: 2.19 2.14 2.10 3/224 23580
/proc/meminfo: memFree=16971872/32770624 swapFree=67058744/67108860
[pid=23548] ppid=23545 vsize=113128 memory=1468 CPUtime=6.83 cores=0,2,4,6
/proc/23548/stat : 23548 (scop.sh) S 23545 23548 20606 0 -1 4202496 590 27536 0 0 0 0 669 14 20 0 1 0 225086205 115843072 367 33554432000 4194304 5098028 140733342572016 140733342568760 139749467628156 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 15273984 140733342573633 140733342573831 140733342573831 140733342576589 0
/proc/23548/statm: 28282 367 311 221 0 87 0
[pid=23566] ppid=23548 vsize=7406384 memory=93980 CPUtime=0.71 cores=0,2,4,6
/proc/23566/stat : 23566 (java) S 23548 23548 20606 0 -1 1077944320 16049 0 0 0 67 4 0 0 20 0 15 0 225086471 7584137216 23495 33554432000 4194304 4196468 140736996277632 140736996260176 140619955695351 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
/proc/23566/statm: 1851596 23495 3051 1 0 1813530 0
[pid=23566/tid=23567] ppid=23548 vsize=7406384 memory=780 CPUtime=0.51 cores=0,2,4,6
/proc/23566/task/23567/stat : 23567 (java) R 23548 23548 20606 0 -1 4202560 13692 0 0 0 48 3 0 0 20 0 15 0 225086471 7584137216 23495 33554432000 4194304 4196468 140736996277632 140619927507664 140619939775838 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23568] ppid=23548 vsize=7406384 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23568/stat : 23568 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086472 7584137216 23495 33554432000 4194304 4196468 140736996277632 140619959937424 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23569] ppid=23548 vsize=7406384 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23569/stat : 23569 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086472 7584137216 23495 33554432000 4194304 4196468 140736996277632 140619440507152 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23570] ppid=23548 vsize=7406384 memory=976 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23570/stat : 23570 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086472 7584137216 23495 33554432000 4194304 4196468 140736996277632 140619439454864 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23571] ppid=23548 vsize=7406384 memory=1140 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23571/stat : 23571 (java) S 23548 23548 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225086472 7584137216 23495 33554432000 4194304 4196468 140736996277632 140619438402064 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23572] ppid=23548 vsize=7406384 memory=1024 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23572/stat : 23572 (java) S 23548 23548 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225086474 7584137216 23495 33554432000 4194304 4196468 140736996277632 140619402168944 140619955706498 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23573] ppid=23548 vsize=7406384 memory=3172 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23573/stat : 23573 (java) S 23548 23548 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225086474 7584137216 23495 33554432000 4194304 4196468 140736996277632 140618906985760 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23574] ppid=23548 vsize=7406384 memory=2076 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23574/stat : 23574 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086474 7584137216 23495 33554432000 4194304 4196468 140736996277632 140618638550640 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23575] ppid=23548 vsize=7406384 memory=9004 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23575/stat : 23575 (java) S 23548 23548 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086477 7584137216 23495 33554432000 4194304 4196468 140736996277632 140618264042064 140619955713947 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23576] ppid=23548 vsize=7406384 memory=768 CPUtime=0.03 cores=0,2,4,6
/proc/23566/task/23576/stat : 23576 (java) S 23548 23548 20606 0 -1 1077944384 358 0 0 0 3 0 0 0 20 0 15 0 225086477 7584137216 23495 33554432000 4194304 4196468 140736996277632 140619401115760 140619955706498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23577] ppid=23548 vsize=7406384 memory=736 CPUtime=0.03 cores=0,2,4,6
/proc/23566/task/23577/stat : 23577 (java) S 23548 23548 20606 0 -1 1077944384 271 0 0 0 3 0 0 0 20 0 15 0 225086477 7584137216 23495 33554432000 4194304 4196468 140736996277632 140619400062960 140619955706498 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23578] ppid=23548 vsize=7406384 memory=1520 CPUtime=0.11 cores=0,2,4,6
/proc/23566/task/23578/stat : 23578 (java) R 23548 23548 20606 0 -1 1077944384 397 0 0 0 11 0 0 0 20 0 15 0 225086477 7584137216 23495 33554432000 4194304 4196468 140736996277632 140619399010672 140619955706498 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23579] ppid=23548 vsize=7406384 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23579/stat : 23579 (java) S 23548 23548 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225086477 7584137216 23495 33554432000 4194304 4196468 140736996277632 140617766136288 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23580] ppid=23548 vsize=7406384 memory=33 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23580/stat : 23580 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225086477 7584137216 23495 33554432000 4194304 4196468 140736996277632 140619397958576 140619955706498 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
Current children cumulated CPU time: 7.54 s
Current children cumulated vsize: 7519512 KiB
Current children cumulated memory: 95448 KiB
[startup+3.40578 s]
/proc/loadavg: 2.19 2.14 2.10 3/224 23580
/proc/meminfo: memFree=16971872/32770624 swapFree=67058744/67108860
[pid=23548] ppid=23545 vsize=113128 memory=1468 CPUtime=6.83 cores=0,2,4,6
/proc/23548/stat : 23548 (scop.sh) S 23545 23548 20606 0 -1 4202496 590 27536 0 0 0 0 669 14 20 0 1 0 225086205 115843072 367 33554432000 4194304 5098028 140733342572016 140733342568760 139749467628156 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 15273984 140733342573633 140733342573831 140733342573831 140733342576589 0
/proc/23548/statm: 28282 367 311 221 0 87 0
[pid=23566] ppid=23548 vsize=8000636 memory=115864 CPUtime=1.08 cores=0,2,4,6
/proc/23566/stat : 23566 (java) S 23548 23548 20606 0 -1 1077944320 17679 0 0 0 103 5 0 0 20 0 19 0 225086471 8192651264 28966 33554432000 4194304 4196468 140736996277632 140736996260176 140619955695351 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
/proc/23566/statm: 2000159 28966 3144 1 0 1961558 0
[pid=23566/tid=23567] ppid=23548 vsize=8000636 memory=7904 CPUtime=0.71 cores=0,2,4,6
/proc/23566/task/23567/stat : 23567 (java) R 23548 23548 20606 0 -1 4202560 14791 0 0 0 67 4 0 0 20 0 19 0 225086471 8192651264 28966 33554432000 4194304 4196468 140736996277632 140619927535984 140619939775838 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23568] ppid=23548 vsize=8000636 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23568/stat : 23568 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225086472 8192651264 28966 33554432000 4194304 4196468 140736996277632 140619959937424 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23569] ppid=23548 vsize=8000636 memory=281078900617088 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23569/stat : 23569 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225086472 8192651264 28966 33554432000 4194304 4196468 140736996277632 140619440507152 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23570] ppid=23548 vsize=8000636 memory=140539450363872 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23570/stat : 23570 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225086472 8192651264 28966 33554432000 4194304 4196468 140736996277632 140619439454864 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23571] ppid=23548 vsize=8000636 memory=3312 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23571/stat : 23571 (java) S 23548 23548 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225086472 8192651264 28966 33554432000 4194304 4196468 140736996277632 140619438402064 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23572] ppid=23548 vsize=8000636 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23572/stat : 23572 (java) S 23548 23548 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225086474 8192651264 28966 33554432000 4194304 4196468 140736996277632 140619402168944 140619955706498 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23573] ppid=23548 vsize=8000636 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23573/stat : 23573 (java) S 23548 23548 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225086474 8192651264 28966 33554432000 4194304 4196468 140736996277632 140618906985760 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23574] ppid=23548 vsize=8000636 memory=281078900195568 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23574/stat : 23574 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225086474 8192651264 28966 33554432000 4194304 4196468 140736996277632 140618638550640 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23575] ppid=23548 vsize=8000636 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23575/stat : 23575 (java) S 23548 23548 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225086477 8192651264 28966 33554432000 4194304 4196468 140736996277632 140618264042064 140619955713947 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23576] ppid=23548 vsize=8000636 memory=-3967418655009478193 CPUtime=0.09 cores=0,2,4,6
/proc/23566/task/23576/stat : 23576 (java) R 23548 23548 20606 0 -1 4202560 580 0 0 0 9 0 0 0 20 0 19 0 225086477 8192651264 28966 33554432000 4194304 4196468 140736996277632 140619401101640 140619933861832 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23577] ppid=23548 vsize=8000636 memory=6944656592455360604 CPUtime=0.06 cores=0,2,4,6
/proc/23566/task/23577/stat : 23577 (java) R 23548 23548 20606 0 -1 1077944384 366 0 0 0 6 0 0 0 20 0 19 0 225086477 8192651264 28966 33554432000 4194304 4196468 140736996277632 140619400062960 140619955706498 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23578] ppid=23548 vsize=8000636 memory=6944656592455097440 CPUtime=0.19 cores=0,2,4,6
/proc/23566/task/23578/stat : 23578 (java) R 23548 23548 20606 0 -1 4202560 577 0 0 0 19 0 0 0 20 0 19 0 225086477 8192651264 28966 33554432000 4194304 4196468 140736996277632 140619399010672 140619934656871 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23579] ppid=23548 vsize=8000636 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23579/stat : 23579 (java) S 23548 23548 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225086477 8192651264 28966 33554432000 4194304 4196468 140736996277632 140617766136288 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23580] ppid=23548 vsize=8000636 memory=-6654736624938269017 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23580/stat : 23580 (java) S 23548 23548 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225086477 8192651264 28966 33554432000 4194304 4196468 140736996277632 140619397958576 140619955706498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
Current children cumulated CPU time: 7.91 s
Current children cumulated vsize: 8113764 KiB
Current children cumulated memory: 117332 KiB
[startup+3.50084 s]
/proc/loadavg: 2.19 2.14 2.10 3/224 23580
/proc/meminfo: memFree=16971872/32770624 swapFree=67058744/67108860
[pid=23548] ppid=23545 vsize=113128 memory=1468 CPUtime=6.83 cores=0,2,4,6
/proc/23548/stat : 23548 (scop.sh) S 23545 23548 20606 0 -1 4202496 590 27536 0 0 0 0 669 14 20 0 1 0 225086205 115843072 367 33554432000 4194304 5098028 140733342572016 140733342568760 139749467628156 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 15273984 140733342573633 140733342573831 140733342573831 140733342576589 0
/proc/23548/statm: 28282 367 311 221 0 87 0
[pid=23566] ppid=23548 vsize=7937144 memory=120416 CPUtime=1.29 cores=0,2,4,6
/proc/23566/stat : 23566 (java) S 23548 23548 20606 0 -1 1077944320 18300 1093 0 0 122 6 1 0 20 0 17 0 225086471 8127635456 30104 33554432000 4194304 4196468 140736996277632 140736996260176 140619955695351 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
/proc/23566/statm: 1984286 30104 3152 1 0 1945685 0
[pid=23566/tid=23567] ppid=23548 vsize=7937144 memory=0 CPUtime=0.82 cores=0,2,4,6
/proc/23566/task/23567/stat : 23567 (java) R 23548 23548 20606 0 -1 4202560 15215 1093 0 0 76 5 1 0 20 0 17 0 225086471 8127635456 30104 33554432000 4194304 4196468 140736996277632 140619927532576 140619937259864 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23568] ppid=23548 vsize=7937144 memory=1140 CPUtime=0.01 cores=0,2,4,6
/proc/23566/task/23568/stat : 23568 (java) S 23548 23548 20606 0 -1 1077944384 1 1093 0 0 0 0 1 0 20 0 17 0 225086472 8127635456 30104 33554432000 4194304 4196468 140736996277632 140619959937424 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23569] ppid=23548 vsize=7937144 memory=1024 CPUtime=0.01 cores=0,2,4,6
/proc/23566/task/23569/stat : 23569 (java) S 23548 23548 20606 0 -1 1077944384 1 1093 0 0 0 0 1 0 20 0 17 0 225086472 8127635456 30104 33554432000 4194304 4196468 140736996277632 140619440507152 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23570] ppid=23548 vsize=7937144 memory=3544 CPUtime=0.01 cores=0,2,4,6
/proc/23566/task/23570/stat : 23570 (java) S 23548 23548 20606 0 -1 1077944384 1 1093 0 0 0 0 1 0 20 0 17 0 225086472 8127635456 30104 33554432000 4194304 4196468 140736996277632 140619439454864 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23571] ppid=23548 vsize=7937144 memory=1392 CPUtime=0.01 cores=0,2,4,6
/proc/23566/task/23571/stat : 23571 (java) S 23548 23548 20606 0 -1 1077944384 2 1093 0 0 0 0 1 0 20 0 17 0 225086472 8127635456 30104 33554432000 4194304 4196468 140736996277632 140619438402064 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23572] ppid=23548 vsize=7937144 memory=364716 CPUtime=0.01 cores=0,2,4,6
/proc/23566/task/23572/stat : 23572 (java) S 23548 23548 20606 0 -1 1077944384 5 1093 0 0 0 0 1 0 20 0 17 0 225086474 8127635456 30104 33554432000 4194304 4196468 140736996277632 140619402168944 140619955706498 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23573] ppid=23548 vsize=7937144 memory=1188 CPUtime=0.01 cores=0,2,4,6
/proc/23566/task/23573/stat : 23573 (java) S 23548 23548 20606 0 -1 1077944384 13 1093 0 0 0 0 1 0 20 0 17 0 225086474 8127635456 30104 33554432000 4194304 4196468 140736996277632 140618906985760 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23574] ppid=23548 vsize=7937144 memory=976 CPUtime=0.01 cores=0,2,4,6
/proc/23566/task/23574/stat : 23574 (java) S 23548 23548 20606 0 -1 1077944384 1 1093 0 0 0 0 1 0 20 0 17 0 225086474 8127635456 30104 33554432000 4194304 4196468 140736996277632 140618638550640 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23575] ppid=23548 vsize=7937144 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23566/task/23575/stat : 23575 (java) S 23548 23548 20606 0 -1 1077944384 3 1093 0 0 0 0 1 0 20 0 17 0 225086477 8127635456 30104 33554432000 4194304 4196468 140736996277632 140618264042064 140619955713947 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23576] ppid=23548 vsize=7937144 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/23566/task/23576/stat : 23576 (java) S 23548 23548 20606 0 -1 1077944384 591 1093 0 0 10 0 1 0 20 0 17 0 225086477 8127635456 30104 33554432000 4194304 4196468 140736996277632 140619401115760 140619955706498 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23577] ppid=23548 vsize=7937144 memory=144 CPUtime=0.09 cores=0,2,4,6
/proc/23566/task/23577/stat : 23577 (java) S 23548 23548 20606 0 -1 1077944384 374 1093 0 0 8 0 1 0 20 0 17 0 225086477 8127635456 30104 33554432000 4194304 4196468 140736996277632 140619400062960 140619955706498 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23578] ppid=23548 vsize=7937144 memory=3172 CPUtime=0.24 cores=0,2,4,6
/proc/23566/task/23578/stat : 23578 (java) R 23548 23548 20606 0 -1 4202560 676 1093 0 0 23 0 1 0 20 0 17 0 225086477 8127635456 30104 33554432000 4194304 4196468 140736996277632 140619399010672 140619935128443 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23579] ppid=23548 vsize=7937144 memory=2076 CPUtime=0.01 cores=0,2,4,6
/proc/23566/task/23579/stat : 23579 (java) S 23548 23548 20606 0 -1 1077944384 3 1093 0 0 0 0 1 0 20 0 17 0 225086477 8127635456 30104 33554432000 4194304 4196468 140736996277632 140617766136288 140619955705557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
[pid=23566/tid=23580] ppid=23548 vsize=7937144 memory=9004 CPUtime=0.01 cores=0,2,4,6
/proc/23566/task/23580/stat : 23580 (java) S 23548 23548 20606 0 -1 1077944384 1 1093 0 0 0 0 1 0 20 0 17 0 225086477 8127635456 30104 33554432000 4194304 4196468 140736996277632 140619397958576 140619955706498 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37470208 140736996279477 140736996279601 140736996279601 140736996282319 0
Current children cumulated CPU time: 8.12 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 121884 KiB
Child status: 0
Real time (s): 3.53399
CPU time (s): 8.21651
CPU user time (s): 7.99221
CPU system time (s): 0.224304
CPU usage (%): 232.5
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 366108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.99221
system time used= 0.224304
maximum resident set size= 369868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47657
page faults= 0
swaps= 0
block input operations= 0
block output operations= 696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5664
involuntary context switches= 51
# summary of solver processes directly reported to runsolver:
# pid: 23548
# total CPU time (s): 8.21651
# total CPU user time (s): 7.99221
# total CPU system time (s): 0.224304
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.0384 second user time and 0.089441 second system time
The end