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-21785-serial-file.bin HOME/instance-4305462-1534078127.xml
0.65/0.52
0.65/0.52 scop order+minisat_release (2018-07-31)
0.65/0.52 (Encoding Process)
0.65/0.52
0.65/0.55 c BEGIN-Prog: Sun Aug 12 14:48:47 CEST 2018
0.65/0.55 c PID: 21788
0.65/0.55 c IP: 172.20.3.107
0.65/0.55 c HOST: node107.alineos.net
0.65/0.56 c (0,0) Parsing Begin
1.52/0.96 c (0,0) Parsing End
1.52/0.97 c (0,0) CSP: 120 int (0 aux), 0 bool (0 aux), 241 ctr, max domain size 120
1.52/0.97 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.52/0.97 c (0,0) Constraint Name Generate Begin
1.52/0.98 c (0,0) Ctr:HOME/instance-4305462-1534078127.xml,AllDifferent:ExtensionSupport:IntVar
1.52/0.98 c (0,0) Constraint Name Generate End
1.52/0.98 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.52/0.98 c (0,0) CSP to CSPinCNF Begin
9.28/3.63 c (3,3) translated 25 (10%) constraints
11.42/5.03 c (4,4) translated 49 (20%) constraints
12.89/6.40 c (5,5) translated 73 (30%) constraints
14.30/7.73 c (7,7) translated 97 (40%) constraints
16.21/9.17 c (8,8) translated 121 (50%) constraints
17.56/10.40 c (9,9) translated 145 (60%) constraints
18.77/11.62 c (11,10) translated 169 (70%) constraints
19.98/12.85 c (12,12) translated 193 (80%) constraints
22.30/14.37 c (13,13) translated 217 (90%) constraints
23.50/15.59 c (15,14) translated 241 (100%) constraints
25.25/16.54 c (16,15) STATISTICS1:HOME/instance-4305462-1534078127.xml,AllDifferent:ExtensionSupport:IntVar,28920,355622,120,120,121,2,120:7140,120:652920;2:377040,121:240;120:2;3:290160;2:65220,2:7140;1:1015680;0:240,
25.25/16.54 c (16,15) ==========================================
25.25/16.54 c (16,15) Order
25.25/16.54 c (16,15) ==========================================
27.37/17.33 c (16,16) translated 35563 (10%) constraints
27.77/17.77 c (17,16) translated 71125 (20%) constraints
28.30/18.21 c (17,17) translated 106687 (30%) constraints
28.70/18.65 c (18,17) translated 142249 (40%) constraints
30.47/19.40 c (18,18) translated 177811 (50%) constraints
30.87/19.84 c (19,18) translated 213374 (60%) constraints
31.28/20.27 c (19,18) translated 248936 (70%) constraints
31.79/20.70 c (20,19) translated 284498 (80%) constraints
32.20/21.14 c (20,19) translated 320060 (90%) constraints
32.59/21.57 c (21,20) translated 355622 (100%) constraints
32.59/21.57 c (21,20) CSP to CSPinCNF End
32.59/21.58 c (21,20) CSP: 120 int (0 aux), 28800 bool (28800 aux), 355622 ctr, max domain size 120
32.59/21.58 c (21,20) Heap : 1298 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
32.59/21.58 c (21,20) CSPinCNF Propagation Begin
34.65/23.30 c (22,21) 0 values, 240 unsatisfiable literals, and 0 valid clauses are removed
34.65/23.30 c (22,22) CSPinCNF Propagation End
34.75/23.31 c (22,22) CSP: 120 int (0 aux), 28800 bool (28800 aux), 355622 ctr, max domain size 120
34.75/23.31 c (22,22) Heap : 3089 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
34.75/23.31 c (22,22) Simplify CSPinCNF Begin
37.14/24.26 c (23,22) Simplify CSPinCNF End
37.14/24.27 c (23,22) CSP: 120 int (0 aux), 43080 bool (43080 aux), 369902 ctr, max domain size 120
37.14/24.27 c (23,22) Heap : 703 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
37.14/24.27 c (23,22) Calculate Precise Domain Begin
37.14/24.27 c (23,22) 0 values are removed by re-calculation
37.14/24.27 c (23,22) Calculate Precise Domain End
37.14/24.28 c (23,22) CSP: 120 int (0 aux), 43080 bool (43080 aux), 369902 ctr, max domain size 120
37.14/24.28 c (23,22) Heap : 703 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
37.14/24.28 c (23,22) CSPinCNF to SatSolver Begin
42.75/28.49 c (27,26) 36991 (10 %) CSP clauses are encoded (57360 SAT variables, 1750470 SAT clauses)
43.07/28.66 c (28,26) 73981 (20 %) CSP clauses are encoded (57360 SAT variables, 1787460 SAT clauses)
43.29/28.83 c (28,26) 110971 (30 %) CSP clauses are encoded (57360 SAT variables, 1824450 SAT clauses)
43.39/29.00 c (28,27) 147961 (40 %) CSP clauses are encoded (57360 SAT variables, 1861440 SAT clauses)
43.61/29.17 c (28,27) 184951 (50 %) CSP clauses are encoded (57360 SAT variables, 1898430 SAT clauses)
43.80/29.33 c (28,27) 221942 (60 %) CSP clauses are encoded (57360 SAT variables, 1935421 SAT clauses)
44.00/29.50 c (28,27) 258932 (70 %) CSP clauses are encoded (57360 SAT variables, 1972411 SAT clauses)
44.10/29.67 c (29,27) 295922 (80 %) CSP clauses are encoded (57360 SAT variables, 2009401 SAT clauses)
44.30/29.84 c (29,27) 332912 (90 %) CSP clauses are encoded (57360 SAT variables, 2046391 SAT clauses)
45.33/30.23 c (29,28) 369902 (100 %) CSP clauses are encoded (57360 SAT variables, 2083381 SAT clauses)
45.33/30.23 c (29,28) Launch Command will be: minisat_release
45.33/30.23 c (29,28) CSPinCNF to SatSolver End
45.33/30.23 c (29,28) Heap : 480 MiB used (max 10837 MiB), NonHeap : 29 MiB used (max 0 MiB)
46.33/31.00 c (30,28) STATISTICS2:HOME/instance-4305462-1534078127.xml,AllDifferent:ExtensionSupport:IntVar,43200,369902,120,120,120,2,120:14280,120:667200;2:405600,120:242;3:290160;2:79500,2:14280;1:1044240,
46.33/31.01 c (30,28) 57360 bool, 2083382 clause
46.33/31.01 c (30,28) Export Begin
46.44/31.10 c (30,28) Export to HOME/scop-21785-serial-file.bin
46.44/31.10 c (30,28) Export End
46.44/31.10 c (30,28) Export File Size: 0.03 MB
46.44/31.10 c (30,28) 0,0,21,22,23,23,29,STOP-AFTER(DIMACS)
46.44/31.10 c END-Prog: Sun Aug 12 14:49:18 CEST 2018
46.63/31.13 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-21785-serial-file.bin
46.66/31.63 c (0,0) Read Serial File Begin
46.66/31.63 c (0,0) HOME/scop-21785-serial-file.bin
46.66/31.81 c (0,0) Read Serial File End
46.66/31.92
46.66/31.92 scop order+minisat_release (2018-07-31)
46.66/31.92 (Solving Process)
46.66/31.92
46.66/31.92 c BEGIN-Prog: Sun Aug 12 14:49:19 CEST 2018
46.66/31.92 c PID: 21803
46.66/31.92 c IP: 172.20.3.107
46.66/31.92 c HOST: node107.alineos.net
46.66/31.92 c (0,0) SatSolver.solve Begin
46.66/31.92 c (0,0) 0 bool, 0 clause
46.66/31.92 c (0,0) minisat_release HOME/instance-4305462-1534078127.xml-scop-21788.cnf
56.24/40.34 c (8,0) c This is COMiniSatPS.
56.24/40.34 c (8,0) c WARNING: for repeatability, setting FPU to use double precision
56.24/40.34 c (8,0) c ============================[ Problem Statistics ]=============================
56.24/40.34 c (8,0) c | |
56.24/40.34 c (8,0) c | Number of variables: 57360 |
56.24/40.34 c (8,0) c | Number of clauses: 2083382 |
56.24/40.34 c (8,0) c | Parse time: 0.52 s |
56.24/40.34 c (8,0) c | Eliminated clauses: 0.14 Mb |
56.24/40.34 c (8,0) c Reduced to 50220 vars, 2076242 cls (grow=0)
56.24/40.34 c (8,0) c No iterative elimination performed. (vars=50220, c/v ratio=41.3)
56.24/40.34 c (8,0) c | Simplification time: 4.31 s |
56.24/40.34 c (8,0) c | |
56.24/40.34 c (8,0) c ============================[ Search Statistics ]==============================
56.24/40.34 c (8,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
56.24/40.34 c (8,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
56.24/40.34 c (8,0) c ===============================================================================
56.24/40.34 c (8,0) c ===============================================================================
56.24/40.34 c (8,0) c restarts : 82
56.24/40.34 c (8,0) c conflicts : 18967 (2281 /sec)
56.24/40.34 c (8,0) c decisions : 30638 (0.00 % random) (3684 /sec)
56.24/40.34 c (8,0) c propagations : 11569938 (1391304 /sec)
56.24/40.34 c (8,0) c conflict literals : 504854 (42.67 % deleted)
56.24/40.34 c (8,0) c CPU time : 8.3159 s
56.24/40.34 c (8,0)
56.24/40.34 c (8,0) s UNSATISFIABLE
56.24/40.35 c (8,0) SatSolver.solve End
56.24/40.35 c (8,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
56.24/40.35 c (8,0) Show results Begin
56.24/40.35 s UNSATISFIABLE
56.24/40.35 c (8,0) Show results End
56.24/40.35 c (8,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
56.24/40.36 c (8,0) 8,8,STOP-AFTER(ALL)
56.24/40.36 c END-Prog: Sun Aug 12 14:49:27 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 (12219 MiB free)
memory of node 1: 16384 MiB (11392 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305462-1534078127/watcher-4305462-1534078127 -o /tmp/evaluation-result-4305462-1534078127/solver-4305462-1534078127 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16637 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305462-1534078127.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
solver pid=21785, runsolver pid=21782
Current StackSize limit: 8192 KiB
[startup+0.100137 s]*
/proc/loadavg: 2.49 3.55 3.61 3/222 21802
/proc/meminfo: memFree=24119284/32770624 swapFree=67108860/67108860
[pid=21785] ppid=21782 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21785/stat : 21785 (scop.sh) S 21782 21785 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 225375851 115843072 349 33554432000 4194304 5098028 140733561133120 140733561130376 140149923734140 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7954432 140733561140288 140733561140487 140733561140487 140733561143245 0
/proc/21785/statm: 28282 349 296 221 0 87 0
[pid=21788] ppid=21785 vsize=15012476 memory=71880 CPUtime=0.11 cores=1,3,5,7
/proc/21788/stat : 21788 (java) S 21785 21785 16605 0 -1 1077944320 6113 0 0 0 9 2 0 0 20 0 15 0 225375851 15372775424 17970 33554432000 4194304 4196468 140735745026400 140735745008944 140007433764599 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
/proc/21788/statm: 3753119 17970 2743 1 0 3715579 0
[pid=21788/tid=21789] ppid=21785 vsize=15012476 memory=-6148396199699595205 CPUtime=0.08 cores=1,3,5,7
/proc/21788/task/21789/stat : 21789 (java) R 21785 21785 16605 0 -1 4202560 4243 0 0 0 7 1 0 0 20 0 15 0 225375852 15372775424 17970 33554432000 4194304 4196468 140735745026400 140007405590928 140007417845086 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21790] ppid=21785 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21790/stat : 21790 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225375854 15372775424 17970 33554432000 4194304 4196468 140735745026400 140007438006928 140007433774805 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21791] ppid=21785 vsize=15012476 memory=140159711725184 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21791/stat : 21791 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225375854 15372775424 17970 33554432000 4194304 4196468 140735745026400 140007213709840 140007433774805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21792] ppid=21785 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21792/stat : 21792 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225375854 15372775424 17970 33554432000 4194304 4196468 140735745026400 140007212657040 140007433774805 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21793] ppid=21785 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21793/stat : 21793 (java) S 21785 21785 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225375854 15372775424 17970 33554432000 4194304 4196468 140735745026400 140007211604240 140007433774805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21794] ppid=21785 vsize=15012476 memory=140159711725184 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21794/stat : 21794 (java) S 21785 21785 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225375855 15372775424 17970 33554432000 4194304 4196468 140735745026400 140006773308272 140007433775746 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21795] ppid=21785 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21795/stat : 21795 (java) S 21785 21785 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225375856 15372775424 17970 33554432000 4194304 4196468 140735745026400 140006035285536 140007433774805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21796] ppid=21785 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21796/stat : 21796 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225375856 15372775424 17970 33554432000 4194304 4196468 140735745026400 140005800404336 140007433774805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21797] ppid=21785 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21797/stat : 21797 (java) S 21785 21785 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225375858 15372775424 17970 33554432000 4194304 4196468 140735745026400 140005425895760 140007433783195 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21798] ppid=21785 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21798/stat : 21798 (java) S 21785 21785 16605 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 225375858 15372775424 17970 33554432000 4194304 4196468 140735745026400 140006772255088 140007433775746 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21799] ppid=21785 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21799/stat : 21799 (java) S 21785 21785 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225375858 15372775424 17970 33554432000 4194304 4196468 140735745026400 140006771202288 140007433775746 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21800] ppid=21785 vsize=15012476 memory=140159711725184 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21800/stat : 21800 (java) S 21785 21785 16605 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 15 0 225375858 15372775424 17970 33554432000 4194304 4196468 140735745026400 140006770149488 140007433775746 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21801] ppid=21785 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21801/stat : 21801 (java) S 21785 21785 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225375859 15372775424 17970 33554432000 4194304 4196468 140735745026400 140004927989984 140007433774805 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21802] ppid=21785 vsize=15012476 memory=140159711725184 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21802/stat : 21802 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225375859 15372775424 17970 33554432000 4194304 4196468 140735745026400 140006769097904 140007433775746 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73276 KiB
[startup+0.210711 s]*
/proc/loadavg: 2.49 3.55 3.61 3/222 21802
/proc/meminfo: memFree=24103020/32770624 swapFree=67108860/67108860
[pid=21785] ppid=21782 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21785/stat : 21785 (scop.sh) S 21782 21785 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 225375851 115843072 349 33554432000 4194304 5098028 140733561133120 140733561130376 140149923734140 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7954432 140733561140288 140733561140487 140733561140487 140733561143245 0
/proc/21785/statm: 28282 349 296 221 0 87 0
[pid=21788] ppid=21785 vsize=15012476 memory=85740 CPUtime=0.24 cores=1,3,5,7
/proc/21788/stat : 21788 (java) S 21785 21785 16605 0 -1 1077944320 9743 0 0 0 22 2 0 0 20 0 15 0 225375851 15372775424 21435 33554432000 4194304 4196468 140735745026400 140735745008944 140007433764599 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
/proc/21788/statm: 3753119 21435 2926 1 0 3715579 0
[pid=21788/tid=21789] ppid=21785 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/21788/task/21789/stat : 21789 (java) R 21785 21785 16605 0 -1 4202560 7656 0 0 0 17 2 0 0 20 0 15 0 225375852 15372775424 21435 33554432000 4194304 4196468 140735745026400 140007405579952 140007433786525 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21790] ppid=21785 vsize=15012476 memory=539 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21790/stat : 21790 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225375854 15372775424 21435 33554432000 4194304 4196468 140735745026400 140007438006928 140007433774805 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21791] ppid=21785 vsize=15012476 memory=3544530478102496928 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21791/stat : 21791 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225375854 15372775424 21435 33554432000 4194304 4196468 140735745026400 140007213709840 140007433774805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21792] ppid=21785 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21792/stat : 21792 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225375854 15372775424 21435 33554432000 4194304 4196468 140735745026400 140007212657040 140007433774805 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21793] ppid=21785 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21793/stat : 21793 (java) S 21785 21785 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225375854 15372775424 21435 33554432000 4194304 4196468 140735745026400 140007211604240 140007433774805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21794] ppid=21785 vsize=15012476 memory=140159711725184 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21794/stat : 21794 (java) S 21785 21785 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225375855 15372775424 21435 33554432000 4194304 4196468 140735745026400 140006773308272 140007433775746 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21795] ppid=21785 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21795/stat : 21795 (java) S 21785 21785 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225375856 15372775424 21435 33554432000 4194304 4196468 140735745026400 140006035285536 140007433774805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21796] ppid=21785 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21796/stat : 21796 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225375856 15372775424 21435 33554432000 4194304 4196468 140735745026400 140005800404336 140007433774805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21797] ppid=21785 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21797/stat : 21797 (java) S 21785 21785 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225375858 15372775424 21435 33554432000 4194304 4196468 140735745026400 140005425895760 140007433783195 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21798] ppid=21785 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21798/stat : 21798 (java) S 21785 21785 16605 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 15 0 225375858 15372775424 21435 33554432000 4194304 4196468 140735745026400 140006772255088 140007433775746 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21799] ppid=21785 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21799/stat : 21799 (java) S 21785 21785 16605 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 225375858 15372775424 21435 33554432000 4194304 4196468 140735745026400 140006771202288 140007433775746 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21800] ppid=21785 vsize=15012476 memory=140159711725184 CPUtime=0.03 cores=1,3,5,7
/proc/21788/task/21800/stat : 21800 (java) R 21785 21785 16605 0 -1 4202560 283 0 0 0 3 0 0 0 20 0 15 0 225375858 15372775424 21435 33554432000 4194304 4196468 140735745026400 140006770149488 140007419446394 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21801] ppid=21785 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21801/stat : 21801 (java) S 21785 21785 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225375859 15372775424 21435 33554432000 4194304 4196468 140735745026400 140004927989984 140007433774805 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21802] ppid=21785 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21802/stat : 21802 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225375859 15372775424 21435 33554432000 4194304 4196468 140735745026400 140006769097904 140007433775746 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87136 KiB
[startup+0.31058 s]*
/proc/loadavg: 2.49 3.55 3.61 3/222 21802
/proc/meminfo: memFree=24098692/32770624 swapFree=67108860/67108860
[pid=21785] ppid=21782 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21785/stat : 21785 (scop.sh) S 21782 21785 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 225375851 115843072 349 33554432000 4194304 5098028 140733561133120 140733561130376 140149923734140 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7954432 140733561140288 140733561140487 140733561140487 140733561143245 0
/proc/21785/statm: 28282 349 296 221 0 87 0
[pid=21788] ppid=21785 vsize=15012476 memory=89416 CPUtime=0.42 cores=1,3,5,7
/proc/21788/stat : 21788 (java) S 21785 21785 16605 0 -1 1077944320 10364 0 0 0 39 3 0 0 20 0 15 0 225375851 15372775424 22354 33554432000 4194304 4196468 140735745026400 140735745008944 140007433764599 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
/proc/21788/statm: 3753119 22354 2962 1 0 3715579 0
[pid=21788/tid=21789] ppid=21785 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/21788/task/21789/stat : 21789 (java) R 21785 21785 16605 0 -1 4202560 8090 0 0 0 26 3 0 0 20 0 15 0 225375852 15372775424 22354 33554432000 4194304 4196468 140735745026400 140007405560048 140007414039921 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21790] ppid=21785 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21790/stat : 21790 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225375854 15372775424 22354 33554432000 4194304 4196468 140735745026400 140007438006928 140007433774805 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21791] ppid=21785 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21791/stat : 21791 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225375854 15372775424 22354 33554432000 4194304 4196468 140735745026400 140007213709840 140007433774805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21792] ppid=21785 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21792/stat : 21792 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225375854 15372775424 22354 33554432000 4194304 4196468 140735745026400 140007212657040 140007433774805 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21793] ppid=21785 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21793/stat : 21793 (java) S 21785 21785 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225375854 15372775424 22354 33554432000 4194304 4196468 140735745026400 140007211604240 140007433774805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21794] ppid=21785 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21794/stat : 21794 (java) S 21785 21785 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225375855 15372775424 22354 33554432000 4194304 4196468 140735745026400 140006773308272 140007433775746 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21795] ppid=21785 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21795/stat : 21795 (java) S 21785 21785 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225375856 15372775424 22354 33554432000 4194304 4196468 140735745026400 140006035285536 140007433774805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21796] ppid=21785 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21796/stat : 21796 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225375856 15372775424 22354 33554432000 4194304 4196468 140735745026400 140005800404336 140007433774805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21797] ppid=21785 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21797/stat : 21797 (java) S 21785 21785 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225375858 15372775424 22354 33554432000 4194304 4196468 140735745026400 140005425895760 140007433783195 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21798] ppid=21785 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21788/task/21798/stat : 21798 (java) S 21785 21785 16605 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 15 0 225375858 15372775424 22354 33554432000 4194304 4196468 140735745026400 140006772255088 140007433775746 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21799] ppid=21785 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21788/task/21799/stat : 21799 (java) S 21785 21785 16605 0 -1 1077944384 186 0 0 0 2 0 0 0 20 0 15 0 225375858 15372775424 22354 33554432000 4194304 4196468 140735745026400 140006771202288 140007433775746 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21800] ppid=21785 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21788/task/21800/stat : 21800 (java) S 21785 21785 16605 0 -1 1077944384 325 0 0 0 7 0 0 0 20 0 15 0 225375858 15372775424 22354 33554432000 4194304 4196468 140735745026400 140006770149488 140007433775746 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21801] ppid=21785 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21801/stat : 21801 (java) S 21785 21785 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225375859 15372775424 22354 33554432000 4194304 4196468 140735745026400 140004927989984 140007433774805 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21802] ppid=21785 vsize=15012476 memory=3544956536867594289 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21802/stat : 21802 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225375859 15372775424 22354 33554432000 4194304 4196468 140735745026400 140006769097904 140007433775746 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90812 KiB
[startup+0.700845 s]
/proc/loadavg: 2.49 3.55 3.61 3/222 21802
/proc/meminfo: memFree=24074384/32770624 swapFree=67108860/67108860
[pid=21785] ppid=21782 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21785/stat : 21785 (scop.sh) S 21782 21785 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 225375851 115843072 349 33554432000 4194304 5098028 140733561133120 140733561130376 140149923734140 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7954432 140733561140288 140733561140487 140733561140487 140733561143245 0
/proc/21785/statm: 28282 349 296 221 0 87 0
[pid=21788] ppid=21785 vsize=15020872 memory=127484 CPUtime=0.99 cores=1,3,5,7
/proc/21788/stat : 21788 (java) S 21785 21785 16605 0 -1 1077944320 17556 0 0 0 94 5 0 0 20 0 15 0 225375851 15381372928 31871 33554432000 4194304 4196468 140735745026400 140735745008944 140007433764599 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
/proc/21788/statm: 3755218 31871 3147 1 0 3716603 0
[pid=21788/tid=21789] ppid=21785 vsize=15020872 memory=-7816663703405220396 CPUtime=0.66 cores=1,3,5,7
/proc/21788/task/21789/stat : 21789 (java) R 21785 21785 16605 0 -1 4202560 14834 0 0 0 61 5 0 0 20 0 15 0 225375852 15381372928 31871 33554432000 4194304 4196468 140735745026400 140007405586432 140007417808229 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21790] ppid=21785 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21790/stat : 21790 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225375854 15381372928 31871 33554432000 4194304 4196468 140735745026400 140007438006928 140007433774805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21791] ppid=21785 vsize=15020872 memory=61332 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21791/stat : 21791 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225375854 15381372928 31871 33554432000 4194304 4196468 140735745026400 140007213709840 140007433774805 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21792] ppid=21785 vsize=15020872 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21792/stat : 21792 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225375854 15381372928 31871 33554432000 4194304 4196468 140735745026400 140007212657040 140007433774805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21793] ppid=21785 vsize=15020872 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21793/stat : 21793 (java) S 21785 21785 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225375854 15381372928 31871 33554432000 4194304 4196468 140735745026400 140007211604240 140007433774805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21794] ppid=21785 vsize=15020872 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21794/stat : 21794 (java) S 21785 21785 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225375855 15381372928 31871 33554432000 4194304 4196468 140735745026400 140006773308272 140007433775746 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21795] ppid=21785 vsize=15020872 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21795/stat : 21795 (java) S 21785 21785 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225375856 15381372928 31871 33554432000 4194304 4196468 140735745026400 140006035285536 140007433774805 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21796] ppid=21785 vsize=15020872 memory=752 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21796/stat : 21796 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225375856 15381372928 31871 33554432000 4194304 4196468 140735745026400 140005800404336 140007433774805 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21797] ppid=21785 vsize=15020872 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21797/stat : 21797 (java) S 21785 21785 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225375858 15381372928 31871 33554432000 4194304 4196468 140735745026400 140005425895760 140007433783195 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21798] ppid=21785 vsize=15020872 memory=1120 CPUtime=0.09 cores=1,3,5,7
/proc/21788/task/21798/stat : 21798 (java) R 21785 21785 16605 0 -1 4202560 650 0 0 0 9 0 0 0 20 0 15 0 225375858 15381372928 31871 33554432000 4194304 4196468 140735745026400 140006772245456 140007417248008 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21799] ppid=21785 vsize=15020872 memory=6120 CPUtime=0.06 cores=1,3,5,7
/proc/21788/task/21799/stat : 21799 (java) S 21785 21785 16605 0 -1 1077944384 277 0 0 0 6 0 0 0 20 0 15 0 225375858 15381372928 31871 33554432000 4194304 4196468 140735745026400 140006771202288 140007433775746 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21800] ppid=21785 vsize=15020872 memory=1724 CPUtime=0.16 cores=1,3,5,7
/proc/21788/task/21800/stat : 21800 (java) R 21785 21785 16605 0 -1 4202560 460 0 0 0 16 0 0 0 20 0 15 0 225375858 15381372928 31871 33554432000 4194304 4196468 140735745026400 140006770145856 140007412719110 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21801] ppid=21785 vsize=15020872 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21801/stat : 21801 (java) S 21785 21785 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225375859 15381372928 31871 33554432000 4194304 4196468 140735745026400 140004927989984 140007433774805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
[pid=21788/tid=21802] ppid=21785 vsize=15020872 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/21788/task/21802/stat : 21802 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225375859 15381372928 31871 33554432000 4194304 4196468 140735745026400 140006769097904 140007433775746 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28368896 140735745033222 140735745033521 140735745033521 140735745036239 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 128880 KiB
[startup+1.5014 s]
/proc/loadavg: 2.49 3.55 3.61 3/222 21802
/proc/meminfo: memFree=24046780/32770624 swapFree=67108860/67108860
[pid=21785] ppid=21782 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21785/stat : 21785 (scop.sh) S 21782 21785 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 225375851 115843072 349 33554432000 4194304 5098028 140733561133120 140733561130376 140149923734140 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7954432 140733561140288 140733561140487 140733561140487 140733561143245 0
/proc/21785/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 55.14 s
Current children cumulated vsize: 8393040 KiB
Current children cumulated memory: 305064 KiB
[startup+40.001 s]*
/proc/loadavg: 2.34 3.39 3.55 3/227 21823
/proc/meminfo: memFree=23838884/32770624 swapFree=67108860/67108860
[pid=21785] ppid=21782 vsize=113128 memory=1472 CPUtime=46.66 cores=1,3,5,7
/proc/21785/stat : 21785 (scop.sh) S 21782 21785 16605 0 -1 4202496 591 50848 0 0 0 0 4512 154 20 0 1 0 225375851 115843072 368 33554432000 4194304 5098028 140733561133120 140733561129864 140149923734140 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7954432 140733561140288 140733561140487 140733561140487 140733561143245 0
/proc/21785/statm: 28282 368 311 221 0 87 0
[pid=21803] ppid=21785 vsize=8068220 memory=116404 CPUtime=1.17 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21785 21785 16605 0 -1 1077944320 18842 0 0 0 111 6 0 0 20 0 19 0 225378965 8261857280 29101 33554432000 4194304 4196468 140720773611216 140720773593760 139832890978039 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
/proc/21803/statm: 2017055 29101 3150 1 0 1978454 0
[pid=21818] ppid=21803 vsize=211692 memory=187188 CPUtime=8.12 cores=1,3,5,7
/proc/21818/stat : 21818 (minisat_release) R 21803 21785 16605 0 -1 4202496 142957 0 0 0 798 14 0 0 20 0 1 0 225379039 216772608 46797 33554432000 4194304 4308513 140726218158240 140726218155864 4251593 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 25485312 140726218163316 140726218163414 140726218163414 140726218166213 0
/proc/21818/statm: 52923 46797 342 28 0 49163 0
[pid=21803/tid=21804] ppid=21785 vsize=8068220 memory=-7824251494390848867 CPUtime=0.75 cores=1,3,5,7
/proc/21803/task/21804/stat : 21804 (java) S 21785 21785 16605 0 -1 1077944384 15652 0 0 0 71 4 0 0 20 0 19 0 225378966 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832862818192 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21805] ppid=21785 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21805/stat : 21805 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225378967 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832895220496 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21806] ppid=21785 vsize=8068220 memory=17381 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21806/stat : 21806 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225378967 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832728599440 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21807] ppid=21785 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21807/stat : 21807 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225378967 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832374668304 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21808] ppid=21785 vsize=8068220 memory=140159614237008 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21808/stat : 21808 (java) S 21785 21785 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225378967 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832373615760 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21809] ppid=21785 vsize=8068220 memory=-7824251494390848867 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21809/stat : 21809 (java) S 21785 21785 16605 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 225378968 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832337381360 139832890989186 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21810] ppid=21785 vsize=8068220 memory=1288 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21810/stat : 21810 (java) S 21785 21785 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225378969 8261857280 29101 33554432000 4194304 4196468 140720773611216 139831720010656 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21811] ppid=21785 vsize=8068220 memory=1088 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21811/stat : 21811 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225378969 8261857280 29101 33554432000 4194304 4196468 140720773611216 139831451575280 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21812] ppid=21785 vsize=8068220 memory=15512 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21812/stat : 21812 (java) S 21785 21785 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225378971 8261857280 29101 33554432000 4194304 4196468 140720773611216 139831077066960 139832890996635 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21813] ppid=21785 vsize=8068220 memory=33924 CPUtime=0.07 cores=1,3,5,7
/proc/21803/task/21813/stat : 21813 (java) S 21785 21785 16605 0 -1 1077944384 671 0 0 0 7 0 0 0 20 0 19 0 225378971 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832336329200 139832890989186 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21814] ppid=21785 vsize=8068220 memory=3312 CPUtime=0.09 cores=1,3,5,7
/proc/21803/task/21814/stat : 21814 (java) S 21785 21785 16605 0 -1 1077944384 344 0 0 0 9 0 0 0 20 0 19 0 225378972 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832335276656 139832890989186 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21815] ppid=21785 vsize=8068220 memory=15712 CPUtime=0.21 cores=1,3,5,7
/proc/21803/task/21815/stat : 21815 (java) S 21785 21785 16605 0 -1 1077944384 763 0 0 0 21 0 0 0 20 0 19 0 225378972 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832334224112 139832890989186 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21816] ppid=21785 vsize=8068220 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21816/stat : 21816 (java) S 21785 21785 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225378972 8261857280 29101 33554432000 4194304 4196468 140720773611216 139830579162208 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21817] ppid=21785 vsize=8068220 memory=504 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21817/stat : 21817 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225378972 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832333170992 139832890989186 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21819] ppid=21785 vsize=8068220 memory=924 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21819/stat : 21819 (java) S 21785 21785 16605 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225379039 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832325362752 139832891002649 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21821] ppid=21785 vsize=8068220 memory=1168 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21821/stat : 21821 (java) S 21785 21785 16605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225379039 8261857280 29101 33554432000 4194304 4196468 140720773611216 139830042275472 139832890999965 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21822] ppid=21785 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21822/stat : 21822 (java) S 21785 21785 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225379040 8261857280 29101 33554432000 4194304 4196468 140720773611216 139830176497424 139832890999965 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21823] ppid=21785 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21823/stat : 21823 (java) S 21785 21785 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225379042 8261857280 29101 33554432000 4194304 4196468 140720773611216 139829773852192 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
Current children cumulated CPU time: 55.95 s
Current children cumulated vsize: 8393040 KiB
Current children cumulated memory: 305064 KiB
[startup+40.2009 s]
/proc/loadavg: 2.34 3.39 3.55 3/227 21823
/proc/meminfo: memFree=23838884/32770624 swapFree=67108860/67108860
[pid=21785] ppid=21782 vsize=113128 memory=1472 CPUtime=46.66 cores=1,3,5,7
/proc/21785/stat : 21785 (scop.sh) S 21782 21785 16605 0 -1 4202496 591 50848 0 0 0 0 4512 154 20 0 1 0 225375851 115843072 368 33554432000 4194304 5098028 140733561133120 140733561129864 140149923734140 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7954432 140733561140288 140733561140487 140733561140487 140733561143245 0
/proc/21785/statm: 28282 368 311 221 0 87 0
[pid=21803] ppid=21785 vsize=8068220 memory=116404 CPUtime=1.17 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21785 21785 16605 0 -1 1077944320 18842 0 0 0 111 6 0 0 20 0 19 0 225378965 8261857280 29101 33554432000 4194304 4196468 140720773611216 140720773593760 139832890978039 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
/proc/21803/statm: 2017055 29101 3150 1 0 1978454 0
[pid=21818] ppid=21803 vsize=211692 memory=187188 CPUtime=8.31 cores=1,3,5,7
/proc/21818/stat : 21818 (minisat_release) R 21803 21785 16605 0 -1 4202496 143057 0 0 0 817 14 0 0 20 0 1 0 225379039 216772608 46797 33554432000 4194304 4308513 140726218158240 140726218155864 4276392 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 25485312 140726218163316 140726218163414 140726218163414 140726218166213 0
/proc/21818/statm: 52923 46797 342 28 0 49163 0
[pid=21803/tid=21804] ppid=21785 vsize=8068220 memory=7682475212697334586 CPUtime=0.75 cores=1,3,5,7
/proc/21803/task/21804/stat : 21804 (java) S 21785 21785 16605 0 -1 1077944384 15652 0 0 0 71 4 0 0 20 0 19 0 225378966 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832862818192 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21805] ppid=21785 vsize=8068220 memory=-7087961436404378774 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21805/stat : 21805 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225378967 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832895220496 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21806] ppid=21785 vsize=8068220 memory=-6352670693803649130 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21806/stat : 21806 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225378967 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832728599440 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21807] ppid=21785 vsize=8068220 memory=5931639099362926933 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21807/stat : 21807 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225378967 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832374668304 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21808] ppid=21785 vsize=8068220 memory=7451577589550705258 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21808/stat : 21808 (java) S 21785 21785 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225378967 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832373615760 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21809] ppid=21785 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21809/stat : 21809 (java) S 21785 21785 16605 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 225378968 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832337381360 139832890989186 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21810] ppid=21785 vsize=8068220 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21810/stat : 21810 (java) S 21785 21785 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225378969 8261857280 29101 33554432000 4194304 4196468 140720773611216 139831720010656 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21811] ppid=21785 vsize=8068220 memory=13850759267617157 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21811/stat : 21811 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225378969 8261857280 29101 33554432000 4194304 4196468 140720773611216 139831451575280 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21812] ppid=21785 vsize=8068220 memory=6370719275257063784 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21812/stat : 21812 (java) S 21785 21785 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225378971 8261857280 29101 33554432000 4194304 4196468 140720773611216 139831077066960 139832890996635 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21813] ppid=21785 vsize=8068220 memory=6370719275257063784 CPUtime=0.07 cores=1,3,5,7
/proc/21803/task/21813/stat : 21813 (java) S 21785 21785 16605 0 -1 1077944384 671 0 0 0 7 0 0 0 20 0 19 0 225378971 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832336329200 139832890989186 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21814] ppid=21785 vsize=8068220 memory=6296406565455291498 CPUtime=0.09 cores=1,3,5,7
/proc/21803/task/21814/stat : 21814 (java) S 21785 21785 16605 0 -1 1077944384 344 0 0 0 9 0 0 0 20 0 19 0 225378972 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832335276656 139832890989186 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21815] ppid=21785 vsize=8068220 memory=5865755310008526954 CPUtime=0.21 cores=1,3,5,7
/proc/21803/task/21815/stat : 21815 (java) S 21785 21785 16605 0 -1 1077944384 763 0 0 0 21 0 0 0 20 0 19 0 225378972 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832334224112 139832890989186 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21816] ppid=21785 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21816/stat : 21816 (java) S 21785 21785 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225378972 8261857280 29101 33554432000 4194304 4196468 140720773611216 139830579162208 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21817] ppid=21785 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21817/stat : 21817 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225378972 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832333170992 139832890989186 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21819] ppid=21785 vsize=8068220 memory=140159614622256 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21819/stat : 21819 (java) S 21785 21785 16605 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225379039 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832325362752 139832891002649 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21821] ppid=21785 vsize=8068220 memory=-7737621075815361686 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21821/stat : 21821 (java) S 21785 21785 16605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225379039 8261857280 29101 33554432000 4194304 4196468 140720773611216 139830042275472 139832890999965 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21822] ppid=21785 vsize=8068220 memory=7594587674001172330 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21822/stat : 21822 (java) S 21785 21785 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225379040 8261857280 29101 33554432000 4194304 4196468 140720773611216 139830176497424 139832890999965 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21823] ppid=21785 vsize=8068220 memory=7235711618441828208 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21823/stat : 21823 (java) S 21785 21785 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225379042 8261857280 29101 33554432000 4194304 4196468 140720773611216 139829773852192 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
Current children cumulated CPU time: 56.14 s
Current children cumulated vsize: 8393040 KiB
Current children cumulated memory: 305064 KiB
[startup+40.301 s]
/proc/loadavg: 2.34 3.39 3.55 3/227 21823
/proc/meminfo: memFree=23838884/32770624 swapFree=67108860/67108860
[pid=21785] ppid=21782 vsize=113128 memory=1472 CPUtime=46.66 cores=1,3,5,7
/proc/21785/stat : 21785 (scop.sh) S 21782 21785 16605 0 -1 4202496 591 50848 0 0 0 0 4512 154 20 0 1 0 225375851 115843072 368 33554432000 4194304 5098028 140733561133120 140733561129864 140149923734140 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7954432 140733561140288 140733561140487 140733561140487 140733561143245 0
/proc/21785/statm: 28282 368 311 221 0 87 0
[pid=21803] ppid=21785 vsize=8068220 memory=116404 CPUtime=1.17 cores=1,3,5,7
/proc/21803/stat : 21803 (java) S 21785 21785 16605 0 -1 1077944320 18842 0 0 0 111 6 0 0 20 0 19 0 225378965 8261857280 29101 33554432000 4194304 4196468 140720773611216 140720773593760 139832890978039 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
/proc/21803/statm: 2017055 29101 3150 1 0 1978454 0
[pid=21818] ppid=21803 vsize=211692 memory=187188 CPUtime=8.41 cores=1,3,5,7
/proc/21818/stat : 21818 (minisat_release) R 21803 21785 16605 0 -1 4202496 143109 0 0 0 827 14 0 0 20 0 1 0 225379039 216772608 46797 33554432000 4194304 4308513 140726218158240 140726218155864 4275941 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 25485312 140726218163316 140726218163414 140726218163414 140726218166213 0
/proc/21818/statm: 52923 46797 342 28 0 49163 0
[pid=21803/tid=21804] ppid=21785 vsize=8068220 memory=116404 CPUtime=0.75 cores=1,3,5,7
/proc/21803/task/21804/stat : 21804 (java) S 21785 21785 16605 0 -1 1077944384 15652 0 0 0 71 4 0 0 20 0 19 0 225378966 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832862818192 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21805] ppid=21785 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21805/stat : 21805 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225378967 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832895220496 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21806] ppid=21785 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21806/stat : 21806 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225378967 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832728599440 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21807] ppid=21785 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21807/stat : 21807 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225378967 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832374668304 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21808] ppid=21785 vsize=8068220 memory=116404 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21808/stat : 21808 (java) S 21785 21785 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225378967 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832373615760 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21809] ppid=21785 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21809/stat : 21809 (java) S 21785 21785 16605 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 225378968 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832337381360 139832890989186 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21810] ppid=21785 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21810/stat : 21810 (java) S 21785 21785 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225378969 8261857280 29101 33554432000 4194304 4196468 140720773611216 139831720010656 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21811] ppid=21785 vsize=8068220 memory=3712 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21811/stat : 21811 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225378969 8261857280 29101 33554432000 4194304 4196468 140720773611216 139831451575280 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21812] ppid=21785 vsize=8068220 memory=61332 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21812/stat : 21812 (java) S 21785 21785 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225378971 8261857280 29101 33554432000 4194304 4196468 140720773611216 139831077066960 139832890996635 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21813] ppid=21785 vsize=8068220 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/21803/task/21813/stat : 21813 (java) S 21785 21785 16605 0 -1 1077944384 671 0 0 0 7 0 0 0 20 0 19 0 225378971 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832336329200 139832890989186 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21814] ppid=21785 vsize=8068220 memory=7666081381380286312 CPUtime=0.09 cores=1,3,5,7
/proc/21803/task/21814/stat : 21814 (java) S 21785 21785 16605 0 -1 1077944384 344 0 0 0 9 0 0 0 20 0 19 0 225378972 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832335276656 139832890989186 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21815] ppid=21785 vsize=8068220 memory=1064 CPUtime=0.21 cores=1,3,5,7
/proc/21803/task/21815/stat : 21815 (java) S 21785 21785 16605 0 -1 1077944384 763 0 0 0 21 0 0 0 20 0 19 0 225378972 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832334224112 139832890989186 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21816] ppid=21785 vsize=8068220 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21816/stat : 21816 (java) S 21785 21785 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225378972 8261857280 29101 33554432000 4194304 4196468 140720773611216 139830579162208 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21817] ppid=21785 vsize=8068220 memory=187188 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21817/stat : 21817 (java) S 21785 21785 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225378972 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832333170992 139832890989186 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21819] ppid=21785 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21819/stat : 21819 (java) S 21785 21785 16605 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225379039 8261857280 29101 33554432000 4194304 4196468 140720773611216 139832325362752 139832891002649 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21821] ppid=21785 vsize=8068220 memory=116404 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21821/stat : 21821 (java) S 21785 21785 16605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225379039 8261857280 29101 33554432000 4194304 4196468 140720773611216 139830042275472 139832890999965 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21822] ppid=21785 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21822/stat : 21822 (java) S 21785 21785 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225379040 8261857280 29101 33554432000 4194304 4196468 140720773611216 139830176497424 139832890999965 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
[pid=21803/tid=21823] ppid=21785 vsize=8068220 memory=116404 CPUtime=0 cores=1,3,5,7
/proc/21803/task/21823/stat : 21823 (java) S 21785 21785 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225379042 8261857280 29101 33554432000 4194304 4196468 140720773611216 139829773852192 139832890988245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11563008 140720773612725 140720773612849 140720773612849 140720773615567 0
Current children cumulated CPU time: 56.24 s
Current children cumulated vsize: 8393040 KiB
Current children cumulated memory: 305064 KiB
Child status: 0
Real time (s): 40.3756
CPU time (s): 56.3535
CPU user time (s): 54.5769
CPU system time (s): 1.7766
CPU usage (%): 139.573
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3744468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.5769
system time used= 1.7766
maximum resident set size= 3743156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213455
page faults= 0
swaps= 0
block input operations= 0
block output operations= 82360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7819
involuntary context switches= 123
# summary of solver processes directly reported to runsolver:
# pid: 21785
# total CPU time (s): 56.3535
# total CPU user time (s): 54.5769
# total CPU system time (s): 1.7766
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.284897 second user time and 0.466626 second system time
The end