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-19086-serial-file.bin HOME/instance-4305420-1534072652.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.55 c BEGIN-Prog: Sun Aug 12 13:17:33 CEST 2018
0.66/0.55 c PID: 19089
0.66/0.55 c IP: 172.20.3.107
0.66/0.55 c HOST: node107.alineos.net
0.66/0.56 c (0,0) Parsing Begin
3.15/1.45 c (0,0) Parsing End
3.15/1.46 c (0,0) CSP: 96 int (0 aux), 0 bool (0 aux), 1808 ctr, max domain size 4
3.15/1.46 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.15/1.46 c (0,0) Constraint Name Generate Begin
3.15/1.48 c (0,0) Ctr:HOME/instance-4305420-1534072652.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
3.15/1.48 c (0,0) Constraint Name Generate End
3.15/1.48 c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.15/1.48 c (0,0) CSP to CSPinCNF Begin
3.78/1.64 c (1,1) translated 181 (10%) constraints
3.78/1.68 c (1,1) translated 362 (20%) constraints
4.10/1.72 c (1,1) translated 543 (30%) constraints
4.10/1.75 c (1,1) translated 724 (40%) constraints
4.10/1.77 c (1,1) translated 904 (50%) constraints
4.10/1.78 c (1,1) translated 1085 (60%) constraints
4.10/1.79 c (1,1) translated 1266 (70%) constraints
4.41/1.81 c (1,1) translated 1447 (80%) constraints
4.41/1.82 c (1,1) translated 1628 (90%) constraints
5.05/2.04 c (1,1) translated 1808 (100%) constraints
5.68/2.27 c (1,1) STATISTICS1:HOME/instance-4305420-1534072652.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,610,2908,32768,4,4,16,32768:48;4:3259;1:661,4:7189;2:1542;1:1435,4:1930;3:404;2:514;1:60,16:48;2:3920;1:2342,
5.68/2.27 c (1,1) ==========================================
5.68/2.27 c (1,1) Order
5.68/2.27 c (1,1) ==========================================
6.03/2.32 c (1,1) translated 291 (10%) constraints
6.03/2.35 c (1,1) translated 582 (20%) constraints
6.03/2.38 c (1,1) translated 873 (30%) constraints
6.36/2.40 c (1,1) translated 1164 (40%) constraints
6.36/2.43 c (1,1) translated 1454 (50%) constraints
6.36/2.46 c (1,1) translated 1745 (60%) constraints
6.68/2.52 c (1,1) translated 2036 (70%) constraints
6.68/2.56 c (2,2) translated 2327 (80%) constraints
6.99/2.60 c (2,2) translated 2618 (90%) constraints
6.99/2.62 c (2,2) translated 2908 (100%) constraints
6.99/2.62 c (2,2) CSP to CSPinCNF End
6.99/2.63 c (2,2) CSP: 168 int (72 aux), 898 bool (898 aux), 3860 ctr, max domain size 5
6.99/2.63 c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.99/2.63 c (2,2) CSPinCNF Propagation Begin
7.33/2.72 c (2,2) 188 values, 1210 unsatisfiable literals, and 994 valid clauses are removed
7.33/2.72 c (2,2) CSPinCNF Propagation End
7.33/2.72 c (2,2) CSP: 308 int (212 aux), 758 bool (758 aux), 2866 ctr, max domain size 5
7.33/2.72 c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
7.33/2.72 c (2,2) Simplify CSPinCNF Begin
7.64/2.81 c (2,2) Simplify CSPinCNF End
7.64/2.82 c (2,2) CSP: 308 int (212 aux), 2115 bool (2115 aux), 4223 ctr, max domain size 5
7.64/2.82 c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.64/2.82 c (2,2) Calculate Precise Domain Begin
7.64/2.86 c (2,2) 0 values are removed by re-calculation
7.64/2.86 c (2,2) Calculate Precise Domain End
7.64/2.86 c (2,2) CSP: 308 int (212 aux), 2115 bool (2115 aux), 4223 ctr, max domain size 5
7.64/2.86 c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.64/2.86 c (2,2) CSPinCNF to SatSolver Begin
7.95/2.95 c (2,2) 423 (10 %) CSP clauses are encoded (2595 SAT variables, 1623 SAT clauses)
7.95/2.98 c (2,2) 845 (20 %) CSP clauses are encoded (2595 SAT variables, 3020 SAT clauses)
7.95/3.00 c (2,2) 1267 (30 %) CSP clauses are encoded (2595 SAT variables, 4222 SAT clauses)
8.27/3.02 c (2,2) 1690 (40 %) CSP clauses are encoded (2595 SAT variables, 5431 SAT clauses)
8.27/3.03 c (2,2) 2112 (50 %) CSP clauses are encoded (2595 SAT variables, 6051 SAT clauses)
8.27/3.04 c (2,2) 2534 (60 %) CSP clauses are encoded (2595 SAT variables, 6864 SAT clauses)
8.27/3.06 c (2,2) 2957 (70 %) CSP clauses are encoded (2595 SAT variables, 8800 SAT clauses)
8.27/3.09 c (2,2) 3379 (80 %) CSP clauses are encoded (2595 SAT variables, 11126 SAT clauses)
8.57/3.11 c (2,2) 3801 (90 %) CSP clauses are encoded (2595 SAT variables, 12500 SAT clauses)
8.57/3.12 c (2,2) 4223 (100 %) CSP clauses are encoded (2595 SAT variables, 13558 SAT clauses)
8.57/3.12 c (2,2) Launch Command will be: minisat_release
8.57/3.12 c (2,2) CSPinCNF to SatSolver End
8.57/3.12 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
8.57/3.16 c (2,2) STATISTICS2:HOME/instance-4305420-1534072652.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,2423,4223,64,5,4,7,64:40;32:80;25:40;4:1459;1:35,5:240;4:3913;2:9102;1:35,4:1312;3:182;2:2553;1:176,7:40;6:80;3:40;2:1494;1:9422,
8.57/3.16 c (2,2) 2595 bool, 13561 clause
8.57/3.16 c (2,2) Export Begin
8.86/3.25 c (2,2) Export to HOME/scop-19086-serial-file.bin
8.86/3.25 c (2,2) Export End
8.86/3.25 c (2,2) Export File Size: 0.02 MB
8.86/3.25 c (2,2) 0,0,2,2,2,2,2,STOP-AFTER(DIMACS)
8.86/3.25 c END-Prog: Sun Aug 12 13:17:35 CEST 2018
8.86/3.28 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-19086-serial-file.bin
9.07/3.77 c (0,0) Read Serial File Begin
9.07/3.77 c (0,0) HOME/scop-19086-serial-file.bin
9.07/3.94 c (0,0) Read Serial File End
9.07/3.95
9.07/3.95 scop order+minisat_release (2018-07-31)
9.07/3.95 (Solving Process)
9.07/3.95
9.07/3.97 c BEGIN-Prog: Sun Aug 12 13:17:36 CEST 2018
9.07/3.97 c PID: 19104
9.07/3.97 c IP: 172.20.3.107
9.07/3.97 c HOST: node107.alineos.net
9.07/3.98 c (0,0) SatSolver.solve Begin
9.07/3.98 c (0,0) 0 bool, 0 clause
9.07/3.98 c (0,0) minisat_release HOME/instance-4305420-1534072652.xml-scop-19089.cnf
10.11/4.05 c (0,0) c This is COMiniSatPS.
10.11/4.05 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
10.11/4.05 c (0,0) c ============================[ Problem Statistics ]=============================
10.11/4.05 c (0,0) c | |
10.11/4.05 c (0,0) c | Number of variables: 2595 |
10.11/4.05 c (0,0) c | Number of clauses: 13561 |
10.11/4.05 c (0,0) c | Parse time: 0.00 s |
10.11/4.05 c (0,0) c | Eliminated clauses: 0.01 Mb |
10.11/4.05 c (0,0) c Reduced to 2000 vars, 12540 cls (grow=0)
10.11/4.05 c (0,0) c No iterative elimination performed. (vars=2000, c/v ratio=6.3)
10.11/4.05 c (0,0) c | Simplification time: 0.01 s |
10.11/4.05 c (0,0) c | |
10.11/4.05 c (0,0) c ============================[ Search Statistics ]==============================
10.11/4.05 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
10.11/4.05 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
10.11/4.05 c (0,0) c ===============================================================================
10.11/4.05 c (0,0) c ===============================================================================
10.11/4.05 c (0,0) c restarts : 3
10.11/4.05 c (0,0) c conflicts : 1846 (39558 /sec)
10.11/4.05 c (0,0) c decisions : 3367 (0.00 % random) (72151 /sec)
10.11/4.05 c (0,0) c propagations : 173028 (3707796 /sec)
10.11/4.05 c (0,0) c conflict literals : 24262 (10.47 % deleted)
10.11/4.05 c (0,0) c CPU time : 0.046666 s
10.11/4.05 c (0,0)
10.11/4.05 c (0,0) s UNSATISFIABLE
10.11/4.05 c (0,0) SatSolver.solve End
10.11/4.05 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
10.11/4.05 c (0,0) Show results Begin
10.11/4.05 s UNSATISFIABLE
10.11/4.05 c (0,0) Show results End
10.11/4.05 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
10.11/4.05 c (0,0) 0,0,STOP-AFTER(ALL)
10.11/4.05 c END-Prog: Sun Aug 12 13:17:36 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 (12862 MiB free)
memory of node 1: 16384 MiB (11182 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305420-1534072652/watcher-4305420-1534072652 -o /tmp/evaluation-result-4305420-1534072652/solver-4305420-1534072652 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16636 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305420-1534072652.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
solver pid=19086, runsolver pid=19083
Current StackSize limit: 8192 KiB
[startup+0.100164 s]*
/proc/loadavg: 2.15 2.11 2.09 3/222 19103
/proc/meminfo: memFree=24562176/32770624 swapFree=67108860/67108860
[pid=19086] ppid=19083 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/19086/stat : 19086 (scop.sh) S 19083 19086 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224828381 115843072 349 33554432000 4194304 5098028 140729131368304 140729131365560 140441292751484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13824000 140729131373632 140729131373831 140729131373831 140729131376589 0
/proc/19086/statm: 28282 349 296 221 0 87 0
[pid=19089] ppid=19086 vsize=15012476 memory=72392 CPUtime=0.11 cores=0,2,4,6
/proc/19089/stat : 19089 (java) S 19086 19086 16605 0 -1 1077944320 6211 0 0 0 9 2 0 0 20 0 15 0 224828381 15372775424 18098 33554432000 4194304 4196468 140720653326816 140720653309360 140503703543543 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
/proc/19089/statm: 3753119 18098 2770 1 0 3715579 0
[pid=19089/tid=19090] ppid=19086 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=0,2,4,6
/proc/19089/task/19090/stat : 19090 (java) R 19086 19086 16605 0 -1 4202560 4289 0 0 0 8 1 0 0 20 0 15 0 224828382 15372775424 18098 33554432000 4194304 4196468 140720653326816 140503675355528 140503688105699 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19091] ppid=19086 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19091/stat : 19091 (java) S 19086 19086 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828383 15372775424 18098 33554432000 4194304 4196468 140720653326816 140503707786256 140503703553749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19092] ppid=19086 vsize=15012476 memory=140213748024960 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19092/stat : 19092 (java) S 19086 19086 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224828383 15372775424 18098 33554432000 4194304 4196468 140720653326816 140503483489424 140503703553749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19093] ppid=19086 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19093/stat : 19093 (java) S 19086 19086 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224828383 15372775424 18098 33554432000 4194304 4196468 140720653326816 140503482436368 140503703553749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19094] ppid=19086 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19094/stat : 19094 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828383 15372775424 18098 33554432000 4194304 4196468 140720653326816 140503481383824 140503703553749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19095] ppid=19086 vsize=15012476 memory=140213748024960 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19095/stat : 19095 (java) S 19086 19086 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224828385 15372775424 18098 33554432000 4194304 4196468 140720653326816 140502764181744 140503703554690 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19096] ppid=19086 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19096/stat : 19096 (java) S 19086 19086 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224828385 15372775424 18098 33554432000 4194304 4196468 140720653326816 140502271780000 140503703553749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19097] ppid=19086 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19097/stat : 19097 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828385 15372775424 18098 33554432000 4194304 4196468 140720653326816 140502003344112 140503703553749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19098] ppid=19086 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19098/stat : 19098 (java) S 19086 19086 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828388 15372775424 18098 33554432000 4194304 4196468 140720653326816 140501628835792 140503703562139 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19099] ppid=19086 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19099/stat : 19099 (java) S 19086 19086 16605 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 224828388 15372775424 18098 33554432000 4194304 4196468 140720653326816 140502763129584 140503703554690 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19100] ppid=19086 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19100/stat : 19100 (java) S 19086 19086 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828388 15372775424 18098 33554432000 4194304 4196468 140720653326816 140502762077040 140503703554690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19101] ppid=19086 vsize=15012476 memory=140213748024960 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19101/stat : 19101 (java) S 19086 19086 16605 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 15 0 224828388 15372775424 18098 33554432000 4194304 4196468 140720653326816 140502761023984 140503703554690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19102] ppid=19086 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19102/stat : 19102 (java) S 19086 19086 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828388 15372775424 18098 33554432000 4194304 4196468 140720653326816 140501130931040 140503703553749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19103] ppid=19086 vsize=15012476 memory=140213748024960 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19103/stat : 19103 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828388 15372775424 18098 33554432000 4194304 4196468 140720653326816 140502759971376 140503703554690 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73788 KiB
[startup+0.217727 s]*
/proc/loadavg: 2.15 2.11 2.09 4/222 19103
/proc/meminfo: memFree=24548720/32770624 swapFree=67108860/67108860
[pid=19086] ppid=19083 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/19086/stat : 19086 (scop.sh) S 19083 19086 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224828381 115843072 349 33554432000 4194304 5098028 140729131368304 140729131365560 140441292751484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13824000 140729131373632 140729131373831 140729131373831 140729131376589 0
/proc/19086/statm: 28282 349 296 221 0 87 0
[pid=19089] ppid=19086 vsize=15012476 memory=85684 CPUtime=0.27 cores=0,2,4,6
/proc/19089/stat : 19089 (java) S 19086 19086 16605 0 -1 1077944320 9786 0 0 0 24 3 0 0 20 0 15 0 224828381 15372775424 21421 33554432000 4194304 4196468 140720653326816 140720653309360 140503703543543 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
/proc/19089/statm: 3753119 21421 2907 1 0 3715579 0
[pid=19089/tid=19090] ppid=19086 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/19089/task/19090/stat : 19090 (java) R 19086 19086 16605 0 -1 4202560 7669 0 0 0 18 2 0 0 20 0 15 0 224828382 15372775424 21421 33554432000 4194304 4196468 140720653326816 140503675368432 140503703555478 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19091] ppid=19086 vsize=15012476 memory=539 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19091/stat : 19091 (java) S 19086 19086 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828383 15372775424 21421 33554432000 4194304 4196468 140720653326816 140503707786256 140503703553749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19092] ppid=19086 vsize=15012476 memory=4122684528054027936 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19092/stat : 19092 (java) S 19086 19086 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224828383 15372775424 21421 33554432000 4194304 4196468 140720653326816 140503483489424 140503703553749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19093] ppid=19086 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19093/stat : 19093 (java) S 19086 19086 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224828383 15372775424 21421 33554432000 4194304 4196468 140720653326816 140503482436368 140503703553749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19094] ppid=19086 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19094/stat : 19094 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828383 15372775424 21421 33554432000 4194304 4196468 140720653326816 140503481383824 140503703553749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19095] ppid=19086 vsize=15012476 memory=140213748024960 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19095/stat : 19095 (java) S 19086 19086 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224828385 15372775424 21435 33554432000 4194304 4196468 140720653326816 140502764181744 140503703554690 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19096] ppid=19086 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19096/stat : 19096 (java) S 19086 19086 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224828385 15372775424 21435 33554432000 4194304 4196468 140720653326816 140502271780000 140503703553749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19097] ppid=19086 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19097/stat : 19097 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828385 15372775424 21435 33554432000 4194304 4196468 140720653326816 140502003344112 140503703553749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19098] ppid=19086 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19098/stat : 19098 (java) S 19086 19086 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828388 15372775424 21435 33554432000 4194304 4196468 140720653326816 140501628835792 140503703562139 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19099] ppid=19086 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19089/task/19099/stat : 19099 (java) S 19086 19086 16605 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 15 0 224828388 15372775424 21435 33554432000 4194304 4196468 140720653326816 140502763129584 140503703554690 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19100] ppid=19086 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19100/stat : 19100 (java) S 19086 19086 16605 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 224828388 15372775424 21435 33554432000 4194304 4196468 140720653326816 140502762077040 140503703554690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19101] ppid=19086 vsize=15012476 memory=140213748024960 CPUtime=0.03 cores=0,2,4,6
/proc/19089/task/19101/stat : 19101 (java) S 19086 19086 16605 0 -1 1077944384 299 0 0 0 3 0 0 0 20 0 15 0 224828388 15372775424 21435 33554432000 4194304 4196468 140720653326816 140502761023984 140503703554690 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19102] ppid=19086 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19102/stat : 19102 (java) S 19086 19086 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828388 15372775424 21435 33554432000 4194304 4196468 140720653326816 140501130931040 140503703553749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19103] ppid=19086 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19103/stat : 19103 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828388 15372775424 21435 33554432000 4194304 4196468 140720653326816 140502759971376 140503703554690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87080 KiB
[startup+0.310725 s]*
/proc/loadavg: 2.15 2.11 2.09 3/222 19103
/proc/meminfo: memFree=24544456/32770624 swapFree=67108860/67108860
[pid=19086] ppid=19083 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/19086/stat : 19086 (scop.sh) S 19083 19086 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224828381 115843072 349 33554432000 4194304 5098028 140729131368304 140729131365560 140441292751484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13824000 140729131373632 140729131373831 140729131373831 140729131376589 0
/proc/19086/statm: 28282 349 296 221 0 87 0
[pid=19089] ppid=19086 vsize=15012476 memory=89636 CPUtime=0.43 cores=0,2,4,6
/proc/19089/stat : 19089 (java) S 19086 19086 16605 0 -1 1077944320 10364 0 0 0 39 4 0 0 20 0 15 0 224828381 15372775424 22409 33554432000 4194304 4196468 140720653326816 140720653309360 140503703543543 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
/proc/19089/statm: 3753119 22409 2965 1 0 3715579 0
[pid=19089/tid=19090] ppid=19086 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/19089/task/19090/stat : 19090 (java) R 19086 19086 16605 0 -1 4202560 8091 0 0 0 27 2 0 0 20 0 15 0 224828382 15372775424 22409 33554432000 4194304 4196468 140720653326816 140503675347144 140503687624030 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19091] ppid=19086 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19091/stat : 19091 (java) S 19086 19086 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828383 15372775424 22409 33554432000 4194304 4196468 140720653326816 140503707786256 140503703553749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19092] ppid=19086 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19092/stat : 19092 (java) S 19086 19086 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224828383 15372775424 22409 33554432000 4194304 4196468 140720653326816 140503483489424 140503703553749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19093] ppid=19086 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19093/stat : 19093 (java) S 19086 19086 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224828383 15372775424 22409 33554432000 4194304 4196468 140720653326816 140503482436368 140503703553749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19094] ppid=19086 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19094/stat : 19094 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828383 15372775424 22409 33554432000 4194304 4196468 140720653326816 140503481383824 140503703553749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19095] ppid=19086 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19095/stat : 19095 (java) S 19086 19086 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224828385 15372775424 22409 33554432000 4194304 4196468 140720653326816 140502764181744 140503703554690 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19096] ppid=19086 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19096/stat : 19096 (java) S 19086 19086 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224828385 15372775424 22409 33554432000 4194304 4196468 140720653326816 140502271780000 140503703553749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19097] ppid=19086 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19097/stat : 19097 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828385 15372775424 22409 33554432000 4194304 4196468 140720653326816 140502003344112 140503703553749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19098] ppid=19086 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19098/stat : 19098 (java) S 19086 19086 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828388 15372775424 22409 33554432000 4194304 4196468 140720653326816 140501628835792 140503703562139 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19099] ppid=19086 vsize=15012476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19089/task/19099/stat : 19099 (java) S 19086 19086 16605 0 -1 1077944384 433 0 0 0 3 0 0 0 20 0 15 0 224828388 15372775424 22409 33554432000 4194304 4196468 140720653326816 140502763129584 140503703554690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19100] ppid=19086 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19089/task/19100/stat : 19100 (java) S 19086 19086 16605 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 15 0 224828388 15372775424 22409 33554432000 4194304 4196468 140720653326816 140502762077040 140503703554690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19101] ppid=19086 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19089/task/19101/stat : 19101 (java) R 19086 19086 16605 0 -1 4202560 334 0 0 0 7 0 0 0 20 0 15 0 224828388 15372775424 22409 33554432000 4194304 4196468 140720653326816 140502761023984 140503703555478 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19102] ppid=19086 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19102/stat : 19102 (java) S 19086 19086 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828388 15372775424 22409 33554432000 4194304 4196468 140720653326816 140501130931040 140503703553749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19103] ppid=19086 vsize=15012476 memory=3905244507057233969 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19103/stat : 19103 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828388 15372775424 22409 33554432000 4194304 4196468 140720653326816 140502759971376 140503703554690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91032 KiB
[startup+0.70167 s]
/proc/loadavg: 2.15 2.11 2.09 3/222 19103
/proc/meminfo: memFree=24521016/32770624 swapFree=67108860/67108860
[pid=19086] ppid=19083 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/19086/stat : 19086 (scop.sh) S 19083 19086 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224828381 115843072 349 33554432000 4194304 5098028 140729131368304 140729131365560 140441292751484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13824000 140729131373632 140729131373831 140729131373831 140729131376589 0
/proc/19086/statm: 28282 349 296 221 0 87 0
[pid=19089] ppid=19086 vsize=15018748 memory=130816 CPUtime=1.04 cores=0,2,4,6
/proc/19089/stat : 19089 (java) S 19086 19086 16605 0 -1 1077944320 17337 0 0 0 98 6 0 0 20 0 15 0 224828381 15379197952 32704 33554432000 4194304 4196468 140720653326816 140720653309360 140503703543543 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
/proc/19089/statm: 3754687 32704 3126 1 0 3716091 0
[pid=19089/tid=19090] ppid=19086 vsize=15018748 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/19089/task/19090/stat : 19090 (java) R 19086 19086 16605 0 -1 4202560 14556 0 0 0 63 4 0 0 20 0 15 0 224828382 15379197952 32704 33554432000 4194304 4196468 140720653326816 140503675381472 140503161114701 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19091] ppid=19086 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19091/stat : 19091 (java) S 19086 19086 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828383 15379197952 32704 33554432000 4194304 4196468 140720653326816 140503707786256 140503703553749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19092] ppid=19086 vsize=15018748 memory=61168 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19092/stat : 19092 (java) S 19086 19086 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224828383 15379197952 32704 33554432000 4194304 4196468 140720653326816 140503483489424 140503703553749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19093] ppid=19086 vsize=15018748 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19093/stat : 19093 (java) S 19086 19086 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224828383 15379197952 32704 33554432000 4194304 4196468 140720653326816 140503482436368 140503703553749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19094] ppid=19086 vsize=15018748 memory=2072 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19094/stat : 19094 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828383 15379197952 32704 33554432000 4194304 4196468 140720653326816 140503481383824 140503703553749 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19095] ppid=19086 vsize=15018748 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19095/stat : 19095 (java) S 19086 19086 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224828385 15379197952 32704 33554432000 4194304 4196468 140720653326816 140502764181744 140503703554690 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19096] ppid=19086 vsize=15018748 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19096/stat : 19096 (java) S 19086 19086 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224828385 15379197952 32704 33554432000 4194304 4196468 140720653326816 140502271780000 140503703553749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19097] ppid=19086 vsize=15018748 memory=752 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19097/stat : 19097 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828385 15379197952 32704 33554432000 4194304 4196468 140720653326816 140502003344112 140503703553749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19098] ppid=19086 vsize=15018748 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19098/stat : 19098 (java) S 19086 19086 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828388 15379197952 32704 33554432000 4194304 4196468 140720653326816 140501628835792 140503703562139 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19099] ppid=19086 vsize=15018748 memory=1120 CPUtime=0.08 cores=0,2,4,6
/proc/19089/task/19099/stat : 19099 (java) R 19086 19086 16605 0 -1 4202560 507 0 0 0 8 0 0 0 20 0 15 0 224828388 15379197952 32704 33554432000 4194304 4196468 140720653326816 140502763121040 140503687044022 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19100] ppid=19086 vsize=15018748 memory=6120 CPUtime=0.08 cores=0,2,4,6
/proc/19089/task/19100/stat : 19100 (java) R 19086 19086 16605 0 -1 4202560 435 0 0 0 8 0 0 0 20 0 15 0 224828388 15379197952 32704 33554432000 4194304 4196468 140720653326816 140502762066032 140503683054528 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19101] ppid=19086 vsize=15018748 memory=1724 CPUtime=0.17 cores=0,2,4,6
/proc/19089/task/19101/stat : 19101 (java) R 19086 19086 16605 0 -1 4202560 502 0 0 0 17 0 0 0 20 0 15 0 224828388 15379197952 32704 33554432000 4194304 4196468 140720653326816 140502761020920 140503682063703 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19102] ppid=19086 vsize=15018748 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19102/stat : 19102 (java) S 19086 19086 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828388 15379197952 32704 33554432000 4194304 4196468 140720653326816 140501130931040 140503703553749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19103] ppid=19086 vsize=15018748 memory=3516 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19103/stat : 19103 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828388 15379197952 32704 33554432000 4194304 4196468 140720653326816 140502759971376 140503703554690 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 132212 KiB
[startup+1.50079 s]
/proc/loadavg: 2.30 2.14 2.10 4/222 19103
/proc/meminfo: memFree=24474084/32770624 swapFree=67108860/67108860
[pid=19086] ppid=19083 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/19086/stat : 19086 (scop.sh) S 19083 19086 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224828381 115843072 349 33554432000 4194304 5098028 140729131368304 140729131365560 140441292751484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13824000 140729131373632 140729131373831 140729131373831 140729131376589 0
/proc/19086/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=19089/tid=19102] ppid=19086 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19102/stat : 19102 (java) S 19086 19086 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828388 15383470080 55072 33554432000 4194304 4196468 140720653326816 140501130931040 140503703553749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19103] ppid=19086 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19103/stat : 19103 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828388 15383470080 55072 33554432000 4194304 4196468 140720653326816 140502759971376 140503703554690 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
Current children cumulated CPU time: 3.47 s
Current children cumulated vsize: 15136048 KiB
Current children cumulated memory: 221684 KiB
[startup+3.11051 s]
/proc/loadavg: 2.30 2.14 2.10 5/222 19103
/proc/meminfo: memFree=24191168/32770624 swapFree=67108860/67108860
[pid=19086] ppid=19083 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/19086/stat : 19086 (scop.sh) S 19083 19086 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224828381 115843072 349 33554432000 4194304 5098028 140729131368304 140729131365560 140441292751484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13824000 140729131373632 140729131373831 140729131373831 140729131376589 0
/proc/19086/statm: 28282 349 296 221 0 87 0
[pid=19089] ppid=19086 vsize=15027084 memory=474712 CPUtime=8.57 cores=0,2,4,6
/proc/19089/stat : 19089 (java) S 19086 19086 16605 0 -1 1077944320 28115 0 0 0 840 17 0 0 20 0 15 0 224828381 15387734016 118678 33554432000 4194304 4196468 140720653326816 140720653309360 140503703543543 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
/proc/19089/statm: 3756771 118678 3214 1 0 3717627 0
[pid=19089/tid=19090] ppid=19086 vsize=15027084 memory=0 CPUtime=3.06 cores=0,2,4,6
/proc/19089/task/19090/stat : 19090 (java) R 19086 19086 16605 0 -1 4202560 16650 0 0 0 296 10 0 0 20 0 15 0 224828382 15387734016 118678 33554432000 4194304 4196468 140720653326816 140503675376256 140503703555478 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19091] ppid=19086 vsize=15027084 memory=56 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19091/stat : 19091 (java) S 19086 19086 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828383 15387734016 118678 33554432000 4194304 4196468 140720653326816 140503707786256 140503703553749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19092] ppid=19086 vsize=15027084 memory=280427273209696 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19092/stat : 19092 (java) S 19086 19086 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224828383 15387734016 118678 33554432000 4194304 4196468 140720653326816 140503483489424 140503703553749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19093] ppid=19086 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19093/stat : 19093 (java) S 19086 19086 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224828383 15387734016 118678 33554432000 4194304 4196468 140720653326816 140503482436368 140503703553749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19094] ppid=19086 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19094/stat : 19094 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828383 15387734016 118678 33554432000 4194304 4196468 140720653326816 140503481383824 140503703553749 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19095] ppid=19086 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19095/stat : 19095 (java) S 19086 19086 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224828385 15387734016 118678 33554432000 4194304 4196468 140720653326816 140502764181744 140503703554690 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19096] ppid=19086 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19096/stat : 19096 (java) S 19086 19086 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224828385 15387734016 118678 33554432000 4194304 4196468 140720653326816 140502271780000 140503703553749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19097] ppid=19086 vsize=15027084 memory=10881 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19097/stat : 19097 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828385 15387734016 118678 33554432000 4194304 4196468 140720653326816 140502003344112 140503703553749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19098] ppid=19086 vsize=15027084 memory=20710 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19098/stat : 19098 (java) S 19086 19086 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828388 15387734016 118678 33554432000 4194304 4196468 140720653326816 140501628835792 140503703562139 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19099] ppid=19086 vsize=15027084 memory=0 CPUtime=2.15 cores=0,2,4,6
/proc/19089/task/19099/stat : 19099 (java) R 19086 19086 16605 0 -1 4202560 4126 0 0 0 214 1 0 0 20 0 15 0 224828388 15387734016 118678 33554432000 4194304 4196468 140720653326816 140502763109184 140503703557392 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19100] ppid=19086 vsize=15027084 memory=0 CPUtime=2.08 cores=0,2,4,6
/proc/19089/task/19100/stat : 19100 (java) R 19086 19086 16605 0 -1 4202560 2483 0 0 0 206 2 0 0 20 0 15 0 224828388 15387734016 118678 33554432000 4194304 4196468 140720653326816 140502762064592 140503687040327 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19101] ppid=19086 vsize=15027084 memory=1396 CPUtime=1.23 cores=0,2,4,6
/proc/19089/task/19101/stat : 19101 (java) R 19086 19086 16605 0 -1 1077944384 3519 0 0 0 122 1 0 0 20 0 15 0 224828388 15387734016 118678 33554432000 4194304 4196468 140720653326816 140502761023984 140503703554690 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19102] ppid=19086 vsize=15027084 memory=372512 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19102/stat : 19102 (java) S 19086 19086 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828388 15387734016 118678 33554432000 4194304 4196468 140720653326816 140501130931040 140503703553749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19103] ppid=19086 vsize=15027084 memory=3712 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19103/stat : 19103 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828388 15387734016 118678 33554432000 4194304 4196468 140720653326816 140502759971376 140503703554690 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
Current children cumulated CPU time: 8.57 s
Current children cumulated vsize: 15140212 KiB
Current children cumulated memory: 476108 KiB
[startup+4.06585 s]
# the end of solver process 19086 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.0159 s, system=0.259804 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20167 s]
/proc/loadavg: 2.30 2.14 2.10 5/222 19103
/proc/meminfo: memFree=24191168/32770624 swapFree=67108860/67108860
[pid=19086] ppid=19083 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/19086/stat : 19086 (scop.sh) S 19083 19086 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224828381 115843072 349 33554432000 4194304 5098028 140729131368304 140729131365560 140441292751484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13824000 140729131373632 140729131373831 140729131373831 140729131376589 0
/proc/19086/statm: 28282 349 296 221 0 87 0
[pid=19089] ppid=19086 vsize=15029152 memory=500352 CPUtime=8.86 cores=0,2,4,6
/proc/19089/stat : 19089 (java) S 19086 19086 16605 0 -1 1077944320 28902 0 0 0 869 17 0 0 20 0 15 0 224828381 15389851648 125088 33554432000 4194304 4196468 140720653326816 140720653309360 140503703543543 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
/proc/19089/statm: 3757288 125088 3219 1 0 3718139 0
[pid=19089/tid=19090] ppid=19086 vsize=15029152 memory=2072 CPUtime=3.14 cores=0,2,4,6
/proc/19089/task/19090/stat : 19090 (java) R 19086 19086 16605 0 -1 4202560 17008 0 0 0 304 10 0 0 20 0 15 0 224828382 15389851648 125088 33554432000 4194304 4196468 140720653326816 140503675336704 140503683818858 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19091] ppid=19086 vsize=15029152 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19091/stat : 19091 (java) S 19086 19086 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828383 15389851648 125088 33554432000 4194304 4196468 140720653326816 140503707786256 140503703553749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19092] ppid=19086 vsize=15029152 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19092/stat : 19092 (java) S 19086 19086 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224828383 15389851648 125088 33554432000 4194304 4196468 140720653326816 140503483489424 140503703553749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19093] ppid=19086 vsize=15029152 memory=752 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19093/stat : 19093 (java) S 19086 19086 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224828383 15389851648 125088 33554432000 4194304 4196468 140720653326816 140503482436368 140503703553749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19094] ppid=19086 vsize=15029152 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19094/stat : 19094 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828383 15389851648 125088 33554432000 4194304 4196468 140720653326816 140503481383824 140503703553749 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19095] ppid=19086 vsize=15029152 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19095/stat : 19095 (java) S 19086 19086 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224828385 15389851648 125088 33554432000 4194304 4196468 140720653326816 140502764181744 140503703554690 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19096] ppid=19086 vsize=15029152 memory=6120 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19096/stat : 19096 (java) S 19086 19086 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224828385 15389851648 125088 33554432000 4194304 4196468 140720653326816 140502271780000 140503703553749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19097] ppid=19086 vsize=15029152 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19097/stat : 19097 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828385 15389851648 125088 33554432000 4194304 4196468 140720653326816 140502003344112 140503703553749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19098] ppid=19086 vsize=15029152 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19098/stat : 19098 (java) S 19086 19086 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828388 15389851648 125088 33554432000 4194304 4196468 140720653326816 140501628835792 140503703562139 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19099] ppid=19086 vsize=15029152 memory=0 CPUtime=2.25 cores=0,2,4,6
/proc/19089/task/19099/stat : 19099 (java) R 19086 19086 16605 0 -1 4202560 4145 0 0 0 224 1 0 0 20 0 15 0 224828388 15389851648 125088 33554432000 4194304 4196468 140720653326816 140502763111712 140503683387151 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19100] ppid=19086 vsize=15029152 memory=0 CPUtime=2.17 cores=0,2,4,6
/proc/19089/task/19100/stat : 19100 (java) R 19086 19086 16605 0 -1 4202560 2873 0 0 0 215 2 0 0 20 0 15 0 224828388 15389851648 125088 33554432000 4194304 4196468 140720653326816 140502762064592 140503686928358 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19101] ppid=19086 vsize=15029152 memory=0 CPUtime=1.25 cores=0,2,4,6
/proc/19089/task/19101/stat : 19101 (java) S 19086 19086 16605 0 -1 1077944384 3539 0 0 0 124 1 0 0 20 0 15 0 224828388 15389851648 125088 33554432000 4194304 4196468 140720653326816 140502761023984 140503703554690 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19102] ppid=19086 vsize=15029152 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19102/stat : 19102 (java) S 19086 19086 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224828388 15389851648 125088 33554432000 4194304 4196468 140720653326816 140501130931040 140503703553749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
[pid=19089/tid=19103] ppid=19086 vsize=15029152 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/19089/task/19103/stat : 19103 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224828388 15389851648 125088 33554432000 4194304 4196468 140720653326816 140502759971376 140503703554690 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28450816 140720653329414 140720653329713 140720653329713 140720653332431 0
Current children cumulated CPU time: 8.86 s
Current children cumulated vsize: 15142280 KiB
Current children cumulated memory: 501748 KiB
[startup+3.60039 s]
/proc/loadavg: 2.30 2.14 2.10 5/222 19103
/proc/meminfo: memFree=24191168/32770624 swapFree=67108860/67108860
[pid=19086] ppid=19083 vsize=113128 memory=1472 CPUtime=9.07 cores=0,2,4,6
/proc/19086/stat : 19086 (scop.sh) S 19083 19086 16605 0 -1 4202496 590 29784 0 0 0 0 888 19 20 0 1 0 224828381 115843072 368 33554432000 4194304 5098028 140729131368304 140729131365048 140441292751484 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13824000 140729131373632 140729131373831 140729131373831 140729131376589 0
/proc/19086/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 9.07 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
[startup+4.00067 s]*
/proc/loadavg: 2.30 2.14 2.10 6/223 19119
/proc/meminfo: memFree=24533540/32770624 swapFree=67108860/67108860
[pid=19086] ppid=19083 vsize=113128 memory=1472 CPUtime=9.07 cores=0,2,4,6
/proc/19086/stat : 19086 (scop.sh) S 19083 19086 16605 0 -1 4202496 590 29784 0 0 0 0 888 19 20 0 1 0 224828381 115843072 368 33554432000 4194304 5098028 140729131368304 140729131365048 140441292751484 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13824000 140729131373632 140729131373831 140729131373831 140729131376589 0
/proc/19086/statm: 28282 368 311 221 0 87 0
[pid=19104] ppid=19086 vsize=8000636 memory=113468 CPUtime=1.04 cores=0,2,4,6
/proc/19104/stat : 19104 (java) S 19086 19086 16605 0 -1 1077944320 17059 0 0 0 99 5 0 0 20 0 19 0 224828710 8192651264 28367 33554432000 4194304 4196468 140721887822160 140721887804704 139988970151671 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11698176 140721887827125 140721887827249 140721887827249 140721887829967 0
/proc/19104/statm: 2000159 28367 3140 1 0 1961558 0
[pid=19119] ppid=19104 vsize=24032 memory=3164 CPUtime=0 cores=0,2,4,6
/proc/19119/stat : 19119 (minisat_release) R 19104 19086 16605 0 -1 4202496 846 0 0 0 0 0 0 0 20 0 1 0 224828781 24608768 791 33554432000 4194304 4308513 140724849739856 140724849737000 4271200 0 4 0 8388610 0 0 0 17 4 0 0 0 0 0 6409496 6410680 33423360 140724849747060 140724849747158 140724849747158 140724849749957 0
/proc/19119/statm: 6008 791 301 28 0 2248 0
[pid=19104/tid=19105] ppid=19086 vsize=8000636 memory=-7027409196973593960 CPUtime=0.69 cores=0,2,4,6
/proc/19104/task/19105/stat : 19105 (java) S 19086 19086 16605 0 -1 1077944384 14272 0 0 0 65 4 0 0 20 0 19 0 224828710 8192651264 28367 33554432000 4194304 4196468 140721887822160 139988941992304 139988970161877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140721887827125 140721887827249 140721887827249 140721887829967 0
[pid=19104/tid=19106] ppid=19086 vsize=8000636 memory=7945036255673869925 CPUtime=0 cores=0,2,4,6
/proc/19104/task/19106/stat : 19106 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224828711 8192651264 28367 33554432000 4194304 4196468 140721887822160 139988974394512 139988970161877 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140721887827125 140721887827249 140721887827249 140721887829967 0
[pid=19104/tid=19107] ppid=19086 vsize=8000636 memory=3472425672847801839 CPUtime=0 cores=0,2,4,6
/proc/19104/task/19107/stat : 19107 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224828711 8192651264 28367 33554432000 4194304 4196468 140721887822160 139988774562832 139988970161877 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140721887827125 140721887827249 140721887827249 140721887829967 0
[pid=19104/tid=19108] ppid=19086 vsize=8000636 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/19104/task/19108/stat : 19108 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224828711 8192651264 28367 33554432000 4194304 4196468 140721887822160 139988773510032 139988970161877 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140721887827125 140721887827249 140721887827249 140721887829967 0
[pid=19104/tid=19109] ppid=19086 vsize=8000636 memory=140213748692640 CPUtime=0 cores=0,2,4,6
/proc/19104/task/19109/stat : 19109 (java) S 19086 19086 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224828711 8192651264 28367 33554432000 4194304 4196468 140721887822160 139988772457232 139988970161877 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140721887827125 140721887827249 140721887827249 140721887829967 0
[pid=19104/tid=19110] ppid=19086 vsize=8000636 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19104/task/19110/stat : 19110 (java) S 19086 19086 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224828713 8192651264 28367 33554432000 4194304 4196468 140721887822160 139988348942704 139988970162818 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140721887827125 140721887827249 140721887827249 140721887829967 0
[pid=19104/tid=19111] ppid=19086 vsize=8000636 memory=280427273626960 CPUtime=0 cores=0,2,4,6
/proc/19104/task/19111/stat : 19111 (java) S 19086 19086 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224828713 8192651264 28367 33554432000 4194304 4196468 140721887822160 139987815228448 139988970161877 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140721887827125 140721887827249 140721887827249 140721887829967 0
[pid=19104/tid=19112] ppid=19086 vsize=8000636 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/19104/task/19112/stat : 19112 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224828714 8192651264 28367 33554432000 4194304 4196468 140721887822160 139987546792816 139988970161877 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140721887827125 140721887827249 140721887827249 140721887829967 0
[pid=19104/tid=19113] ppid=19086 vsize=8000636 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19104/task/19113/stat : 19113 (java) S 19086 19086 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224828716 8192651264 28367 33554432000 4194304 4196468 140721887822160 139987172284240 139988970170267 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140721887827125 140721887827249 140721887827249 140721887829967 0
[pid=19104/tid=19114] ppid=19086 vsize=8000636 memory=7311435031524761458 CPUtime=0.07 cores=0,2,4,6
/proc/19104/task/19114/stat : 19114 (java) R 19086 19086 16605 0 -1 4202560 580 0 0 0 7 0 0 0 20 0 19 0 224828716 8192651264 28367 33554432000 4194304 4196468 140721887822160 139988347876424 139988951695428 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140721887827125 140721887827249 140721887827249 140721887829967 0
[pid=19104/tid=19115] ppid=19086 vsize=8000636 memory=7022364632946311227 CPUtime=0.07 cores=0,2,4,6
/proc/19104/task/19115/stat : 19115 (java) R 19086 19086 16605 0 -1 4202560 345 0 0 0 7 0 0 0 20 0 19 0 224828716 8192651264 28367 33554432000 4194304 4196468 140721887822160 139988346823808 139988951695766 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11698176 140721887827125 140721887827249 140721887827249 140721887829967 0
[pid=19104/tid=19116] ppid=19086 vsize=8000636 memory=302304370740167045 CPUtime=0.18 cores=0,2,4,6
/proc/19104/task/19116/stat : 19116 (java) R 19086 19086 16605 0 -1 4202560 500 0 0 0 18 0 0 0 20 0 19 0 224828716 8192651264 28367 33554432000 4194304 4196468 140721887822160 139988345784944 139988970173018 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140721887827125 140721887827249 140721887827249 140721887829967 0
[pid=19104/tid=19117] ppid=19086 vsize=8000636 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19104/task/19117/stat : 19117 (java) S 19086 19086 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224828716 8192651264 28367 33554432000 4194304 4196468 140721887822160 139986674379488 139988970161877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140721887827125 140721887827249 140721887827249 140721887829967 0
[pid=19104/tid=19118] ppid=19086 vsize=8000636 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19104/task/19118/stat : 19118 (java) S 19086 19086 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224828716 8192651264 28367 33554432000 4194304 4196468 140721887822160 139988344732336 139988970162818 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11698176 140721887827125 140721887827249 140721887827249 140721887829967 0
[pid=19104/tid=19120] ppid=19086 vsize=8000636 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19104/task/19120/stat : 19120 (java) S 19086 19086 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224828781 8192651264 28367 33554432000 4194304 4196468 140721887822160 139988337255616 139988970176281 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140721887827125 140721887827249 140721887827249 140721887829967 0
[pid=19104/tid=19121] ppid=19086 vsize=8000636 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19104/task/19121/stat : 19121 (java) S 19086 19086 16605 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224828781 8192651264 28367 33554432000 4194304 4196468 140721887822160 139986271725616 139988970161877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140721887827125 140721887827249 140721887827249 140721887829967 0
[pid=19104/tid=19122] ppid=19086 vsize=8000636 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19104/task/19122/stat : 19122 (java) S 19086 19086 16605 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224828782 8192651264 28367 33554432000 4194304 4196468 140721887822160 139986137492752 139988970173597 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 11698176 140721887827125 140721887827249 140721887827249 140721887829967 0
[pid=19104/tid=19123] ppid=19086 vsize=8000636 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19104/task/19123/stat : 19123 (java) R 19086 19086 16605 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 19 0 224828782 8192651264 28367 33554432000 4194304 4196468 140721887822160 139988941992352 139988962891521 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11698176 140721887827125 140721887827249 140721887827249 140721887829967 0
Current children cumulated CPU time: 10.11 s
Current children cumulated vsize: 8137796 KiB
Current children cumulated memory: 118104 KiB
Child status: 0
Real time (s): 4.0659
CPU time (s): 10.2757
CPU user time (s): 10.0159
CPU system time (s): 0.259804
CPU usage (%): 252.728
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 501748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.0159
system time used= 0.259804
maximum resident set size= 506956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48749
page faults= 0
swaps= 0
block input operations= 0
block output operations= 664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5205
involuntary context switches= 68
# summary of solver processes directly reported to runsolver:
# pid: 19086
# total CPU time (s): 10.2757
# total CPU user time (s): 10.0159
# total CPU system time (s): 0.259804
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05426 second user time and 0.084277 second system time
The end