0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-21953-serial-file.bin HOME/instance-4305582-1534072604.xml
0.66/0.52
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Sun Aug 12 13:16:44 CEST 2018
0.66/0.55 c PID: 21956
0.66/0.55 c IP: 172.20.3.135
0.66/0.55 c HOST: node135.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.18/0.85 c (0,0) Parsing End
1.18/0.86 c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 30 ctr, max domain size 20
1.18/0.86 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.86 c (0,0) Constraint Name Generate Begin
1.18/0.87 c (0,0) Ctr:HOME/instance-4305582-1534072604.xml,Add:Element:Eq:IntVar:Num
1.18/0.87 c (0,0) Constraint Name Generate End
1.18/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.87 c (0,0) CSP to CSPinCNF Begin
1.56/1.02 c (0,0) translated 3 (10%) constraints
1.56/1.05 c (0,0) translated 6 (20%) constraints
1.56/1.08 c (0,0) translated 9 (30%) constraints
1.85/1.12 c (0,0) translated 12 (40%) constraints
1.85/1.15 c (0,0) translated 15 (50%) constraints
1.85/1.17 c (0,0) translated 18 (60%) constraints
1.85/1.18 c (0,0) translated 21 (70%) constraints
1.85/1.19 c (0,0) translated 24 (80%) constraints
1.85/1.19 c (0,0) translated 27 (90%) constraints
1.85/1.19 c (0,0) translated 30 (100%) constraints
2.06/1.23 c (0,0) STATISTICS1:HOME/instance-4305582-1534072604.xml,Add:Element:Eq:IntVar:Num,40,410,18,18,3,2,18:2;17:2;16:2;15:2;14:2;13:2;12:2;11:2;10:2;9:2,18:42;17:42;16:42;15:42;14:42;13:42;12:42;11:42;10:442;9:42,3:400;1:10,2:20;1:1200,
2.06/1.23 c (0,0) ==========================================
2.06/1.23 c (0,0) Both Encoding selects:
2.06/1.23 c (0,0) Order
2.06/1.23 c (0,0) ==========================================
2.06/1.28 c (0,0) translated 41 (10%) constraints
2.29/1.30 c (0,0) translated 82 (20%) constraints
2.29/1.31 c (0,0) translated 123 (30%) constraints
2.29/1.33 c (0,0) translated 164 (40%) constraints
2.29/1.34 c (0,0) translated 205 (50%) constraints
2.29/1.35 c (0,0) translated 246 (60%) constraints
2.29/1.36 c (0,0) translated 287 (70%) constraints
2.29/1.37 c (0,0) translated 328 (80%) constraints
2.29/1.38 c (0,0) translated 369 (90%) constraints
2.58/1.40 c (0,0) translated 410 (100%) constraints
2.58/1.40 c (0,0) CSP to CSPinCNF End
2.58/1.40 c (0,0) CSP: 40 int (0 aux), 200 bool (200 aux), 1220 ctr, max domain size 18
2.58/1.40 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.58/1.40 c (0,0) CSPinCNF Propagation Begin
2.58/1.44 c (0,0) 0 values, 170 unsatisfiable literals, and 210 valid clauses are removed
2.58/1.44 c (0,0) CSPinCNF Propagation End
2.58/1.45 c (0,0) CSP: 40 int (0 aux), 200 bool (200 aux), 1010 ctr, max domain size 18
2.58/1.45 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.58/1.45 c (0,0) Simplify CSPinCNF Begin
2.58/1.45 c (0,0) Simplify CSPinCNF End
2.58/1.45 c (0,0) CSP: 40 int (0 aux), 200 bool (200 aux), 1010 ctr, max domain size 18
2.58/1.45 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.58/1.45 c (0,0) Calculate Precise Domain Begin
2.58/1.46 c (0,0) 0 values are removed by re-calculation
2.58/1.46 c (0,0) Calculate Precise Domain End
2.58/1.46 c (0,0) CSP: 40 int (0 aux), 200 bool (200 aux), 1010 ctr, max domain size 18
2.58/1.46 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.58/1.46 c (0,0) CSPinCNF to SatSolver Begin
2.58/1.49 c (0,0) 101 (10 %) CSP clauses are encoded (630 SAT variables, 490 SAT clauses)
2.91/1.50 c (0,0) 202 (20 %) CSP clauses are encoded (630 SAT variables, 591 SAT clauses)
2.91/1.51 c (0,0) 303 (30 %) CSP clauses are encoded (630 SAT variables, 692 SAT clauses)
2.91/1.52 c (0,0) 404 (40 %) CSP clauses are encoded (630 SAT variables, 793 SAT clauses)
2.91/1.52 c (0,0) 505 (50 %) CSP clauses are encoded (630 SAT variables, 894 SAT clauses)
2.91/1.52 c (0,0) 606 (60 %) CSP clauses are encoded (630 SAT variables, 995 SAT clauses)
2.91/1.53 c (1,0) 707 (70 %) CSP clauses are encoded (630 SAT variables, 1096 SAT clauses)
2.91/1.53 c (1,0) 808 (80 %) CSP clauses are encoded (630 SAT variables, 1197 SAT clauses)
2.91/1.53 c (1,0) 909 (90 %) CSP clauses are encoded (630 SAT variables, 1298 SAT clauses)
2.91/1.55 c (1,1) 1010 (100 %) CSP clauses are encoded (630 SAT variables, 1622 SAT clauses)
2.91/1.55 c (1,1) Launch Command will be: minisat_release
2.91/1.55 c (1,1) CSPinCNF to SatSolver End
2.91/1.55 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.91/1.56 c (1,1) STATISTICS2:HOME/instance-4305582-1534072604.xml,Add:Element:Eq:IntVar:Num,240,1010,18,18,3,2,18:2;17:2;16:2;15:2;14:2;13:2;12:2;11:2;10:2;9:2,18:72;17:68;16:64;15:60;14:56;13:52;12:48;11:44;10:760;9:36;2:990,3:230;2:760;1:20,2:20;1:2210,
2.91/1.56 c (1,1) 630 bool, 1630 clause
2.91/1.56 c (1,1) Export Begin
3.19/1.64 c (1,1) Export to HOME/scop-21953-serial-file.bin
3.19/1.64 c (1,1) Export End
3.19/1.64 c (1,1) Export File Size: 0.01 MB
3.19/1.64 c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
3.19/1.64 c END-Prog: Sun Aug 12 13:16:45 CEST 2018
3.19/1.65 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-21953-serial-file.bin
3.88/2.15 c (0,0) Read Serial File Begin
3.88/2.15 c (0,0) HOME/scop-21953-serial-file.bin
4.15/2.30 c (0,0) Read Serial File End
4.15/2.32
4.15/2.32 scop order+minisat_release (2018-07-31)
4.15/2.32 (Solving Process)
4.15/2.32
4.15/2.34 c BEGIN-Prog: Sun Aug 12 13:16:46 CEST 2018
4.15/2.34 c PID: 21971
4.15/2.34 c IP: 172.20.3.135
4.15/2.34 c HOST: node135.alineos.net
4.15/2.34 c (0,0) SatSolver.solve Begin
4.15/2.34 c (0,0) 0 bool, 0 clause
4.15/2.34 c (0,0) minisat_release HOME/instance-4305582-1534072604.xml-scop-21956.cnf
26.32/24.35 c (22,0) c This is COMiniSatPS.
26.32/24.35 c (22,0) c WARNING: for repeatability, setting FPU to use double precision
26.32/24.35 c (22,0) c ============================[ Problem Statistics ]=============================
26.32/24.35 c (22,0) c | |
26.32/24.35 c (22,0) c | Number of variables: 630 |
26.32/24.35 c (22,0) c | Number of clauses: 1630 |
26.32/24.35 c (22,0) c | Parse time: 0.00 s |
26.32/24.35 c (22,0) c | Eliminated clauses: 0.01 Mb |
26.32/24.35 c (22,0) c Reduced to 344 vars, 1091 cls (grow=0)
26.32/24.35 c (22,0) c No iterative elimination performed. (vars=344, c/v ratio=3.2)
26.32/24.35 c (22,0) c | Simplification time: 0.00 s |
26.32/24.35 c (22,0) c | |
26.32/24.35 c (22,0) c ============================[ Search Statistics ]==============================
26.32/24.35 c (22,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
26.32/24.35 c (22,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
26.32/24.35 c (22,0) c ===============================================================================
26.32/24.35 c (22,0) c ===============================================================================
26.32/24.35 c (22,0) c restarts : 550
26.32/24.35 c (22,0) c conflicts : 256527 (11675 /sec)
26.32/24.35 c (22,0) c decisions : 295976 (0.00 % random) (13471 /sec)
26.32/24.35 c (22,0) c propagations : 16502587 (751093 /sec)
26.32/24.35 c (22,0) c conflict literals : 4707019 (44.07 % deleted)
26.32/24.35 c (22,0) c CPU time : 21.9714 s
26.32/24.35 c (22,0)
26.32/24.35 c (22,0) s UNSATISFIABLE
26.32/24.35 c (22,0) SatSolver.solve End
26.32/24.35 c (22,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
26.32/24.35 c (22,0) Show results Begin
26.32/24.35 s UNSATISFIABLE
26.32/24.35 c (22,0) Show results End
26.32/24.35 c (22,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
26.32/24.36 c (22,0) 22,22,STOP-AFTER(ALL)
26.32/24.36 c END-Prog: Sun Aug 12 13:17:08 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 (6885 MiB free)
memory of node 1: 16384 MiB (4467 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305582-1534072604/watcher-4305582-1534072604 -o /tmp/evaluation-result-4305582-1534072604/solver-4305582-1534072604 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19414 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305582-1534072604.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=21953, runsolver pid=21950
Current StackSize limit: 8192 KiB
[startup+0.100423 s]*
/proc/loadavg: 2.09 2.05 2.05 3/225 21970
/proc/meminfo: memFree=11564984/32770624 swapFree=67108860/67108860
[pid=21953] ppid=21950 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21953/stat : 21953 (scop.sh) S 21950 21953 19383 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224823533 115843072 349 33554432000 4194304 5098028 140735535540464 140735535537720 140425755529852 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 31436800 140735535547457 140735535547655 140735535547655 140735535550413 0
/proc/21953/statm: 28282 349 296 221 0 87 0
[pid=21956] ppid=21953 vsize=15012476 memory=72716 CPUtime=0.11 cores=0,2,4,6
/proc/21956/stat : 21956 (java) S 21953 21953 19383 0 -1 1077944320 6823 0 0 0 9 2 0 0 20 0 15 0 224823533 15372775424 18179 33554432000 4194304 4196468 140725007220304 140725007202848 140443604094711 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
/proc/21956/statm: 3753119 18179 2770 1 0 3715579 0
[pid=21956/tid=21957] ppid=21953 vsize=15012476 memory=7533807676074704953 CPUtime=0.08 cores=0,2,4,6
/proc/21956/task/21957/stat : 21957 (java) R 21953 21953 19383 0 -1 4202560 4949 0 0 0 7 1 0 0 20 0 15 0 224823534 15372775424 18245 33554432000 4194304 4196468 140725007220304 140443575890592 140443584370432 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21958] ppid=21953 vsize=15012476 memory=3472468233913300656 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21958/stat : 21958 (java) S 21953 21953 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823535 15372775424 18245 33554432000 4194304 4196468 140725007220304 140443608337040 140443604104917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21959] ppid=21953 vsize=15012476 memory=139937685620352 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21959/stat : 21959 (java) S 21953 21953 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823535 15372775424 18245 33554432000 4194304 4196468 140725007220304 140443422493200 140443604104917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21960] ppid=21953 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21960/stat : 21960 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823535 15372775424 18245 33554432000 4194304 4196468 140725007220304 140443421440400 140443604104917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21961] ppid=21953 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21961/stat : 21961 (java) S 21953 21953 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823535 15372775424 18245 33554432000 4194304 4196468 140725007220304 140443420387600 140443604104917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21962] ppid=21953 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21962/stat : 21962 (java) S 21953 21953 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823537 15372775424 18245 33554432000 4194304 4196468 140725007220304 140442574195568 140443604105858 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21963] ppid=21953 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21963/stat : 21963 (java) S 21953 21953 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224823537 15372775424 18245 33554432000 4194304 4196468 140725007220304 140442209347104 140443604104917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21964] ppid=21953 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21964/stat : 21964 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823537 15372775424 18311 33554432000 4194304 4196468 140725007220304 140441940911472 140443604104917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21965] ppid=21953 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21965/stat : 21965 (java) S 21953 21953 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224823540 15372775424 18311 33554432000 4194304 4196468 140725007220304 140441566402896 140443604113307 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21966] ppid=21953 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21966/stat : 21966 (java) S 21953 21953 19383 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 224823540 15372775424 18311 33554432000 4194304 4196468 140725007220304 140442573142384 140443604105858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21967] ppid=21953 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21967/stat : 21967 (java) S 21953 21953 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224823540 15372775424 18311 33554432000 4194304 4196468 140725007220304 140442572089584 140443604105858 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21968] ppid=21953 vsize=15012476 memory=139937685620352 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21968/stat : 21968 (java) S 21953 21953 19383 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 15 0 224823540 15372775424 18311 33554432000 4194304 4196468 140725007220304 140442571036784 140443604105858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21969] ppid=21953 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21969/stat : 21969 (java) S 21953 21953 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224823540 15372775424 18311 33554432000 4194304 4196468 140725007220304 140441068497120 140443604104917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21970] ppid=21953 vsize=15012476 memory=139937685620352 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21970/stat : 21970 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823540 15372775424 18311 33554432000 4194304 4196468 140725007220304 140442569985200 140443604105858 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74112 KiB
[startup+0.210829 s]*
/proc/loadavg: 2.09 2.05 2.05 3/225 21970
/proc/meminfo: memFree=11551172/32770624 swapFree=67108860/67108860
[pid=21953] ppid=21950 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21953/stat : 21953 (scop.sh) S 21950 21953 19383 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224823533 115843072 349 33554432000 4194304 5098028 140735535540464 140735535537720 140425755529852 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 31436800 140735535547457 140735535547655 140735535547655 140735535550413 0
/proc/21953/statm: 28282 349 296 221 0 87 0
[pid=21956] ppid=21953 vsize=15012476 memory=85504 CPUtime=0.26 cores=0,2,4,6
/proc/21956/stat : 21956 (java) S 21953 21953 19383 0 -1 1077944320 10276 0 0 0 23 3 0 0 20 0 15 0 224823533 15372775424 21376 33554432000 4194304 4196468 140725007220304 140725007202848 140443604094711 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
/proc/21956/statm: 3753119 21376 2882 1 0 3715579 0
[pid=21956/tid=21957] ppid=21953 vsize=15012476 memory=8514701219881124769 CPUtime=0.2 cores=0,2,4,6
/proc/21956/task/21957/stat : 21957 (java) R 21953 21953 19383 0 -1 4202560 8174 0 0 0 18 2 0 0 20 0 15 0 224823534 15372775424 21376 33554432000 4194304 4196468 140725007220304 140443575920096 140443604106646 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21958] ppid=21953 vsize=15012476 memory=3472468233913300656 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21958/stat : 21958 (java) S 21953 21953 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823535 15372775424 21376 33554432000 4194304 4196468 140725007220304 140443608337040 140443604104917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21959] ppid=21953 vsize=15012476 memory=139937685620352 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21959/stat : 21959 (java) S 21953 21953 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823535 15372775424 21376 33554432000 4194304 4196468 140725007220304 140443422493200 140443604104917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21960] ppid=21953 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21960/stat : 21960 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823535 15372775424 21376 33554432000 4194304 4196468 140725007220304 140443421440400 140443604104917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21961] ppid=21953 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21961/stat : 21961 (java) S 21953 21953 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823535 15372775424 21376 33554432000 4194304 4196468 140725007220304 140443420387600 140443604104917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21962] ppid=21953 vsize=15012476 memory=139937685620352 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21962/stat : 21962 (java) S 21953 21953 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823537 15372775424 21376 33554432000 4194304 4196468 140725007220304 140442574195568 140443604105858 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21963] ppid=21953 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21963/stat : 21963 (java) S 21953 21953 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224823537 15372775424 21376 33554432000 4194304 4196468 140725007220304 140442209347104 140443604104917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21964] ppid=21953 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21964/stat : 21964 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823537 15372775424 21376 33554432000 4194304 4196468 140725007220304 140441940911472 140443604104917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21965] ppid=21953 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21965/stat : 21965 (java) S 21953 21953 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224823540 15372775424 21376 33554432000 4194304 4196468 140725007220304 140441566402896 140443604113307 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21966] ppid=21953 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21956/task/21966/stat : 21966 (java) R 21953 21953 19383 0 -1 4202560 441 0 0 0 1 0 0 0 20 0 15 0 224823540 15372775424 21376 33554432000 4194304 4196468 140725007220304 140442573142384 140443604106646 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21967] ppid=21953 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21967/stat : 21967 (java) R 21953 21953 19383 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 224823540 15372775424 21376 33554432000 4194304 4196468 140725007220304 140442572089584 140443604106646 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21968] ppid=21953 vsize=15012476 memory=139937685620352 CPUtime=0.03 cores=0,2,4,6
/proc/21956/task/21968/stat : 21968 (java) R 21953 21953 19383 0 -1 1077944384 308 0 0 0 3 0 0 0 20 0 15 0 224823540 15372775424 21376 33554432000 4194304 4196468 140725007220304 140442571036784 140443604105858 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21969] ppid=21953 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21969/stat : 21969 (java) S 21953 21953 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224823540 15372775424 21376 33554432000 4194304 4196468 140725007220304 140441068497120 140443604104917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21970] ppid=21953 vsize=15012476 memory=139937685620352 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21970/stat : 21970 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823540 15372775424 21376 33554432000 4194304 4196468 140725007220304 140442569985200 140443604105858 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86900 KiB
[startup+0.310767 s]*
/proc/loadavg: 2.09 2.05 2.05 3/225 21970
/proc/meminfo: memFree=11547288/32770624 swapFree=67108860/67108860
[pid=21953] ppid=21950 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21953/stat : 21953 (scop.sh) S 21950 21953 19383 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224823533 115843072 349 33554432000 4194304 5098028 140735535540464 140735535537720 140425755529852 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 31436800 140735535547457 140735535547655 140735535547655 140735535550413 0
/proc/21953/statm: 28282 349 296 221 0 87 0
[pid=21956] ppid=21953 vsize=15012476 memory=89652 CPUtime=0.42 cores=0,2,4,6
/proc/21956/stat : 21956 (java) S 21953 21953 19383 0 -1 1077944320 10875 0 0 0 39 3 0 0 20 0 15 0 224823533 15372775424 22413 33554432000 4194304 4196468 140725007220304 140725007202848 140443604094711 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
/proc/21956/statm: 3753119 22413 2993 1 0 3715579 0
[pid=21956/tid=21957] ppid=21953 vsize=15012476 memory=8514701219881124769 CPUtime=0.29 cores=0,2,4,6
/proc/21956/task/21957/stat : 21957 (java) R 21953 21953 19383 0 -1 4202560 8608 0 0 0 27 2 0 0 20 0 15 0 224823534 15372775424 22413 33554432000 4194304 4196468 140725007220304 140443575889712 140443588138341 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21958] ppid=21953 vsize=15012476 memory=3472468233913300656 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21958/stat : 21958 (java) S 21953 21953 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823535 15372775424 22413 33554432000 4194304 4196468 140725007220304 140443608337040 140443604104917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21959] ppid=21953 vsize=15012476 memory=279875236432768 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21959/stat : 21959 (java) S 21953 21953 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823535 15372775424 22413 33554432000 4194304 4196468 140725007220304 140443422493200 140443604104917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21960] ppid=21953 vsize=15012476 memory=279875101657120 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21960/stat : 21960 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823535 15372775424 22413 33554432000 4194304 4196468 140725007220304 140443421440400 140443604104917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21961] ppid=21953 vsize=15012476 memory=139937550812431 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21961/stat : 21961 (java) S 21953 21953 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823535 15372775424 22413 33554432000 4194304 4196468 140725007220304 140443420387600 140443604104917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21962] ppid=21953 vsize=15012476 memory=279875236439680 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21962/stat : 21962 (java) S 21953 21953 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823537 15372775424 22413 33554432000 4194304 4196468 140725007220304 140442574195568 140443604105858 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21963] ppid=21953 vsize=15012476 memory=139937550817039 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21963/stat : 21963 (java) S 21953 21953 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224823537 15372775424 22413 33554432000 4194304 4196468 140725007220304 140442209347104 140443604104917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21964] ppid=21953 vsize=15012476 memory=139937550840896 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21964/stat : 21964 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823537 15372775424 22413 33554432000 4194304 4196468 140725007220304 140441940911472 140443604104917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21965] ppid=21953 vsize=15012476 memory=279875101666336 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21965/stat : 21965 (java) S 21953 21953 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224823540 15372775424 22413 33554432000 4194304 4196468 140725007220304 140441566402896 140443604113307 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21966] ppid=21953 vsize=15012476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21956/task/21966/stat : 21966 (java) R 21953 21953 19383 0 -1 1077944384 549 0 0 0 3 0 0 0 20 0 15 0 224823540 15372775424 22413 33554432000 4194304 4196468 140725007220304 140442573142384 140443604105858 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21967] ppid=21953 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21967/stat : 21967 (java) R 21953 21953 19383 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 15 0 224823540 15372775424 22413 33554432000 4194304 4196468 140725007220304 140442572089584 140443597079753 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21968] ppid=21953 vsize=15012476 memory=139937685620352 CPUtime=0.07 cores=0,2,4,6
/proc/21956/task/21968/stat : 21968 (java) R 21953 21953 19383 0 -1 4202560 350 0 0 0 7 0 0 0 20 0 15 0 224823540 15372775424 22413 33554432000 4194304 4196468 140725007220304 140442571036784 140443588175198 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21969] ppid=21953 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21969/stat : 21969 (java) S 21953 21953 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224823540 15372775424 22413 33554432000 4194304 4196468 140725007220304 140441068497120 140443604104917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21970] ppid=21953 vsize=15012476 memory=139937685621748 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21970/stat : 21970 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823540 15372775424 22413 33554432000 4194304 4196468 140725007220304 140442569985200 140443604105858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91048 KiB
[startup+0.704751 s]
/proc/loadavg: 2.09 2.05 2.05 3/225 21970
/proc/meminfo: memFree=11523188/32770624 swapFree=67108860/67108860
[pid=21953] ppid=21950 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21953/stat : 21953 (scop.sh) S 21950 21953 19383 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224823533 115843072 349 33554432000 4194304 5098028 140735535540464 140735535537720 140425755529852 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 31436800 140735535547457 140735535547655 140735535547655 140735535550413 0
/proc/21953/statm: 28282 349 296 221 0 87 0
[pid=21956] ppid=21953 vsize=15020872 memory=129728 CPUtime=1.01 cores=0,2,4,6
/proc/21956/stat : 21956 (java) S 21953 21953 19383 0 -1 1077944320 18103 0 0 0 96 5 0 0 20 0 15 0 224823533 15381372928 32432 33554432000 4194304 4196468 140725007220304 140725007202848 140443604094711 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
/proc/21956/statm: 3755218 32432 3153 1 0 3716603 0
[pid=21956/tid=21957] ppid=21953 vsize=15020872 memory=57 CPUtime=0.67 cores=0,2,4,6
/proc/21956/task/21957/stat : 21957 (java) R 21953 21953 19383 0 -1 4202560 15381 0 0 0 63 4 0 0 20 0 15 0 224823534 15381372928 32432 33554432000 4194304 4196468 140725007220304 140443575930032 140443604116637 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21958] ppid=21953 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21958/stat : 21958 (java) S 21953 21953 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823535 15381372928 32432 33554432000 4194304 4196468 140725007220304 140443608337040 140443604104917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21959] ppid=21953 vsize=15020872 memory=7886766292050393141 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21959/stat : 21959 (java) S 21953 21953 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823535 15381372928 32432 33554432000 4194304 4196468 140725007220304 140443422493200 140443604104917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21960] ppid=21953 vsize=15020872 memory=7518566443438921825 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21960/stat : 21960 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823535 15381372928 32432 33554432000 4194304 4196468 140725007220304 140443421440400 140443604104917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21961] ppid=21953 vsize=15020872 memory=7372762397046498368 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21961/stat : 21961 (java) S 21953 21953 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224823535 15381372928 32432 33554432000 4194304 4196468 140725007220304 140443420387600 140443604104917 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21962] ppid=21953 vsize=15020872 memory=2319389199337275488 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21962/stat : 21962 (java) S 21953 21953 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224823537 15381372928 32432 33554432000 4194304 4196468 140725007220304 140442574195568 140443604105858 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21963] ppid=21953 vsize=15020872 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21963/stat : 21963 (java) S 21953 21953 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224823537 15381372928 32432 33554432000 4194304 4196468 140725007220304 140442209347104 140443604104917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21964] ppid=21953 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21964/stat : 21964 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823537 15381372928 32432 33554432000 4194304 4196468 140725007220304 140441940911472 140443604104917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21965] ppid=21953 vsize=15020872 memory=968 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21965/stat : 21965 (java) S 21953 21953 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224823540 15381372928 32432 33554432000 4194304 4196468 140725007220304 140441566402896 140443604113307 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21966] ppid=21953 vsize=15020872 memory=12144 CPUtime=0.07 cores=0,2,4,6
/proc/21956/task/21966/stat : 21966 (java) S 21953 21953 19383 0 -1 1077944384 614 0 0 0 7 0 0 0 20 0 15 0 224823540 15381372928 32432 33554432000 4194304 4196468 140725007220304 140442573142384 140443604105858 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21967] ppid=21953 vsize=15020872 memory=1712 CPUtime=0.09 cores=0,2,4,6
/proc/21956/task/21967/stat : 21967 (java) S 21953 21953 19383 0 -1 1077944384 302 0 0 0 9 0 0 0 20 0 15 0 224823540 15381372928 32432 33554432000 4194304 4196468 140725007220304 140442572089584 140443604105858 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21968] ppid=21953 vsize=15020872 memory=8812 CPUtime=0.15 cores=0,2,4,6
/proc/21956/task/21968/stat : 21968 (java) S 21953 21953 19383 0 -1 1077944384 469 0 0 0 15 0 0 0 20 0 15 0 224823540 15381372928 32432 33554432000 4194304 4196468 140725007220304 140442571036784 140443604105858 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21969] ppid=21953 vsize=15020872 memory=4576 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21969/stat : 21969 (java) S 21953 21953 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224823540 15381372928 32432 33554432000 4194304 4196468 140725007220304 140441068497120 140443604104917 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
[pid=21956/tid=21970] ppid=21953 vsize=15020872 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/21956/task/21970/stat : 21970 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224823540 15381372928 32432 33554432000 4194304 4196468 140725007220304 140442569985200 140443604105858 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26943488 140725007221767 140725007222065 140725007222065 140725007224783 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131124 KiB
[startup+1.50102 s]
/proc/loadavg: 2.09 2.05 2.05 3/225 21970
/proc/meminfo: memFree=11497072/32770624 swapFree=67108860/67108860
[pid=21953] ppid=21950 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21953/stat : 21953 (scop.sh) S 21950 21953 19383 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224823533 115843072 349 33554432000 4194304 5098028 140735535540464 140735535537720 140425755529852 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 31436800 140735535547457 140735535547655 140735535547655 140735535550413 0
/proc/21953/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 25.22 s
Current children cumulated vsize: 8214284 KiB
Current children cumulated memory: 134636 KiB
[startup+24.0009 s]*
/proc/loadavg: 2.06 2.05 2.05 3/230 21991
/proc/meminfo: memFree=11502584/32770624 swapFree=67108860/67108860
[pid=21953] ppid=21950 vsize=113128 memory=1472 CPUtime=3.28 cores=0,2,4,6
/proc/21953/stat : 21953 (scop.sh) S 21950 21953 19383 0 -1 4202496 591 23183 0 0 0 0 318 10 20 0 1 0 224823533 115843072 368 33554432000 4194304 5098028 140735535540464 140735535537208 140425755529852 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 31436800 140735535547457 140735535547655 140735535547655 140735535550413 0
/proc/21953/statm: 28282 368 311 221 0 87 0
[pid=21971] ppid=21953 vsize=8068220 memory=117580 CPUtime=1.12 cores=0,2,4,6
/proc/21971/stat : 21971 (java) S 21953 21953 19383 0 -1 1077944320 18661 0 0 0 106 6 0 0 20 0 19 0 224823699 8261857280 29395 33554432000 4194304 4196468 140722639367168 140722639349712 140654034435831 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
/proc/21971/statm: 2017055 29395 3147 1 0 1978454 0
[pid=21986] ppid=21971 vsize=32936 memory=15584 CPUtime=21.63 cores=0,2,4,6
/proc/21986/stat : 21986 (minisat_release) R 21971 21953 19383 0 -1 4202496 10226 0 0 0 2163 0 0 0 20 0 1 0 224823770 33726464 3896 33554432000 4194304 4308513 140722210035056 140722210031960 4276089 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 17199104 140722210038900 140722210038998 140722210038998 140722210041797 0
/proc/21986/statm: 8234 3896 338 28 0 4474 0
[pid=21971/tid=21972] ppid=21953 vsize=8068220 memory=-7824251494390978146 CPUtime=0.74 cores=0,2,4,6
/proc/21971/task/21972/stat : 21972 (java) S 21953 21953 19383 0 -1 1077944384 15560 0 0 0 69 5 0 0 20 0 19 0 224823699 8261857280 29395 33554432000 4194304 4196468 140722639367168 140654006275984 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21973] ppid=21953 vsize=8068220 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21973/stat : 21973 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224823700 8261857280 29395 33554432000 4194304 4196468 140722639367168 140654038678288 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21974] ppid=21953 vsize=8068220 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21974/stat : 21974 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224823700 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653872057232 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21975] ppid=21953 vsize=8068220 memory=7518590705777664874 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21975/stat : 21975 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224823700 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653518728208 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21976] ppid=21953 vsize=8068220 memory=7092440889622422097 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21976/stat : 21976 (java) S 21953 21953 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224823700 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653517675664 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21977] ppid=21953 vsize=8068220 memory=7163092199681971053 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21977/stat : 21977 (java) S 21953 21953 19383 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 224823702 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653480904688 140654034446978 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21978] ppid=21953 vsize=8068220 memory=6935655852846960720 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21978/stat : 21978 (java) S 21953 21953 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224823702 8261857280 29395 33554432000 4194304 4196468 140722639367168 140652864070560 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21979] ppid=21953 vsize=8068220 memory=7666929096539400296 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21979/stat : 21979 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224823702 8261857280 29395 33554432000 4194304 4196468 140722639367168 140652595635184 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21980] ppid=21953 vsize=8068220 memory=6008743529133142371 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21980/stat : 21980 (java) S 21953 21953 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224823705 8261857280 29395 33554432000 4194304 4196468 140722639367168 140652221126864 140654034454427 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21981] ppid=21953 vsize=8068220 memory=7163348398622401365 CPUtime=0.08 cores=0,2,4,6
/proc/21971/task/21981/stat : 21981 (java) S 21953 21953 19383 0 -1 1077944384 635 0 0 0 8 0 0 0 20 0 19 0 224823705 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653479852528 140654034446978 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21982] ppid=21953 vsize=8068220 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21971/task/21982/stat : 21982 (java) S 21953 21953 19383 0 -1 1077944384 364 0 0 0 8 0 0 0 20 0 19 0 224823705 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653478799984 140654034446978 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21983] ppid=21953 vsize=8068220 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/21971/task/21983/stat : 21983 (java) S 21953 21953 19383 0 -1 1077944384 704 0 0 0 18 0 0 0 20 0 19 0 224823705 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653477747440 140654034446978 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21984] ppid=21953 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21984/stat : 21984 (java) S 21953 21953 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224823705 8261857280 29395 33554432000 4194304 4196468 140722639367168 140651723222112 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21985] ppid=21953 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21985/stat : 21985 (java) S 21953 21953 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224823705 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653476694320 140654034446978 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21987] ppid=21953 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21987/stat : 21987 (java) S 21953 21953 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224823770 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653468886080 140654034460441 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21989] ppid=21953 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21989/stat : 21989 (java) S 21953 21953 19383 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224823770 8261857280 29395 33554432000 4194304 4196468 140722639367168 140651186335376 140654034457757 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21990] ppid=21953 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21990/stat : 21990 (java) S 21953 21953 19383 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224823771 8261857280 29395 33554432000 4194304 4196468 140722639367168 140650917904144 140654034457757 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21991] ppid=21953 vsize=8068220 memory=8 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21991/stat : 21991 (java) S 21953 21953 19383 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 224823773 8261857280 29395 33554432000 4194304 4196468 140722639367168 140651320565280 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
Current children cumulated CPU time: 26.03 s
Current children cumulated vsize: 8214284 KiB
Current children cumulated memory: 134636 KiB
[startup+24.2009 s]
/proc/loadavg: 2.06 2.05 2.05 3/230 21991
/proc/meminfo: memFree=11502584/32770624 swapFree=67108860/67108860
[pid=21953] ppid=21950 vsize=113128 memory=1472 CPUtime=3.28 cores=0,2,4,6
/proc/21953/stat : 21953 (scop.sh) S 21950 21953 19383 0 -1 4202496 591 23183 0 0 0 0 318 10 20 0 1 0 224823533 115843072 368 33554432000 4194304 5098028 140735535540464 140735535537208 140425755529852 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 31436800 140735535547457 140735535547655 140735535547655 140735535550413 0
/proc/21953/statm: 28282 368 311 221 0 87 0
[pid=21971] ppid=21953 vsize=8068220 memory=117580 CPUtime=1.12 cores=0,2,4,6
/proc/21971/stat : 21971 (java) S 21953 21953 19383 0 -1 1077944320 18661 0 0 0 106 6 0 0 20 0 19 0 224823699 8261857280 29395 33554432000 4194304 4196468 140722639367168 140722639349712 140654034435831 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
/proc/21971/statm: 2017055 29395 3147 1 0 1978454 0
[pid=21986] ppid=21971 vsize=32936 memory=15584 CPUtime=21.82 cores=0,2,4,6
/proc/21986/stat : 21986 (minisat_release) R 21971 21953 19383 0 -1 4202496 10227 0 0 0 2182 0 0 0 20 0 1 0 224823770 33726464 3896 33554432000 4194304 4308513 140722210035056 140722210031960 4276465 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 17199104 140722210038900 140722210038998 140722210038998 140722210041797 0
/proc/21986/statm: 8234 3896 338 28 0 4474 0
[pid=21971/tid=21972] ppid=21953 vsize=8068220 memory=0 CPUtime=0.74 cores=0,2,4,6
/proc/21971/task/21972/stat : 21972 (java) S 21953 21953 19383 0 -1 1077944384 15560 0 0 0 69 5 0 0 20 0 19 0 224823699 8261857280 29395 33554432000 4194304 4196468 140722639367168 140654006275984 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21973] ppid=21953 vsize=8068220 memory=2192 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21973/stat : 21973 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224823700 8261857280 29395 33554432000 4194304 4196468 140722639367168 140654038678288 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21974] ppid=21953 vsize=8068220 memory=7528 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21974/stat : 21974 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224823700 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653872057232 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21975] ppid=21953 vsize=8068220 memory=828 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21975/stat : 21975 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224823700 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653518728208 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21976] ppid=21953 vsize=8068220 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21976/stat : 21976 (java) S 21953 21953 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224823700 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653517675664 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21977] ppid=21953 vsize=8068220 memory=912 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21977/stat : 21977 (java) S 21953 21953 19383 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 224823702 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653480904688 140654034446978 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21978] ppid=21953 vsize=8068220 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21978/stat : 21978 (java) S 21953 21953 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224823702 8261857280 29395 33554432000 4194304 4196468 140722639367168 140652864070560 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21979] ppid=21953 vsize=8068220 memory=2656 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21979/stat : 21979 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224823702 8261857280 29395 33554432000 4194304 4196468 140722639367168 140652595635184 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21980] ppid=21953 vsize=8068220 memory=2588 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21980/stat : 21980 (java) S 21953 21953 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224823705 8261857280 29395 33554432000 4194304 4196468 140722639367168 140652221126864 140654034454427 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21981] ppid=21953 vsize=8068220 memory=4100 CPUtime=0.08 cores=0,2,4,6
/proc/21971/task/21981/stat : 21981 (java) S 21953 21953 19383 0 -1 1077944384 635 0 0 0 8 0 0 0 20 0 19 0 224823705 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653479852528 140654034446978 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21982] ppid=21953 vsize=8068220 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/21971/task/21982/stat : 21982 (java) S 21953 21953 19383 0 -1 1077944384 364 0 0 0 8 0 0 0 20 0 19 0 224823705 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653478799984 140654034446978 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21983] ppid=21953 vsize=8068220 memory=3240 CPUtime=0.18 cores=0,2,4,6
/proc/21971/task/21983/stat : 21983 (java) S 21953 21953 19383 0 -1 1077944384 704 0 0 0 18 0 0 0 20 0 19 0 224823705 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653477747440 140654034446978 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21984] ppid=21953 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21984/stat : 21984 (java) S 21953 21953 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224823705 8261857280 29395 33554432000 4194304 4196468 140722639367168 140651723222112 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21985] ppid=21953 vsize=8068220 memory=116780 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21985/stat : 21985 (java) S 21953 21953 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224823705 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653476694320 140654034446978 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21987] ppid=21953 vsize=8068220 memory=67908 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21987/stat : 21987 (java) S 21953 21953 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224823770 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653468886080 140654034460441 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21989] ppid=21953 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21989/stat : 21989 (java) S 21953 21953 19383 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224823770 8261857280 29395 33554432000 4194304 4196468 140722639367168 140651186335376 140654034457757 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21990] ppid=21953 vsize=8068220 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21990/stat : 21990 (java) S 21953 21953 19383 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224823771 8261857280 29395 33554432000 4194304 4196468 140722639367168 140650917904144 140654034457757 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21991] ppid=21953 vsize=8068220 memory=14972265422916166 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21991/stat : 21991 (java) S 21953 21953 19383 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 224823773 8261857280 29395 33554432000 4194304 4196468 140722639367168 140651320565280 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
Current children cumulated CPU time: 26.22 s
Current children cumulated vsize: 8214284 KiB
Current children cumulated memory: 134636 KiB
[startup+24.3009 s]
/proc/loadavg: 2.06 2.05 2.05 3/230 21991
/proc/meminfo: memFree=11502584/32770624 swapFree=67108860/67108860
[pid=21953] ppid=21950 vsize=113128 memory=1472 CPUtime=3.28 cores=0,2,4,6
/proc/21953/stat : 21953 (scop.sh) S 21950 21953 19383 0 -1 4202496 591 23183 0 0 0 0 318 10 20 0 1 0 224823533 115843072 368 33554432000 4194304 5098028 140735535540464 140735535537208 140425755529852 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 31436800 140735535547457 140735535547655 140735535547655 140735535550413 0
/proc/21953/statm: 28282 368 311 221 0 87 0
[pid=21971] ppid=21953 vsize=8068220 memory=117580 CPUtime=1.12 cores=0,2,4,6
/proc/21971/stat : 21971 (java) S 21953 21953 19383 0 -1 1077944320 18661 0 0 0 106 6 0 0 20 0 19 0 224823699 8261857280 29395 33554432000 4194304 4196468 140722639367168 140722639349712 140654034435831 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
/proc/21971/statm: 2017055 29395 3147 1 0 1978454 0
[pid=21986] ppid=21971 vsize=32936 memory=15584 CPUtime=21.92 cores=0,2,4,6
/proc/21986/stat : 21986 (minisat_release) R 21971 21953 19383 0 -1 4202496 10227 0 0 0 2192 0 0 0 20 0 1 0 224823770 33726464 3896 33554432000 4194304 4308513 140722210035056 140722210031960 4276114 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 17199104 140722210038900 140722210038998 140722210038998 140722210041797 0
/proc/21986/statm: 8234 3896 338 28 0 4474 0
[pid=21971/tid=21972] ppid=21953 vsize=8068220 memory=1472 CPUtime=0.74 cores=0,2,4,6
/proc/21971/task/21972/stat : 21972 (java) S 21953 21953 19383 0 -1 1077944384 15560 0 0 0 69 5 0 0 20 0 19 0 224823699 8261857280 29395 33554432000 4194304 4196468 140722639367168 140654006275984 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21973] ppid=21953 vsize=8068220 memory=15584 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21973/stat : 21973 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224823700 8261857280 29395 33554432000 4194304 4196468 140722639367168 140654038678288 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21974] ppid=21953 vsize=8068220 memory=15584 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21974/stat : 21974 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224823700 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653872057232 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21975] ppid=21953 vsize=8068220 memory=117580 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21975/stat : 21975 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224823700 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653518728208 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21976] ppid=21953 vsize=8068220 memory=15340 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21976/stat : 21976 (java) S 21953 21953 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224823700 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653517675664 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21977] ppid=21953 vsize=8068220 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21977/stat : 21977 (java) S 21953 21953 19383 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 224823702 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653480904688 140654034446978 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21978] ppid=21953 vsize=8068220 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21978/stat : 21978 (java) S 21953 21953 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224823702 8261857280 29395 33554432000 4194304 4196468 140722639367168 140652864070560 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21979] ppid=21953 vsize=8068220 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21979/stat : 21979 (java) S 21953 21953 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224823702 8261857280 29395 33554432000 4194304 4196468 140722639367168 140652595635184 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21980] ppid=21953 vsize=8068220 memory=5772 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21980/stat : 21980 (java) S 21953 21953 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224823705 8261857280 29395 33554432000 4194304 4196468 140722639367168 140652221126864 140654034454427 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21981] ppid=21953 vsize=8068220 memory=117580 CPUtime=0.08 cores=0,2,4,6
/proc/21971/task/21981/stat : 21981 (java) S 21953 21953 19383 0 -1 1077944384 635 0 0 0 8 0 0 0 20 0 19 0 224823705 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653479852528 140654034446978 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21982] ppid=21953 vsize=8068220 memory=1472 CPUtime=0.08 cores=0,2,4,6
/proc/21971/task/21982/stat : 21982 (java) S 21953 21953 19383 0 -1 1077944384 364 0 0 0 8 0 0 0 20 0 19 0 224823705 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653478799984 140654034446978 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21983] ppid=21953 vsize=8068220 memory=117580 CPUtime=0.18 cores=0,2,4,6
/proc/21971/task/21983/stat : 21983 (java) S 21953 21953 19383 0 -1 1077944384 704 0 0 0 18 0 0 0 20 0 19 0 224823705 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653477747440 140654034446978 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21984] ppid=21953 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21984/stat : 21984 (java) S 21953 21953 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224823705 8261857280 29395 33554432000 4194304 4196468 140722639367168 140651723222112 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21985] ppid=21953 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21985/stat : 21985 (java) S 21953 21953 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224823705 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653476694320 140654034446978 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21987] ppid=21953 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21987/stat : 21987 (java) S 21953 21953 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224823770 8261857280 29395 33554432000 4194304 4196468 140722639367168 140653468886080 140654034460441 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21989] ppid=21953 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21989/stat : 21989 (java) S 21953 21953 19383 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224823770 8261857280 29395 33554432000 4194304 4196468 140722639367168 140651186335376 140654034457757 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21990] ppid=21953 vsize=8068220 memory=117580 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21990/stat : 21990 (java) S 21953 21953 19383 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224823771 8261857280 29395 33554432000 4194304 4196468 140722639367168 140650917904144 140654034457757 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
[pid=21971/tid=21991] ppid=21953 vsize=8068220 memory=15584 CPUtime=0 cores=0,2,4,6
/proc/21971/task/21991/stat : 21991 (java) S 21953 21953 19383 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 224823773 8261857280 29395 33554432000 4194304 4196468 140722639367168 140651320565280 140654034446037 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26558464 140722639373493 140722639373617 140722639373617 140722639376335 0
Current children cumulated CPU time: 26.32 s
Current children cumulated vsize: 8214284 KiB
Current children cumulated memory: 134636 KiB
Child status: 0
Real time (s): 24.3676
CPU time (s): 26.4155
CPU user time (s): 26.2239
CPU system time (s): 0.191596
CPU usage (%): 108.404
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 190320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.2239
system time used= 0.191596
maximum resident set size= 194160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52744
page faults= 0
swaps= 0
block input operations= 0
block output operations= 280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5056
involuntary context switches= 85
# summary of solver processes directly reported to runsolver:
# pid: 21953
# total CPU time (s): 26.4155
# total CPU user time (s): 26.2239
# total CPU system time (s): 0.191596
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.165567 second user time and 0.316002 second system time
The end