0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-18735-serial-file.bin HOME/instance-4305532-1534068024.xml
0.66/0.52
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 12:00:24 CEST 2018
0.66/0.54 c PID: 18738
0.66/0.54 c IP: 172.20.3.139
0.66/0.54 c HOST: node139.alineos.net
0.66/0.55 c (0,0) Parsing Begin
5.25/2.03 c (1,1) Parsing End
5.25/2.05 c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 35
5.25/2.05 c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.25/2.05 c (1,1) Constraint Name Generate Begin
5.25/2.07 c (1,1) Ctr:HOME/instance-4305532-1534068024.xml,Dist:Eq:IntVar:Le:Num
5.25/2.07 c (1,1) Constraint Name Generate End
5.25/2.07 c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.25/2.07 c (1,1) CSP to CSPinCNF Begin
6.27/2.35 c (1,1) translated 411 (10%) constraints
6.60/2.43 c (1,1) translated 821 (20%) constraints
6.60/2.49 c (1,1) translated 1231 (30%) constraints
6.90/2.53 c (2,1) translated 1642 (40%) constraints
6.90/2.58 c (2,2) translated 2052 (50%) constraints
7.21/2.62 c (2,2) translated 2462 (60%) constraints
7.21/2.67 c (2,2) translated 2873 (70%) constraints
7.51/2.71 c (2,2) translated 3283 (80%) constraints
7.51/2.75 c (2,2) translated 3693 (90%) constraints
7.88/2.87 c (2,2) translated 4103 (100%) constraints
8.23/2.97 c (2,2) STATISTICS1:HOME/instance-4305532-1534068024.xml,Dist:Eq:IntVar:Le:Num,680,4783,35,35,2,2,35:3314;28:5144;22:344;19:24;6:60,35:9348;28:7956;22:364;19:40;6:64,2:4103;1:680,2:8886,
8.23/2.97 c (2,2) ==========================================
8.23/2.97 c (2,2) Order
8.23/2.97 c (2,2) ==========================================
8.23/3.00 c (2,2) translated 479 (10%) constraints
8.59/3.02 c (2,2) translated 957 (20%) constraints
8.59/3.04 c (2,2) translated 1435 (30%) constraints
8.59/3.06 c (2,2) translated 1914 (40%) constraints
8.59/3.07 c (2,2) translated 2392 (50%) constraints
8.59/3.09 c (2,2) translated 2870 (60%) constraints
8.89/3.11 c (2,2) translated 3349 (70%) constraints
8.89/3.13 c (2,2) translated 3827 (80%) constraints
8.89/3.14 c (2,2) translated 4305 (90%) constraints
8.89/3.16 c (2,2) translated 4783 (100%) constraints
8.89/3.16 c (2,2) CSP to CSPinCNF End
8.89/3.16 c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 35
8.89/3.16 c (2,2) Heap : 676 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.89/3.16 c (2,2) CSPinCNF Propagation Begin
11.02/4.43 c (3,3) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
11.02/4.43 c (3,3) CSPinCNF Propagation End
11.02/4.43 c (3,3) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 35
11.02/4.43 c (3,3) Heap : 1971 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.02/4.43 c (3,3) Simplify CSPinCNF Begin
11.56/4.69 c (4,4) Simplify CSPinCNF End
11.56/4.69 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 35
11.56/4.69 c (4,4) Heap : 2027 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.56/4.69 c (4,4) Calculate Precise Domain Begin
11.56/4.69 c (4,4) 0 values are removed by re-calculation
11.56/4.69 c (4,4) Calculate Precise Domain End
11.83/4.70 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 35
11.83/4.70 c (4,4) Heap : 2027 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
11.83/4.70 c (4,4) CSPinCNF to SatSolver Begin
12.85/5.03 c (4,4) 1299 (10 %) CSP clauses are encoded (28722 SAT variables, 45898 SAT clauses)
13.15/5.16 c (4,4) 2598 (20 %) CSP clauses are encoded (28722 SAT variables, 71580 SAT clauses)
13.43/5.28 c (4,4) 3897 (30 %) CSP clauses are encoded (28722 SAT variables, 95143 SAT clauses)
13.74/5.39 c (4,4) 5196 (40 %) CSP clauses are encoded (28722 SAT variables, 120775 SAT clauses)
14.01/5.48 c (4,4) 6495 (50 %) CSP clauses are encoded (28722 SAT variables, 147053 SAT clauses)
14.22/5.58 c (5,5) 7794 (60 %) CSP clauses are encoded (28722 SAT variables, 173396 SAT clauses)
14.45/5.67 c (5,5) 9093 (70 %) CSP clauses are encoded (28722 SAT variables, 199363 SAT clauses)
14.67/5.77 c (5,5) 10392 (80 %) CSP clauses are encoded (28722 SAT variables, 225277 SAT clauses)
14.88/5.85 c (5,5) 11691 (90 %) CSP clauses are encoded (28722 SAT variables, 249985 SAT clauses)
15.09/5.91 c (5,5) 12989 (100 %) CSP clauses are encoded (28722 SAT variables, 271834 SAT clauses)
15.09/5.91 c (5,5) Launch Command will be: minisat_release
15.09/5.91 c (5,5) CSPinCNF to SatSolver End
15.09/5.91 c (5,5) Heap : 2647 MiB used (max 10795 MiB), NonHeap : 36 MiB used (max 0 MiB)
15.38/6.01 c (5,5) STATISTICS2:HOME/instance-4305532-1534068024.xml,Dist:Eq:IntVar:Le:Num,8886,12989,35,35,2,2,35:3314;28:5144;22:344;19:24;6:60,35:9348;28:7956;22:364;19:40;6:64;2:16412,2:12309;1:680,2:8886;1:16412,
15.38/6.01 c (5,5) 28722 bool, 271846 clause
15.38/6.01 c (5,5) Export Begin
16.15/6.35 c (5,5) Export to HOME/scop-18735-serial-file.bin
16.15/6.35 c (5,5) Export End
16.15/6.35 c (5,5) Export File Size: 3.92 MB
16.15/6.35 c (5,5) 1,1,2,3,4,4,5,STOP-AFTER(DIMACS)
16.15/6.35 c END-Prog: Sun Aug 12 12:00:30 CEST 2018
16.15/6.37 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-18735-serial-file.bin
16.25/6.85 c (0,0) Read Serial File Begin
16.25/6.85 c (0,0) HOME/scop-18735-serial-file.bin
17.72/7.21 c (0,0) Read Serial File End
17.72/7.22
17.72/7.22 scop order+minisat_release (2018-07-31)
17.72/7.22 (Solving Process)
17.72/7.22
17.72/7.25 c BEGIN-Prog: Sun Aug 12 12:00:31 CEST 2018
17.72/7.25 c PID: 18753
17.72/7.25 c IP: 172.20.3.139
17.72/7.25 c HOST: node139.alineos.net
17.72/7.25 c (0,0) SatSolver.solve Begin
17.72/7.25 c (0,0) 0 bool, 0 clause
17.72/7.25 c (0,0) minisat_release HOME/instance-4305532-1534068024.xml-scop-18738.cnf
17.99/7.68 c (0,0) c This is COMiniSatPS.
17.99/7.68 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
17.99/7.68 c (0,0) c ============================[ Problem Statistics ]=============================
17.99/7.68 c (0,0) c | |
17.99/7.68 c (0,0) c | Number of variables: 28722 |
17.99/7.68 c (0,0) c | Number of clauses: 271846 |
17.99/7.68 c (0,0) c | Parse time: 0.09 s |
17.99/7.68 c (0,0) c | Eliminated clauses: 0.08 Mb |
17.99/7.68 c (0,0) c Reduced to 24447 vars, 266801 cls (grow=0)
17.99/7.68 c (0,0) c No iterative elimination performed. (vars=24447, c/v ratio=10.9)
17.99/7.68 c (0,0) c | Simplification time: 0.28 s |
17.99/7.68 c (0,0) c | |
17.99/7.68 c (0,0) c ============================[ Search Statistics ]==============================
17.99/7.68 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
17.99/7.68 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
17.99/7.68 c (0,0) c ===============================================================================
17.99/7.68 c (0,0) c ===============================================================================
17.99/7.68 c (0,0) c restarts : 1
17.99/7.68 c (0,0) c conflicts : 154 (399 /sec)
17.99/7.68 c (0,0) c decisions : 655 (0.00 % random) (1697 /sec)
17.99/7.68 c (0,0) c propagations : 32857 (85114 /sec)
17.99/7.68 c (0,0) c conflict literals : 991 (25.09 % deleted)
17.99/7.68 c (0,0) c CPU time : 0.386036 s
17.99/7.68 c (0,0)
17.99/7.68 c (0,0) s UNSATISFIABLE
17.99/7.68 c (0,0) SatSolver.solve End
17.99/7.68 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
17.99/7.68 c (0,0) Show results Begin
17.99/7.68 s UNSATISFIABLE
17.99/7.68 c (0,0) Show results End
17.99/7.68 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
17.99/7.68 c (0,0) 0,0,STOP-AFTER(ALL)
17.99/7.68 c END-Prog: Sun Aug 12 12:00:32 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 (4497 MiB free)
memory of node 1: 16384 MiB (5829 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305532-1534068024/watcher-4305532-1534068024 -o /tmp/evaluation-result-4305532-1534068024/solver-4305532-1534068024 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16802 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305532-1534068024.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=18735, runsolver pid=18732
[startup+0.10014 s]*
/proc/loadavg: 2.44 2.12 2.08 3/222 18752
/proc/meminfo: memFree=10514684/32770624 swapFree=67108860/67108860
[pid=18735] ppid=18732 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18735/stat : 18735 (scop.sh) S 18732 18735 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224365561 115843072 349 33554432000 4194304 5098028 140732537807280 140732537804536 139985140634236 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32288768 140732537812032 140732537812231 140732537812231 140732537814989 0
/proc/18735/statm: 28282 349 296 221 0 87 0
[pid=18738] ppid=18735 vsize=15012476 memory=71752 CPUtime=0.11 cores=1,3,5,7
/proc/18738/stat : 18738 (java) S 18735 18735 16770 0 -1 1077944320 6606 0 0 0 9 2 0 0 20 0 15 0 224365561 15372775424 17938 33554432000 4194304 4196468 140731274046512 140731274029056 140216756358903 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
/proc/18738/statm: 3753119 17938 2762 1 0 3715579 0
[pid=18738/tid=18739] ppid=18735 vsize=15012476 memory=-6367101157092147135 CPUtime=0.09 cores=1,3,5,7
/proc/18738/task/18739/stat : 18739 (java) R 18735 18735 16770 0 -1 4202560 4649 0 0 0 7 2 0 0 20 0 15 0 224365562 15372775424 17938 33554432000 4194304 4196468 140731274046512 140216728170888 140216737922478 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18740] ppid=18735 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18740/stat : 18740 (java) S 18735 18735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224365563 15372775424 17938 33554432000 4194304 4196468 140731274046512 140216760601488 140216756369109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18741] ppid=18735 vsize=15012476 memory=140702325188224 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18741/stat : 18741 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224365563 15372775424 17938 33554432000 4194304 4196468 140731274046512 140216217189136 140216756369109 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18742] ppid=18735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18742/stat : 18742 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224365563 15372775424 17938 33554432000 4194304 4196468 140731274046512 140216216136848 140216756369109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18743] ppid=18735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18743/stat : 18743 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224365563 15372775424 17938 33554432000 4194304 4196468 140731274046512 140216215084048 140216756369109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18744] ppid=18735 vsize=15012476 memory=140702325188224 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18744/stat : 18744 (java) S 18735 18735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224365565 15372775424 17938 33554432000 4194304 4196468 140731274046512 140215726307440 140216756370050 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18745] ppid=18735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18745/stat : 18745 (java) S 18735 18735 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224365565 15372775424 17938 33554432000 4194304 4196468 140731274046512 140215381386016 140216756369109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18746] ppid=18735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18746/stat : 18746 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224365565 15372775424 17938 33554432000 4194304 4196468 140731274046512 140215112950896 140216756369109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18747] ppid=18735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18747/stat : 18747 (java) S 18735 18735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224365568 15372775424 17938 33554432000 4194304 4196468 140731274046512 140214738442320 140216756377499 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18748] ppid=18735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18748/stat : 18748 (java) S 18735 18735 16770 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 224365568 15372775424 17938 33554432000 4194304 4196468 140731274046512 140215725255280 140216756370050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18749] ppid=18735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18749/stat : 18749 (java) S 18735 18735 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224365568 15372775424 17938 33554432000 4194304 4196468 140731274046512 140215724202480 140216756370050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18750] ppid=18735 vsize=15012476 memory=140702325188224 CPUtime=0.01 cores=1,3,5,7
/proc/18738/task/18750/stat : 18750 (java) S 18735 18735 16770 0 -1 1077944384 314 0 0 0 1 0 0 0 20 0 15 0 224365568 15372775424 17938 33554432000 4194304 4196468 140731274046512 140215723150192 140216756370050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18751] ppid=18735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18751/stat : 18751 (java) S 18735 18735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224365568 15372775424 17938 33554432000 4194304 4196468 140731274046512 140214240537568 140216756369109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18752] ppid=18735 vsize=15012476 memory=140702325188224 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18752/stat : 18752 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224365568 15372775424 17938 33554432000 4194304 4196468 140731274046512 140215722097072 140216756370050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73148 KiB
[startup+0.211976 s]*
/proc/loadavg: 2.44 2.12 2.08 3/222 18752
/proc/meminfo: memFree=10500856/32770624 swapFree=67108860/67108860
[pid=18735] ppid=18732 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18735/stat : 18735 (scop.sh) S 18732 18735 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224365561 115843072 349 33554432000 4194304 5098028 140732537807280 140732537804536 139985140634236 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32288768 140732537812032 140732537812231 140732537812231 140732537814989 0
/proc/18735/statm: 28282 349 296 221 0 87 0
[pid=18738] ppid=18735 vsize=15012476 memory=85052 CPUtime=0.26 cores=1,3,5,7
/proc/18738/stat : 18738 (java) S 18735 18735 16770 0 -1 1077944320 10144 0 0 0 23 3 0 0 20 0 15 0 224365561 15372775424 21263 33554432000 4194304 4196468 140731274046512 140731274029056 140216756358903 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
/proc/18738/statm: 3753119 21263 2898 1 0 3715579 0
[pid=18738/tid=18739] ppid=18735 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/18738/task/18739/stat : 18739 (java) R 18735 18735 16770 0 -1 4202560 7966 0 0 0 17 2 0 0 20 0 15 0 224365562 15372775424 21263 33554432000 4194304 4196468 140731274046512 140216728178160 140216756370838 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18740] ppid=18735 vsize=15012476 memory=365 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18740/stat : 18740 (java) S 18735 18735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224365563 15372775424 21263 33554432000 4194304 4196468 140731274046512 140216760601488 140216756369109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18741] ppid=18735 vsize=15012476 memory=140702326378270 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18741/stat : 18741 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224365563 15372775424 21263 33554432000 4194304 4196468 140731274046512 140216217189136 140216756369109 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18742] ppid=18735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18742/stat : 18742 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224365563 15372775424 21263 33554432000 4194304 4196468 140731274046512 140216216136848 140216756369109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18743] ppid=18735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18743/stat : 18743 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224365563 15372775424 21263 33554432000 4194304 4196468 140731274046512 140216215084048 140216756369109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18744] ppid=18735 vsize=15012476 memory=140702325188224 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18744/stat : 18744 (java) S 18735 18735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224365565 15372775424 21263 33554432000 4194304 4196468 140731274046512 140215726307440 140216756370050 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18745] ppid=18735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18745/stat : 18745 (java) S 18735 18735 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224365565 15372775424 21263 33554432000 4194304 4196468 140731274046512 140215381386016 140216756369109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18746] ppid=18735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18746/stat : 18746 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224365565 15372775424 21263 33554432000 4194304 4196468 140731274046512 140215112950896 140216756369109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18747] ppid=18735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18747/stat : 18747 (java) S 18735 18735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224365568 15372775424 21263 33554432000 4194304 4196468 140731274046512 140214738442320 140216756377499 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18748] ppid=18735 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18738/task/18748/stat : 18748 (java) S 18735 18735 16770 0 -1 1077944384 319 0 0 0 1 0 0 0 20 0 15 0 224365568 15372775424 21263 33554432000 4194304 4196468 140731274046512 140215725255280 140216756370050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18749] ppid=18735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18749/stat : 18749 (java) S 18735 18735 16770 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 15 0 224365568 15372775424 21263 33554432000 4194304 4196468 140731274046512 140215724202480 140216756370050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18750] ppid=18735 vsize=15012476 memory=140702325188224 CPUtime=0.03 cores=1,3,5,7
/proc/18738/task/18750/stat : 18750 (java) R 18735 18735 16770 0 -1 4202560 364 0 0 0 3 0 0 0 20 0 15 0 224365568 15372775424 21263 33554432000 4194304 4196468 140731274046512 140215723150192 140216735316837 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18751] ppid=18735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18751/stat : 18751 (java) S 18735 18735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224365568 15372775424 21263 33554432000 4194304 4196468 140731274046512 140214240537568 140216756369109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18752] ppid=18735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18752/stat : 18752 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224365568 15372775424 21263 33554432000 4194304 4196468 140731274046512 140215722097072 140216756370050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86448 KiB
[startup+0.310623 s]*
/proc/loadavg: 2.44 2.12 2.08 3/222 18752
/proc/meminfo: memFree=10496824/32770624 swapFree=67108860/67108860
[pid=18735] ppid=18732 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18735/stat : 18735 (scop.sh) S 18732 18735 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224365561 115843072 349 33554432000 4194304 5098028 140732537807280 140732537804536 139985140634236 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32288768 140732537812032 140732537812231 140732537812231 140732537814989 0
/proc/18735/statm: 28282 349 296 221 0 87 0
[pid=18738] ppid=18735 vsize=15012476 memory=89120 CPUtime=0.42 cores=1,3,5,7
/proc/18738/stat : 18738 (java) S 18735 18735 16770 0 -1 1077944320 10775 0 0 0 39 3 0 0 20 0 15 0 224365561 15372775424 22280 33554432000 4194304 4196468 140731274046512 140731274029056 140216756358903 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
/proc/18738/statm: 3753119 22280 3004 1 0 3715579 0
[pid=18738/tid=18739] ppid=18735 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/18738/task/18739/stat : 18739 (java) R 18735 18735 16770 0 -1 4202560 8340 0 0 0 27 3 0 0 20 0 15 0 224365562 15372775424 22280 33554432000 4194304 4196468 140731274046512 140216728153904 140216259731857 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18740] ppid=18735 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18740/stat : 18740 (java) S 18735 18735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224365563 15372775424 22280 33554432000 4194304 4196468 140731274046512 140216760601488 140216756369109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18741] ppid=18735 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18741/stat : 18741 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224365563 15372775424 22280 33554432000 4194304 4196468 140731274046512 140216217189136 140216756369109 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18742] ppid=18735 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18742/stat : 18742 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224365563 15372775424 22280 33554432000 4194304 4196468 140731274046512 140216216136848 140216756369109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18743] ppid=18735 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18743/stat : 18743 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224365563 15372775424 22280 33554432000 4194304 4196468 140731274046512 140216215084048 140216756369109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18744] ppid=18735 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18744/stat : 18744 (java) S 18735 18735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224365565 15372775424 22280 33554432000 4194304 4196468 140731274046512 140215726307440 140216756370050 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18745] ppid=18735 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18745/stat : 18745 (java) S 18735 18735 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224365565 15372775424 22280 33554432000 4194304 4196468 140731274046512 140215381386016 140216756369109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18746] ppid=18735 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18746/stat : 18746 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224365565 15372775424 22280 33554432000 4194304 4196468 140731274046512 140215112950896 140216756369109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18747] ppid=18735 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18747/stat : 18747 (java) S 18735 18735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224365568 15372775424 22280 33554432000 4194304 4196468 140731274046512 140214738442320 140216756377499 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18748] ppid=18735 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18738/task/18748/stat : 18748 (java) R 18735 18735 16770 0 -1 1077944384 418 0 0 0 2 0 0 0 20 0 15 0 224365568 15372775424 22280 33554432000 4194304 4196468 140731274046512 140215725255280 140216756370050 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18749] ppid=18735 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18738/task/18749/stat : 18749 (java) R 18735 18735 16770 0 -1 4202560 225 0 0 0 1 0 0 0 20 0 15 0 224365568 15372775424 22280 33554432000 4194304 4196468 140731274046512 140215724202480 140216749343945 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18750] ppid=18735 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18738/task/18750/stat : 18750 (java) R 18735 18735 16770 0 -1 4202560 460 0 0 0 7 0 0 0 20 0 15 0 224365568 15372775424 22280 33554432000 4194304 4196468 140731274046512 140215723150192 140216756370838 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18751] ppid=18735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18751/stat : 18751 (java) S 18735 18735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224365568 15372775424 22280 33554432000 4194304 4196468 140731274046512 140214240537568 140216756369109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18752] ppid=18735 vsize=15012476 memory=3833468387996016689 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18752/stat : 18752 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224365568 15372775424 22280 33554432000 4194304 4196468 140731274046512 140215722097072 140216756370050 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90516 KiB
[startup+0.703227 s]
/proc/loadavg: 2.44 2.12 2.08 3/222 18752
/proc/meminfo: memFree=10472392/32770624 swapFree=67108860/67108860
[pid=18735] ppid=18732 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18735/stat : 18735 (scop.sh) S 18732 18735 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224365561 115843072 349 33554432000 4194304 5098028 140732537807280 140732537804536 139985140634236 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32288768 140732537812032 140732537812231 140732537812231 140732537814989 0
/proc/18735/statm: 28282 349 296 221 0 87 0
[pid=18738] ppid=18735 vsize=15018748 memory=128060 CPUtime=1.05 cores=1,3,5,7
/proc/18738/stat : 18738 (java) S 18735 18735 16770 0 -1 1077944320 17683 0 0 0 99 6 0 0 20 0 15 0 224365561 15379197952 32015 33554432000 4194304 4196468 140731274046512 140731274029056 140216756358903 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
/proc/18738/statm: 3754687 32015 3147 1 0 3716091 0
[pid=18738/tid=18739] ppid=18735 vsize=15018748 memory=-7816663703405220396 CPUtime=0.68 cores=1,3,5,7
/proc/18738/task/18739/stat : 18739 (java) R 18735 18735 16770 0 -1 4202560 14668 0 0 0 63 5 0 0 20 0 15 0 224365562 15379197952 32015 33554432000 4194304 4196468 140731274046512 140216728194672 140216259728661 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18740] ppid=18735 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18740/stat : 18740 (java) S 18735 18735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224365563 15379197952 32015 33554432000 4194304 4196468 140731274046512 140216760601488 140216756369109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18741] ppid=18735 vsize=15018748 memory=60900 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18741/stat : 18741 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224365563 15379197952 32015 33554432000 4194304 4196468 140731274046512 140216217189136 140216756369109 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18742] ppid=18735 vsize=15018748 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18742/stat : 18742 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224365563 15379197952 32015 33554432000 4194304 4196468 140731274046512 140216216136848 140216756369109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18743] ppid=18735 vsize=15018748 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18743/stat : 18743 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224365563 15379197952 32015 33554432000 4194304 4196468 140731274046512 140216215084048 140216756369109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18744] ppid=18735 vsize=15018748 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18744/stat : 18744 (java) S 18735 18735 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224365565 15379197952 32015 33554432000 4194304 4196468 140731274046512 140215726307440 140216756370050 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18745] ppid=18735 vsize=15018748 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18745/stat : 18745 (java) S 18735 18735 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224365565 15379197952 32015 33554432000 4194304 4196468 140731274046512 140215381386016 140216756369109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18746] ppid=18735 vsize=15018748 memory=796 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18746/stat : 18746 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224365565 15379197952 32015 33554432000 4194304 4196468 140731274046512 140215112950896 140216756369109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18747] ppid=18735 vsize=15018748 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18747/stat : 18747 (java) S 18735 18735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224365568 15379197952 32015 33554432000 4194304 4196468 140731274046512 140214738442320 140216756377499 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18748] ppid=18735 vsize=15018748 memory=876 CPUtime=0.1 cores=1,3,5,7
/proc/18738/task/18748/stat : 18748 (java) R 18735 18735 16770 0 -1 1077944384 656 0 0 0 10 0 0 0 20 0 15 0 224365568 15379197952 32015 33554432000 4194304 4196468 140731274046512 140215725245392 140216756369109 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18749] ppid=18735 vsize=15018748 memory=10096 CPUtime=0.08 cores=1,3,5,7
/proc/18738/task/18749/stat : 18749 (java) S 18735 18735 16770 0 -1 1077944384 320 0 0 0 8 0 0 0 20 0 15 0 224365568 15379197952 32015 33554432000 4194304 4196468 140731274046512 140215724192272 140216756369109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18750] ppid=18735 vsize=15018748 memory=1228 CPUtime=0.17 cores=1,3,5,7
/proc/18738/task/18750/stat : 18750 (java) R 18735 18735 16770 0 -1 4202560 704 0 0 0 17 0 0 0 20 0 15 0 224365568 15379197952 32015 33554432000 4194304 4196468 140731274046512 140215723146144 140216749462545 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18751] ppid=18735 vsize=15018748 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18751/stat : 18751 (java) S 18735 18735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224365568 15379197952 32015 33554432000 4194304 4196468 140731274046512 140214240537568 140216756369109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18752] ppid=18735 vsize=15018748 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18752/stat : 18752 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224365568 15379197952 32015 33554432000 4194304 4196468 140731274046512 140215722097072 140216756370050 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 129456 KiB
[startup+1.50272 s]
/proc/loadavg: 2.44 2.12 2.08 6/222 18752
/proc/meminfo: memFree=10251348/32770624 swapFree=67108860/67108860
[pid=18735] ppid=18732 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18735/stat : 18735 (scop.sh) S 18732 18735 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224365561 115843072 349 33554432000 4194304 5098028 140732537807280 140732537804536 139985140634236 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32288768 140732537812032 140732537812231 140732537812231 140732537814989 0
/proc/18735/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/18738/task/18745/stat : 18745 (java) S 18735 18735 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224365565 15389851648 694624 33554432000 4194304 4196468 140731274046512 140215381386016 140216756369109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18746] ppid=18735 vsize=15029152 memory=-3705176732362995124 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18746/stat : 18746 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224365565 15389851648 694624 33554432000 4194304 4196468 140731274046512 140215112950896 140216756369109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18747] ppid=18735 vsize=15029152 memory=-8383301583103171957 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18747/stat : 18747 (java) S 18735 18735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224365568 15389851648 694624 33554432000 4194304 4196468 140731274046512 140214738442320 140216756377499 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18748] ppid=18735 vsize=15029152 memory=4282807335222807926 CPUtime=4.38 cores=1,3,5,7
/proc/18738/task/18748/stat : 18748 (java) S 18735 18735 16770 0 -1 1077944384 7321 0 0 0 436 2 0 0 20 0 15 0 224365568 15389851648 694624 33554432000 4194304 4196468 140731274046512 140215725255280 140216756370050 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18749] ppid=18735 vsize=15029152 memory=0 CPUtime=3.93 cores=1,3,5,7
/proc/18738/task/18749/stat : 18749 (java) S 18735 18735 16770 0 -1 1077944384 2915 0 0 0 393 0 0 0 20 0 15 0 224365568 15389851648 694624 33554432000 4194304 4196468 140731274046512 140215724202480 140216756370050 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18750] ppid=18735 vsize=15029152 memory=56 CPUtime=1.55 cores=1,3,5,7
/proc/18738/task/18750/stat : 18750 (java) S 18735 18735 16770 0 -1 1077944384 4742 0 0 0 152 3 0 0 20 0 15 0 224365568 15389851648 694624 33554432000 4194304 4196468 140731274046512 140215723150192 140216756370050 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18751] ppid=18735 vsize=15029152 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18751/stat : 18751 (java) S 18735 18735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224365568 15389851648 694624 33554432000 4194304 4196468 140731274046512 140214240537568 140216756369109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
[pid=18738/tid=18752] ppid=18735 vsize=15029152 memory=140702189134560 CPUtime=0 cores=1,3,5,7
/proc/18738/task/18752/stat : 18752 (java) S 18735 18735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224365568 15389851648 694624 33554432000 4194304 4196468 140731274046512 140215722097072 140216756370050 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23179264 140731274048518 140731274048817 140731274048817 140731274051535 0
Current children cumulated CPU time: 16.15 s
Current children cumulated vsize: 15142280 KiB
Current children cumulated memory: 2779892 KiB
[startup+7.84482 s]
# the end of solver process 18735 was just reported to runsolver
# cumulated CPU time of all completed processes: user=17.5975 s, system=0.851866 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40093 s]
/proc/loadavg: 2.57 2.15 2.09 5/222 18752
/proc/meminfo: memFree=7809984/32770624 swapFree=67108860/67108860
[pid=18735] ppid=18732 vsize=113128 memory=1472 CPUtime=16.25 cores=1,3,5,7
/proc/18735/stat : 18735 (scop.sh) S 18732 18735 16770 0 -1 4202496 590 35369 0 0 0 0 1555 70 20 0 1 0 224365561 115843072 368 33554432000 4194304 5098028 140732537807280 140732537804024 139985140634236 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32288768 140732537812032 140732537812231 140732537812231 140732537814989 0
/proc/18735/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 16.25 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
[startup+7.20104 s]
/proc/loadavg: 2.57 2.15 2.09 4/222 18767
/proc/meminfo: memFree=10481612/32770624 swapFree=67108860/67108860
[pid=18735] ppid=18732 vsize=113128 memory=1472 CPUtime=16.25 cores=1,3,5,7
/proc/18735/stat : 18735 (scop.sh) S 18732 18735 16770 0 -1 4202496 590 35369 0 0 0 0 1555 70 20 0 1 0 224365561 115843072 368 33554432000 4194304 5098028 140732537807280 140732537804024 139985140634236 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32288768 140732537812032 140732537812231 140732537812231 140732537814989 0
/proc/18735/statm: 28282 368 311 221 0 87 0
[pid=18753] ppid=18735 vsize=7408432 memory=114596 CPUtime=1.47 cores=1,3,5,7
/proc/18753/stat : 18753 (java) S 18735 18735 16770 0 -1 1077944320 17837 0 0 0 136 11 0 0 20 0 15 0 224366198 7586234368 28649 33554432000 4194304 4196468 140724721783648 140724721766192 139690739183351 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
/proc/18753/statm: 1852108 28649 3114 1 0 1814042 0
[pid=18753/tid=18754] ppid=18735 vsize=7408432 memory=960 CPUtime=0.8 cores=1,3,5,7
/proc/18753/task/18754/stat : 18754 (java) R 18735 18735 16770 0 -1 4202560 14197 0 0 0 70 10 0 0 20 0 15 0 224366199 7586234368 28649 33554432000 4194304 4196468 140724721783648 139690711017568 139690739195286 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18755] ppid=18735 vsize=7408432 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/18753/task/18755/stat : 18755 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224366200 7586234368 28649 33554432000 4194304 4196468 140724721783648 139690743426064 139690739193557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18756] ppid=18735 vsize=7408432 memory=2460 CPUtime=0 cores=1,3,5,7
/proc/18753/task/18756/stat : 18756 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224366200 7586234368 28649 33554432000 4194304 4196468 140724721783648 139690543594640 139690739193557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18757] ppid=18735 vsize=7408432 memory=932 CPUtime=0 cores=1,3,5,7
/proc/18753/task/18757/stat : 18757 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224366200 7586234368 28649 33554432000 4194304 4196468 140724721783648 139690542541584 139690739193557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18758] ppid=18735 vsize=7408432 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/18753/task/18758/stat : 18758 (java) S 18735 18735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224366200 7586234368 28649 33554432000 4194304 4196468 140724721783648 139690541489040 139690739193557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18759] ppid=18735 vsize=7408432 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/18753/task/18759/stat : 18759 (java) S 18735 18735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224366201 7586234368 28649 33554432000 4194304 4196468 140724721783648 139690118203632 139690739194498 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18760] ppid=18735 vsize=7408432 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/18753/task/18760/stat : 18760 (java) S 18735 18735 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224366202 7586234368 28649 33554432000 4194304 4196468 140724721783648 139689583436960 139690739193557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18761] ppid=18735 vsize=7408432 memory=2100 CPUtime=0 cores=1,3,5,7
/proc/18753/task/18761/stat : 18761 (java) S 18735 18735 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224366202 7586234368 28649 33554432000 4194304 4196468 140724721783648 139689449214704 139690739193557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18762] ppid=18735 vsize=7408432 memory=7528 CPUtime=0 cores=1,3,5,7
/proc/18753/task/18762/stat : 18762 (java) S 18735 18735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224366204 7586234368 28649 33554432000 4194304 4196468 140724721783648 139689074710480 139690739201947 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18763] ppid=18735 vsize=7408432 memory=4128 CPUtime=0.22 cores=1,3,5,7
/proc/18753/task/18763/stat : 18763 (java) R 18735 18735 16770 0 -1 4202560 881 0 0 0 22 0 0 0 20 0 15 0 224366204 7586234368 28649 33554432000 4194304 4196468 140724721783648 139690117137352 139690732279945 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18764] ppid=18735 vsize=7408432 memory=2340 CPUtime=0.23 cores=1,3,5,7
/proc/18753/task/18764/stat : 18764 (java) R 18735 18735 16770 0 -1 4202560 859 0 0 0 23 0 0 0 20 0 15 0 224366204 7586234368 28649 33554432000 4194304 4196468 140724721783648 139690116085712 139690731472640 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18765] ppid=18735 vsize=7408432 memory=288230621803970871 CPUtime=0.2 cores=1,3,5,7
/proc/18753/task/18765/stat : 18765 (java) S 18735 18735 16770 0 -1 1077944384 548 0 0 0 20 0 0 0 20 0 15 0 224366204 7586234368 28649 33554432000 4194304 4196468 140724721783648 139690115045872 139690739194498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18766] ppid=18735 vsize=7408432 memory=13567093857585738 CPUtime=0 cores=1,3,5,7
/proc/18753/task/18766/stat : 18766 (java) S 18735 18735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224366204 7586234368 28649 33554432000 4194304 4196468 140724721783648 139688576805728 139690739193557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18767] ppid=18735 vsize=7408432 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/18753/task/18767/stat : 18767 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224366205 7586234368 28649 33554432000 4194304 4196468 140724721783648 139690113993264 139690739194498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
Current children cumulated CPU time: 17.72 s
Current children cumulated vsize: 7521560 KiB
Current children cumulated memory: 116068 KiB
[startup+7.60081 s]
/proc/loadavg: 2.57 2.15 2.09 4/222 18767
/proc/meminfo: memFree=10481612/32770624 swapFree=67108860/67108860
[pid=18735] ppid=18732 vsize=113128 memory=1472 CPUtime=16.25 cores=1,3,5,7
/proc/18735/stat : 18735 (scop.sh) S 18732 18735 16770 0 -1 4202496 590 35369 0 0 0 0 1555 70 20 0 1 0 224365561 115843072 368 33554432000 4194304 5098028 140732537807280 140732537804024 139985140634236 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32288768 140732537812032 140732537812231 140732537812231 140732537814989 0
/proc/18735/statm: 28282 368 311 221 0 87 0
[pid=18753] ppid=18735 vsize=8068220 memory=132968 CPUtime=1.74 cores=1,3,5,7
/proc/18753/stat : 18753 (java) S 18735 18735 16770 0 -1 1077944320 18946 0 0 0 163 11 0 0 20 0 19 0 224366198 8261857280 33242 33554432000 4194304 4196468 140724721783648 140724721766192 139690739183351 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
/proc/18753/statm: 2017055 33242 3166 1 0 1978454 0
[pid=18753/tid=18754] ppid=18735 vsize=8068220 memory=0 CPUtime=0.92 cores=1,3,5,7
/proc/18753/task/18754/stat : 18754 (java) S 18735 18735 16770 0 -1 1077944384 15073 0 0 0 82 10 0 0 20 0 19 0 224366199 8261857280 33242 33554432000 4194304 4196468 140724721783648 139690711023504 139690739193557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18755] ppid=18735 vsize=8068220 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/18753/task/18755/stat : 18755 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224366200 8261857280 33242 33554432000 4194304 4196468 140724721783648 139690743426064 139690739193557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18756] ppid=18735 vsize=8068220 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/18753/task/18756/stat : 18756 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224366200 8261857280 33242 33554432000 4194304 4196468 140724721783648 139690543594640 139690739193557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18757] ppid=18735 vsize=8068220 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/18753/task/18757/stat : 18757 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224366200 8261857280 33242 33554432000 4194304 4196468 140724721783648 139690542541584 139690739193557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18758] ppid=18735 vsize=8068220 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/18753/task/18758/stat : 18758 (java) S 18735 18735 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224366200 8261857280 33242 33554432000 4194304 4196468 140724721783648 139690541489040 139690739193557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18759] ppid=18735 vsize=8068220 memory=8804 CPUtime=0 cores=1,3,5,7
/proc/18753/task/18759/stat : 18759 (java) S 18735 18735 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224366201 8261857280 33242 33554432000 4194304 4196468 140724721783648 139690118203632 139690739194498 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18760] ppid=18735 vsize=8068220 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/18753/task/18760/stat : 18760 (java) S 18735 18735 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224366202 8261857280 33242 33554432000 4194304 4196468 140724721783648 139689583436960 139690739193557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18761] ppid=18735 vsize=8068220 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/18753/task/18761/stat : 18761 (java) S 18735 18735 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224366202 8261857280 33242 33554432000 4194304 4196468 140724721783648 139689449214704 139690739193557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18762] ppid=18735 vsize=8068220 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/18753/task/18762/stat : 18762 (java) S 18735 18735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224366204 8261857280 33242 33554432000 4194304 4196468 140724721783648 139689074710480 139690739201947 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18763] ppid=18735 vsize=8068220 memory=16228 CPUtime=0.28 cores=1,3,5,7
/proc/18753/task/18763/stat : 18763 (java) S 18735 18735 16770 0 -1 1077944384 923 0 0 0 28 0 0 0 20 0 19 0 224366204 8261857280 33242 33554432000 4194304 4196468 140724721783648 139690117151472 139690739194498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18764] ppid=18735 vsize=8068220 memory=33848 CPUtime=0.26 cores=1,3,5,7
/proc/18753/task/18764/stat : 18764 (java) S 18735 18735 16770 0 -1 1077944384 871 0 0 0 26 0 0 0 20 0 19 0 224366204 8261857280 33242 33554432000 4194304 4196468 140724721783648 139690116098928 139690739194498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18765] ppid=18735 vsize=8068220 memory=6791534058613427641 CPUtime=0.24 cores=1,3,5,7
/proc/18753/task/18765/stat : 18765 (java) S 18735 18735 16770 0 -1 1077944384 651 0 0 0 24 0 0 0 20 0 19 0 224366204 8261857280 33242 33554432000 4194304 4196468 140724721783648 139690115045872 139690739194498 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18766] ppid=18735 vsize=8068220 memory=876 CPUtime=0 cores=1,3,5,7
/proc/18753/task/18766/stat : 18766 (java) S 18735 18735 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224366204 8261857280 33242 33554432000 4194304 4196468 140724721783648 139688576805728 139690739193557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18767] ppid=18735 vsize=8068220 memory=10096 CPUtime=0 cores=1,3,5,7
/proc/18753/task/18767/stat : 18767 (java) S 18735 18735 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224366205 8261857280 33242 33554432000 4194304 4196468 140724721783648 139690113993264 139690739194498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
Current children cumulated CPU time: 17.99 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 134440 KiB
[startup+7.80079 s]
/proc/loadavg: 2.57 2.15 2.09 4/222 18767
/proc/meminfo: memFree=10481612/32770624 swapFree=67108860/67108860
[pid=18735] ppid=18732 vsize=113128 memory=1472 CPUtime=16.25 cores=1,3,5,7
/proc/18735/stat : 18735 (scop.sh) S 18732 18735 16770 0 -1 4202496 590 35369 0 0 0 0 1555 70 20 0 1 0 224365561 115843072 368 33554432000 4194304 5098028 140732537807280 140732537804024 139985140634236 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32288768 140732537812032 140732537812231 140732537812231 140732537814989 0
/proc/18735/statm: 28282 368 311 221 0 87 0
[pid=18753] ppid=18735 vsize=7937144 memory=137332 CPUtime=2.17 cores=1,3,5,7
/proc/18753/stat : 18753 (java) S 18735 18735 16770 0 -1 1077944320 18983 7920 0 0 165 12 38 2 20 0 17 0 224366198 8127635456 34333 33554432000 4194304 4196468 140724721783648 140724721766192 139690739183351 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
/proc/18753/statm: 1984286 34333 3168 1 0 1945685 0
[pid=18753/tid=18754] ppid=18735 vsize=7937144 memory=1160 CPUtime=1.33 cores=1,3,5,7
/proc/18753/task/18754/stat : 18754 (java) D 18735 18735 16770 0 -1 4202560 15085 7920 0 0 83 10 38 2 20 0 17 0 224366199 8127635456 34333 33554432000 4194304 4196468 140724721783648 139690711025128 139690731868983 0 4 2 25189581 18446744072100592773 0 0 -1 7 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18755] ppid=18735 vsize=7937144 memory=8804 CPUtime=0.4 cores=1,3,5,7
/proc/18753/task/18755/stat : 18755 (java) S 18735 18735 16770 0 -1 1077944384 1 7920 0 0 0 0 38 2 20 0 17 0 224366200 8127635456 34333 33554432000 4194304 4196468 140724721783648 139690743426064 139690739193557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18756] ppid=18735 vsize=7937144 memory=4616 CPUtime=0.4 cores=1,3,5,7
/proc/18753/task/18756/stat : 18756 (java) S 18735 18735 16770 0 -1 1077944384 1 7920 0 0 0 0 38 2 20 0 17 0 224366200 8127635456 34333 33554432000 4194304 4196468 140724721783648 139690543594640 139690739193557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18757] ppid=18735 vsize=7937144 memory=1428 CPUtime=0.4 cores=1,3,5,7
/proc/18753/task/18757/stat : 18757 (java) S 18735 18735 16770 0 -1 1077944384 1 7920 0 0 0 0 38 2 20 0 17 0 224366200 8127635456 34333 33554432000 4194304 4196468 140724721783648 139690542541584 139690739193557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18758] ppid=18735 vsize=7937144 memory=6791534058613427641 CPUtime=0.4 cores=1,3,5,7
/proc/18753/task/18758/stat : 18758 (java) S 18735 18735 16770 0 -1 1077944384 2 7920 0 0 0 0 38 2 20 0 17 0 224366200 8127635456 34333 33554432000 4194304 4196468 140724721783648 139690541489040 139690739193557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18759] ppid=18735 vsize=7937144 memory=15460 CPUtime=0.4 cores=1,3,5,7
/proc/18753/task/18759/stat : 18759 (java) S 18735 18735 16770 0 -1 1077944384 5 7920 0 0 0 0 38 2 20 0 17 0 224366201 8127635456 34333 33554432000 4194304 4196468 140724721783648 139690118203632 139690739194498 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18760] ppid=18735 vsize=7937144 memory=17668 CPUtime=0.4 cores=1,3,5,7
/proc/18753/task/18760/stat : 18760 (java) S 18735 18735 16770 0 -1 1077944384 13 7920 0 0 0 0 38 2 20 0 17 0 224366202 8127635456 34333 33554432000 4194304 4196468 140724721783648 139689583436960 139690739193557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18761] ppid=18735 vsize=7937144 memory=19876 CPUtime=0.4 cores=1,3,5,7
/proc/18753/task/18761/stat : 18761 (java) S 18735 18735 16770 0 -1 1077944384 21 7920 0 0 0 0 38 2 20 0 17 0 224366202 8127635456 34333 33554432000 4194304 4196468 140724721783648 139689449214704 139690739193557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18762] ppid=18735 vsize=7937144 memory=22084 CPUtime=0.4 cores=1,3,5,7
/proc/18753/task/18762/stat : 18762 (java) S 18735 18735 16770 0 -1 1077944384 3 7920 0 0 0 0 38 2 20 0 17 0 224366204 8127635456 34333 33554432000 4194304 4196468 140724721783648 139689074710480 139690739201947 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18763] ppid=18735 vsize=7937144 memory=24292 CPUtime=0.68 cores=1,3,5,7
/proc/18753/task/18763/stat : 18763 (java) S 18735 18735 16770 0 -1 1077944384 923 7920 0 0 28 0 38 2 20 0 17 0 224366204 8127635456 34333 33554432000 4194304 4196468 140724721783648 139690117151472 139690739194498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18764] ppid=18735 vsize=7937144 memory=26500 CPUtime=0.66 cores=1,3,5,7
/proc/18753/task/18764/stat : 18764 (java) S 18735 18735 16770 0 -1 1077944384 871 7920 0 0 26 0 38 2 20 0 17 0 224366204 8127635456 34333 33554432000 4194304 4196468 140724721783648 139690116098928 139690739194498 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18765] ppid=18735 vsize=7937144 memory=28708 CPUtime=0.65 cores=1,3,5,7
/proc/18753/task/18765/stat : 18765 (java) S 18735 18735 16770 0 -1 1077944384 659 7920 0 0 25 0 38 2 20 0 17 0 224366204 8127635456 34333 33554432000 4194304 4196468 140724721783648 139690115045872 139690739194498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18766] ppid=18735 vsize=7937144 memory=30916 CPUtime=0.4 cores=1,3,5,7
/proc/18753/task/18766/stat : 18766 (java) S 18735 18735 16770 0 -1 1077944384 3 7920 0 0 0 0 38 2 20 0 17 0 224366204 8127635456 34333 33554432000 4194304 4196468 140724721783648 139688576805728 139690739193557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
[pid=18753/tid=18767] ppid=18735 vsize=7937144 memory=33124 CPUtime=0.4 cores=1,3,5,7
/proc/18753/task/18767/stat : 18767 (java) S 18735 18735 16770 0 -1 1077944384 1 7920 0 0 0 0 38 2 20 0 17 0 224366205 8127635456 34333 33554432000 4194304 4196468 140724721783648 139690113993264 139690739194498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25395200 140724721788085 140724721788209 140724721788209 140724721790927 0
Current children cumulated CPU time: 18.42 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 138804 KiB
Child status: 0
Real time (s): 7.84489
CPU time (s): 18.4494
CPU user time (s): 17.5975
CPU system time (s): 0.851866
CPU usage (%): 235.177
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 2779892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.5975
system time used= 0.851866
maximum resident set size= 2781156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62896
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5916
involuntary context switches= 115
# summary of solver processes directly reported to runsolver:
# pid: 18735
# total CPU time (s): 18.4494
# total CPU user time (s): 17.5975
# total CPU system time (s): 0.851866
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.072423 second user time and 0.122821 second system time
The end