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-21872-serial-file.bin HOME/instance-4305458-1534078632.xml
0.66/0.52
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 14:57:12 CEST 2018
0.66/0.54 c PID: 21875
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
1.60/0.94 c (0,0) Parsing End
1.60/0.95 c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 173 ctr, max domain size 128
1.60/0.95 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.60/0.95 c (0,0) Constraint Name Generate Begin
1.60/0.96 c (0,0) Ctr:HOME/instance-4305458-1534078632.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar
1.60/0.96 c (0,0) Constraint Name Generate End
1.60/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.60/0.96 c (0,0) CSP to CSPinCNF Begin
8.92/3.54 c (3,2) translated 18 (10%) constraints
10.58/5.03 c (4,4) translated 35 (20%) constraints
12.23/6.51 c (5,5) translated 52 (30%) constraints
14.44/8.21 c (7,7) translated 70 (40%) constraints
15.78/9.57 c (9,8) translated 87 (50%) constraints
17.25/10.92 c (10,10) translated 104 (60%) constraints
18.07/11.72 c (11,11) translated 122 (70%) constraints
18.07/11.73 c (11,11) translated 139 (80%) constraints
18.07/11.73 c (11,11) translated 156 (90%) constraints
18.07/11.74 c (11,11) translated 173 (100%) constraints
19.95/12.53 c (12,11) STATISTICS1:HOME/instance-4305458-1534078632.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,14400,242914,128,128,129,2,128:2016,128:456832;2:255024,129:112;64:2;3:211792;2:31008,2:2016;1:707824;0:112,
19.95/12.53 c (12,11) ==========================================
19.95/12.53 c (12,11) Order
19.95/12.53 c (12,11) ==========================================
21.50/13.05 c (12,12) translated 24292 (10%) constraints
22.67/13.55 c (13,12) translated 48583 (20%) constraints
23.01/13.84 c (13,12) translated 72875 (30%) constraints
23.32/14.11 c (13,13) translated 97166 (40%) constraints
23.52/14.39 c (13,13) translated 121457 (50%) constraints
23.82/14.66 c (14,13) translated 145749 (60%) constraints
24.15/14.93 c (14,14) translated 170040 (70%) constraints
24.45/15.21 c (14,14) translated 194332 (80%) constraints
24.65/15.48 c (14,14) translated 218623 (90%) constraints
24.96/15.76 c (15,14) translated 242914 (100%) constraints
24.96/15.76 c (15,14) CSP to CSPinCNF End
24.96/15.77 c (15,14) CSP: 64 int (0 aux), 14336 bool (14336 aux), 242914 ctr, max domain size 128
24.96/15.77 c (15,14) Heap : 1279 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
24.96/15.77 c (15,14) CSPinCNF Propagation Begin
26.48/16.85 c (16,15) 0 values, 112 unsatisfiable literals, and 0 valid clauses are removed
26.48/16.85 c (16,15) CSPinCNF Propagation End
26.48/16.86 c (16,15) CSP: 64 int (0 aux), 14336 bool (14336 aux), 242914 ctr, max domain size 128
26.48/16.86 c (16,15) Heap : 2453 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
26.48/16.86 c (16,15) Simplify CSPinCNF Begin
27.22/17.29 c (16,16) Simplify CSPinCNF End
27.22/17.29 c (16,16) CSP: 64 int (0 aux), 18368 bool (18368 aux), 246946 ctr, max domain size 128
27.22/17.29 c (16,16) Heap : 2618 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
27.22/17.29 c (16,16) Calculate Precise Domain Begin
27.22/17.29 c (16,16) 0 values are removed by re-calculation
27.22/17.29 c (16,16) Calculate Precise Domain End
27.22/17.29 c (16,16) CSP: 64 int (0 aux), 18368 bool (18368 aux), 246946 ctr, max domain size 128
27.22/17.29 c (16,16) Heap : 2618 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
27.22/17.29 c (16,16) CSPinCNF to SatSolver Begin
30.49/18.91 c (18,17) 24695 (10 %) CSP clauses are encoded (26496 SAT variables, 544822 SAT clauses)
30.64/19.02 c (18,17) 49390 (20 %) CSP clauses are encoded (26496 SAT variables, 569517 SAT clauses)
30.75/19.12 c (18,17) 74084 (30 %) CSP clauses are encoded (26496 SAT variables, 594211 SAT clauses)
30.84/19.23 c (18,18) 98779 (40 %) CSP clauses are encoded (26496 SAT variables, 618906 SAT clauses)
30.95/19.34 c (18,18) 123473 (50 %) CSP clauses are encoded (26496 SAT variables, 643600 SAT clauses)
31.05/19.45 c (18,18) 148168 (60 %) CSP clauses are encoded (26496 SAT variables, 668295 SAT clauses)
31.15/19.55 c (19,18) 172863 (70 %) CSP clauses are encoded (26496 SAT variables, 692990 SAT clauses)
31.25/19.66 c (19,18) 197557 (80 %) CSP clauses are encoded (26496 SAT variables, 717684 SAT clauses)
31.35/19.77 c (19,18) 222252 (90 %) CSP clauses are encoded (26496 SAT variables, 742379 SAT clauses)
31.44/19.87 c (19,18) 246946 (100 %) CSP clauses are encoded (26496 SAT variables, 767073 SAT clauses)
31.44/19.87 c (19,18) Launch Command will be: minisat_release
31.44/19.87 c (19,18) CSPinCNF to SatSolver End
31.44/19.87 c (19,18) Heap : 2126 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
32.26/20.39 c (19,19) STATISTICS2:HOME/instance-4305458-1534078632.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,18432,246946,128,128,128,2,128:4032,128:460864;2:263088,128:112;64:2;3:211792;2:35040,2:4032;1:715888,
32.26/20.39 c (19,19) 26496 bool, 767074 clause
32.26/20.39 c (19,19) Export Begin
32.36/20.48 c (19,19) Export to HOME/scop-21872-serial-file.bin
32.36/20.48 c (19,19) Export End
32.36/20.48 c (19,19) Export File Size: 0.01 MB
32.36/20.48 c (19,19) 0,0,15,16,16,16,19,STOP-AFTER(DIMACS)
32.36/20.48 c END-Prog: Sun Aug 12 14:57:32 CEST 2018
0.00/20.50 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-21872-serial-file.bin
32.55/20.99 c (0,0) Read Serial File Begin
32.55/20.99 c (0,0) HOME/scop-21872-serial-file.bin
33.37/21.16 c (0,0) Read Serial File End
33.37/21.17
33.37/21.17 scop order+minisat_release (2018-07-31)
33.37/21.17 (Solving Process)
33.37/21.17
33.37/21.19 c BEGIN-Prog: Sun Aug 12 14:57:33 CEST 2018
33.37/21.19 c PID: 21890
33.37/21.19 c IP: 172.20.3.139
33.37/21.19 c HOST: node139.alineos.net
33.50/21.20 c (0,0) SatSolver.solve Begin
33.50/21.20 c (0,0) 0 bool, 0 clause
33.50/21.20 c (0,0) minisat_release HOME/instance-4305458-1534078632.xml-scop-21875.cnf
2130.33/2116.72 c (2095,0) c This is COMiniSatPS.
2130.33/2116.72 c (2095,0) c WARNING: for repeatability, setting FPU to use double precision
2130.33/2116.72 c (2095,0) c ============================[ Problem Statistics ]=============================
2130.33/2116.72 c (2095,0) c | |
2130.33/2116.72 c (2095,0) c | Number of variables: 26496 |
2130.33/2116.72 c (2095,0) c | Number of clauses: 767074 |
2130.33/2116.72 c (2095,0) c | Parse time: 0.19 s |
2130.33/2116.72 c (2095,0) c | Eliminated clauses: 0.04 Mb |
2130.33/2116.72 c (2095,0) c Reduced to 24480 vars, 764518 cls (grow=0)
2130.33/2116.72 c (2095,0) c No iterative elimination performed. (vars=24480, c/v ratio=31.2)
2130.33/2116.72 c (2095,0) c | Simplification time: 1.87 s |
2130.33/2116.72 c (2095,0) c | |
2130.33/2116.72 c (2095,0) c ============================[ Search Statistics ]==============================
2130.33/2116.72 c (2095,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2130.33/2116.72 c (2095,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2130.33/2116.72 c (2095,0) c ===============================================================================
2130.33/2116.72 c (2095,0) c ===============================================================================
2130.33/2116.72 c (2095,0) c restarts : 8212
2130.33/2116.72 c (2095,0) c conflicts : 5058423 (2415 /sec)
2130.33/2116.72 c (2095,0) c decisions : 5983946 (0.00 % random) (2857 /sec)
2130.33/2116.72 c (2095,0) c propagations : 5538962249 (2644382 /sec)
2130.33/2116.72 c (2095,0) c conflict literals : 389827233 (56.11 % deleted)
2130.33/2116.72 c (2095,0) c CPU time : 2094.61 s
2130.33/2116.72 c (2095,0)
2130.33/2116.72 c (2095,0) s UNSATISFIABLE
2130.33/2116.72 c (2095,0) SatSolver.solve End
2130.33/2116.72 c (2095,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
2130.33/2116.72 c (2095,0) Show results Begin
2130.33/2116.72 s UNSATISFIABLE
2130.33/2116.72 c (2095,0) Show results End
2130.33/2116.72 c (2095,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
2130.33/2116.73 c (2095,0) 2095,2095,STOP-AFTER(ALL)
2130.33/2116.73 c END-Prog: Sun Aug 12 15:32:28 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 (5563 MiB free)
memory of node 1: 16384 MiB (7048 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305458-1534078632/watcher-4305458-1534078632 -o /tmp/evaluation-result-4305458-1534078632/solver-4305458-1534078632 -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-4305458-1534078632.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=21872, runsolver pid=21869
Current StackSize limit: 8192 KiB
[startup+0.100153 s]*
/proc/loadavg: 2.00 2.24 2.55 3/222 21889
/proc/meminfo: memFree=12854268/32770624 swapFree=67108860/67108860
[pid=21872] ppid=21869 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21872/stat : 21872 (scop.sh) S 21869 21872 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225426332 115843072 348 33554432000 4194304 5098028 140736746986640 140736746983896 139948130140796 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34267136 140736746988608 140736746988807 140736746988807 140736746991565 0
/proc/21872/statm: 28282 348 296 221 0 87 0
[pid=21875] ppid=21872 vsize=15012476 memory=72316 CPUtime=0.11 cores=1,3,5,7
/proc/21875/stat : 21875 (java) S 21872 21872 16770 0 -1 1077944320 6711 0 0 0 10 1 0 0 20 0 15 0 225426332 15372775424 18079 33554432000 4194304 4196468 140726058369856 140726058352400 139691564543735 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
/proc/21875/statm: 3753119 18079 2770 1 0 3715579 0
[pid=21875/tid=21876] ppid=21872 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=1,3,5,7
/proc/21875/task/21876/stat : 21876 (java) R 21872 21872 16770 0 -1 4202560 4791 0 0 0 8 1 0 0 20 0 15 0 225426333 15372775424 18079 33554432000 4194304 4196468 140726058369856 139691536355720 139691546107321 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21877] ppid=21872 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21877/stat : 21877 (java) S 21872 21872 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225426334 15372775424 18079 33554432000 4194304 4196468 140726058369856 139691568786192 139691564553941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21878] ppid=21872 vsize=15012476 memory=139758526523008 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21878/stat : 21878 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225426334 15372775424 18079 33554432000 4194304 4196468 140726058369856 139691025496976 139691564553941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21879] ppid=21872 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21879/stat : 21879 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225426334 15372775424 18079 33554432000 4194304 4196468 140726058369856 139691024444432 139691564553941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21880] ppid=21872 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21880/stat : 21880 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225426334 15372775424 18079 33554432000 4194304 4196468 140726058369856 139691023391888 139691564553941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21881] ppid=21872 vsize=15012476 memory=139758526523008 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21881/stat : 21881 (java) S 21872 21872 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225426336 15372775424 18079 33554432000 4194304 4196468 140726058369856 139690602129392 139691564554882 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21882] ppid=21872 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21882/stat : 21882 (java) S 21872 21872 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225426336 15372775424 18079 33554432000 4194304 4196468 140726058369856 139690120307616 139691564553941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21883] ppid=21872 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21883/stat : 21883 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225426336 15372775424 18079 33554432000 4194304 4196468 140726058369856 139689851872240 139691564553941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21884] ppid=21872 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21884/stat : 21884 (java) S 21872 21872 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225426339 15372775424 18079 33554432000 4194304 4196468 140726058369856 139689477363920 139691564562331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21885] ppid=21872 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21885/stat : 21885 (java) S 21872 21872 16770 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 225426339 15372775424 18079 33554432000 4194304 4196468 140726058369856 139690601077232 139691564554882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21886] ppid=21872 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21886/stat : 21886 (java) S 21872 21872 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225426339 15372775424 18079 33554432000 4194304 4196468 140726058369856 139690600024688 139691564554882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21887] ppid=21872 vsize=15012476 memory=139758526523008 CPUtime=0.01 cores=1,3,5,7
/proc/21875/task/21887/stat : 21887 (java) S 21872 21872 16770 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 225426339 15372775424 18079 33554432000 4194304 4196468 140726058369856 139690598972144 139691564554882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21888] ppid=21872 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21888/stat : 21888 (java) S 21872 21872 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225426339 15372775424 18145 33554432000 4194304 4196468 140726058369856 139688979459168 139691564553941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21889] ppid=21872 vsize=15012476 memory=139758526523008 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21889/stat : 21889 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225426339 15372775424 18145 33554432000 4194304 4196468 140726058369856 139690597919024 139691564554882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73708 KiB
[startup+0.210658 s]*
/proc/loadavg: 2.00 2.24 2.55 4/222 21889
/proc/meminfo: memFree=12840316/32770624 swapFree=67108860/67108860
[pid=21872] ppid=21869 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21872/stat : 21872 (scop.sh) S 21869 21872 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225426332 115843072 348 33554432000 4194304 5098028 140736746986640 140736746983896 139948130140796 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34267136 140736746988608 140736746988807 140736746988807 140736746991565 0
/proc/21872/statm: 28282 348 296 221 0 87 0
[pid=21875] ppid=21872 vsize=15012476 memory=85616 CPUtime=0.25 cores=1,3,5,7
/proc/21875/stat : 21875 (java) S 21872 21872 16770 0 -1 1077944320 10314 0 0 0 23 2 0 0 20 0 15 0 225426332 15372775424 21404 33554432000 4194304 4196468 140726058369856 140726058352400 139691564543735 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
/proc/21875/statm: 3753119 21404 2904 1 0 3715579 0
[pid=21875/tid=21876] ppid=21872 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/21875/task/21876/stat : 21876 (java) R 21872 21872 16770 0 -1 4202560 8212 0 0 0 18 2 0 0 20 0 15 0 225426333 15372775424 21404 33554432000 4194304 4196468 140726058369856 139691536371392 139691564555670 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21877] ppid=21872 vsize=15012476 memory=365 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21877/stat : 21877 (java) S 21872 21872 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225426334 15372775424 21404 33554432000 4194304 4196468 140726058369856 139691568786192 139691564553941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21878] ppid=21872 vsize=15012476 memory=139758527725660 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21878/stat : 21878 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225426334 15372775424 21404 33554432000 4194304 4196468 140726058369856 139691025496976 139691564553941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21879] ppid=21872 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21879/stat : 21879 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225426334 15372775424 21404 33554432000 4194304 4196468 140726058369856 139691024444432 139691564553941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21880] ppid=21872 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21880/stat : 21880 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225426334 15372775424 21404 33554432000 4194304 4196468 140726058369856 139691023391888 139691564553941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21881] ppid=21872 vsize=15012476 memory=139758526523008 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21881/stat : 21881 (java) S 21872 21872 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225426336 15372775424 21404 33554432000 4194304 4196468 140726058369856 139690602129392 139691564554882 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21882] ppid=21872 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21882/stat : 21882 (java) S 21872 21872 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225426336 15372775424 21404 33554432000 4194304 4196468 140726058369856 139690120307616 139691564553941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21883] ppid=21872 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21883/stat : 21883 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225426336 15372775424 21404 33554432000 4194304 4196468 140726058369856 139689851872240 139691564553941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21884] ppid=21872 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21884/stat : 21884 (java) S 21872 21872 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225426339 15372775424 21404 33554432000 4194304 4196468 140726058369856 139689477363920 139691564562331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21885] ppid=21872 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21885/stat : 21885 (java) S 21872 21872 16770 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 225426339 15372775424 21404 33554432000 4194304 4196468 140726058369856 139690601077232 139691564554882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21886] ppid=21872 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21886/stat : 21886 (java) S 21872 21872 16770 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 225426339 15372775424 21404 33554432000 4194304 4196468 140726058369856 139690600024688 139691564554882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21887] ppid=21872 vsize=15012476 memory=139758526523008 CPUtime=0.03 cores=1,3,5,7
/proc/21875/task/21887/stat : 21887 (java) R 21872 21872 16770 0 -1 4202560 299 0 0 0 3 0 0 0 20 0 15 0 225426339 15372775424 21404 33554432000 4194304 4196468 140726058369856 139690598972144 139691543083524 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21888] ppid=21872 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21888/stat : 21888 (java) S 21872 21872 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225426339 15372775424 21404 33554432000 4194304 4196468 140726058369856 139688979459168 139691564553941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21889] ppid=21872 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21889/stat : 21889 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225426339 15372775424 21404 33554432000 4194304 4196468 140726058369856 139690597919024 139691564554882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87008 KiB
[startup+0.31072 s]*
/proc/loadavg: 2.00 2.24 2.55 3/222 21889
/proc/meminfo: memFree=12836904/32770624 swapFree=67108860/67108860
[pid=21872] ppid=21869 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21872/stat : 21872 (scop.sh) S 21869 21872 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225426332 115843072 348 33554432000 4194304 5098028 140736746986640 140736746983896 139948130140796 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34267136 140736746988608 140736746988807 140736746988807 140736746991565 0
/proc/21872/statm: 28282 348 296 221 0 87 0
[pid=21875] ppid=21872 vsize=15012476 memory=89812 CPUtime=0.43 cores=1,3,5,7
/proc/21875/stat : 21875 (java) S 21872 21872 16770 0 -1 1077944320 10917 0 0 0 40 3 0 0 20 0 15 0 225426332 15372775424 22453 33554432000 4194304 4196468 140726058369856 140726058352400 139691564543735 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
/proc/21875/statm: 3753119 22453 2972 1 0 3715579 0
[pid=21875/tid=21876] ppid=21872 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/21875/task/21876/stat : 21876 (java) R 21872 21872 16770 0 -1 4202560 8645 0 0 0 28 2 0 0 20 0 15 0 225426333 15372775424 22453 33554432000 4194304 4196468 140726058369856 139691536338736 139691548587365 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21877] ppid=21872 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21877/stat : 21877 (java) S 21872 21872 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225426334 15372775424 22453 33554432000 4194304 4196468 140726058369856 139691568786192 139691564553941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21878] ppid=21872 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21878/stat : 21878 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225426334 15372775424 22453 33554432000 4194304 4196468 140726058369856 139691025496976 139691564553941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21879] ppid=21872 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21879/stat : 21879 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225426334 15372775424 22453 33554432000 4194304 4196468 140726058369856 139691024444432 139691564553941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21880] ppid=21872 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21880/stat : 21880 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225426334 15372775424 22453 33554432000 4194304 4196468 140726058369856 139691023391888 139691564553941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21881] ppid=21872 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21881/stat : 21881 (java) S 21872 21872 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225426336 15372775424 22453 33554432000 4194304 4196468 140726058369856 139690602129392 139691564554882 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21882] ppid=21872 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21882/stat : 21882 (java) S 21872 21872 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225426336 15372775424 22453 33554432000 4194304 4196468 140726058369856 139690120307616 139691564553941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21883] ppid=21872 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21883/stat : 21883 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225426336 15372775424 22453 33554432000 4194304 4196468 140726058369856 139689851872240 139691564553941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21884] ppid=21872 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21884/stat : 21884 (java) S 21872 21872 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225426339 15372775424 22453 33554432000 4194304 4196468 140726058369856 139689477363920 139691564562331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21885] ppid=21872 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21875/task/21885/stat : 21885 (java) R 21872 21872 16770 0 -1 1077944384 435 0 0 0 3 0 0 0 20 0 15 0 225426339 15372775424 22453 33554432000 4194304 4196468 140726058369856 139690601077232 139691564554882 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21886] ppid=21872 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21875/task/21886/stat : 21886 (java) R 21872 21872 16770 0 -1 4202560 164 0 0 0 1 0 0 0 20 0 15 0 225426339 15372775424 22453 33554432000 4194304 4196468 140726058369856 139690600024688 139691557528777 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21887] ppid=21872 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21875/task/21887/stat : 21887 (java) R 21872 21872 16770 0 -1 4202560 344 0 0 0 7 0 0 0 20 0 15 0 225426339 15372775424 22453 33554432000 4194304 4196468 140726058369856 139690598972144 139691564555670 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21888] ppid=21872 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21888/stat : 21888 (java) S 21872 21872 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225426339 15372775424 22453 33554432000 4194304 4196468 140726058369856 139688979459168 139691564553941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21889] ppid=21872 vsize=15012476 memory=3977302101095161905 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21889/stat : 21889 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225426339 15372775424 22453 33554432000 4194304 4196468 140726058369856 139690597919024 139691564554882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91204 KiB
[startup+0.702831 s]
/proc/loadavg: 2.00 2.24 2.55 3/222 21889
/proc/meminfo: memFree=12812288/32770624 swapFree=67108860/67108860
[pid=21872] ppid=21869 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21872/stat : 21872 (scop.sh) S 21869 21872 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225426332 115843072 348 33554432000 4194304 5098028 140736746986640 140736746983896 139948130140796 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34267136 140736746988608 140736746988807 140736746988807 140736746991565 0
/proc/21872/statm: 28282 348 296 221 0 87 0
[pid=21875] ppid=21872 vsize=15020872 memory=129624 CPUtime=1.02 cores=1,3,5,7
/proc/21875/stat : 21875 (java) S 21872 21872 16770 0 -1 1077944320 18068 0 0 0 97 5 0 0 20 0 15 0 225426332 15381372928 32406 33554432000 4194304 4196468 140726058369856 140726058352400 139691564543735 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
/proc/21875/statm: 3755218 32406 3147 1 0 3716603 0
[pid=21875/tid=21876] ppid=21872 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/21875/task/21876/stat : 21876 (java) R 21872 21872 16770 0 -1 4202560 15395 0 0 0 64 3 0 0 20 0 15 0 225426333 15381372928 32406 33554432000 4194304 4196468 140726058369856 139691536379536 139691557640571 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21877] ppid=21872 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21877/stat : 21877 (java) S 21872 21872 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225426334 15381372928 32406 33554432000 4194304 4196468 140726058369856 139691568786192 139691564553941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21878] ppid=21872 vsize=15020872 memory=61164 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21878/stat : 21878 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225426334 15381372928 32406 33554432000 4194304 4196468 140726058369856 139691025496976 139691564553941 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21879] ppid=21872 vsize=15020872 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21879/stat : 21879 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225426334 15381372928 32406 33554432000 4194304 4196468 140726058369856 139691024444432 139691564553941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21880] ppid=21872 vsize=15020872 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21880/stat : 21880 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225426334 15381372928 32406 33554432000 4194304 4196468 140726058369856 139691023391888 139691564553941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21881] ppid=21872 vsize=15020872 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21881/stat : 21881 (java) S 21872 21872 16770 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 225426336 15381372928 32406 33554432000 4194304 4196468 140726058369856 139690602129392 139691564554882 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21882] ppid=21872 vsize=15020872 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21882/stat : 21882 (java) S 21872 21872 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225426336 15381372928 32406 33554432000 4194304 4196468 140726058369856 139690120307616 139691564553941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21883] ppid=21872 vsize=15020872 memory=796 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21883/stat : 21883 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225426336 15381372928 32406 33554432000 4194304 4196468 140726058369856 139689851872240 139691564553941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21884] ppid=21872 vsize=15020872 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21884/stat : 21884 (java) S 21872 21872 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225426339 15381372928 32406 33554432000 4194304 4196468 140726058369856 139689477363920 139691564562331 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21885] ppid=21872 vsize=15020872 memory=876 CPUtime=0.09 cores=1,3,5,7
/proc/21875/task/21885/stat : 21885 (java) R 21872 21872 16770 0 -1 4202560 639 0 0 0 9 0 0 0 20 0 15 0 225426339 15381372928 32406 33554432000 4194304 4196468 140726058369856 139690601067616 139691544207344 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21886] ppid=21872 vsize=15020872 memory=10096 CPUtime=0.06 cores=1,3,5,7
/proc/21875/task/21886/stat : 21886 (java) R 21872 21872 16770 0 -1 4202560 268 0 0 0 6 0 0 0 20 0 15 0 225426339 15381372928 32406 33554432000 4194304 4196468 140726058369856 139690600005704 139691542138753 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21887] ppid=21872 vsize=15020872 memory=1228 CPUtime=0.16 cores=1,3,5,7
/proc/21875/task/21887/stat : 21887 (java) S 21872 21872 16770 0 -1 1077944384 432 0 0 0 16 0 0 0 20 0 15 0 225426339 15381372928 32406 33554432000 4194304 4196468 140726058369856 139690598972144 139691564554882 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21888] ppid=21872 vsize=15020872 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21888/stat : 21888 (java) S 21872 21872 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225426339 15381372928 32406 33554432000 4194304 4196468 140726058369856 139688979459168 139691564553941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
[pid=21875/tid=21889] ppid=21872 vsize=15020872 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/21875/task/21889/stat : 21889 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225426339 15381372928 32406 33554432000 4194304 4196468 140726058369856 139690597919024 139691564554882 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33505280 140726058378246 140726058378545 140726058378545 140726058381263 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131016 KiB
[startup+1.50979 s]
/proc/loadavg: 2.00 2.24 2.55 4/222 21889
/proc/meminfo: memFree=12780476/32770624 swapFree=67108860/67108860
[pid=21872] ppid=21869 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21872/stat : 21872 (scop.sh) S 21869 21872 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225426332 115843072 348 33554432000 4194304 5098028 140736746986640 140736746983896 139948130140796 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34267136 140736746988608 140736746988807 140736746988807 140736746991565 0
/proc/21872/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 2129.64 s
Current children cumulated vsize: 8311116 KiB
Current children cumulated memory: 230344 KiB
[startup+2116.4 s]
/proc/loadavg: 2.13 2.05 2.11 3/228 22100
/proc/meminfo: memFree=12670520/32770624 swapFree=67108860/67108860
[pid=21872] ppid=21869 vsize=113128 memory=1468 CPUtime=32.55 cores=1,3,5,7
/proc/21872/stat : 21872 (scop.sh) S 21869 21872 16770 0 -1 4202496 590 47934 0 0 0 0 3148 107 20 0 1 0 225426332 115843072 367 33554432000 4194304 5098028 140736746986640 140736746983384 139948130140796 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34267136 140736746988608 140736746988807 140736746988807 140736746991565 0
/proc/21872/statm: 28282 367 311 221 0 87 0
[pid=21890] ppid=21872 vsize=8068220 memory=116948 CPUtime=2.35 cores=1,3,5,7
/proc/21890/stat : 21890 (java) S 21872 21872 16770 0 -1 1077944320 17605 0 0 0 164 71 0 0 20 0 19 0 225428383 8261857280 29237 33554432000 4194304 4196468 140728192186672 140728192169216 139764263460599 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
/proc/21890/statm: 2017055 29237 3155 1 0 1978454 0
[pid=21905] ppid=21890 vsize=129768 memory=111928 CPUtime=2095.13 cores=1,3,5,7
/proc/21905/stat : 21905 (minisat_release) R 21890 21872 16770 0 -1 4202496 565855 0 0 0 209429 84 0 0 20 0 1 0 225428454 132882432 27982 33554432000 4194304 4308513 140736657069120 140736657066568 4276025 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 34738176 140736657077364 140736657077462 140736657077462 140736657080261 0
/proc/21905/statm: 32442 27982 342 28 0 28682 0
[pid=21890/tid=21891] ppid=21872 vsize=8068220 memory=15880 CPUtime=0.74 cores=1,3,5,7
/proc/21890/task/21891/stat : 21891 (java) S 21872 21872 16770 0 -1 1077944384 14528 0 0 0 69 5 0 0 20 0 19 0 225428383 8261857280 29237 33554432000 4194304 4196468 140728192186672 139764235300752 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21892] ppid=21872 vsize=8068220 memory=16228 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21892/stat : 21892 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225428384 8261857280 29237 33554432000 4194304 4196468 140728192186672 139764267703184 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21893] ppid=21872 vsize=8068220 memory=34052 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225428384 8261857280 29237 33554432000 4194304 4196468 140728192186672 139764076264208 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21894] ppid=21872 vsize=8068220 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225428384 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763747118224 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21895] ppid=21872 vsize=8068220 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (java) S 21872 21872 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225428384 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763746065424 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21896] ppid=21872 vsize=8068220 memory=164 CPUtime=0.04 cores=1,3,5,7
/proc/21890/task/21896/stat : 21896 (java) S 21872 21872 16770 0 -1 1077944384 7 0 0 0 1 3 0 0 20 0 19 0 225428386 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763642591344 139764263471746 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21897] ppid=21872 vsize=8068220 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21897/stat : 21897 (java) S 21872 21872 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225428386 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763134751520 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21898] ppid=21872 vsize=8068220 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21898/stat : 21898 (java) S 21872 21872 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225428386 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763000530032 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21899] ppid=21872 vsize=8068220 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21899/stat : 21899 (java) S 21872 21872 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225428389 8261857280 29237 33554432000 4194304 4196468 140728192186672 139762626025552 139764263479195 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21900] ppid=21872 vsize=8068220 memory=6944656592455360604 CPUtime=0.1 cores=1,3,5,7
/proc/21890/task/21900/stat : 21900 (java) S 21872 21872 16770 0 -1 1077944384 602 0 0 0 10 0 0 0 20 0 19 0 225428389 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763641539184 139764263471746 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21901] ppid=21872 vsize=8068220 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/21890/task/21901/stat : 21901 (java) S 21872 21872 16770 0 -1 1077944384 362 0 0 0 7 0 0 0 20 0 19 0 225428389 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763640486384 139764263471746 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21902] ppid=21872 vsize=8068220 memory=6944656592455360604 CPUtime=0.21 cores=1,3,5,7
/proc/21890/task/21902/stat : 21902 (java) S 21872 21872 16770 0 -1 1077944384 553 0 0 0 20 1 0 0 20 0 19 0 225428389 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763639434096 139764263471746 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21903] ppid=21872 vsize=8068220 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21903/stat : 21903 (java) S 21872 21872 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225428389 8261857280 29237 33554432000 4194304 4196468 140728192186672 139762128120800 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21904] ppid=21872 vsize=8068220 memory=6944656592387989600 CPUtime=1.14 cores=1,3,5,7
/proc/21890/task/21904/stat : 21904 (java) S 21872 21872 16770 0 -1 1077944384 143 0 0 0 50 64 0 0 20 0 19 0 225428389 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763638380976 139764263471746 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21906] ppid=21872 vsize=8068220 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21906/stat : 21906 (java) S 21872 21872 16770 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225428455 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763630572480 139764263485209 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21908] ppid=21872 vsize=8068220 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21908/stat : 21908 (java) S 21872 21872 16770 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225428455 8261857280 29237 33554432000 4194304 4196468 140728192186672 139761591234064 139764263482525 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21909] ppid=21872 vsize=8068220 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21909/stat : 21909 (java) S 21872 21872 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 225428455 8261857280 29237 33554432000 4194304 4196468 140728192186672 139761322803088 139764263482525 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21910] ppid=21872 vsize=8068220 memory=7679373425970869011 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21910/stat : 21910 (java) S 21872 21872 16770 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 225428457 8261857280 29237 33554432000 4194304 4196468 140728192186672 139761725463968 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
Current children cumulated CPU time: 2130.03 s
Current children cumulated vsize: 8311116 KiB
Current children cumulated memory: 230344 KiB
[startup+2116.6 s]
/proc/loadavg: 2.13 2.05 2.11 3/228 22100
/proc/meminfo: memFree=12670520/32770624 swapFree=67108860/67108860
[pid=21872] ppid=21869 vsize=113128 memory=1468 CPUtime=32.55 cores=1,3,5,7
/proc/21872/stat : 21872 (scop.sh) S 21869 21872 16770 0 -1 4202496 590 47934 0 0 0 0 3148 107 20 0 1 0 225426332 115843072 367 33554432000 4194304 5098028 140736746986640 140736746983384 139948130140796 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34267136 140736746988608 140736746988807 140736746988807 140736746991565 0
/proc/21872/statm: 28282 367 311 221 0 87 0
[pid=21890] ppid=21872 vsize=8068220 memory=116948 CPUtime=2.35 cores=1,3,5,7
/proc/21890/stat : 21890 (java) S 21872 21872 16770 0 -1 1077944320 17605 0 0 0 164 71 0 0 20 0 19 0 225428383 8261857280 29237 33554432000 4194304 4196468 140728192186672 140728192169216 139764263460599 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
/proc/21890/statm: 2017055 29237 3155 1 0 1978454 0
[pid=21905] ppid=21890 vsize=129768 memory=111928 CPUtime=2095.33 cores=1,3,5,7
/proc/21905/stat : 21905 (minisat_release) R 21890 21872 16770 0 -1 4202496 565855 0 0 0 209449 84 0 0 20 0 1 0 225428454 132882432 27982 33554432000 4194304 4308513 140736657069120 140736657066568 4276008 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 34738176 140736657077364 140736657077462 140736657077462 140736657080261 0
/proc/21905/statm: 32442 27982 342 28 0 28682 0
[pid=21890/tid=21891] ppid=21872 vsize=8068220 memory=7165334112528525412 CPUtime=0.74 cores=1,3,5,7
/proc/21890/task/21891/stat : 21891 (java) S 21872 21872 16770 0 -1 1077944384 14528 0 0 0 69 5 0 0 20 0 19 0 225428383 8261857280 29237 33554432000 4194304 4196468 140728192186672 139764235300752 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21892] ppid=21872 vsize=8068220 memory=6299241081080998250 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21892/stat : 21892 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225428384 8261857280 29237 33554432000 4194304 4196468 140728192186672 139764267703184 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21893] ppid=21872 vsize=8068220 memory=5859861966607116139 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225428384 8261857280 29237 33554432000 4194304 4196468 140728192186672 139764076264208 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21894] ppid=21872 vsize=8068220 memory=7667497561383256160 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225428384 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763747118224 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21895] ppid=21872 vsize=8068220 memory=7524503900901105746 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (java) S 21872 21872 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225428384 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763746065424 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21896] ppid=21872 vsize=8068220 memory=-8813974798734826869 CPUtime=0.04 cores=1,3,5,7
/proc/21890/task/21896/stat : 21896 (java) S 21872 21872 16770 0 -1 1077944384 7 0 0 0 1 3 0 0 20 0 19 0 225428386 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763642591344 139764263471746 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21897] ppid=21872 vsize=8068220 memory=7156341215534670695 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21897/stat : 21897 (java) S 21872 21872 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225428386 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763134751520 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21898] ppid=21872 vsize=8068220 memory=7884509266453753447 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21898/stat : 21898 (java) S 21872 21872 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225428386 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763000530032 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21899] ppid=21872 vsize=8068220 memory=7522531359125432418 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21899/stat : 21899 (java) S 21872 21872 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225428389 8261857280 29237 33554432000 4194304 4196468 140728192186672 139762626025552 139764263479195 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21900] ppid=21872 vsize=8068220 memory=6080537235985164391 CPUtime=0.1 cores=1,3,5,7
/proc/21890/task/21900/stat : 21900 (java) S 21872 21872 16770 0 -1 1077944384 602 0 0 0 10 0 0 0 20 0 19 0 225428389 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763641539184 139764263471746 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21901] ppid=21872 vsize=8068220 memory=1468 CPUtime=0.07 cores=1,3,5,7
/proc/21890/task/21901/stat : 21901 (java) S 21872 21872 16770 0 -1 1077944384 362 0 0 0 7 0 0 0 20 0 19 0 225428389 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763640486384 139764263471746 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21902] ppid=21872 vsize=8068220 memory=4128 CPUtime=0.21 cores=1,3,5,7
/proc/21890/task/21902/stat : 21902 (java) S 21872 21872 16770 0 -1 1077944384 553 0 0 0 20 1 0 0 20 0 19 0 225428389 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763639434096 139764263471746 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21903] ppid=21872 vsize=8068220 memory=61232 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21903/stat : 21903 (java) S 21872 21872 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225428389 8261857280 29237 33554432000 4194304 4196468 140728192186672 139762128120800 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21904] ppid=21872 vsize=8068220 memory=1240 CPUtime=1.14 cores=1,3,5,7
/proc/21890/task/21904/stat : 21904 (java) S 21872 21872 16770 0 -1 1077944384 143 0 0 0 50 64 0 0 20 0 19 0 225428389 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763638380976 139764263471746 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21906] ppid=21872 vsize=8068220 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21906/stat : 21906 (java) S 21872 21872 16770 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225428455 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763630572480 139764263485209 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21908] ppid=21872 vsize=8068220 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21908/stat : 21908 (java) S 21872 21872 16770 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225428455 8261857280 29237 33554432000 4194304 4196468 140728192186672 139761591234064 139764263482525 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21909] ppid=21872 vsize=8068220 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21909/stat : 21909 (java) S 21872 21872 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 225428455 8261857280 29237 33554432000 4194304 4196468 140728192186672 139761322803088 139764263482525 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21910] ppid=21872 vsize=8068220 memory=796 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21910/stat : 21910 (java) S 21872 21872 16770 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 225428457 8261857280 29237 33554432000 4194304 4196468 140728192186672 139761725463968 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
Current children cumulated CPU time: 2130.23 s
Current children cumulated vsize: 8311116 KiB
Current children cumulated memory: 230344 KiB
[startup+2116.7 s]
/proc/loadavg: 2.13 2.05 2.11 3/228 22100
/proc/meminfo: memFree=12670520/32770624 swapFree=67108860/67108860
[pid=21872] ppid=21869 vsize=113128 memory=1468 CPUtime=32.55 cores=1,3,5,7
/proc/21872/stat : 21872 (scop.sh) S 21869 21872 16770 0 -1 4202496 590 47934 0 0 0 0 3148 107 20 0 1 0 225426332 115843072 367 33554432000 4194304 5098028 140736746986640 140736746983384 139948130140796 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34267136 140736746988608 140736746988807 140736746988807 140736746991565 0
/proc/21872/statm: 28282 367 311 221 0 87 0
[pid=21890] ppid=21872 vsize=8068220 memory=116948 CPUtime=2.35 cores=1,3,5,7
/proc/21890/stat : 21890 (java) S 21872 21872 16770 0 -1 1077944320 17605 0 0 0 164 71 0 0 20 0 19 0 225428383 8261857280 29237 33554432000 4194304 4196468 140728192186672 140728192169216 139764263460599 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
/proc/21890/statm: 2017055 29237 3155 1 0 1978454 0
[pid=21905] ppid=21890 vsize=129768 memory=111928 CPUtime=2095.43 cores=1,3,5,7
/proc/21905/stat : 21905 (minisat_release) R 21890 21872 16770 0 -1 4202496 565855 0 0 0 209459 84 0 0 20 0 1 0 225428454 132882432 27982 33554432000 4194304 4308513 140736657069120 140736657066568 4269881 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 34738176 140736657077364 140736657077462 140736657077462 140736657080261 0
/proc/21905/statm: 32442 27982 342 28 0 28682 0
[pid=21890/tid=21891] ppid=21872 vsize=8068220 memory=116948 CPUtime=0.74 cores=1,3,5,7
/proc/21890/task/21891/stat : 21891 (java) S 21872 21872 16770 0 -1 1077944384 14528 0 0 0 69 5 0 0 20 0 19 0 225428383 8261857280 29237 33554432000 4194304 4196468 140728192186672 139764235300752 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21892] ppid=21872 vsize=8068220 memory=116948 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21892/stat : 21892 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225428384 8261857280 29237 33554432000 4194304 4196468 140728192186672 139764267703184 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21893] ppid=21872 vsize=8068220 memory=116948 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225428384 8261857280 29237 33554432000 4194304 4196468 140728192186672 139764076264208 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21894] ppid=21872 vsize=8068220 memory=116948 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (java) S 21872 21872 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225428384 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763747118224 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21895] ppid=21872 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (java) S 21872 21872 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225428384 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763746065424 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21896] ppid=21872 vsize=8068220 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/21890/task/21896/stat : 21896 (java) S 21872 21872 16770 0 -1 1077944384 7 0 0 0 1 3 0 0 20 0 19 0 225428386 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763642591344 139764263471746 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21897] ppid=21872 vsize=8068220 memory=10 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21897/stat : 21897 (java) S 21872 21872 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225428386 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763134751520 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21898] ppid=21872 vsize=8068220 memory=279516741651328 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21898/stat : 21898 (java) S 21872 21872 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225428386 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763000530032 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21899] ppid=21872 vsize=8068220 memory=-7737605721172012177 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21899/stat : 21899 (java) S 21872 21872 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225428389 8261857280 29237 33554432000 4194304 4196468 140728192186672 139762626025552 139764263479195 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21900] ppid=21872 vsize=8068220 memory=1468 CPUtime=0.1 cores=1,3,5,7
/proc/21890/task/21900/stat : 21900 (java) S 21872 21872 16770 0 -1 1077944384 602 0 0 0 10 0 0 0 20 0 19 0 225428389 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763641539184 139764263471746 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21901] ppid=21872 vsize=8068220 memory=116948 CPUtime=0.07 cores=1,3,5,7
/proc/21890/task/21901/stat : 21901 (java) S 21872 21872 16770 0 -1 1077944384 362 0 0 0 7 0 0 0 20 0 19 0 225428389 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763640486384 139764263471746 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21902] ppid=21872 vsize=8068220 memory=1468 CPUtime=0.21 cores=1,3,5,7
/proc/21890/task/21902/stat : 21902 (java) S 21872 21872 16770 0 -1 1077944384 553 0 0 0 20 1 0 0 20 0 19 0 225428389 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763639434096 139764263471746 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21903] ppid=21872 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21903/stat : 21903 (java) S 21872 21872 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225428389 8261857280 29237 33554432000 4194304 4196468 140728192186672 139762128120800 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21904] ppid=21872 vsize=8068220 memory=1240 CPUtime=1.14 cores=1,3,5,7
/proc/21890/task/21904/stat : 21904 (java) S 21872 21872 16770 0 -1 1077944384 143 0 0 0 50 64 0 0 20 0 19 0 225428389 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763638380976 139764263471746 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21906] ppid=21872 vsize=8068220 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21906/stat : 21906 (java) S 21872 21872 16770 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225428455 8261857280 29237 33554432000 4194304 4196468 140728192186672 139763630572480 139764263485209 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21908] ppid=21872 vsize=8068220 memory=116948 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21908/stat : 21908 (java) S 21872 21872 16770 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225428455 8261857280 29237 33554432000 4194304 4196468 140728192186672 139761591234064 139764263482525 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21909] ppid=21872 vsize=8068220 memory=156388 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21909/stat : 21909 (java) S 21872 21872 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 225428455 8261857280 29237 33554432000 4194304 4196468 140728192186672 139761322803088 139764263482525 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
[pid=21890/tid=21910] ppid=21872 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21910/stat : 21910 (java) S 21872 21872 16770 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 225428457 8261857280 29237 33554432000 4194304 4196468 140728192186672 139761725463968 139764263470805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16564224 140728192193717 140728192193841 140728192193841 140728192196559 0
Current children cumulated CPU time: 2130.33 s
Current children cumulated vsize: 8311116 KiB
Current children cumulated memory: 230344 KiB
Child status: 0
Real time (s): 2116.74
CPU time (s): 2130.4
CPU user time (s): 2127.76
CPU system time (s): 2.64287
CPU usage (%): 100.645
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 3435276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2127.76
system time used= 2.64287
maximum resident set size= 3435360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 632096
page faults= 0
swaps= 0
block input operations= 0
block output operations= 30344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52219
involuntary context switches= 648
# summary of solver processes directly reported to runsolver:
# pid: 21872
# total CPU time (s): 2130.4
# total CPU user time (s): 2127.76
# total CPU system time (s): 2.64287
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7569 second user time and 20.3713 second system time
The end