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-6699-serial-file.bin HOME/instance-4305342-1534072511.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 13:15:12 CEST 2018
0.66/0.54 c PID: 6702
0.66/0.54 c IP: 172.20.3.151
0.66/0.54 c HOST: node151.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.18/0.83 c (0,0) Parsing End
1.18/0.83 c (0,0) CSP: 24 int (0 aux), 0 bool (0 aux), 18 ctr, max domain size 12
1.18/0.83 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.18/0.83 c (0,0) Constraint Name Generate Begin
1.18/0.84 c (0,0) Ctr:HOME/instance-4305342-1534072511.xml,Add:Element:Eq:IntVar:Num
1.18/0.84 c (0,0) Constraint Name Generate End
1.18/0.84 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.84 c (0,0) CSP to CSPinCNF Begin
1.34/0.96 c (0,0) translated 2 (10%) constraints
1.34/0.99 c (0,0) translated 4 (20%) constraints
1.34/1.01 c (0,0) translated 6 (30%) constraints
1.53/1.02 c (0,0) translated 8 (40%) constraints
1.53/1.03 c (0,0) translated 9 (50%) constraints
1.53/1.04 c (0,0) translated 11 (60%) constraints
1.53/1.05 c (0,0) translated 13 (70%) constraints
1.53/1.06 c (0,0) translated 15 (80%) constraints
1.53/1.06 c (0,0) translated 17 (90%) constraints
1.53/1.06 c (0,0) translated 18 (100%) constraints
1.53/1.10 c (0,0) STATISTICS1:HOME/instance-4305342-1534072511.xml,Add:Element:Eq:IntVar:Num,24,150,10,10,3,2,10:2;9:2;8:2;7:2;6:2;5:2,10:26;9:26;8:26;7:26;6:170;5:26,3:144;1:6,2:12;1:432,
1.53/1.10 c (0,0) ==========================================
1.53/1.10 c (0,0) Order
1.53/1.10 c (0,0) ==========================================
1.81/1.13 c (0,0) translated 15 (10%) constraints
1.81/1.15 c (0,0) translated 30 (20%) constraints
1.81/1.17 c (0,0) translated 45 (30%) constraints
1.81/1.18 c (0,0) translated 60 (40%) constraints
1.81/1.19 c (0,0) translated 75 (50%) constraints
2.02/1.20 c (0,0) translated 90 (60%) constraints
2.02/1.20 c (0,0) translated 105 (70%) constraints
2.02/1.21 c (0,0) translated 120 (80%) constraints
2.02/1.22 c (0,0) translated 135 (90%) constraints
2.02/1.22 c (0,0) translated 150 (100%) constraints
2.02/1.23 c (0,0) CSP to CSPinCNF End
2.02/1.23 c (0,0) CSP: 24 int (0 aux), 72 bool (72 aux), 444 ctr, max domain size 10
2.02/1.23 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.02/1.23 c (0,0) CSPinCNF Propagation Begin
2.02/1.26 c (0,0) 0 values, 78 unsatisfiable literals, and 102 valid clauses are removed
2.02/1.26 c (0,0) CSPinCNF Propagation End
2.02/1.27 c (0,0) CSP: 24 int (0 aux), 72 bool (72 aux), 342 ctr, max domain size 10
2.02/1.27 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.02/1.27 c (0,0) Simplify CSPinCNF Begin
2.02/1.27 c (0,0) Simplify CSPinCNF End
2.02/1.27 c (0,0) CSP: 24 int (0 aux), 72 bool (72 aux), 342 ctr, max domain size 10
2.02/1.27 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.02/1.27 c (0,0) Calculate Precise Domain Begin
2.02/1.27 c (0,0) 0 values are removed by re-calculation
2.02/1.27 c (0,0) Calculate Precise Domain End
2.02/1.27 c (0,0) CSP: 24 int (0 aux), 72 bool (72 aux), 342 ctr, max domain size 10
2.02/1.27 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.02/1.27 c (0,0) CSPinCNF to SatSolver Begin
2.25/1.30 c (0,0) 35 (10 %) CSP clauses are encoded (210 SAT variables, 148 SAT clauses)
2.25/1.31 c (0,0) 69 (20 %) CSP clauses are encoded (210 SAT variables, 182 SAT clauses)
2.25/1.31 c (0,0) 103 (30 %) CSP clauses are encoded (210 SAT variables, 216 SAT clauses)
2.25/1.31 c (0,0) 137 (40 %) CSP clauses are encoded (210 SAT variables, 250 SAT clauses)
2.25/1.32 c (0,0) 171 (50 %) CSP clauses are encoded (210 SAT variables, 284 SAT clauses)
2.25/1.32 c (0,0) 206 (60 %) CSP clauses are encoded (210 SAT variables, 319 SAT clauses)
2.25/1.32 c (0,0) 240 (70 %) CSP clauses are encoded (210 SAT variables, 353 SAT clauses)
2.25/1.33 c (0,0) 274 (80 %) CSP clauses are encoded (210 SAT variables, 387 SAT clauses)
2.25/1.33 c (0,0) 308 (90 %) CSP clauses are encoded (210 SAT variables, 421 SAT clauses)
2.25/1.34 c (0,0) 342 (100 %) CSP clauses are encoded (210 SAT variables, 518 SAT clauses)
2.25/1.34 c (0,0) Launch Command will be: minisat_release
2.25/1.34 c (0,0) CSPinCNF to SatSolver End
2.25/1.34 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.25/1.36 c (0,0) STATISTICS2:HOME/instance-4305342-1534072511.xml,Add:Element:Eq:IntVar:Num,96,342,10,10,3,2,10:2;9:2;8:2;7:2;6:2;5:2,10:40;9:36;8:32;7:28;6:264;5:20;2:330,3:66;2:264;1:12,2:12;1:726,
2.25/1.36 c (0,0) 210 bool, 522 clause
2.25/1.36 c (0,0) Export Begin
2.48/1.43 c (0,0) Export to HOME/scop-6699-serial-file.bin
2.48/1.43 c (0,0) Export End
2.48/1.43 c (0,0) Export File Size: 0.01 MB
2.48/1.43 c (0,0) 0,0,0,0,0,0,0,STOP-AFTER(DIMACS)
2.48/1.43 c END-Prog: Sun Aug 12 13:15:13 CEST 2018
2.48/1.44 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-6699-serial-file.bin
2.54/1.93 c (0,0) Read Serial File Begin
2.54/1.93 c (0,0) HOME/scop-6699-serial-file.bin
3.28/2.08 c (0,0) Read Serial File End
3.28/2.10
3.28/2.10 scop order+minisat_release (2018-07-31)
3.28/2.10 (Solving Process)
3.28/2.10
3.42/2.12 c BEGIN-Prog: Sun Aug 12 13:15:14 CEST 2018
3.42/2.12 c PID: 6717
3.42/2.12 c IP: 172.20.3.151
3.42/2.12 c HOST: node151.alineos.net
3.42/2.13 c (0,0) SatSolver.solve Begin
3.42/2.13 c (0,0) 0 bool, 0 clause
3.42/2.13 c (0,0) minisat_release HOME/instance-4305342-1534072511.xml-scop-6702.cnf
3.42/2.15 c (0,0) c This is COMiniSatPS.
3.42/2.15 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
3.42/2.15 c (0,0) c ============================[ Problem Statistics ]=============================
3.42/2.15 c (0,0) c | |
3.42/2.15 c (0,0) c | Number of variables: 210 |
3.42/2.15 c (0,0) c | Number of clauses: 522 |
3.42/2.15 c (0,0) c | Parse time: 0.00 s |
3.42/2.15 c (0,0) c | Eliminated clauses: 0.00 Mb |
3.42/2.15 c (0,0) c Reduced to 98 vars, 318 cls (grow=0)
3.42/2.15 c (0,0) c No iterative elimination performed. (vars=98, c/v ratio=3.2)
3.42/2.15 c (0,0) c | Simplification time: 0.00 s |
3.42/2.15 c (0,0) c | |
3.42/2.15 c (0,0) c ============================[ Search Statistics ]==============================
3.42/2.15 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
3.42/2.15 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.42/2.15 c (0,0) c ===============================================================================
3.42/2.15 c (0,0) c ===============================================================================
3.42/2.15 c (0,0) c restarts : 1
3.42/2.15 c (0,0) c conflicts : 264 (57254 /sec)
3.42/2.16 c (0,0) c decisions : 321 (0.00 % random) (69616 /sec)
3.42/2.16 c (0,0) c propagations : 7162 (1553242 /sec)
3.42/2.16 c (0,0) c conflict literals : 1654 (28.34 % deleted)
3.42/2.16 c (0,0) c CPU time : 0.004611 s
3.42/2.16 c (0,0)
3.42/2.16 c (0,0) s UNSATISFIABLE
3.42/2.20 c (0,0) SatSolver.solve End
3.42/2.20 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
3.42/2.20 c (0,0) Show results Begin
3.42/2.20 s UNSATISFIABLE
3.42/2.20 c (0,0) Show results End
3.42/2.20 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
3.62/2.20 c (0,0) 0,0,STOP-AFTER(ALL)
3.62/2.20 c END-Prog: Sun Aug 12 13:15:14 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 (2862 MiB free)
memory of node 1: 16384 MiB (5307 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305342-1534072511/watcher-4305342-1534072511 -o /tmp/evaluation-result-4305342-1534072511/solver-4305342-1534072511 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3793 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305342-1534072511.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=6699, runsolver pid=6696
Current StackSize limit: 8192 KiB
[startup+0.100119 s]*
/proc/loadavg: 2.15 2.06 2.06 3/222 6716
/proc/meminfo: memFree=8306316/32770624 swapFree=67108860/67108860
[pid=6699] ppid=6696 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6699/stat : 6699 (scop.sh) S 6696 6699 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224814344 115843072 349 33554432000 4194304 5098028 140734000901328 140734000898584 139902976406140 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23085056 140734000907328 140734000907527 140734000907527 140734000910285 0
/proc/6699/statm: 28282 349 296 221 0 87 0
[pid=6702] ppid=6699 vsize=15012476 memory=71948 CPUtime=0.11 cores=0,2,4,6
/proc/6702/stat : 6702 (java) S 6699 6699 3762 0 -1 1077944320 6620 0 0 0 9 2 0 0 20 0 15 0 224814344 15372775424 17987 33554432000 4194304 4196468 140728827463440 140728827445984 140650500439799 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
/proc/6702/statm: 3753119 17987 2750 1 0 3715579 0
[pid=6702/tid=6703] ppid=6699 vsize=15012476 memory=-6526411401870300574 CPUtime=0.08 cores=0,2,4,6
/proc/6702/task/6703/stat : 6703 (java) R 6699 6699 3762 0 -1 4202560 4749 0 0 0 7 1 0 0 20 0 15 0 224814344 15372775424 18052 33554432000 4194304 4196468 140728827463440 140650472251784 140650482003328 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6704] ppid=6699 vsize=15012476 memory=3472468262223853232 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6704/stat : 6704 (java) S 6699 6699 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814346 15372775424 18052 33554432000 4194304 4196468 140728827463440 140650504681872 140650500450005 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6705] ppid=6699 vsize=15012476 memory=139965996172928 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6705/stat : 6705 (java) S 6699 6699 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814346 15372775424 18052 33554432000 4194304 4196468 140728827463440 140650318838032 140650500450005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6706] ppid=6699 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6706/stat : 6706 (java) S 6699 6699 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814346 15372775424 18052 33554432000 4194304 4196468 140728827463440 140650317785744 140650500450005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6707] ppid=6699 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6707/stat : 6707 (java) S 6699 6699 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814346 15372775424 18052 33554432000 4194304 4196468 140728827463440 140650316732944 140650500450005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6708] ppid=6699 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6708/stat : 6708 (java) S 6699 6699 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814347 15372775424 18052 33554432000 4194304 4196468 140728827463440 140649839962736 140650500450946 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6709] ppid=6699 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6709/stat : 6709 (java) S 6699 6699 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224814348 15372775424 18052 33554432000 4194304 4196468 140728827463440 140649072420128 140650500450005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6710] ppid=6699 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6710/stat : 6710 (java) S 6699 6699 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814348 15372775424 18052 33554432000 4194304 4196468 140728827463440 140648837539440 140650500450005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6711] ppid=6699 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6711/stat : 6711 (java) S 6699 6699 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224814350 15372775424 18052 33554432000 4194304 4196468 140728827463440 140648463030864 140650500458395 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6712] ppid=6699 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6712/stat : 6712 (java) S 6699 6699 3762 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 224814351 15372775424 18052 33554432000 4194304 4196468 140728827463440 140649838909552 140650500450946 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6713] ppid=6699 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6713/stat : 6713 (java) S 6699 6699 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224814351 15372775424 18052 33554432000 4194304 4196468 140728827463440 140649837856752 140650500450946 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6714] ppid=6699 vsize=15012476 memory=139965996172928 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6714/stat : 6714 (java) R 6699 6699 3762 0 -1 4202560 265 0 0 0 0 0 0 0 20 0 15 0 224814351 15372775424 18052 33554432000 4194304 4196468 140728827463440 140649836801576 140649995173998 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6715] ppid=6699 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6715/stat : 6715 (java) S 6699 6699 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224814351 15372775424 18052 33554432000 4194304 4196468 140728827463440 140647965125088 140650500450005 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6716] ppid=6699 vsize=15012476 memory=139965996172928 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6716/stat : 6716 (java) S 6699 6699 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814351 15372775424 18052 33554432000 4194304 4196468 140728827463440 140649835752368 140650500450946 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73344 KiB
[startup+0.210555 s]*
/proc/loadavg: 2.15 2.06 2.06 3/222 6716
/proc/meminfo: memFree=8291992/32770624 swapFree=67108860/67108860
[pid=6699] ppid=6696 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6699/stat : 6699 (scop.sh) S 6696 6699 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224814344 115843072 349 33554432000 4194304 5098028 140734000901328 140734000898584 139902976406140 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23085056 140734000907328 140734000907527 140734000907527 140734000910285 0
/proc/6699/statm: 28282 349 296 221 0 87 0
[pid=6702] ppid=6699 vsize=15012476 memory=85552 CPUtime=0.24 cores=0,2,4,6
/proc/6702/stat : 6702 (java) S 6699 6699 3762 0 -1 1077944320 10261 0 0 0 21 3 0 0 20 0 15 0 224814344 15372775424 21388 33554432000 4194304 4196468 140728827463440 140728827445984 140650500439799 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
/proc/6702/statm: 3753119 21388 2868 1 0 3715579 0
[pid=6702/tid=6703] ppid=6699 vsize=15012476 memory=-8976644418600983157 CPUtime=0.19 cores=0,2,4,6
/proc/6702/task/6703/stat : 6703 (java) R 6699 6699 3762 0 -1 4202560 8173 0 0 0 17 2 0 0 20 0 15 0 224814344 15372775424 21388 33554432000 4194304 4196468 140728827463440 140650472255856 140650500451734 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6704] ppid=6699 vsize=15012476 memory=3472468262223853232 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6704/stat : 6704 (java) S 6699 6699 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814346 15372775424 21388 33554432000 4194304 4196468 140728827463440 140650504681872 140650500450005 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6705] ppid=6699 vsize=15012476 memory=139965996172928 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6705/stat : 6705 (java) S 6699 6699 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814346 15372775424 21388 33554432000 4194304 4196468 140728827463440 140650318838032 140650500450005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6706] ppid=6699 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6706/stat : 6706 (java) S 6699 6699 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814346 15372775424 21388 33554432000 4194304 4196468 140728827463440 140650317785744 140650500450005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6707] ppid=6699 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6707/stat : 6707 (java) S 6699 6699 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814346 15372775424 21388 33554432000 4194304 4196468 140728827463440 140650316732944 140650500450005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6708] ppid=6699 vsize=15012476 memory=139965996172928 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6708/stat : 6708 (java) S 6699 6699 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814347 15372775424 21388 33554432000 4194304 4196468 140728827463440 140649839962736 140650500450946 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6709] ppid=6699 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6709/stat : 6709 (java) S 6699 6699 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224814348 15372775424 21388 33554432000 4194304 4196468 140728827463440 140649072420128 140650500450005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6710] ppid=6699 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6710/stat : 6710 (java) S 6699 6699 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814348 15372775424 21388 33554432000 4194304 4196468 140728827463440 140648837539440 140650500450005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6711] ppid=6699 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6711/stat : 6711 (java) S 6699 6699 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224814350 15372775424 21388 33554432000 4194304 4196468 140728827463440 140648463030864 140650500458395 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6712] ppid=6699 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6712/stat : 6712 (java) S 6699 6699 3762 0 -1 1077944384 457 0 0 0 0 0 0 0 20 0 15 0 224814351 15372775424 21388 33554432000 4194304 4196468 140728827463440 140649838909552 140650500450946 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6713] ppid=6699 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6713/stat : 6713 (java) S 6699 6699 3762 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 224814351 15372775424 21388 33554432000 4194304 4196468 140728827463440 140649837856752 140650500450946 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6714] ppid=6699 vsize=15012476 memory=139965996172928 CPUtime=0.02 cores=0,2,4,6
/proc/6702/task/6714/stat : 6714 (java) R 6699 6699 3762 0 -1 4202560 285 0 0 0 2 0 0 0 20 0 15 0 224814351 15372775424 21388 33554432000 4194304 4196468 140728827463440 140649836804464 140650484520286 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6715] ppid=6699 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6715/stat : 6715 (java) S 6699 6699 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224814351 15372775424 21388 33554432000 4194304 4196468 140728827463440 140647965125088 140650500450005 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6716] ppid=6699 vsize=15012476 memory=139965996172928 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6716/stat : 6716 (java) S 6699 6699 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814351 15372775424 21388 33554432000 4194304 4196468 140728827463440 140649835752368 140650500450946 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86948 KiB
[startup+0.31046 s]*
/proc/loadavg: 2.15 2.06 2.06 3/222 6716
/proc/meminfo: memFree=8288004/32770624 swapFree=67108860/67108860
[pid=6699] ppid=6696 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6699/stat : 6699 (scop.sh) S 6696 6699 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224814344 115843072 349 33554432000 4194304 5098028 140734000901328 140734000898584 139902976406140 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23085056 140734000907328 140734000907527 140734000907527 140734000910285 0
/proc/6699/statm: 28282 349 296 221 0 87 0
[pid=6702] ppid=6699 vsize=15012476 memory=89444 CPUtime=0.42 cores=0,2,4,6
/proc/6702/stat : 6702 (java) S 6699 6699 3762 0 -1 1077944320 10888 0 0 0 38 4 0 0 20 0 15 0 224814344 15372775424 22361 33554432000 4194304 4196468 140728827463440 140728827445984 140650500439799 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
/proc/6702/statm: 3753119 22361 2964 1 0 3715579 0
[pid=6702/tid=6703] ppid=6699 vsize=15012476 memory=-8976644418600983157 CPUtime=0.29 cores=0,2,4,6
/proc/6702/task/6703/stat : 6703 (java) R 6699 6699 3762 0 -1 4202560 8616 0 0 0 26 3 0 0 20 0 15 0 224814344 15372775424 22361 33554432000 4194304 4196468 140728827463440 140650472234800 140650485870639 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6704] ppid=6699 vsize=15012476 memory=3472468262223853232 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6704/stat : 6704 (java) S 6699 6699 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814346 15372775424 22361 33554432000 4194304 4196468 140728827463440 140650504681872 140650500450005 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6705] ppid=6699 vsize=15012476 memory=279931866925952 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6705/stat : 6705 (java) S 6699 6699 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814346 15372775424 22361 33554432000 4194304 4196468 140728827463440 140650318838032 140650500450005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6706] ppid=6699 vsize=15012476 memory=279931741538336 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6706/stat : 6706 (java) S 6699 6699 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814346 15372775424 22361 33554432000 4194304 4196468 140728827463440 140650317785744 140650500450005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6707] ppid=6699 vsize=15012476 memory=139965870753039 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6707/stat : 6707 (java) S 6699 6699 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814346 15372775424 22361 33554432000 4194304 4196468 140728827463440 140650316732944 140650500450005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6708] ppid=6699 vsize=15012476 memory=279931866932864 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6708/stat : 6708 (java) S 6699 6699 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814347 15372775424 22361 33554432000 4194304 4196468 140728827463440 140649839962736 140650500450946 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6709] ppid=6699 vsize=15012476 memory=139965870757647 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6709/stat : 6709 (java) S 6699 6699 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224814348 15372775424 22361 33554432000 4194304 4196468 140728827463440 140649072420128 140650500450005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6710] ppid=6699 vsize=15012476 memory=139965870766054 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6710/stat : 6710 (java) S 6699 6699 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814348 15372775424 22361 33554432000 4194304 4196468 140728827463440 140648837539440 140650500450005 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6711] ppid=6699 vsize=15012476 memory=279931741547552 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6711/stat : 6711 (java) S 6699 6699 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224814350 15372775424 22361 33554432000 4194304 4196468 140728827463440 140648463030864 140650500458395 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6712] ppid=6699 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6702/task/6712/stat : 6712 (java) S 6699 6699 3762 0 -1 1077944384 513 0 0 0 2 0 0 0 20 0 15 0 224814351 15372775424 22361 33554432000 4194304 4196468 140728827463440 140649838909552 140650500450946 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6713] ppid=6699 vsize=15012476 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/6702/task/6713/stat : 6713 (java) S 6699 6699 3762 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 15 0 224814351 15372775424 22361 33554432000 4194304 4196468 140728827463440 140649837856752 140650500450946 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6714] ppid=6699 vsize=15012476 memory=139965996172928 CPUtime=0.07 cores=0,2,4,6
/proc/6702/task/6714/stat : 6714 (java) S 6699 6699 3762 0 -1 1077944384 323 0 0 0 7 0 0 0 20 0 15 0 224814351 15372775424 22361 33554432000 4194304 4196468 140728827463440 140649836804464 140650500450946 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6715] ppid=6699 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6715/stat : 6715 (java) S 6699 6699 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224814351 15372775424 22361 33554432000 4194304 4196468 140728827463440 140647965125088 140650500450005 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6716] ppid=6699 vsize=15012476 memory=139965996174324 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6716/stat : 6716 (java) S 6699 6699 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814351 15372775424 22361 33554432000 4194304 4196468 140728827463440 140649835752368 140650500450946 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90840 KiB
[startup+0.700729 s]
/proc/loadavg: 2.15 2.06 2.06 3/222 6716
/proc/meminfo: memFree=8264068/32770624 swapFree=67108860/67108860
[pid=6699] ppid=6696 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6699/stat : 6699 (scop.sh) S 6696 6699 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224814344 115843072 349 33554432000 4194304 5098028 140734000901328 140734000898584 139902976406140 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23085056 140734000907328 140734000907527 140734000907527 140734000910285 0
/proc/6699/statm: 28282 349 296 221 0 87 0
[pid=6702] ppid=6699 vsize=15020872 memory=130044 CPUtime=1 cores=0,2,4,6
/proc/6702/stat : 6702 (java) S 6699 6699 3762 0 -1 1077944320 18116 0 0 0 95 5 0 0 20 0 15 0 224814344 15381372928 32511 33554432000 4194304 4196468 140728827463440 140728827445984 140650500439799 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
/proc/6702/statm: 3755218 32511 3166 1 0 3716603 0
[pid=6702/tid=6703] ppid=6699 vsize=15020872 memory=54 CPUtime=0.67 cores=0,2,4,6
/proc/6702/task/6703/stat : 6703 (java) R 6699 6699 3762 0 -1 4202560 15403 0 0 0 63 4 0 0 20 0 15 0 224814344 15381372928 32511 33554432000 4194304 4196468 140728827463440 140650472273392 140649995205264 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6704] ppid=6699 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6704/stat : 6704 (java) S 6699 6699 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814346 15381372928 32511 33554432000 4194304 4196468 140728827463440 140650504681872 140650500450005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6705] ppid=6699 vsize=15020872 memory=8751464017575360309 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6705/stat : 6705 (java) S 6699 6699 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814346 15381372928 32511 33554432000 4194304 4196468 140728827463440 140650318838032 140650500450005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6706] ppid=6699 vsize=15020872 memory=5788902676974756672 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6706/stat : 6706 (java) S 6699 6699 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814346 15381372928 32511 33554432000 4194304 4196468 140728827463440 140650317785744 140650500450005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6707] ppid=6699 vsize=15020872 memory=6440526044186890340 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6707/stat : 6707 (java) S 6699 6699 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814346 15381372928 32511 33554432000 4194304 4196468 140728827463440 140650316732944 140650500450005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6708] ppid=6699 vsize=15020872 memory=170926128 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6708/stat : 6708 (java) S 6699 6699 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224814347 15381372928 32511 33554432000 4194304 4196468 140728827463440 140649839962736 140650500450946 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6709] ppid=6699 vsize=15020872 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6709/stat : 6709 (java) S 6699 6699 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224814348 15381372928 32511 33554432000 4194304 4196468 140728827463440 140649072420128 140650500450005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6710] ppid=6699 vsize=15020872 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6710/stat : 6710 (java) S 6699 6699 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814348 15381372928 32511 33554432000 4194304 4196468 140728827463440 140648837539440 140650500450005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6711] ppid=6699 vsize=15020872 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6711/stat : 6711 (java) S 6699 6699 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224814350 15381372928 32511 33554432000 4194304 4196468 140728827463440 140648463030864 140650500458395 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6712] ppid=6699 vsize=15020872 memory=4536 CPUtime=0.07 cores=0,2,4,6
/proc/6702/task/6712/stat : 6712 (java) S 6699 6699 3762 0 -1 1077944384 597 0 0 0 7 0 0 0 20 0 15 0 224814351 15381372928 32511 33554432000 4194304 4196468 140728827463440 140649838909552 140650500450946 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6713] ppid=6699 vsize=15020872 memory=8448 CPUtime=0.09 cores=0,2,4,6
/proc/6702/task/6713/stat : 6713 (java) S 6699 6699 3762 0 -1 1077944384 337 0 0 0 9 0 0 0 20 0 15 0 224814351 15381372928 32511 33554432000 4194304 4196468 140728827463440 140649837856752 140650500450946 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6714] ppid=6699 vsize=15020872 memory=1628 CPUtime=0.15 cores=0,2,4,6
/proc/6702/task/6714/stat : 6714 (java) R 6699 6699 3762 0 -1 4202560 443 0 0 0 15 0 0 0 20 0 15 0 224814351 15381372928 32511 33554432000 4194304 4196468 140728827463440 140649836804464 140650500461146 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6715] ppid=6699 vsize=15020872 memory=1144 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6715/stat : 6715 (java) S 6699 6699 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224814351 15381372928 32511 33554432000 4194304 4196468 140728827463440 140647965125088 140650500450005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
[pid=6702/tid=6716] ppid=6699 vsize=15020872 memory=15244 CPUtime=0 cores=0,2,4,6
/proc/6702/task/6716/stat : 6716 (java) S 6699 6699 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814351 15381372928 32511 33554432000 4194304 4196468 140728827463440 140649835752368 140650500450946 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35708928 140728827466759 140728827467057 140728827467057 140728827469775 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131440 KiB
[startup+1.50077 s]
/proc/loadavg: 2.15 2.06 2.06 4/222 6716
/proc/meminfo: memFree=8237580/32770624 swapFree=67108860/67108860
[pid=6699] ppid=6696 vsize=113128 memory=1472 CPUtime=2.54 cores=0,2,4,6
/proc/6699/stat : 6699 (scop.sh) S 6696 6699 3762 0 -1 4202496 591 22747 0 0 0 0 246 8 20 0 1 0 224814344 115843072 368 33554432000 4194304 5098028 140734000901328 140734000898072 139902976406140 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23085056 140734000907328 140734000907527 140734000907527 140734000910285 0
/proc/6699/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
[startup+2.20976 s]
# the end of solver process 6699 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.51733 s, system=0.149188 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60032 s]
/proc/loadavg: 2.15 2.06 2.06 4/222 6716
/proc/meminfo: memFree=8237580/32770624 swapFree=67108860/67108860
[pid=6699] ppid=6696 vsize=113128 memory=1472 CPUtime=2.54 cores=0,2,4,6
/proc/6699/stat : 6699 (scop.sh) S 6696 6699 3762 0 -1 4202496 591 22747 0 0 0 0 246 8 20 0 1 0 224814344 115843072 368 33554432000 4194304 5098028 140734000901328 140734000898072 139902976406140 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23085056 140734000907328 140734000907527 140734000907527 140734000910285 0
/proc/6699/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
[startup+2.00024 s]*
/proc/loadavg: 2.22 2.07 2.06 3/222 6731
/proc/meminfo: memFree=8284112/32770624 swapFree=67108860/67108860
[pid=6699] ppid=6696 vsize=113128 memory=1472 CPUtime=2.54 cores=0,2,4,6
/proc/6699/stat : 6699 (scop.sh) S 6696 6699 3762 0 -1 4202496 591 22747 0 0 0 0 246 8 20 0 1 0 224814344 115843072 368 33554432000 4194304 5098028 140734000901328 140734000898072 139902976406140 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23085056 140734000907328 140734000907527 140734000907527 140734000910285 0
/proc/6699/statm: 28282 368 311 221 0 87 0
[pid=6717] ppid=6699 vsize=7406384 memory=93840 CPUtime=0.74 cores=0,2,4,6
/proc/6717/stat : 6717 (java) S 6699 6699 3762 0 -1 1077944320 15583 0 0 0 70 4 0 0 20 0 15 0 224814488 7584137216 23460 33554432000 4194304 4196468 140733103315712 140733103298256 139709908422391 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
/proc/6717/statm: 1851596 23460 3060 1 0 1813530 0
[pid=6717/tid=6718] ppid=6699 vsize=7406384 memory=8112282956445269571 CPUtime=0.53 cores=0,2,4,6
/proc/6717/task/6718/stat : 6718 (java) R 6699 6699 3762 0 -1 4202560 13268 0 0 0 50 3 0 0 20 0 15 0 224814489 7584137216 23460 33554432000 4194304 4196468 140733103315712 139709880253408 139709888697713 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6719] ppid=6699 vsize=7406384 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/6717/task/6719/stat : 6719 (java) S 6699 6699 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814490 7584137216 23460 33554432000 4194304 4196468 140733103315712 139709912664592 139709908432597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6720] ppid=6699 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6717/task/6720/stat : 6720 (java) S 6699 6699 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814490 7584137216 23460 33554432000 4194304 4196468 140733103315712 139709718428304 139709908432597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6721] ppid=6699 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6717/task/6721/stat : 6721 (java) S 6699 6699 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814490 7584137216 23460 33554432000 4194304 4196468 140733103315712 139709717375248 139709908432597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6722] ppid=6699 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6717/task/6722/stat : 6722 (java) S 6699 6699 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814490 7584137216 23460 33554432000 4194304 4196468 140733103315712 139709391735184 139709908432597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6723] ppid=6699 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6717/task/6723/stat : 6723 (java) S 6699 6699 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814491 7584137216 23460 33554432000 4194304 4196468 140733103315712 139708951784176 139709908433538 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6724] ppid=6699 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6717/task/6724/stat : 6724 (java) S 6699 6699 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224814492 7584137216 23460 33554432000 4194304 4196468 140733103315712 139708843681440 139709908432597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6725] ppid=6699 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6717/task/6725/stat : 6725 (java) S 6699 6699 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814492 7584137216 23460 33554432000 4194304 4196468 140733103315712 139708575245552 139709908432597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6726] ppid=6699 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6717/task/6726/stat : 6726 (java) S 6699 6699 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224814494 7584137216 23460 33554432000 4194304 4196468 140733103315712 139708200737232 139709908440987 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6727] ppid=6699 vsize=7406384 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6717/task/6727/stat : 6727 (java) S 6699 6699 3762 0 -1 1077944384 358 0 0 0 3 0 0 0 20 0 15 0 224814494 7584137216 23460 33554432000 4194304 4196468 140733103315712 139708950730992 139709908433538 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6728] ppid=6699 vsize=7406384 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/6717/task/6728/stat : 6728 (java) S 6699 6699 3762 0 -1 1077944384 270 0 0 0 4 0 0 0 20 0 15 0 224814494 7584137216 23460 33554432000 4194304 4196468 140733103315712 139708949678448 139709908433538 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6729] ppid=6699 vsize=7406384 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/6717/task/6729/stat : 6729 (java) S 6699 6699 3762 0 -1 1077944384 353 0 0 0 12 0 0 0 20 0 15 0 224814494 7584137216 23460 33554432000 4194304 4196468 140733103315712 139708948625392 139709908433538 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6730] ppid=6699 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6717/task/6730/stat : 6730 (java) S 6699 6699 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224814494 7584137216 23460 33554432000 4194304 4196468 140733103315712 139707702831456 139709908432597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6731] ppid=6699 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6717/task/6731/stat : 6731 (java) S 6699 6699 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814495 7584137216 23460 33554432000 4194304 4196468 140733103315712 139708947573808 139709908433538 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
Current children cumulated CPU time: 3.28 s
Current children cumulated vsize: 7519512 KiB
Current children cumulated memory: 95312 KiB
[startup+2.20074 s]
/proc/loadavg: 2.22 2.07 2.06 3/222 6731
/proc/meminfo: memFree=8284112/32770624 swapFree=67108860/67108860
[pid=6699] ppid=6696 vsize=113128 memory=1472 CPUtime=2.54 cores=0,2,4,6
/proc/6699/stat : 6699 (scop.sh) S 6696 6699 3762 0 -1 4202496 591 22747 0 0 0 0 246 8 20 0 1 0 224814344 115843072 368 33554432000 4194304 5098028 140734000901328 140734000898072 139902976406140 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23085056 140734000907328 140734000907527 140734000907527 140734000910285 0
/proc/6699/statm: 28282 368 311 221 0 87 0
[pid=6717] ppid=6699 vsize=7740532 memory=116136 CPUtime=1.08 cores=0,2,4,6
/proc/6717/stat : 6717 (java) S 6699 6699 3762 0 -1 1077944320 17306 444 0 0 103 5 0 0 20 0 17 0 224814488 7926304768 29034 33554432000 4194304 4196468 140733103315712 140733103298256 139709908422391 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
/proc/6717/statm: 1935133 29034 3142 1 0 1896532 0
[pid=6717/tid=6718] ppid=6699 vsize=7740532 memory=6944656592455097440 CPUtime=0.73 cores=0,2,4,6
/proc/6717/task/6718/stat : 6718 (java) R 6699 6699 3762 0 -1 4202560 14451 444 0 0 69 4 0 0 20 0 17 0 224814489 7926304768 29034 33554432000 4194304 4196468 140733103315712 139709880256464 139709892549264 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6719] ppid=6699 vsize=7740532 memory=-3039135443232236825 CPUtime=0 cores=0,2,4,6
/proc/6717/task/6719/stat : 6719 (java) S 6699 6699 3762 0 -1 1077944384 2 444 0 0 0 0 0 0 20 0 17 0 224814490 7926304768 29034 33554432000 4194304 4196468 140733103315712 139709912664592 139709908432597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6720] ppid=6699 vsize=7740532 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6717/task/6720/stat : 6720 (java) S 6699 6699 3762 0 -1 1077944384 1 444 0 0 0 0 0 0 20 0 17 0 224814490 7926304768 29034 33554432000 4194304 4196468 140733103315712 139709718428304 139709908432597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6721] ppid=6699 vsize=7740532 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6717/task/6721/stat : 6721 (java) S 6699 6699 3762 0 -1 1077944384 1 444 0 0 0 0 0 0 20 0 17 0 224814490 7926304768 29034 33554432000 4194304 4196468 140733103315712 139709717375248 139709908432597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6722] ppid=6699 vsize=7740532 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6717/task/6722/stat : 6722 (java) S 6699 6699 3762 0 -1 1077944384 2 444 0 0 0 0 0 0 20 0 17 0 224814490 7926304768 29034 33554432000 4194304 4196468 140733103315712 139709391735184 139709908432597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6723] ppid=6699 vsize=7740532 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6717/task/6723/stat : 6723 (java) S 6699 6699 3762 0 -1 1077944384 5 444 0 0 0 0 0 0 20 0 17 0 224814491 7926304768 29034 33554432000 4194304 4196468 140733103315712 139708951784176 139709908433538 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6724] ppid=6699 vsize=7740532 memory=288230583149279418 CPUtime=0 cores=0,2,4,6
/proc/6717/task/6724/stat : 6724 (java) S 6699 6699 3762 0 -1 1077944384 13 444 0 0 0 0 0 0 20 0 17 0 224814492 7926304768 29034 33554432000 4194304 4196468 140733103315712 139708843681440 139709908432597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6725] ppid=6699 vsize=7740532 memory=13854053507532698 CPUtime=0 cores=0,2,4,6
/proc/6717/task/6725/stat : 6725 (java) S 6699 6699 3762 0 -1 1077944384 1 444 0 0 0 0 0 0 20 0 17 0 224814492 7926304768 29034 33554432000 4194304 4196468 140733103315712 139708575245552 139709908432597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6726] ppid=6699 vsize=7740532 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6717/task/6726/stat : 6726 (java) S 6699 6699 3762 0 -1 1077944384 3 444 0 0 0 0 0 0 20 0 17 0 224814494 7926304768 29034 33554432000 4194304 4196468 140733103315712 139708200737232 139709908440987 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6727] ppid=6699 vsize=7740532 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6717/task/6727/stat : 6727 (java) S 6699 6699 3762 0 -1 1077944384 585 444 0 0 8 0 0 0 20 0 17 0 224814494 7926304768 29034 33554432000 4194304 4196468 140733103315712 139708950730992 139709908433538 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6728] ppid=6699 vsize=7740532 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6717/task/6728/stat : 6728 (java) S 6699 6699 3762 0 -1 1077944384 358 444 0 0 7 0 0 0 20 0 17 0 224814494 7926304768 29034 33554432000 4194304 4196468 140733103315712 139708949678448 139709908433538 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6729] ppid=6699 vsize=7740532 memory=46993 CPUtime=0.17 cores=0,2,4,6
/proc/6717/task/6729/stat : 6729 (java) S 6699 6699 3762 0 -1 1077944384 489 444 0 0 17 0 0 0 20 0 17 0 224814494 7926304768 29034 33554432000 4194304 4196468 140733103315712 139708948625392 139709908433538 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6730] ppid=6699 vsize=7740532 memory=28386915257066 CPUtime=0 cores=0,2,4,6
/proc/6717/task/6730/stat : 6730 (java) S 6699 6699 3762 0 -1 1077944384 3 444 0 0 0 0 0 0 20 0 17 0 224814494 7926304768 29034 33554432000 4194304 4196468 140733103315712 139707702831456 139709908432597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
[pid=6717/tid=6731] ppid=6699 vsize=7740532 memory=340634605 CPUtime=0 cores=0,2,4,6
/proc/6717/task/6731/stat : 6731 (java) S 6699 6699 3762 0 -1 1077944384 1 444 0 0 0 0 0 0 20 0 17 0 224814495 7926304768 29034 33554432000 4194304 4196468 140733103315712 139708947573808 139709908433538 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38866944 140733103318198 140733103318321 140733103318321 140733103321039 0
Current children cumulated CPU time: 3.62 s
Current children cumulated vsize: 7853660 KiB
Current children cumulated memory: 117608 KiB
Child status: 0
Real time (s): 2.2098
CPU time (s): 3.66652
CPU user time (s): 3.51733
CPU system time (s): 0.149188
CPU usage (%): 165.921
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 170380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.51733
system time used= 0.149188
maximum resident set size= 174064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41132
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4538
involuntary context switches= 11
# summary of solver processes directly reported to runsolver:
# pid: 6699
# total CPU time (s): 3.66652
# total CPU user time (s): 3.51733
# total CPU system time (s): 0.149188
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039437 second user time and 0.065562 second system time
The end