0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-19444-serial-file.bin HOME/instance-4305526-1534068086.xml
0.54/0.51
0.54/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 12:01:27 CEST 2018
0.66/0.54 c PID: 19447
0.66/0.54 c IP: 172.20.3.139
0.66/0.54 c HOST: node139.alineos.net
0.66/0.55 c (0,0) Parsing Begin
4.75/1.99 c (1,1) Parsing End
4.75/2.01 c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 32
4.75/2.01 c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.75/2.01 c (1,1) Constraint Name Generate Begin
5.12/2.03 c (1,1) Ctr:HOME/instance-4305526-1534068086.xml,Dist:Eq:IntVar:Le:Num
5.12/2.03 c (1,1) Constraint Name Generate End
5.12/2.04 c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.12/2.04 c (1,1) CSP to CSPinCNF Begin
6.09/2.32 c (1,1) translated 411 (10%) constraints
6.09/2.39 c (1,1) translated 821 (20%) constraints
6.43/2.44 c (1,1) translated 1231 (30%) constraints
6.43/2.49 c (1,1) translated 1642 (40%) constraints
6.74/2.54 c (2,2) translated 2052 (50%) constraints
6.74/2.58 c (2,2) translated 2462 (60%) constraints
7.04/2.62 c (2,2) translated 2873 (70%) constraints
7.04/2.66 c (2,2) translated 3283 (80%) constraints
7.34/2.70 c (2,2) translated 3693 (90%) constraints
7.67/2.80 c (2,2) translated 4103 (100%) constraints
7.67/2.88 c (2,2) STATISTICS1:HOME/instance-4305526-1534068086.xml,Dist:Eq:IntVar:Le:Num,680,4783,32,32,2,2,32:3314;27:5144;22:344;17:24;6:60,32:9348;27:7956;22:364;17:40;6:64,2:4103;1:680,2:8886,
7.67/2.88 c (2,2) ==========================================
7.67/2.88 c (2,2) Order
7.67/2.88 c (2,2) ==========================================
8.00/2.91 c (2,2) translated 479 (10%) constraints
8.00/2.94 c (2,2) translated 957 (20%) constraints
8.00/2.96 c (2,2) translated 1435 (30%) constraints
8.00/2.98 c (2,2) translated 1914 (40%) constraints
8.34/3.01 c (2,2) translated 2392 (50%) constraints
8.34/3.03 c (2,2) translated 2870 (60%) constraints
8.34/3.05 c (2,2) translated 3349 (70%) constraints
8.34/3.07 c (2,2) translated 3827 (80%) constraints
8.34/3.09 c (2,2) translated 4305 (90%) constraints
8.34/3.11 c (2,2) translated 4783 (100%) constraints
8.66/3.11 c (2,2) CSP to CSPinCNF End
8.66/3.11 c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 32
8.66/3.11 c (2,2) Heap : 676 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
8.66/3.12 c (2,2) CSPinCNF Propagation Begin
10.69/4.23 c (3,3) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
10.69/4.23 c (3,3) CSPinCNF Propagation End
10.69/4.23 c (3,3) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 32
10.69/4.23 c (3,3) Heap : 1689 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
10.69/4.23 c (3,3) Simplify CSPinCNF Begin
11.18/4.50 c (3,3) Simplify CSPinCNF End
11.49/4.50 c (3,3) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 32
11.49/4.50 c (3,3) Heap : 1746 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.49/4.50 c (3,3) Calculate Precise Domain Begin
11.49/4.50 c (3,3) 0 values are removed by re-calculation
11.49/4.50 c (3,3) Calculate Precise Domain End
11.49/4.50 c (3,3) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 32
11.49/4.50 c (3,3) Heap : 1746 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.49/4.50 c (3,3) CSPinCNF to SatSolver Begin
12.17/4.78 c (4,4) 1299 (10 %) CSP clauses are encoded (27394 SAT variables, 41366 SAT clauses)
12.49/4.89 c (4,4) 2598 (20 %) CSP clauses are encoded (27394 SAT variables, 63840 SAT clauses)
12.78/4.96 c (4,4) 3897 (30 %) CSP clauses are encoded (27394 SAT variables, 84804 SAT clauses)
13.04/5.05 c (4,4) 5196 (40 %) CSP clauses are encoded (27394 SAT variables, 107567 SAT clauses)
13.27/5.14 c (4,4) 6495 (50 %) CSP clauses are encoded (27394 SAT variables, 132297 SAT clauses)
13.48/5.23 c (4,4) 7794 (60 %) CSP clauses are encoded (27394 SAT variables, 156912 SAT clauses)
13.71/5.32 c (4,4) 9093 (70 %) CSP clauses are encoded (27394 SAT variables, 181455 SAT clauses)
13.71/5.39 c (4,4) 10392 (80 %) CSP clauses are encoded (27394 SAT variables, 206141 SAT clauses)
13.84/5.46 c (4,4) 11691 (90 %) CSP clauses are encoded (27394 SAT variables, 228478 SAT clauses)
14.08/5.51 c (4,4) 12989 (100 %) CSP clauses are encoded (27394 SAT variables, 245691 SAT clauses)
14.08/5.51 c (4,4) Launch Command will be: minisat_release
14.08/5.51 c (4,4) CSPinCNF to SatSolver End
14.08/5.51 c (4,4) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
14.38/5.60 c (5,5) STATISTICS2:HOME/instance-4305526-1534068086.xml,Dist:Eq:IntVar:Le:Num,8886,12989,32,32,2,2,32:3314;27:5144;22:344;17:24;6:60,32:9348;27:7956;22:364;17:40;6:64;2:16412,2:12309;1:680,2:8886;1:16412,
14.38/5.61 c (5,5) 27394 bool, 245703 clause
14.38/5.61 c (5,5) Export Begin
15.24/5.93 c (5,5) Export to HOME/scop-19444-serial-file.bin
15.24/5.93 c (5,5) Export End
15.24/5.93 c (5,5) Export File Size: 3.24 MB
15.24/5.93 c (5,5) 1,1,2,3,3,3,4,STOP-AFTER(DIMACS)
15.24/5.93 c END-Prog: Sun Aug 12 12:01:32 CEST 2018
15.24/5.95 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-19444-serial-file.bin
15.92/6.43 c (0,0) Read Serial File Begin
15.92/6.43 c (0,0) HOME/scop-19444-serial-file.bin
16.56/6.78 c (0,0) Read Serial File End
16.56/6.79
16.56/6.79 scop order+minisat_release (2018-07-31)
16.56/6.79 (Solving Process)
16.56/6.79
16.86/6.81 c BEGIN-Prog: Sun Aug 12 12:01:33 CEST 2018
16.86/6.81 c PID: 19462
16.86/6.81 c IP: 172.20.3.139
16.86/6.81 c HOST: node139.alineos.net
16.86/6.82 c (0,0) SatSolver.solve Begin
16.86/6.82 c (0,0) 0 bool, 0 clause
16.86/6.82 c (0,0) minisat_release HOME/instance-4305526-1534068086.xml-scop-19447.cnf
17.41/7.22 c (0,0) c This is COMiniSatPS.
17.41/7.22 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
17.41/7.22 c (0,0) c ============================[ Problem Statistics ]=============================
17.41/7.22 c (0,0) c | |
17.41/7.22 c (0,0) c | Number of variables: 27394 |
17.41/7.22 c (0,0) c | Number of clauses: 245703 |
17.41/7.22 c (0,0) c | Parse time: 0.08 s |
17.41/7.22 c (0,0) c | Eliminated clauses: 0.08 Mb |
17.41/7.22 c (0,0) c Reduced to 23178 vars, 241395 cls (grow=0)
17.41/7.22 c (0,0) c No iterative elimination performed. (vars=23178, c/v ratio=10.4)
17.41/7.22 c (0,0) c | Simplification time: 0.25 s |
17.41/7.22 c (0,0) c | |
17.41/7.22 c (0,0) c ============================[ Search Statistics ]==============================
17.41/7.22 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
17.41/7.22 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
17.41/7.22 c (0,0) c ===============================================================================
17.41/7.22 c (0,0) c ===============================================================================
17.41/7.22 c (0,0) c restarts : 1
17.41/7.22 c (0,0) c conflicts : 481 (1357 /sec)
17.41/7.22 c (0,0) c decisions : 1972 (0.00 % random) (5563 /sec)
17.41/7.22 c (0,0) c propagations : 84382 (238034 /sec)
17.41/7.22 c (0,0) c conflict literals : 3311 (21.32 % deleted)
17.41/7.22 c (0,0) c CPU time : 0.354495 s
17.41/7.22 c (0,0)
17.41/7.22 c (0,0) s UNSATISFIABLE
17.41/7.22 c (0,0) SatSolver.solve End
17.41/7.22 c (0,0) Heap : 164 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
17.41/7.22 c (0,0) Show results Begin
17.41/7.22 s UNSATISFIABLE
17.41/7.22 c (0,0) Show results End
17.41/7.22 c (0,0) Heap : 164 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
17.41/7.23 c (0,0) 0,0,STOP-AFTER(ALL)
17.41/7.23 c END-Prog: Sun Aug 12 12:01:33 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 (4496 MiB free)
memory of node 1: 16384 MiB (5829 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305526-1534068086/watcher-4305526-1534068086 -o /tmp/evaluation-result-4305526-1534068086/solver-4305526-1534068086 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16802 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305526-1534068086.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19444, runsolver pid=19441
[startup+0.100058 s]*
/proc/loadavg: 2.97 2.34 2.15 4/223 19461
/proc/meminfo: memFree=10513516/32770624 swapFree=67108860/67108860
[pid=19444] ppid=19441 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19444/stat : 19444 (scop.sh) S 19441 19444 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224371780 115843072 349 33554432000 4194304 5098028 140726080996560 140726080993816 140270005740156 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33505280 140726081000512 140726081000711 140726081000711 140726081003469 0
/proc/19444/statm: 28282 349 296 221 0 87 0
[pid=19447] ppid=19444 vsize=15012476 memory=72064 CPUtime=0.11 cores=1,3,5,7
/proc/19447/stat : 19447 (java) S 19444 19444 16770 0 -1 1077944320 6139 0 0 0 9 2 0 0 20 0 15 0 224371780 15372775424 18016 33554432000 4194304 4196468 140722208787328 140722208769872 140036553834231 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
/proc/19447/statm: 3753119 18016 2770 1 0 3715579 0
[pid=19447/tid=19448] ppid=19444 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=1,3,5,7
/proc/19447/task/19448/stat : 19448 (java) R 19444 19444 16770 0 -1 4202560 4304 0 0 0 8 1 0 0 20 0 15 0 224371781 15372775424 18082 33554432000 4194304 4196468 140722208787328 140036525660560 140036546071358 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19449] ppid=19444 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19449/stat : 19449 (java) S 19444 19444 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224371782 15372775424 18082 33554432000 4194304 4196468 140722208787328 140036558076176 140036553844437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19450] ppid=19444 vsize=15012476 memory=140401167672960 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19450/stat : 19450 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224371782 15372775424 18148 33554432000 4194304 4196468 140722208787328 140036349159824 140036553844437 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19451] ppid=19444 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19451/stat : 19451 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224371782 15372775424 18148 33554432000 4194304 4196468 140722208787328 140036348107280 140036553844437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19452] ppid=19444 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19452/stat : 19452 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224371783 15372775424 18148 33554432000 4194304 4196468 140722208787328 140036347054736 140036553844437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19453] ppid=19444 vsize=15012476 memory=140401167672960 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19453/stat : 19453 (java) S 19444 19444 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224371784 15372775424 18148 33554432000 4194304 4196468 140722208787328 140035524233712 140036553845378 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19454] ppid=19444 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19454/stat : 19454 (java) S 19444 19444 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224371784 15372775424 18148 33554432000 4194304 4196468 140722208787328 140035126977952 140036553844437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19455] ppid=19444 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19455/stat : 19455 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224371785 15372775424 18148 33554432000 4194304 4196468 140722208787328 140034858542576 140036553844437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19456] ppid=19444 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19456/stat : 19456 (java) S 19444 19444 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224371787 15372775424 18148 33554432000 4194304 4196468 140722208787328 140034484034256 140036553852827 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19457] ppid=19444 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19457/stat : 19457 (java) S 19444 19444 16770 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 224371787 15372775424 18148 33554432000 4194304 4196468 140722208787328 140035523180528 140036553845378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19458] ppid=19444 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19458/stat : 19458 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224371787 15372775424 18148 33554432000 4194304 4196468 140722208787328 140035522127984 140036553845378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19459] ppid=19444 vsize=15012476 memory=140401167672960 CPUtime=0.01 cores=1,3,5,7
/proc/19447/task/19459/stat : 19459 (java) S 19444 19444 16770 0 -1 1077944384 294 0 0 0 1 0 0 0 20 0 15 0 224371787 15372775424 18148 33554432000 4194304 4196468 140722208787328 140035521075440 140036553845378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19460] ppid=19444 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19460/stat : 19460 (java) S 19444 19444 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224371787 15372775424 18148 33554432000 4194304 4196468 140722208787328 140033986128480 140036553844437 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19461] ppid=19444 vsize=15012476 memory=140401167672960 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19461/stat : 19461 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224371787 15372775424 18214 33554432000 4194304 4196468 140722208787328 140035520023344 140036553845378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73460 KiB
[startup+0.210639 s]*
/proc/loadavg: 2.97 2.34 2.15 3/223 19461
/proc/meminfo: memFree=10499564/32770624 swapFree=67108860/67108860
[pid=19444] ppid=19441 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19444/stat : 19444 (scop.sh) S 19441 19444 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224371780 115843072 349 33554432000 4194304 5098028 140726080996560 140726080993816 140270005740156 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33505280 140726081000512 140726081000711 140726081000711 140726081003469 0
/proc/19444/statm: 28282 349 296 221 0 87 0
[pid=19447] ppid=19444 vsize=15012476 memory=85896 CPUtime=0.26 cores=1,3,5,7
/proc/19447/stat : 19447 (java) S 19444 19444 16770 0 -1 1077944320 9764 0 0 0 23 3 0 0 20 0 15 0 224371780 15372775424 21474 33554432000 4194304 4196468 140722208787328 140722208769872 140036553834231 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
/proc/19447/statm: 3753119 21474 2937 1 0 3715579 0
[pid=19447/tid=19448] ppid=19444 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/19447/task/19448/stat : 19448 (java) R 19444 19444 16770 0 -1 4202560 7643 0 0 0 18 2 0 0 20 0 15 0 224371781 15372775424 21474 33554432000 4194304 4196468 140722208787328 140036525660624 140036553846166 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19449] ppid=19444 vsize=15012476 memory=365 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19449/stat : 19449 (java) S 19444 19444 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224371782 15372775424 21474 33554432000 4194304 4196468 140722208787328 140036558076176 140036553844437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19450] ppid=19444 vsize=15012476 memory=140401168863006 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19450/stat : 19450 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224371782 15372775424 21474 33554432000 4194304 4196468 140722208787328 140036349159824 140036553844437 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19451] ppid=19444 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19451/stat : 19451 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224371782 15372775424 21474 33554432000 4194304 4196468 140722208787328 140036348107280 140036553844437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19452] ppid=19444 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19452/stat : 19452 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224371783 15372775424 21474 33554432000 4194304 4196468 140722208787328 140036347054736 140036553844437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19453] ppid=19444 vsize=15012476 memory=140401167672960 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19453/stat : 19453 (java) S 19444 19444 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224371784 15372775424 21474 33554432000 4194304 4196468 140722208787328 140035524233712 140036553845378 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19454] ppid=19444 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19454/stat : 19454 (java) S 19444 19444 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224371784 15372775424 21474 33554432000 4194304 4196468 140722208787328 140035126977952 140036553844437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19455] ppid=19444 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19455/stat : 19455 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224371785 15372775424 21474 33554432000 4194304 4196468 140722208787328 140034858542576 140036553844437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19456] ppid=19444 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19456/stat : 19456 (java) S 19444 19444 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224371787 15372775424 21474 33554432000 4194304 4196468 140722208787328 140034484034256 140036553852827 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19457] ppid=19444 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19457/stat : 19457 (java) S 19444 19444 16770 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 15 0 224371787 15372775424 21474 33554432000 4194304 4196468 140722208787328 140035523180528 140036553845378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19458] ppid=19444 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19458/stat : 19458 (java) S 19444 19444 16770 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 224371787 15372775424 21474 33554432000 4194304 4196468 140722208787328 140035522127984 140036553845378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19459] ppid=19444 vsize=15012476 memory=140401167672960 CPUtime=0.03 cores=1,3,5,7
/proc/19447/task/19459/stat : 19459 (java) R 19444 19444 16770 0 -1 4202560 322 0 0 0 3 0 0 0 20 0 15 0 224371787 15372775424 21474 33554432000 4194304 4196468 140722208787328 140035521075440 140036532788136 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19460] ppid=19444 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19460/stat : 19460 (java) S 19444 19444 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224371787 15372775424 21474 33554432000 4194304 4196468 140722208787328 140033986128480 140036553844437 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19461] ppid=19444 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19461/stat : 19461 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224371787 15372775424 21474 33554432000 4194304 4196468 140722208787328 140035520023344 140036553845378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87292 KiB
[startup+0.310583 s]*
/proc/loadavg: 2.97 2.34 2.15 3/223 19461
/proc/meminfo: memFree=10495848/32770624 swapFree=67108860/67108860
[pid=19444] ppid=19441 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19444/stat : 19444 (scop.sh) S 19441 19444 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224371780 115843072 349 33554432000 4194304 5098028 140726080996560 140726080993816 140270005740156 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33505280 140726081000512 140726081000711 140726081000711 140726081003469 0
/proc/19444/statm: 28282 349 296 221 0 87 0
[pid=19447] ppid=19444 vsize=15012476 memory=89604 CPUtime=0.43 cores=1,3,5,7
/proc/19447/stat : 19447 (java) S 19444 19444 16770 0 -1 1077944320 10389 0 0 0 40 3 0 0 20 0 15 0 224371780 15372775424 22401 33554432000 4194304 4196468 140722208787328 140722208769872 140036553834231 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
/proc/19447/statm: 3753119 22401 2979 1 0 3715579 0
[pid=19447/tid=19448] ppid=19444 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/19447/task/19448/stat : 19448 (java) R 19444 19444 16770 0 -1 4202560 8088 0 0 0 27 2 0 0 20 0 15 0 224371781 15372775424 22401 33554432000 4194304 4196468 140722208787328 140036525663472 140036537914718 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19449] ppid=19444 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19449/stat : 19449 (java) S 19444 19444 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224371782 15372775424 22401 33554432000 4194304 4196468 140722208787328 140036558076176 140036553844437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19450] ppid=19444 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19450/stat : 19450 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224371782 15372775424 22401 33554432000 4194304 4196468 140722208787328 140036349159824 140036553844437 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19451] ppid=19444 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19451/stat : 19451 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224371782 15372775424 22401 33554432000 4194304 4196468 140722208787328 140036348107280 140036553844437 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19452] ppid=19444 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19452/stat : 19452 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224371783 15372775424 22401 33554432000 4194304 4196468 140722208787328 140036347054736 140036553844437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19453] ppid=19444 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19453/stat : 19453 (java) S 19444 19444 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224371784 15372775424 22401 33554432000 4194304 4196468 140722208787328 140035524233712 140036553845378 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19454] ppid=19444 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19454/stat : 19454 (java) S 19444 19444 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224371784 15372775424 22401 33554432000 4194304 4196468 140722208787328 140035126977952 140036553844437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19455] ppid=19444 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19455/stat : 19455 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224371785 15372775424 22401 33554432000 4194304 4196468 140722208787328 140034858542576 140036553844437 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19456] ppid=19444 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19456/stat : 19456 (java) S 19444 19444 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224371787 15372775424 22401 33554432000 4194304 4196468 140722208787328 140034484034256 140036553852827 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19457] ppid=19444 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19447/task/19457/stat : 19457 (java) R 19444 19444 16770 0 -1 4202560 384 0 0 0 2 0 0 0 20 0 15 0 224371787 15372775424 22401 33554432000 4194304 4196468 140722208787328 140035523180528 140036533522664 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19458] ppid=19444 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19447/task/19458/stat : 19458 (java) S 19444 19444 16770 0 -1 1077944384 228 0 0 0 2 0 0 0 20 0 15 0 224371787 15372775424 22401 33554432000 4194304 4196468 140722208787328 140035522127984 140036553845378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19459] ppid=19444 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19447/task/19459/stat : 19459 (java) S 19444 19444 16770 0 -1 1077944384 362 0 0 0 7 0 0 0 20 0 15 0 224371787 15372775424 22401 33554432000 4194304 4196468 140722208787328 140035521075440 140036553845378 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19460] ppid=19444 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19460/stat : 19460 (java) S 19444 19444 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224371787 15372775424 22401 33554432000 4194304 4196468 140722208787328 140033986128480 140036553844437 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19461] ppid=19444 vsize=15012476 memory=3833186913019306033 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19461/stat : 19461 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224371787 15372775424 22401 33554432000 4194304 4196468 140722208787328 140035520023344 140036553845378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91000 KiB
[startup+0.701565 s]
/proc/loadavg: 2.97 2.34 2.15 3/223 19461
/proc/meminfo: memFree=10471168/32770624 swapFree=67108860/67108860
[pid=19444] ppid=19441 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19444/stat : 19444 (scop.sh) S 19441 19444 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224371780 115843072 349 33554432000 4194304 5098028 140726080996560 140726080993816 140270005740156 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33505280 140726081000512 140726081000711 140726081000711 140726081003469 0
/proc/19444/statm: 28282 349 296 221 0 87 0
[pid=19447] ppid=19444 vsize=15018748 memory=129088 CPUtime=1.05 cores=1,3,5,7
/proc/19447/stat : 19447 (java) S 19444 19444 16770 0 -1 1077944320 17352 0 0 0 100 5 0 0 20 0 15 0 224371780 15379197952 32272 33554432000 4194304 4196468 140722208787328 140722208769872 140036553834231 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
/proc/19447/statm: 3754687 32272 3146 1 0 3716091 0
[pid=19447/tid=19448] ppid=19444 vsize=15018748 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/19447/task/19448/stat : 19448 (java) R 19444 19444 16770 0 -1 4202560 14546 0 0 0 63 4 0 0 20 0 15 0 224371781 15379197952 32274 33554432000 4194304 4196468 140722208787328 140036525669728 140036553856157 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19449] ppid=19444 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19449/stat : 19449 (java) S 19444 19444 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224371782 15379197952 32274 33554432000 4194304 4196468 140722208787328 140036558076176 140036553844437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19450] ppid=19444 vsize=15018748 memory=60928 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19450/stat : 19450 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224371782 15379197952 32274 33554432000 4194304 4196468 140722208787328 140036349159824 140036553844437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19451] ppid=19444 vsize=15018748 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19451/stat : 19451 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224371782 15379197952 32274 33554432000 4194304 4196468 140722208787328 140036348107280 140036553844437 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19452] ppid=19444 vsize=15018748 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19452/stat : 19452 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224371783 15379197952 32274 33554432000 4194304 4196468 140722208787328 140036347054736 140036553844437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19453] ppid=19444 vsize=15018748 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19453/stat : 19453 (java) S 19444 19444 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224371784 15379197952 32274 33554432000 4194304 4196468 140722208787328 140035524233712 140036553845378 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19454] ppid=19444 vsize=15018748 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19454/stat : 19454 (java) S 19444 19444 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224371784 15379197952 32274 33554432000 4194304 4196468 140722208787328 140035126977952 140036553844437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19455] ppid=19444 vsize=15018748 memory=796 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19455/stat : 19455 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224371785 15379197952 32274 33554432000 4194304 4196468 140722208787328 140034858542576 140036553844437 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19456] ppid=19444 vsize=15018748 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19456/stat : 19456 (java) S 19444 19444 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224371787 15379197952 32274 33554432000 4194304 4196468 140722208787328 140034484034256 140036553852827 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19457] ppid=19444 vsize=15018748 memory=876 CPUtime=0.1 cores=1,3,5,7
/proc/19447/task/19457/stat : 19457 (java) R 19444 19444 16770 0 -1 4202560 636 0 0 0 10 0 0 0 20 0 15 0 224371787 15379197952 32274 33554432000 4194304 4196468 140722208787328 140035523170640 140036553855578 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19458] ppid=19444 vsize=15018748 memory=10096 CPUtime=0.07 cores=1,3,5,7
/proc/19447/task/19458/stat : 19458 (java) R 19444 19444 16770 0 -1 4202560 292 0 0 0 7 0 0 0 20 0 15 0 224371787 15379197952 32274 33554432000 4194304 4196468 140722208787328 140035522114080 140036538230624 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19459] ppid=19444 vsize=15018748 memory=1228 CPUtime=0.17 cores=1,3,5,7
/proc/19447/task/19459/stat : 19459 (java) R 19444 19444 16770 0 -1 4202560 549 0 0 0 17 0 0 0 20 0 15 0 224371787 15379197952 32274 33554432000 4194304 4196468 140722208787328 140035521075440 140036553846166 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19460] ppid=19444 vsize=15018748 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19460/stat : 19460 (java) S 19444 19444 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224371787 15379197952 32274 33554432000 4194304 4196468 140722208787328 140033986128480 140036553844437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19461] ppid=19444 vsize=15018748 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19461/stat : 19461 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224371787 15379197952 32274 33554432000 4194304 4196468 140722208787328 140035520023344 140036553845378 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 130484 KiB
[startup+1.50148 s]
/proc/loadavg: 3.13 2.38 2.17 6/223 19461
/proc/meminfo: memFree=10250248/32770624 swapFree=67108860/67108860
[pid=19444] ppid=19441 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19444/stat : 19444 (scop.sh) S 19441 19444 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224371780 115843072 349 33554432000 4194304 5098028 140726080996560 140726080993816 140270005740156 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33505280 140726081000512 140726081000711 140726081000711 140726081003469 0
/proc/19444/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/19447/task/19457/stat : 19457 (java) R 19444 19444 16770 0 -1 4202560 1931 0 0 0 226 1 0 0 20 0 15 0 224371787 15385567232 165250 33554432000 4194304 4196468 140722208787328 140035523169200 140036537045915 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19458] ppid=19444 vsize=15024968 memory=280802009089968 CPUtime=2.17 cores=1,3,5,7
/proc/19447/task/19458/stat : 19458 (java) R 19444 19444 16770 0 -1 4202560 3508 0 0 0 217 0 0 0 20 0 15 0 224371787 15385567232 165250 33554432000 4194304 4196468 140722208787328 140035522107088 140036538732152 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19459] ppid=19444 vsize=15024968 memory=-8819348155210317469 CPUtime=1.11 cores=1,3,5,7
/proc/19447/task/19459/stat : 19459 (java) R 19444 19444 16770 0 -1 1077944384 3512 0 0 0 109 2 0 0 20 0 15 0 224371787 15385567232 165250 33554432000 4194304 4196468 140722208787328 140035521075440 140036553845378 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19460] ppid=19444 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19460/stat : 19460 (java) S 19444 19444 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224371787 15385567232 165250 33554432000 4194304 4196468 140722208787328 140033986128480 140036553844437 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
[pid=19447/tid=19461] ppid=19444 vsize=15024968 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/19447/task/19461/stat : 19461 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224371787 15385567232 165250 33554432000 4194304 4196468 140722208787328 140035520023344 140036553845378 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13582336 140722208793606 140722208793905 140722208793905 140722208796623 0
Current children cumulated CPU time: 8.66 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 662396 KiB
[startup+6.30076 s]
/proc/loadavg: 3.12 2.39 2.17 3/217 19470
/proc/meminfo: memFree=10537284/32770624 swapFree=67108860/67108860
[pid=19444] ppid=19441 vsize=113128 memory=1472 CPUtime=15.33 cores=1,3,5,7
/proc/19444/stat : 19444 (scop.sh) S 19441 19444 16770 0 -1 4202496 590 32886 0 0 0 0 1471 62 20 0 1 0 224371780 115843072 368 33554432000 4194304 5098028 140726080996560 140726080993304 140270005740156 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33505280 140726081000512 140726081000711 140726081000711 140726081003469 0
/proc/19444/statm: 28282 368 311 221 0 87 0
[pid=19462] ppid=19444 vsize=7404280 memory=68968 CPUtime=0.47 cores=1,3,5,7
/proc/19462/stat : 19462 (java) S 19444 19444 16770 0 -1 1077944320 10240 0 0 0 44 3 0 0 20 0 15 0 224372376 7581982720 17242 33554432000 4194304 4196468 140734415311408 140734415293952 139845477543671 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
/proc/19462/statm: 1851070 17242 2976 1 0 1813530 0
[pid=19462/tid=19463] ppid=19444 vsize=7404280 memory=6656426216303648864 CPUtime=0.33 cores=1,3,5,7
/proc/19462/task/19463/stat : 19463 (java) R 19444 19444 16770 0 -1 4202560 7966 0 0 0 31 2 0 0 20 0 15 0 224372376 7581982720 17242 33554432000 4194304 4196468 140734415311408 139845449363784 139845459107246 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19464] ppid=19444 vsize=7404280 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19464/stat : 19464 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372377 7581982720 17242 33554432000 4194304 4196468 140734415311408 139845481785744 139845477553877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19465] ppid=19444 vsize=7404280 memory=1755992 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19465/stat : 19465 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372377 7581982720 17242 33554432000 4194304 4196468 140734415311408 139845281954064 139845477553877 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19466] ppid=19444 vsize=7404280 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19466/stat : 19466 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372377 7581982720 17242 33554432000 4194304 4196468 140734415311408 139845280901776 139845477553877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19467] ppid=19444 vsize=7404280 memory=517408 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19467/stat : 19467 (java) S 19444 19444 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224372377 7581982720 17242 33554432000 4194304 4196468 140734415311408 139845279848976 139845477553877 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19468] ppid=19444 vsize=7404280 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19468/stat : 19468 (java) S 19444 19444 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224372378 7581982720 17242 33554432000 4194304 4196468 140734415311408 139844856883824 139845477554818 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19469] ppid=19444 vsize=7404280 memory=2155892 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19469/stat : 19469 (java) S 19444 19444 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224372379 7581982720 17242 33554432000 4194304 4196468 140734415311408 139844336477472 139845477553877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19470] ppid=19444 vsize=7404280 memory=140401004606312 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19470/stat : 19470 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372379 7581982720 17242 33554432000 4194304 4196468 140734415311408 139844068042352 139845477553877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
Current children cumulated CPU time: 15.8 s
Current children cumulated vsize: 7517408 KiB
Current children cumulated memory: 70440 KiB
[startup+7.23844 s]
# the end of solver process 19444 was just reported to runsolver
# cumulated CPU time of all completed processes: user=16.693 s, system=0.785687 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40072 s]
/proc/loadavg: 3.12 2.39 2.17 3/217 19470
/proc/meminfo: memFree=10537284/32770624 swapFree=67108860/67108860
[pid=19444] ppid=19441 vsize=113128 memory=1472 CPUtime=15.33 cores=1,3,5,7
/proc/19444/stat : 19444 (scop.sh) S 19441 19444 16770 0 -1 4202496 590 32886 0 0 0 0 1471 62 20 0 1 0 224371780 115843072 368 33554432000 4194304 5098028 140726080996560 140726080993304 140270005740156 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33505280 140726081000512 140726081000711 140726081000711 140726081003469 0
/proc/19444/statm: 28282 368 311 221 0 87 0
[pid=19462] ppid=19444 vsize=7406364 memory=74568 CPUtime=0.59 cores=1,3,5,7
/proc/19462/stat : 19462 (java) S 19444 19444 16770 0 -1 1077944320 11318 0 0 0 55 4 0 0 20 0 15 0 224372376 7584116736 18642 33554432000 4194304 4196468 140734415311408 140734415293952 139845477543671 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
/proc/19462/statm: 1851591 18642 2984 1 0 1813530 0
[pid=19462/tid=19463] ppid=19444 vsize=7406364 memory=4282807335222807926 CPUtime=0.43 cores=1,3,5,7
/proc/19462/task/19463/stat : 19463 (java) R 19444 19444 16770 0 -1 4202560 9035 0 0 0 40 3 0 0 20 0 15 0 224372376 7584116736 18642 33554432000 4194304 4196468 140734415311408 139845449345152 139845461624158 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19464] ppid=19444 vsize=7406364 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19464/stat : 19464 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372377 7584116736 18642 33554432000 4194304 4196468 140734415311408 139845481785744 139845477553877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19465] ppid=19444 vsize=7406364 memory=56 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19465/stat : 19465 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372377 7584116736 18642 33554432000 4194304 4196468 140734415311408 139845281954064 139845477553877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19466] ppid=19444 vsize=7406364 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19466/stat : 19466 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372377 7584116736 18642 33554432000 4194304 4196468 140734415311408 139845280901776 139845477553877 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19467] ppid=19444 vsize=7406364 memory=140401004552928 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19467/stat : 19467 (java) S 19444 19444 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224372377 7584116736 18642 33554432000 4194304 4196468 140734415311408 139845279848976 139845477553877 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19468] ppid=19444 vsize=7406364 memory=140401004552960 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19468/stat : 19468 (java) S 19444 19444 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224372378 7584116736 18642 33554432000 4194304 4196468 140734415311408 139844856883824 139845477554818 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19469] ppid=19444 vsize=7406364 memory=3467966128395965266 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19469/stat : 19469 (java) S 19444 19444 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224372379 7584116736 18642 33554432000 4194304 4196468 140734415311408 139844336477472 139845477553877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19470] ppid=19444 vsize=7406364 memory=3762110876395689056 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19470/stat : 19470 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372379 7584116736 18642 33554432000 4194304 4196468 140734415311408 139844068042352 139845477553877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
Current children cumulated CPU time: 15.92 s
Current children cumulated vsize: 7519492 KiB
Current children cumulated memory: 76040 KiB
[startup+6.80296 s]
/proc/loadavg: 3.12 2.39 2.17 3/217 19470
/proc/meminfo: memFree=10537284/32770624 swapFree=67108860/67108860
[pid=19444] ppid=19441 vsize=113128 memory=1472 CPUtime=15.33 cores=1,3,5,7
/proc/19444/stat : 19444 (scop.sh) S 19441 19444 16770 0 -1 4202496 590 32886 0 0 0 0 1471 62 20 0 1 0 224371780 115843072 368 33554432000 4194304 5098028 140726080996560 140726080993304 140270005740156 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33505280 140726081000512 140726081000711 140726081000711 140726081003469 0
/proc/19444/statm: 28282 368 311 221 0 87 0
[pid=19462] ppid=19444 vsize=7408432 memory=117620 CPUtime=1.53 cores=1,3,5,7
/proc/19462/stat : 19462 (java) S 19444 19444 16770 0 -1 1077944320 17412 0 0 0 142 11 0 0 20 0 15 0 224372376 7586234368 29405 33554432000 4194304 4196468 140734415311408 140734415293952 139845477543671 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
/proc/19462/statm: 1852108 29405 3118 1 0 1814042 0
[pid=19462/tid=19463] ppid=19444 vsize=7408432 memory=-6226907522057197402 CPUtime=0.82 cores=1,3,5,7
/proc/19462/task/19463/stat : 19463 (java) R 19444 19444 16770 0 -1 4202560 13810 0 0 0 73 9 0 0 20 0 15 0 224372376 7586234368 29405 33554432000 4194304 4196468 140734415311408 139845449384176 139845477555606 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19464] ppid=19444 vsize=7408432 memory=-6007335076161279318 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19464/stat : 19464 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372377 7586234368 29405 33554432000 4194304 4196468 140734415311408 139845481785744 139845477553877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19465] ppid=19444 vsize=7408432 memory=68968 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19465/stat : 19465 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372377 7586234368 29405 33554432000 4194304 4196468 140734415311408 139845281954064 139845477553877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19466] ppid=19444 vsize=7408432 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19466/stat : 19466 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372377 7586234368 29405 33554432000 4194304 4196468 140734415311408 139845280901776 139845477553877 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19467] ppid=19444 vsize=7408432 memory=64664 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19467/stat : 19467 (java) S 19444 19444 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224372377 7586234368 29405 33554432000 4194304 4196468 140734415311408 139845279848976 139845477553877 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19468] ppid=19444 vsize=7408464 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19468/stat : 19468 (java) S 19444 19444 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224372378 7586267136 29405 33554432000 4194304 4196468 140734415311408 139844856883824 139845477554818 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19469] ppid=19444 vsize=7408464 memory=2500 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19469/stat : 19469 (java) S 19444 19444 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224372379 7586267136 29405 33554432000 4194304 4196468 140734415311408 139844336477472 139845477553877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19470] ppid=19444 vsize=7408464 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19470/stat : 19470 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372379 7586267136 29405 33554432000 4194304 4196468 140734415311408 139844068042352 139845477553877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
Current children cumulated CPU time: 16.86 s
Current children cumulated vsize: 7521560 KiB
Current children cumulated memory: 119092 KiB
[startup+7.20099 s]
/proc/loadavg: 3.12 2.39 2.17 3/228 19482
/proc/meminfo: memFree=10417380/32770624 swapFree=67108860/67108860
[pid=19444] ppid=19441 vsize=113128 memory=1472 CPUtime=15.33 cores=1,3,5,7
/proc/19444/stat : 19444 (scop.sh) S 19441 19444 16770 0 -1 4202496 590 32886 0 0 0 0 1471 62 20 0 1 0 224371780 115843072 368 33554432000 4194304 5098028 140726080996560 140726080993304 140270005740156 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33505280 140726081000512 140726081000711 140726081000711 140726081003469 0
/proc/19444/statm: 28282 368 311 221 0 87 0
[pid=19462] ppid=19444 vsize=8068220 memory=132944 CPUtime=1.73 cores=1,3,5,7
/proc/19462/stat : 19462 (java) S 19444 19444 16770 0 -1 1077944320 18392 0 0 0 161 12 0 0 20 0 19 0 224372376 8261857280 33236 33554432000 4194304 4196468 140734415311408 140734415293952 139845477543671 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
/proc/19462/statm: 2017055 33236 3165 1 0 1978454 0
[pid=19477] ppid=19462 vsize=47208 memory=27308 CPUtime=0.35 cores=1,3,5,7
/proc/19477/stat : 19477 (minisat_release) R 19462 19444 16770 0 -1 4202496 8199 0 0 0 33 2 0 0 20 0 1 0 224372464 48340992 6827 33554432000 4194304 4308513 140734131897216 140734130845624 4275873 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 34594816 140734131905652 140734131905750 140734131905750 140734131908549 0
/proc/19477/statm: 11802 6827 322 28 0 8042 0
[pid=19462/tid=19463] ppid=19444 vsize=8068220 memory=6656426216303648864 CPUtime=0.92 cores=1,3,5,7
/proc/19462/task/19463/stat : 19463 (java) S 19444 19444 16770 0 -1 1077944384 14577 0 0 0 82 10 0 0 20 0 19 0 224372376 8261857280 33236 33554432000 4194304 4196468 140734415311408 139845449383824 139845477553877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19464] ppid=19444 vsize=8068220 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19464/stat : 19464 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224372377 8261857280 33236 33554432000 4194304 4196468 140734415311408 139845481785744 139845477553877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19465] ppid=19444 vsize=8068220 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19465/stat : 19465 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224372377 8261857280 33236 33554432000 4194304 4196468 140734415311408 139845281954064 139845477553877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19466] ppid=19444 vsize=8068220 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19466/stat : 19466 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224372377 8261857280 33236 33554432000 4194304 4196468 140734415311408 139845280901776 139845477553877 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19467] ppid=19444 vsize=8068220 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19467/stat : 19467 (java) S 19444 19444 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224372377 8261857280 33236 33554432000 4194304 4196468 140734415311408 139845279848976 139845477553877 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19468] ppid=19444 vsize=8068220 memory=280802172327096 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19468/stat : 19468 (java) S 19444 19444 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224372378 8261857280 33236 33554432000 4194304 4196468 140734415311408 139844856883824 139845477554818 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19469] ppid=19444 vsize=8068220 memory=280802009308336 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19469/stat : 19469 (java) S 19444 19444 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224372379 8261857280 33236 33554432000 4194304 4196468 140734415311408 139844336477472 139845477553877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19470] ppid=19444 vsize=8068220 memory=280802009308400 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19470/stat : 19470 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224372379 8261857280 33236 33554432000 4194304 4196468 140734415311408 139844068042352 139845477553877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19471] ppid=19444 vsize=8068220 memory=280802009308464 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19471/stat : 19471 (java) S 19444 19444 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224372381 8261857280 33236 33554432000 4194304 4196468 140734415311408 139843693533776 139845477562267 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19472] ppid=19444 vsize=8068220 memory=280802009308528 CPUtime=0.28 cores=1,3,5,7
/proc/19462/task/19472/stat : 19472 (java) S 19444 19444 16770 0 -1 1077944384 1282 0 0 0 28 0 0 0 20 0 19 0 224372381 8261857280 33236 33554432000 4194304 4196468 140734415311408 139844855830640 139845477554818 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19473] ppid=19444 vsize=8068220 memory=280802009308592 CPUtime=0.26 cores=1,3,5,7
/proc/19462/task/19473/stat : 19473 (java) S 19444 19444 16770 0 -1 1077944384 476 0 0 0 26 0 0 0 20 0 19 0 224372381 8261857280 33236 33554432000 4194304 4196468 140734415311408 139844854777840 139845477554818 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19474] ppid=19444 vsize=8068220 memory=280802009308656 CPUtime=0.25 cores=1,3,5,7
/proc/19462/task/19474/stat : 19474 (java) S 19444 19444 16770 0 -1 1077944384 649 0 0 0 24 1 0 0 20 0 19 0 224372381 8261857280 33236 33554432000 4194304 4196468 140734415311408 139844853725552 139845477554818 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19475] ppid=19444 vsize=8068220 memory=280802009308720 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19475/stat : 19475 (java) S 19444 19444 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224372382 8261857280 33236 33554432000 4194304 4196468 140734415311408 139843195628000 139845477553877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19476] ppid=19444 vsize=8068220 memory=280802009308784 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19476/stat : 19476 (java) S 19444 19444 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224372382 8261857280 33236 33554432000 4194304 4196468 140734415311408 139844852673456 139845477554818 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19478] ppid=19444 vsize=8068220 memory=280802009398672 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19478/stat : 19478 (java) S 19444 19444 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224372465 8261857280 33236 33554432000 4194304 4196468 140734415311408 139844844864960 139845477568281 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19480] ppid=19444 vsize=8068220 memory=280802009398736 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19480/stat : 19480 (java) S 19444 19444 16770 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 224372465 8261857280 33236 33554432000 4194304 4196468 140734415311408 139842658742320 139845477565597 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19481] ppid=19444 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19481/stat : 19481 (java) S 19444 19444 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224372465 8261857280 33236 33554432000 4194304 4196468 140734415311408 139842792963504 139845477565597 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
[pid=19462/tid=19482] ppid=19444 vsize=8068220 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/19462/task/19482/stat : 19482 (java) S 19444 19444 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224372467 8261857280 33236 33554432000 4194304 4196468 140734415311408 139842390317984 139845477553877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32260096 140734415316149 140734415316273 140734415316273 140734415318991 0
Current children cumulated CPU time: 17.41 s
Current children cumulated vsize: 8228556 KiB
Current children cumulated memory: 161724 KiB
Child status: 0
Real time (s): 7.23849
CPU time (s): 17.4787
CPU user time (s): 16.693
CPU system time (s): 0.785687
CPU usage (%): 241.468
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 2440776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.693
system time used= 0.785687
maximum resident set size= 2441848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60119
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5582
involuntary context switches= 87
# summary of solver processes directly reported to runsolver:
# pid: 19444
# total CPU time (s): 17.4787
# total CPU user time (s): 16.693
# total CPU system time (s): 0.785687
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.075747 second user time and 0.116244 second system time
The end