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-25448-serial-file.bin HOME/instance-4305769-1534068209.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 12:03:30 CEST 2018
0.66/0.55 c PID: 25451
0.66/0.55 c IP: 172.20.3.106
0.66/0.55 c HOST: node106.alineos.net
0.66/0.56 c (0,0) Parsing Begin
5.15/2.04 c (1,1) Parsing End
5.15/2.05 c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 43
5.15/2.05 c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.15/2.05 c (1,1) Constraint Name Generate Begin
5.15/2.08 c (1,1) Ctr:HOME/instance-4305769-1534068209.xml,Dist:Eq:IntVar:Le:Num
5.15/2.08 c (1,1) Constraint Name Generate End
5.15/2.08 c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.15/2.08 c (1,1) CSP to CSPinCNF Begin
6.17/2.34 c (1,1) translated 411 (10%) constraints
6.17/2.40 c (1,1) translated 821 (20%) constraints
6.52/2.45 c (1,1) translated 1231 (30%) constraints
6.88/2.51 c (1,1) translated 1642 (40%) constraints
6.88/2.55 c (2,2) translated 2052 (50%) constraints
6.88/2.60 c (2,2) translated 2462 (60%) constraints
7.20/2.64 c (2,2) translated 2873 (70%) constraints
7.20/2.68 c (2,2) translated 3283 (80%) constraints
7.54/2.72 c (2,2) translated 3693 (90%) constraints
7.87/2.81 c (2,2) translated 4103 (100%) constraints
8.19/2.93 c (2,2) STATISTICS1:HOME/instance-4305769-1534068209.xml,Dist:Eq:IntVar:Le:Num,680,4783,43,43,2,2,43:3314;36:5144;23:24;22:344;6:60,43:9348;36:7956;23:40;22:364;6:64,2:4103;1:680,2:8886,
8.19/2.93 c (2,2) ==========================================
8.19/2.93 c (2,2) Both Encoding selects:
8.19/2.93 c (2,2) Order
8.19/2.93 c (2,2) ==========================================
8.19/2.96 c (2,2) translated 479 (10%) constraints
8.19/2.98 c (2,2) translated 957 (20%) constraints
8.55/3.01 c (2,2) translated 1435 (30%) constraints
8.55/3.02 c (2,2) translated 1914 (40%) constraints
8.55/3.04 c (2,2) translated 2392 (50%) constraints
8.55/3.05 c (2,2) translated 2870 (60%) constraints
8.55/3.07 c (2,2) translated 3349 (70%) constraints
8.55/3.09 c (2,2) translated 3827 (80%) constraints
8.55/3.10 c (2,2) translated 4305 (90%) constraints
8.85/3.11 c (2,2) translated 4783 (100%) constraints
8.85/3.12 c (2,2) CSP to CSPinCNF End
8.85/3.12 c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 43
8.85/3.12 c (2,2) Heap : 676 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.85/3.12 c (2,2) CSPinCNF Propagation Begin
10.99/4.69 c (4,4) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
10.99/4.69 c (4,4) CSPinCNF Propagation End
10.99/4.69 c (4,4) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 43
10.99/4.69 c (4,4) Heap : 2253 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
10.99/4.69 c (4,4) Simplify CSPinCNF Begin
11.70/4.95 c (4,4) Simplify CSPinCNF End
11.70/4.96 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 43
11.70/4.96 c (4,4) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
11.70/4.96 c (4,4) Calculate Precise Domain Begin
11.70/4.96 c (4,4) 0 values are removed by re-calculation
11.70/4.96 c (4,4) Calculate Precise Domain End
11.70/4.96 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 43
11.70/4.96 c (4,4) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
11.70/4.96 c (4,4) CSPinCNF to SatSolver Begin
12.69/5.29 c (4,4) 1299 (10 %) CSP clauses are encoded (34050 SAT variables, 56415 SAT clauses)
13.30/5.41 c (4,4) 2598 (20 %) CSP clauses are encoded (34050 SAT variables, 87295 SAT clauses)
13.59/5.52 c (4,4) 3897 (30 %) CSP clauses are encoded (34050 SAT variables, 116165 SAT clauses)
13.85/5.63 c (5,5) 5196 (40 %) CSP clauses are encoded (34050 SAT variables, 147364 SAT clauses)
14.06/5.74 c (5,5) 6495 (50 %) CSP clauses are encoded (34050 SAT variables, 178874 SAT clauses)
14.23/5.83 c (5,5) 7794 (60 %) CSP clauses are encoded (34050 SAT variables, 211484 SAT clauses)
14.32/5.95 c (5,5) 9093 (70 %) CSP clauses are encoded (34050 SAT variables, 244110 SAT clauses)
14.55/6.04 c (5,5) 10392 (80 %) CSP clauses are encoded (34050 SAT variables, 276914 SAT clauses)
14.68/6.12 c (5,5) 11691 (90 %) CSP clauses are encoded (34050 SAT variables, 308838 SAT clauses)
14.68/6.19 c (5,5) 12989 (100 %) CSP clauses are encoded (34050 SAT variables, 338903 SAT clauses)
14.68/6.19 c (5,5) Launch Command will be: minisat_release
14.68/6.19 c (5,5) CSPinCNF to SatSolver End
14.68/6.19 c (5,5) Heap : 276 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
14.90/6.27 c (5,5) STATISTICS2:HOME/instance-4305769-1534068209.xml,Dist:Eq:IntVar:Le:Num,8886,12989,43,43,2,2,43:3314;36:5144;23:24;22:344;6:60,43:9348;36:7956;23:40;22:364;6:64;2:16412,2:12309;1:680,2:8886;1:16412,
14.90/6.27 c (5,5) 34050 bool, 338915 clause
14.90/6.27 c (5,5) Export Begin
16.03/6.67 c (6,6) Export to HOME/scop-25448-serial-file.bin
16.03/6.67 c (6,6) Export End
16.03/6.67 c (6,6) Export File Size: 4.63 MB
16.03/6.67 c (6,6) 1,1,2,4,4,4,5,STOP-AFTER(DIMACS)
16.03/6.67 c END-Prog: Sun Aug 12 12:03:36 CEST 2018
0.00/6.70 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-25448-serial-file.bin
16.78/7.20 c (0,0) Read Serial File Begin
16.78/7.20 c (0,0) HOME/scop-25448-serial-file.bin
17.47/7.58 c (0,0) Read Serial File End
17.47/7.59
17.47/7.59 scop order+minisat_release (2018-07-31)
17.47/7.59 (Solving Process)
17.47/7.59
17.67/7.61 c BEGIN-Prog: Sun Aug 12 12:03:37 CEST 2018
17.67/7.61 c PID: 25466
17.67/7.61 c IP: 172.20.3.106
17.67/7.61 c HOST: node106.alineos.net
17.67/7.62 c (0,0) SatSolver.solve Begin
17.67/7.62 c (0,0) 0 bool, 0 clause
17.67/7.62 c (0,0) minisat_release HOME/instance-4305769-1534068209.xml-scop-25451.cnf
21.13/10.93 c (3,0) c This is COMiniSatPS.
21.13/10.93 c (3,0) c WARNING: for repeatability, setting FPU to use double precision
21.13/10.93 c (3,0) c ============================[ Problem Statistics ]=============================
21.13/10.93 c (3,0) c | |
21.13/10.93 c (3,0) c | Number of variables: 34050 |
21.13/10.93 c (3,0) c | Number of clauses: 338915 |
21.13/10.93 c (3,0) c | Parse time: 0.12 s |
21.13/10.93 c (3,0) c | Eliminated clauses: 0.08 Mb |
21.13/10.93 c (3,0) c Reduced to 29846 vars, 334630 cls (grow=0)
21.13/10.93 c (3,0) c No iterative elimination performed. (vars=29846, c/v ratio=11.2)
21.13/10.93 c (3,0) c | Simplification time: 0.37 s |
21.13/10.93 c (3,0) c | |
21.13/10.93 c (3,0) c ============================[ Search Statistics ]==============================
21.13/10.93 c (3,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
21.13/10.93 c (3,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
21.13/10.93 c (3,0) c ===============================================================================
21.13/10.93 c (3,0) c ===============================================================================
21.13/10.93 c (3,0) c restarts : 88
21.13/10.93 c (3,0) c conflicts : 30545 (9361 /sec)
21.13/10.93 c (3,0) c decisions : 38729 (0.00 % random) (11869 /sec)
21.13/10.93 c (3,0) c propagations : 5920237 (1814317 /sec)
21.13/10.93 c (3,0) c conflict literals : 467640 (35.80 % deleted)
21.13/10.93 c (3,0) c CPU time : 3.26307 s
21.13/10.93 c (3,0)
21.13/10.93 c (3,0) s UNSATISFIABLE
21.13/10.93 c (3,0) SatSolver.solve End
21.13/10.93 c (3,0) Heap : 164 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
21.13/10.93 c (3,0) Show results Begin
21.13/10.93 s UNSATISFIABLE
21.13/10.93 c (3,0) Show results End
21.13/10.93 c (3,0) Heap : 164 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
21.13/10.94 c (3,0) 3,3,STOP-AFTER(ALL)
21.13/10.94 c END-Prog: Sun Aug 12 12:03:40 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 (8581 MiB free)
memory of node 1: 16384 MiB (11480 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305769-1534068209/watcher-4305769-1534068209 -o /tmp/evaluation-result-4305769-1534068209/solver-4305769-1534068209 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23198 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305769-1534068209.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=25448, runsolver pid=25445
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 2.69 2.23 2.13 3/224 25465
/proc/meminfo: memFree=20482768/32770624 swapFree=67108688/67108860
[pid=25448] ppid=25445 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25448/stat : 25448 (scop.sh) S 25445 25448 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224383787 115843072 349 33554432000 4194304 5098028 140728450801696 140728450798952 140390346261116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28635136 140728450806849 140728450807047 140728450807047 140728450809805 0
/proc/25448/statm: 28282 349 296 221 0 87 0
[pid=25451] ppid=25448 vsize=15012476 memory=72984 CPUtime=0.1 cores=0,2,4,6
/proc/25451/stat : 25451 (java) S 25448 25448 23167 0 -1 1077944320 6366 0 0 0 9 1 0 0 20 0 15 0 224383788 15372775424 18246 33554432000 4194304 4196468 140737189627216 140737189609760 139643456892663 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
/proc/25451/statm: 3753119 18246 2772 1 0 3715579 0
[pid=25451/tid=25452] ppid=25448 vsize=15012476 memory=-6078870780940435391 CPUtime=0.09 cores=0,2,4,6
/proc/25451/task/25452/stat : 25452 (java) R 25448 25448 23167 0 -1 4202560 4439 0 0 0 8 1 0 0 20 0 15 0 224383788 15372775424 18246 33554432000 4194304 4196468 140737189627216 139643428718992 139643442058208 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25453] ppid=25448 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25453/stat : 25453 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224383790 15372775424 18246 33554432000 4194304 4196468 140737189627216 139643461135120 139643456902869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25454] ppid=25448 vsize=15012476 memory=140019593336448 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25454/stat : 25454 (java) S 25448 25448 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224383790 15372775424 18246 33554432000 4194304 4196468 140737189627216 139642917170064 139643456902869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25455] ppid=25448 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25455/stat : 25455 (java) S 25448 25448 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224383790 15372775424 18246 33554432000 4194304 4196468 140737189627216 139642916117520 139643456902869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25456] ppid=25448 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25456/stat : 25456 (java) S 25448 25448 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224383790 15372775424 18246 33554432000 4194304 4196468 140737189627216 139642915064976 139643456902869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25457] ppid=25448 vsize=15012476 memory=140019593336448 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25457/stat : 25457 (java) S 25448 25448 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224383791 15372775424 18246 33554432000 4194304 4196468 140737189627216 139642796439536 139643456903810 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25458] ppid=25448 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25458/stat : 25458 (java) S 25448 25448 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224383792 15372775424 18246 33554432000 4194304 4196468 140737189627216 139642036806560 139643456902869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25459] ppid=25448 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25459/stat : 25459 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224383792 15372775424 18246 33554432000 4194304 4196468 140737189627216 139641801925616 139643456902869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25460] ppid=25448 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25460/stat : 25460 (java) S 25448 25448 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224383794 15372775424 18246 33554432000 4194304 4196468 140737189627216 139641427417296 139643456911259 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25461] ppid=25448 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25461/stat : 25461 (java) S 25448 25448 23167 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 224383794 15372775424 18246 33554432000 4194304 4196468 140737189627216 139642795387376 139643456903810 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25462] ppid=25448 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25462/stat : 25462 (java) S 25448 25448 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224383794 15372775424 18246 33554432000 4194304 4196468 140737189627216 139642794334832 139643456903810 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25463] ppid=25448 vsize=15012476 memory=140019593336448 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25463/stat : 25463 (java) S 25448 25448 23167 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 15 0 224383794 15372775424 18246 33554432000 4194304 4196468 140737189627216 139642793282288 139643456903810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25464] ppid=25448 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25464/stat : 25464 (java) S 25448 25448 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224383795 15372775424 18246 33554432000 4194304 4196468 140737189627216 139640929512544 139643456902869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25465] ppid=25448 vsize=15012476 memory=140019593336448 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25465/stat : 25465 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224383795 15372775424 18246 33554432000 4194304 4196468 140737189627216 139642792229168 139643456903810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74380 KiB
[startup+0.21075 s]*
/proc/loadavg: 2.69 2.23 2.13 4/224 25465
/proc/meminfo: memFree=20468568/32770624 swapFree=67108688/67108860
[pid=25448] ppid=25445 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25448/stat : 25448 (scop.sh) S 25445 25448 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224383787 115843072 349 33554432000 4194304 5098028 140728450801696 140728450798952 140390346261116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28635136 140728450806849 140728450807047 140728450807047 140728450809805 0
/proc/25448/statm: 28282 349 296 221 0 87 0
[pid=25451] ppid=25448 vsize=15012476 memory=86004 CPUtime=0.25 cores=0,2,4,6
/proc/25451/stat : 25451 (java) S 25448 25448 23167 0 -1 1077944320 9861 0 0 0 23 2 0 0 20 0 15 0 224383788 15372775424 21501 33554432000 4194304 4196468 140737189627216 140737189609760 139643456892663 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
/proc/25451/statm: 3753119 21501 2876 1 0 3715579 0
[pid=25451/tid=25452] ppid=25448 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/25451/task/25452/stat : 25452 (java) R 25448 25448 23167 0 -1 4202560 7754 0 0 0 18 2 0 0 20 0 15 0 224383788 15372775424 21501 33554432000 4194304 4196468 140737189627216 139643428719056 139643440973150 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25453] ppid=25448 vsize=15012476 memory=546 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25453/stat : 25453 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224383790 15372775424 21501 33554432000 4194304 4196468 140737189627216 139643461135120 139643456902869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25454] ppid=25448 vsize=15012476 memory=140019594528734 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25454/stat : 25454 (java) S 25448 25448 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224383790 15372775424 21501 33554432000 4194304 4196468 140737189627216 139642917170064 139643456902869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25455] ppid=25448 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25455/stat : 25455 (java) S 25448 25448 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224383790 15372775424 21501 33554432000 4194304 4196468 140737189627216 139642916117520 139643456902869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25456] ppid=25448 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25456/stat : 25456 (java) S 25448 25448 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224383790 15372775424 21501 33554432000 4194304 4196468 140737189627216 139642915064976 139643456902869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25457] ppid=25448 vsize=15012476 memory=140019593336448 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25457/stat : 25457 (java) S 25448 25448 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224383791 15372775424 21501 33554432000 4194304 4196468 140737189627216 139642796439536 139643456903810 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25458] ppid=25448 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25458/stat : 25458 (java) S 25448 25448 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224383792 15372775424 21501 33554432000 4194304 4196468 140737189627216 139642036806560 139643456902869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25459] ppid=25448 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25459/stat : 25459 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224383792 15372775424 21501 33554432000 4194304 4196468 140737189627216 139641801925616 139643456902869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25460] ppid=25448 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25460/stat : 25460 (java) S 25448 25448 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224383794 15372775424 21501 33554432000 4194304 4196468 140737189627216 139641427417296 139643456911259 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25461] ppid=25448 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25461/stat : 25461 (java) S 25448 25448 23167 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 224383794 15372775424 21501 33554432000 4194304 4196468 140737189627216 139642795387376 139643456903810 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25462] ppid=25448 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25462/stat : 25462 (java) S 25448 25448 23167 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 224383794 15372775424 21501 33554432000 4194304 4196468 140737189627216 139642794334832 139643456903810 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25463] ppid=25448 vsize=15012476 memory=140019593336448 CPUtime=0.03 cores=0,2,4,6
/proc/25451/task/25463/stat : 25463 (java) S 25448 25448 23167 0 -1 1077944384 305 0 0 0 3 0 0 0 20 0 15 0 224383794 15372775424 21501 33554432000 4194304 4196468 140737189627216 139642793282288 139643456903810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25464] ppid=25448 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25464/stat : 25464 (java) S 25448 25448 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224383795 15372775424 21501 33554432000 4194304 4196468 140737189627216 139640929512544 139643456902869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25465] ppid=25448 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25465/stat : 25465 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224383795 15372775424 21501 33554432000 4194304 4196468 140737189627216 139642792229168 139643456903810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87400 KiB
[startup+0.310739 s]*
/proc/loadavg: 2.69 2.23 2.13 3/224 25465
/proc/meminfo: memFree=20464792/32770624 swapFree=67108688/67108860
[pid=25448] ppid=25445 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25448/stat : 25448 (scop.sh) S 25445 25448 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224383787 115843072 349 33554432000 4194304 5098028 140728450801696 140728450798952 140390346261116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28635136 140728450806849 140728450807047 140728450807047 140728450809805 0
/proc/25448/statm: 28282 349 296 221 0 87 0
[pid=25451] ppid=25448 vsize=15012476 memory=89516 CPUtime=0.42 cores=0,2,4,6
/proc/25451/stat : 25451 (java) S 25448 25448 23167 0 -1 1077944320 10390 0 0 0 39 3 0 0 20 0 15 0 224383788 15372775424 22379 33554432000 4194304 4196468 140737189627216 140737189609760 139643456892663 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
/proc/25451/statm: 3753119 22379 2971 1 0 3715579 0
[pid=25451/tid=25452] ppid=25448 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/25451/task/25452/stat : 25452 (java) R 25448 25448 23167 0 -1 4202560 8122 0 0 0 27 2 0 0 20 0 15 0 224383788 15372775424 22379 33554432000 4194304 4196468 140737189627216 139643428688112 139643440973150 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25453] ppid=25448 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25453/stat : 25453 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224383790 15372775424 22379 33554432000 4194304 4196468 140737189627216 139643461135120 139643456902869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25454] ppid=25448 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25454/stat : 25454 (java) S 25448 25448 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224383790 15372775424 22379 33554432000 4194304 4196468 140737189627216 139642917170064 139643456902869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25455] ppid=25448 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25455/stat : 25455 (java) S 25448 25448 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224383790 15372775424 22379 33554432000 4194304 4196468 140737189627216 139642916117520 139643456902869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25456] ppid=25448 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25456/stat : 25456 (java) S 25448 25448 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224383790 15372775424 22379 33554432000 4194304 4196468 140737189627216 139642915064976 139643456902869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25457] ppid=25448 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25457/stat : 25457 (java) S 25448 25448 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224383791 15372775424 22379 33554432000 4194304 4196468 140737189627216 139642796439536 139643456903810 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25458] ppid=25448 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25458/stat : 25458 (java) S 25448 25448 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224383792 15372775424 22379 33554432000 4194304 4196468 140737189627216 139642036806560 139643456902869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25459] ppid=25448 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25459/stat : 25459 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224383792 15372775424 22379 33554432000 4194304 4196468 140737189627216 139641801925616 139643456902869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25460] ppid=25448 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25460/stat : 25460 (java) S 25448 25448 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224383794 15372775424 22379 33554432000 4194304 4196468 140737189627216 139641427417296 139643456911259 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25461] ppid=25448 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25451/task/25461/stat : 25461 (java) S 25448 25448 23167 0 -1 1077944384 483 0 0 0 1 0 0 0 20 0 15 0 224383794 15372775424 22379 33554432000 4194304 4196468 140737189627216 139642795387376 139643456903810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25462] ppid=25448 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25451/task/25462/stat : 25462 (java) S 25448 25448 23167 0 -1 1077944384 130 0 0 0 2 0 0 0 20 0 15 0 224383794 15372775424 22379 33554432000 4194304 4196468 140737189627216 139642794334832 139643456903810 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25463] ppid=25448 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25451/task/25463/stat : 25463 (java) S 25448 25448 23167 0 -1 1077944384 323 0 0 0 7 0 0 0 20 0 15 0 224383794 15372775424 22379 33554432000 4194304 4196468 140737189627216 139642793282288 139643456903810 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25464] ppid=25448 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25464/stat : 25464 (java) S 25448 25448 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224383795 15372775424 22379 33554432000 4194304 4196468 140737189627216 139640929512544 139643456902869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25465] ppid=25448 vsize=15012476 memory=3761129318981378097 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25465/stat : 25465 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224383795 15372775424 22379 33554432000 4194304 4196468 140737189627216 139642792229168 139643456903810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90912 KiB
[startup+0.704816 s]
/proc/loadavg: 2.69 2.23 2.13 3/224 25465
/proc/meminfo: memFree=20441228/32770624 swapFree=67108688/67108860
[pid=25448] ppid=25445 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25448/stat : 25448 (scop.sh) S 25445 25448 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224383787 115843072 349 33554432000 4194304 5098028 140728450801696 140728450798952 140390346261116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28635136 140728450806849 140728450807047 140728450807047 140728450809805 0
/proc/25448/statm: 28282 349 296 221 0 87 0
[pid=25451] ppid=25448 vsize=15018748 memory=128948 CPUtime=1.03 cores=0,2,4,6
/proc/25451/stat : 25451 (java) S 25448 25448 23167 0 -1 1077944320 17333 0 0 0 97 6 0 0 20 0 15 0 224383788 15379197952 32237 33554432000 4194304 4196468 140737189627216 140737189609760 139643456892663 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
/proc/25451/statm: 3754687 32237 3131 1 0 3716091 0
[pid=25451/tid=25452] ppid=25448 vsize=15018748 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/25451/task/25452/stat : 25452 (java) R 25448 25448 23167 0 -1 4202560 14582 0 0 0 63 4 0 0 20 0 15 0 224383788 15379197952 32237 33554432000 4194304 4196468 140737189627216 139643428730128 139642962106259 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25453] ppid=25448 vsize=15018748 memory=116 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25453/stat : 25453 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224383790 15379197952 32237 33554432000 4194304 4196468 140737189627216 139643461135120 139643456902869 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25454] ppid=25448 vsize=15018748 memory=12868 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25454/stat : 25454 (java) S 25448 25448 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224383790 15379197952 32237 33554432000 4194304 4196468 140737189627216 139642917170064 139643456902869 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25455] ppid=25448 vsize=15018748 memory=26497 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25455/stat : 25455 (java) S 25448 25448 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224383790 15379197952 32237 33554432000 4194304 4196468 140737189627216 139642916117520 139643456902869 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25456] ppid=25448 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25456/stat : 25456 (java) S 25448 25448 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224383790 15379197952 32237 33554432000 4194304 4196468 140737189627216 139642915064976 139643456902869 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25457] ppid=25448 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25457/stat : 25457 (java) S 25448 25448 23167 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 224383791 15379197952 32237 33554432000 4194304 4196468 140737189627216 139642796439536 139643456903810 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25458] ppid=25448 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25458/stat : 25458 (java) S 25448 25448 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224383792 15379197952 32237 33554432000 4194304 4196468 140737189627216 139642036806560 139643456902869 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25459] ppid=25448 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25459/stat : 25459 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224383792 15379197952 32237 33554432000 4194304 4196468 140737189627216 139641801925616 139643456902869 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25460] ppid=25448 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25460/stat : 25460 (java) S 25448 25448 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224383794 15379197952 32237 33554432000 4194304 4196468 140737189627216 139641427417296 139643456911259 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25461] ppid=25448 vsize=15018748 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/25451/task/25461/stat : 25461 (java) S 25448 25448 23167 0 -1 1077944384 535 0 0 0 5 0 0 0 20 0 15 0 224383794 15379197952 32237 33554432000 4194304 4196468 140737189627216 139642795377488 139643456902869 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25462] ppid=25448 vsize=15018748 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/25451/task/25462/stat : 25462 (java) R 25448 25448 23167 0 -1 4202560 361 0 0 0 10 0 0 0 20 0 15 0 224383794 15379197952 32237 33554432000 4194304 4196468 140737189627216 139642794334752 139643436607239 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25463] ppid=25448 vsize=15018748 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/25451/task/25463/stat : 25463 (java) S 25448 25448 23167 0 -1 1077944384 518 0 0 0 17 0 0 0 20 0 15 0 224383794 15379197952 32237 33554432000 4194304 4196468 140737189627216 139642793279544 139643456902869 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25464] ppid=25448 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25464/stat : 25464 (java) S 25448 25448 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224383795 15379197952 32237 33554432000 4194304 4196468 140737189627216 139640929512544 139643456902869 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
[pid=25451/tid=25465] ppid=25448 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25451/task/25465/stat : 25465 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224383795 15379197952 32237 33554432000 4194304 4196468 140737189627216 139642792229168 139643456903810 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140737189630983 140737189631281 140737189631281 140737189633999 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 130344 KiB
[startup+1.50087 s]
/proc/loadavg: 2.64 2.23 2.12 6/224 25465
/proc/meminfo: memFree=20220144/32770624 swapFree=67108688/67108860
[pid=25448] ppid=25445 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25448/stat : 25448 (scop.sh) S 25445 25448 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224383787 115843072 349 33554432000 4194304 5098028 140728450801696 140728450798952 140390346261116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28635136 140728450806849 140728450807047 140728450807047 140728450809805 0
/proc/25448/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 19.83 s
Current children cumulated vsize: 8238460 KiB
Current children cumulated memory: 177040 KiB
[startup+10.4008 s]
/proc/loadavg: 2.59 2.22 2.12 3/229 25486
/proc/meminfo: memFree=20366976/32770624 swapFree=67108688/67108860
[pid=25448] ppid=25445 vsize=113128 memory=1472 CPUtime=16.15 cores=0,2,4,6
/proc/25448/stat : 25448 (scop.sh) S 25445 25448 23167 0 -1 4202496 590 35822 0 0 0 0 1536 79 20 0 1 0 224383787 115843072 368 33554432000 4194304 5098028 140728450801696 140728450798440 140390346261116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28635136 140728450806849 140728450807047 140728450807047 140728450809805 0
/proc/25448/statm: 28282 368 311 221 0 87 0
[pid=25466] ppid=25448 vsize=8068220 memory=138680 CPUtime=1.73 cores=0,2,4,6
/proc/25466/stat : 25466 (java) S 25448 25448 23167 0 -1 1077944320 18844 0 0 0 158 15 0 0 20 0 19 0 224384458 8261857280 34670 33554432000 4194304 4196468 140720723897360 140720723879904 140531750993655 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
/proc/25466/statm: 2017055 34670 3157 1 0 1978454 0
[pid=25481] ppid=25466 vsize=57112 memory=36964 CPUtime=2.75 cores=0,2,4,6
/proc/25481/stat : 25481 (minisat_release) R 25466 25448 23167 0 -1 4202496 12850 0 0 0 273 2 0 0 20 0 1 0 224384552 58482688 9241 33554432000 4194304 4308513 140734976855872 140734976853496 4275601 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 31293440 140734976857204 140734976857302 140734976857302 140734976860101 0
/proc/25481/statm: 14278 9241 341 28 0 10518 0
[pid=25466/tid=25467] ppid=25448 vsize=8068220 memory=964 CPUtime=0.95 cores=0,2,4,6
/proc/25466/task/25467/stat : 25467 (java) S 25448 25448 23167 0 -1 1077944384 15094 0 0 0 82 13 0 0 20 0 19 0 224384459 8261857280 34670 33554432000 4194304 4196468 140720723897360 140531722833808 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25468] ppid=25448 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25468/stat : 25468 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224384460 8261857280 34670 33554432000 4194304 4196468 140720723897360 140531755236240 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25469] ppid=25448 vsize=8068220 memory=280038982019696 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25469/stat : 25469 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224384460 8261857280 34670 33554432000 4194304 4196468 140720723897360 140531555404560 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25470] ppid=25448 vsize=8068220 memory=280038982019888 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25470/stat : 25470 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224384460 8261857280 34670 33554432000 4194304 4196468 140720723897360 140531554352272 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25471] ppid=25448 vsize=8068220 memory=280038982020080 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25471/stat : 25471 (java) S 25448 25448 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224384460 8261857280 34670 33554432000 4194304 4196468 140720723897360 140531553299472 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25472] ppid=25448 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25472/stat : 25472 (java) S 25448 25448 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224384461 8261857280 34670 33554432000 4194304 4196468 140720723897360 140531197470832 140531751004802 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25473] ppid=25448 vsize=8068220 memory=138680 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25473/stat : 25473 (java) S 25448 25448 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224384462 8261857280 34670 33554432000 4194304 4196468 140720723897360 140530725937952 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25474] ppid=25448 vsize=8068220 memory=36964 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25474/stat : 25474 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224384462 8261857280 34670 33554432000 4194304 4196468 140720723897360 140530457502832 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25475] ppid=25448 vsize=8068220 memory=4643050291107164552 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25475/stat : 25475 (java) S 25448 25448 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224384465 8261857280 34670 33554432000 4194304 4196468 140720723897360 140530082994256 140531751012251 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25476] ppid=25448 vsize=8068220 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/25466/task/25476/stat : 25476 (java) S 25448 25448 23167 0 -1 1077944384 1011 0 0 0 25 0 0 0 20 0 19 0 224384465 8261857280 34670 33554432000 4194304 4196468 140720723897360 140530591718000 140531751004802 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25477] ppid=25448 vsize=8068220 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/25466/task/25477/stat : 25477 (java) S 25448 25448 23167 0 -1 1077944384 691 0 0 0 24 0 0 0 20 0 19 0 224384465 8261857280 34670 33554432000 4194304 4196468 140720723897360 140530590665200 140531751004802 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25478] ppid=25448 vsize=8068220 memory=1472 CPUtime=0.24 cores=0,2,4,6
/proc/25466/task/25478/stat : 25478 (java) S 25448 25448 23167 0 -1 1077944384 637 0 0 0 24 0 0 0 20 0 19 0 224384465 8261857280 34670 33554432000 4194304 4196468 140720723897360 140530589612912 140531751004802 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25479] ppid=25448 vsize=8068220 memory=138680 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25479/stat : 25479 (java) S 25448 25448 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224384465 8261857280 34670 33554432000 4194304 4196468 140720723897360 140529585089504 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25480] ppid=25448 vsize=8068220 memory=36888 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25480/stat : 25480 (java) S 25448 25448 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224384465 8261857280 34670 33554432000 4194304 4196468 140720723897360 140530588559792 140531751004802 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25482] ppid=25448 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25482/stat : 25482 (java) S 25448 25448 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224384552 8261857280 34670 33554432000 4194304 4196468 140720723897360 140531196085184 140531751018265 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25484] ppid=25448 vsize=8068220 memory=307 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25484/stat : 25484 (java) S 25448 25448 23167 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 224384552 8261857280 34670 33554432000 4194304 4196468 140720723897360 140529048202768 140531751015581 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25485] ppid=25448 vsize=8068220 memory=302 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25485/stat : 25485 (java) S 25448 25448 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224384552 8261857280 34670 33554432000 4194304 4196468 140720723897360 140529182424976 140531751015581 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25486] ppid=25448 vsize=8068220 memory=144 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25486/stat : 25486 (java) S 25448 25448 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224384554 8261857280 34670 33554432000 4194304 4196468 140720723897360 140528779779488 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
Current children cumulated CPU time: 20.63 s
Current children cumulated vsize: 8238460 KiB
Current children cumulated memory: 177116 KiB
[startup+10.8008 s]
/proc/loadavg: 2.59 2.22 2.12 3/229 25486
/proc/meminfo: memFree=20366976/32770624 swapFree=67108688/67108860
[pid=25448] ppid=25445 vsize=113128 memory=1472 CPUtime=16.15 cores=0,2,4,6
/proc/25448/stat : 25448 (scop.sh) S 25445 25448 23167 0 -1 4202496 590 35822 0 0 0 0 1536 79 20 0 1 0 224383787 115843072 368 33554432000 4194304 5098028 140728450801696 140728450798440 140390346261116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28635136 140728450806849 140728450807047 140728450807047 140728450809805 0
/proc/25448/statm: 28282 368 311 221 0 87 0
[pid=25466] ppid=25448 vsize=8068220 memory=138680 CPUtime=1.73 cores=0,2,4,6
/proc/25466/stat : 25466 (java) S 25448 25448 23167 0 -1 1077944320 18844 0 0 0 158 15 0 0 20 0 19 0 224384458 8261857280 34670 33554432000 4194304 4196468 140720723897360 140720723879904 140531750993655 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
/proc/25466/statm: 2017055 34670 3157 1 0 1978454 0
[pid=25481] ppid=25466 vsize=57256 memory=39200 CPUtime=3.15 cores=0,2,4,6
/proc/25481/stat : 25481 (minisat_release) R 25466 25448 23167 0 -1 4202496 13612 0 0 0 313 2 0 0 20 0 1 0 224384552 58630144 9800 33554432000 4194304 4308513 140734976855872 140734976853496 4276446 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 31293440 140734976857204 140734976857302 140734976857302 140734976860101 0
/proc/25481/statm: 14314 9800 341 28 0 10554 0
[pid=25466/tid=25467] ppid=25448 vsize=8068220 memory=0 CPUtime=0.95 cores=0,2,4,6
/proc/25466/task/25467/stat : 25467 (java) S 25448 25448 23167 0 -1 1077944384 15094 0 0 0 82 13 0 0 20 0 19 0 224384459 8261857280 34670 33554432000 4194304 4196468 140720723897360 140531722833808 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25468] ppid=25448 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25468/stat : 25468 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224384460 8261857280 34670 33554432000 4194304 4196468 140720723897360 140531755236240 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25469] ppid=25448 vsize=8068220 memory=288230583166042426 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25469/stat : 25469 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224384460 8261857280 34670 33554432000 4194304 4196468 140720723897360 140531555404560 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25470] ppid=25448 vsize=8068220 memory=13565994345960240 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25470/stat : 25470 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224384460 8261857280 34670 33554432000 4194304 4196468 140720723897360 140531554352272 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25471] ppid=25448 vsize=8068220 memory=6425271076021 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25471/stat : 25471 (java) S 25448 25448 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224384460 8261857280 34670 33554432000 4194304 4196468 140720723897360 140531553299472 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25472] ppid=25448 vsize=8068220 memory=288230583166042426 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25472/stat : 25472 (java) S 25448 25448 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224384461 8261857280 34670 33554432000 4194304 4196468 140720723897360 140531197470832 140531751004802 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25473] ppid=25448 vsize=8068220 memory=13565994345960240 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25473/stat : 25473 (java) S 25448 25448 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224384462 8261857280 34670 33554432000 4194304 4196468 140720723897360 140530725937952 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25474] ppid=25448 vsize=8068220 memory=280038981521264 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25474/stat : 25474 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224384462 8261857280 34670 33554432000 4194304 4196468 140720723897360 140530457502832 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25475] ppid=25448 vsize=8068220 memory=280038982018736 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25475/stat : 25475 (java) S 25448 25448 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224384465 8261857280 34670 33554432000 4194304 4196468 140720723897360 140530082994256 140531751012251 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25476] ppid=25448 vsize=8068220 memory=280038982019376 CPUtime=0.25 cores=0,2,4,6
/proc/25466/task/25476/stat : 25476 (java) S 25448 25448 23167 0 -1 1077944384 1011 0 0 0 25 0 0 0 20 0 19 0 224384465 8261857280 34670 33554432000 4194304 4196468 140720723897360 140530591718000 140531751004802 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25477] ppid=25448 vsize=8068220 memory=280038982019120 CPUtime=0.24 cores=0,2,4,6
/proc/25466/task/25477/stat : 25477 (java) S 25448 25448 23167 0 -1 1077944384 691 0 0 0 24 0 0 0 20 0 19 0 224384465 8261857280 34670 33554432000 4194304 4196468 140720723897360 140530590665200 140531751004802 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25478] ppid=25448 vsize=8068220 memory=56 CPUtime=0.24 cores=0,2,4,6
/proc/25466/task/25478/stat : 25478 (java) S 25448 25448 23167 0 -1 1077944384 637 0 0 0 24 0 0 0 20 0 19 0 224384465 8261857280 34670 33554432000 4194304 4196468 140720723897360 140530589612912 140531751004802 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25479] ppid=25448 vsize=8068220 memory=8244522388886282836 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25479/stat : 25479 (java) S 25448 25448 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224384465 8261857280 34670 33554432000 4194304 4196468 140720723897360 140529585089504 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25480] ppid=25448 vsize=8068220 memory=7596565901560997202 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25480/stat : 25480 (java) S 25448 25448 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224384465 8261857280 34670 33554432000 4194304 4196468 140720723897360 140530588559792 140531751004802 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25482] ppid=25448 vsize=8068220 memory=5936397763726299216 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25482/stat : 25482 (java) S 25448 25448 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224384552 8261857280 34670 33554432000 4194304 4196468 140720723897360 140531196085184 140531751018265 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25484] ppid=25448 vsize=8068220 memory=7445123438996508752 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25484/stat : 25484 (java) S 25448 25448 23167 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 224384552 8261857280 34670 33554432000 4194304 4196468 140720723897360 140529048202768 140531751015581 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25485] ppid=25448 vsize=8068220 memory=8486126492 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25485/stat : 25485 (java) S 25448 25448 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224384552 8261857280 34670 33554432000 4194304 4196468 140720723897360 140529182424976 140531751015581 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25486] ppid=25448 vsize=8068220 memory=140019491273807 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25486/stat : 25486 (java) S 25448 25448 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224384554 8261857280 34670 33554432000 4194304 4196468 140720723897360 140528779779488 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
Current children cumulated CPU time: 21.03 s
Current children cumulated vsize: 8238604 KiB
Current children cumulated memory: 179352 KiB
[startup+10.9009 s]
/proc/loadavg: 2.59 2.22 2.12 3/229 25486
/proc/meminfo: memFree=20366976/32770624 swapFree=67108688/67108860
[pid=25448] ppid=25445 vsize=113128 memory=1472 CPUtime=16.15 cores=0,2,4,6
/proc/25448/stat : 25448 (scop.sh) S 25445 25448 23167 0 -1 4202496 590 35822 0 0 0 0 1536 79 20 0 1 0 224383787 115843072 368 33554432000 4194304 5098028 140728450801696 140728450798440 140390346261116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28635136 140728450806849 140728450807047 140728450807047 140728450809805 0
/proc/25448/statm: 28282 368 311 221 0 87 0
[pid=25466] ppid=25448 vsize=8068220 memory=138680 CPUtime=1.73 cores=0,2,4,6
/proc/25466/stat : 25466 (java) S 25448 25448 23167 0 -1 1077944320 18844 0 0 0 158 15 0 0 20 0 19 0 224384458 8261857280 34670 33554432000 4194304 4196468 140720723897360 140720723879904 140531750993655 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
/proc/25466/statm: 2017055 34670 3157 1 0 1978454 0
[pid=25481] ppid=25466 vsize=57256 memory=39200 CPUtime=3.25 cores=0,2,4,6
/proc/25481/stat : 25481 (minisat_release) R 25466 25448 23167 0 -1 4202496 13631 0 0 0 323 2 0 0 20 0 1 0 224384552 58630144 9800 33554432000 4194304 4308513 140734976855872 140734976853496 4275825 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 31293440 140734976857204 140734976857302 140734976857302 140734976860101 0
/proc/25481/statm: 14314 9800 341 28 0 10554 0
[pid=25466/tid=25467] ppid=25448 vsize=8068220 memory=304556131815260474 CPUtime=0.95 cores=0,2,4,6
/proc/25466/task/25467/stat : 25467 (java) S 25448 25448 23167 0 -1 1077944384 15094 0 0 0 82 13 0 0 20 0 19 0 224384459 8261857280 34670 33554432000 4194304 4196468 140720723897360 140531722833808 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25468] ppid=25448 vsize=8068220 memory=56 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25468/stat : 25468 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224384460 8261857280 34670 33554432000 4194304 4196468 140720723897360 140531755236240 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25469] ppid=25448 vsize=8068220 memory=288285558848095396 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25469/stat : 25469 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224384460 8261857280 34670 33554432000 4194304 4196468 140720723897360 140531555404560 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25470] ppid=25448 vsize=8068220 memory=140019593336448 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25470/stat : 25470 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224384460 8261857280 34670 33554432000 4194304 4196468 140720723897360 140531554352272 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25471] ppid=25448 vsize=8068220 memory=36888 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25471/stat : 25471 (java) S 25448 25448 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224384460 8261857280 34670 33554432000 4194304 4196468 140720723897360 140531553299472 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25472] ppid=25448 vsize=8068220 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25472/stat : 25472 (java) S 25448 25448 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224384461 8261857280 34670 33554432000 4194304 4196468 140720723897360 140531197470832 140531751004802 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25473] ppid=25448 vsize=8068220 memory=868 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25473/stat : 25473 (java) S 25448 25448 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224384462 8261857280 34670 33554432000 4194304 4196468 140720723897360 140530725937952 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25474] ppid=25448 vsize=8068220 memory=280038981665408 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25474/stat : 25474 (java) S 25448 25448 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224384462 8261857280 34670 33554432000 4194304 4196468 140720723897360 140530457502832 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25475] ppid=25448 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25475/stat : 25475 (java) S 25448 25448 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224384465 8261857280 34670 33554432000 4194304 4196468 140720723897360 140530082994256 140531751012251 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25476] ppid=25448 vsize=8068220 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/25466/task/25476/stat : 25476 (java) S 25448 25448 23167 0 -1 1077944384 1011 0 0 0 25 0 0 0 20 0 19 0 224384465 8261857280 34670 33554432000 4194304 4196468 140720723897360 140530591718000 140531751004802 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25477] ppid=25448 vsize=8068220 memory=924 CPUtime=0.24 cores=0,2,4,6
/proc/25466/task/25477/stat : 25477 (java) S 25448 25448 23167 0 -1 1077944384 691 0 0 0 24 0 0 0 20 0 19 0 224384465 8261857280 34670 33554432000 4194304 4196468 140720723897360 140530590665200 140531751004802 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25478] ppid=25448 vsize=8068220 memory=2192 CPUtime=0.24 cores=0,2,4,6
/proc/25466/task/25478/stat : 25478 (java) S 25448 25448 23167 0 -1 1077944384 637 0 0 0 24 0 0 0 20 0 19 0 224384465 8261857280 34670 33554432000 4194304 4196468 140720723897360 140530589612912 140531751004802 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25479] ppid=25448 vsize=8068220 memory=3980 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25479/stat : 25479 (java) S 25448 25448 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224384465 8261857280 34670 33554432000 4194304 4196468 140720723897360 140529585089504 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25480] ppid=25448 vsize=8068220 memory=1924 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25480/stat : 25480 (java) S 25448 25448 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224384465 8261857280 34670 33554432000 4194304 4196468 140720723897360 140530588559792 140531751004802 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25482] ppid=25448 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25482/stat : 25482 (java) S 25448 25448 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224384552 8261857280 34670 33554432000 4194304 4196468 140720723897360 140531196085184 140531751018265 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25484] ppid=25448 vsize=8068220 memory=138680 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25484/stat : 25484 (java) S 25448 25448 23167 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 224384552 8261857280 34670 33554432000 4194304 4196468 140720723897360 140529048202768 140531751015581 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25485] ppid=25448 vsize=8068220 memory=36888 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25485/stat : 25485 (java) S 25448 25448 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224384552 8261857280 34670 33554432000 4194304 4196468 140720723897360 140529182424976 140531751015581 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
[pid=25466/tid=25486] ppid=25448 vsize=8068220 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25486/stat : 25486 (java) S 25448 25448 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224384554 8261857280 34670 33554432000 4194304 4196468 140720723897360 140528779779488 140531751003861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39063552 140720723899573 140720723899697 140720723899697 140720723902415 0
Current children cumulated CPU time: 21.13 s
Current children cumulated vsize: 8238604 KiB
Current children cumulated memory: 179352 KiB
Child status: 0
Real time (s): 10.9495
CPU time (s): 21.2062
CPU user time (s): 20.2176
CPU system time (s): 0.988574
CPU usage (%): 193.674
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3048584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.2176
system time used= 0.988574
maximum resident set size= 3048036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68978
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5903
involuntary context switches= 72
# summary of solver processes directly reported to runsolver:
# pid: 25448
# total CPU time (s): 21.2062
# total CPU user time (s): 20.2176
# total CPU system time (s): 0.988574
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.101779 second user time and 0.145257 second system time
The end