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-19029-serial-file.bin HOME/instance-4305533-1534068049.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.55 c BEGIN-Prog: Sun Aug 12 12:00:49 CEST 2018
0.66/0.55 c PID: 19032
0.66/0.55 c IP: 172.20.3.139
0.66/0.55 c HOST: node139.alineos.net
0.66/0.55 c (0,0) Parsing Begin
5.12/2.05 c (1,1) Parsing End
5.12/2.06 c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 43
5.12/2.06 c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.12/2.06 c (1,1) Constraint Name Generate Begin
5.12/2.08 c (1,1) Ctr:HOME/instance-4305533-1534068049.xml,Dist:Eq:IntVar:Le:Num
5.12/2.08 c (1,1) Constraint Name Generate End
5.12/2.08 c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.12/2.08 c (1,1) CSP to CSPinCNF Begin
6.01/2.35 c (1,1) translated 411 (10%) constraints
6.36/2.42 c (1,1) translated 821 (20%) constraints
6.36/2.47 c (1,1) translated 1231 (30%) constraints
6.64/2.52 c (1,1) translated 1642 (40%) constraints
6.64/2.56 c (2,2) translated 2052 (50%) constraints
6.95/2.61 c (2,2) translated 2462 (60%) constraints
6.95/2.65 c (2,2) translated 2873 (70%) constraints
6.95/2.69 c (2,2) translated 3283 (80%) constraints
7.24/2.72 c (2,2) translated 3693 (90%) constraints
7.62/2.85 c (2,2) translated 4103 (100%) constraints
7.97/2.93 c (2,2) STATISTICS1:HOME/instance-4305533-1534068049.xml,Dist:Eq:IntVar:Le:Num,680,4783,43,43,2,2,43:3314;36:5144;23:24;22:344;6:60,43:9348;36:7956;23:40;22:364;6:64,2:4103;1:680,2:8886,
7.97/2.93 c (2,2) ==========================================
7.97/2.93 c (2,2) Order
7.97/2.93 c (2,2) ==========================================
7.97/2.96 c (2,2) translated 479 (10%) constraints
7.97/2.98 c (2,2) translated 957 (20%) constraints
7.97/3.00 c (2,2) translated 1435 (30%) constraints
8.33/3.02 c (2,2) translated 1914 (40%) constraints
8.33/3.04 c (2,2) translated 2392 (50%) constraints
8.33/3.05 c (2,2) translated 2870 (60%) constraints
8.33/3.07 c (2,2) translated 3349 (70%) constraints
8.33/3.09 c (2,2) translated 3827 (80%) constraints
8.33/3.10 c (2,2) translated 4305 (90%) constraints
8.64/3.11 c (2,2) translated 4783 (100%) constraints
8.64/3.12 c (2,2) CSP to CSPinCNF End
8.64/3.12 c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 43
8.64/3.12 c (2,2) Heap : 676 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.64/3.12 c (2,2) CSPinCNF Propagation Begin
10.90/4.66 c (4,4) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
10.90/4.66 c (4,4) CSPinCNF Propagation End
10.90/4.66 c (4,4) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 43
10.90/4.66 c (4,4) Heap : 2253 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
10.90/4.66 c (4,4) Simplify CSPinCNF Begin
11.65/4.92 c (4,4) Simplify CSPinCNF End
11.65/4.92 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 43
11.65/4.92 c (4,4) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
11.65/4.92 c (4,4) Calculate Precise Domain Begin
11.65/4.92 c (4,4) 0 values are removed by re-calculation
11.65/4.92 c (4,4) Calculate Precise Domain End
11.65/4.93 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 43
11.65/4.93 c (4,4) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
11.65/4.93 c (4,4) CSPinCNF to SatSolver Begin
12.59/5.23 c (4,4) 1299 (10 %) CSP clauses are encoded (34050 SAT variables, 56415 SAT clauses)
12.87/5.32 c (4,4) 2598 (20 %) CSP clauses are encoded (34050 SAT variables, 87295 SAT clauses)
12.99/5.40 c (4,4) 3897 (30 %) CSP clauses are encoded (34050 SAT variables, 116165 SAT clauses)
12.99/5.49 c (4,4) 5196 (40 %) CSP clauses are encoded (34050 SAT variables, 147364 SAT clauses)
13.12/5.58 c (5,5) 6495 (50 %) CSP clauses are encoded (34050 SAT variables, 178874 SAT clauses)
13.26/5.67 c (5,5) 7794 (60 %) CSP clauses are encoded (34050 SAT variables, 211484 SAT clauses)
13.38/5.79 c (5,5) 9093 (70 %) CSP clauses are encoded (34050 SAT variables, 244110 SAT clauses)
13.60/5.87 c (5,5) 10392 (80 %) CSP clauses are encoded (34050 SAT variables, 276914 SAT clauses)
13.77/5.95 c (5,5) 11691 (90 %) CSP clauses are encoded (34050 SAT variables, 308838 SAT clauses)
13.77/6.00 c (5,5) 12989 (100 %) CSP clauses are encoded (34050 SAT variables, 338903 SAT clauses)
13.77/6.00 c (5,5) Launch Command will be: minisat_release
13.77/6.00 c (5,5) CSPinCNF to SatSolver End
13.77/6.00 c (5,5) Heap : 276 MiB used (max 10795 MiB), NonHeap : 36 MiB used (max 0 MiB)
13.93/6.08 c (5,5) STATISTICS2:HOME/instance-4305533-1534068049.xml,Dist:Eq:IntVar:Le:Num,8886,12989,43,43,2,2,43:3314;36:5144;23:24;22:344;6:60,43:9348;36:7956;23:40;22:364;6:64;2:16412,2:12309;1:680,2:8886;1:16412,
13.93/6.08 c (5,5) 34050 bool, 338915 clause
13.93/6.08 c (5,5) Export Begin
14.94/6.47 c (5,5) Export to HOME/scop-19029-serial-file.bin
14.94/6.47 c (5,5) Export End
14.94/6.47 c (5,5) Export File Size: 4.63 MB
14.94/6.47 c (5,5) 1,1,2,4,4,4,5,STOP-AFTER(DIMACS)
14.94/6.47 c END-Prog: Sun Aug 12 12:00:55 CEST 2018
14.94/6.50 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-19029-serial-file.bin
15.05/7.00 c (0,0) Read Serial File Begin
15.05/7.00 c (0,0) HOME/scop-19029-serial-file.bin
16.41/7.37 c (0,0) Read Serial File End
16.41/7.38
16.41/7.38 scop order+minisat_release (2018-07-31)
16.41/7.38 (Solving Process)
16.41/7.38
16.61/7.40 c BEGIN-Prog: Sun Aug 12 12:00:56 CEST 2018
16.61/7.40 c PID: 19047
16.61/7.40 c IP: 172.20.3.139
16.61/7.40 c HOST: node139.alineos.net
16.61/7.41 c (0,0) SatSolver.solve Begin
16.61/7.41 c (0,0) 0 bool, 0 clause
16.61/7.41 c (0,0) minisat_release HOME/instance-4305533-1534068049.xml-scop-19032.cnf
19.96/10.70 c (3,0) c This is COMiniSatPS.
19.96/10.70 c (3,0) c WARNING: for repeatability, setting FPU to use double precision
19.96/10.70 c (3,0) c ============================[ Problem Statistics ]=============================
19.96/10.70 c (3,0) c | |
19.96/10.70 c (3,0) c | Number of variables: 34050 |
19.96/10.70 c (3,0) c | Number of clauses: 338915 |
19.96/10.70 c (3,0) c | Parse time: 0.12 s |
19.96/10.70 c (3,0) c | Eliminated clauses: 0.08 Mb |
19.96/10.70 c (3,0) c Reduced to 29846 vars, 334630 cls (grow=0)
19.96/10.70 c (3,0) c No iterative elimination performed. (vars=29846, c/v ratio=11.2)
19.96/10.70 c (3,0) c | Simplification time: 0.37 s |
19.96/10.70 c (3,0) c | |
19.96/10.70 c (3,0) c ============================[ Search Statistics ]==============================
19.96/10.70 c (3,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
19.96/10.70 c (3,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
19.96/10.70 c (3,0) c ===============================================================================
19.96/10.70 c (3,0) c ===============================================================================
19.96/10.70 c (3,0) c restarts : 88
19.96/10.70 c (3,0) c conflicts : 30545 (9408 /sec)
19.96/10.70 c (3,0) c decisions : 38729 (0.00 % random) (11929 /sec)
19.96/10.70 c (3,0) c propagations : 5920237 (1823479 /sec)
19.96/10.70 c (3,0) c conflict literals : 467640 (35.80 % deleted)
19.96/10.70 c (3,0) c CPU time : 3.24667 s
16.80/10.70 c (3,0)
16.80/10.70 c (3,0) s UNSATISFIABLE
16.80/10.70 c (3,0) SatSolver.solve End
16.80/10.70 c (3,0) Heap : 164 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
16.80/10.70 c (3,0) Show results Begin
16.80/10.70 s UNSATISFIABLE
16.80/10.70 c (3,0) Show results End
16.80/10.70 c (3,0) Heap : 164 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
16.80/10.70 c (3,0) 3,3,STOP-AFTER(ALL)
16.80/10.70 c END-Prog: Sun Aug 12 12:00:59 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 (4497 MiB free)
memory of node 1: 16384 MiB (5829 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305533-1534068049/watcher-4305533-1534068049 -o /tmp/evaluation-result-4305533-1534068049/solver-4305533-1534068049 -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-4305533-1534068049.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=19029, runsolver pid=19026
Current StackSize limit: 8192 KiB
[startup+0.100139 s]*
/proc/loadavg: 2.83 2.24 2.12 3/222 19046
/proc/meminfo: memFree=10514888/32770624 swapFree=67108860/67108860
[pid=19029] ppid=19026 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19029/stat : 19029 (scop.sh) S 19026 19029 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224368034 115843072 349 33554432000 4194304 5098028 140735300857360 140735300854616 139850446275196 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18587648 140735300863040 140735300863239 140735300863239 140735300865997 0
/proc/19029/statm: 28282 349 296 221 0 87 0
[pid=19032] ppid=19029 vsize=15012476 memory=72060 CPUtime=0.11 cores=1,3,5,7
/proc/19032/stat : 19032 (java) S 19029 19029 16770 0 -1 1077944320 6690 0 0 0 9 2 0 0 20 0 15 0 224368034 15372775424 18015 33554432000 4194304 4196468 140734117015568 140734116998112 140229108449015 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
/proc/19032/statm: 3753119 18015 2739 1 0 3715579 0
[pid=19032/tid=19033] ppid=19029 vsize=15012476 memory=-6292511387775451073 CPUtime=0.08 cores=1,3,5,7
/proc/19032/task/19033/stat : 19033 (java) R 19029 19029 16770 0 -1 4202560 4789 0 0 0 7 1 0 0 20 0 15 0 224368034 15372775424 18080 33554432000 4194304 4196468 140734117015568 140229080283456 140229108470362 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19034] ppid=19029 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19034/stat : 19034 (java) S 19029 19029 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224368036 15372775424 18080 33554432000 4194304 4196468 140734117015568 140229112691856 140229108459221 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19035] ppid=19029 vsize=15012476 memory=139939275294336 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19035/stat : 19035 (java) S 19029 19029 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224368036 15372775424 18080 33554432000 4194304 4196468 140734117015568 140228939508752 140229108459221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19036] ppid=19029 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19036/stat : 19036 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224368036 15372775424 18080 33554432000 4194304 4196468 140734117015568 140228938455952 140229108459221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19037] ppid=19029 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19037/stat : 19037 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224368036 15372775424 18080 33554432000 4194304 4196468 140734117015568 140228567497488 140229108459221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19038] ppid=19029 vsize=15012476 memory=139939275294336 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19038/stat : 19038 (java) S 19029 19029 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224368038 15372775424 18080 33554432000 4194304 4196468 140734117015568 140228146100592 140229108460162 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19039] ppid=19029 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19039/stat : 19039 (java) S 19029 19029 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224368038 15372775424 18080 33554432000 4194304 4196468 140734117015568 140227662308384 140229108459221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19040] ppid=19029 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19040/stat : 19040 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224368038 15372775424 18080 33554432000 4194304 4196468 140734117015568 140227393872752 140229108459221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19041] ppid=19029 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19041/stat : 19041 (java) S 19029 19029 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224368041 15372775424 18080 33554432000 4194304 4196468 140734117015568 140227019364176 140229108467611 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19042] ppid=19029 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19042/stat : 19042 (java) S 19029 19029 16770 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 224368041 15372775424 18080 33554432000 4194304 4196468 140734117015568 140228145048432 140229108460162 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19043] ppid=19029 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19043/stat : 19043 (java) S 19029 19029 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224368041 15372775424 18080 33554432000 4194304 4196468 140734117015568 140228143995632 140229108460162 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19044] ppid=19029 vsize=15012476 memory=139939275294336 CPUtime=0.01 cores=1,3,5,7
/proc/19032/task/19044/stat : 19044 (java) S 19029 19029 16770 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 224368041 15372775424 18080 33554432000 4194304 4196468 140734117015568 140228142942832 140229108460162 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19045] ppid=19029 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19045/stat : 19045 (java) S 19029 19029 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224368041 15372775424 18080 33554432000 4194304 4196468 140734117015568 140226521459424 140229108459221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19046] ppid=19029 vsize=15012476 memory=139939275294336 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19046/stat : 19046 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224368041 15372775424 18080 33554432000 4194304 4196468 140734117015568 140228141890224 140229108460162 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73456 KiB
[startup+0.210594 s]*
/proc/loadavg: 2.83 2.24 2.12 4/222 19046
/proc/meminfo: memFree=10500564/32770624 swapFree=67108860/67108860
[pid=19029] ppid=19026 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19029/stat : 19029 (scop.sh) S 19026 19029 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224368034 115843072 349 33554432000 4194304 5098028 140735300857360 140735300854616 139850446275196 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18587648 140735300863040 140735300863239 140735300863239 140735300865997 0
/proc/19029/statm: 28282 349 296 221 0 87 0
[pid=19032] ppid=19029 vsize=15012476 memory=85672 CPUtime=0.25 cores=1,3,5,7
/proc/19032/stat : 19032 (java) S 19029 19029 16770 0 -1 1077944320 10308 0 0 0 22 3 0 0 20 0 15 0 224368034 15372775424 21418 33554432000 4194304 4196468 140734117015568 140734116998112 140229108449015 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
/proc/19032/statm: 3753119 21418 2900 1 0 3715579 0
[pid=19032/tid=19033] ppid=19029 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/19032/task/19033/stat : 19033 (java) R 19029 19029 16770 0 -1 4202560 8222 0 0 0 17 2 0 0 20 0 15 0 224368034 15372775424 21418 33554432000 4194304 4196468 140734117015568 140229080268272 140229092529502 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19034] ppid=19029 vsize=15012476 memory=365 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19034/stat : 19034 (java) S 19029 19029 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224368036 15372775424 21418 33554432000 4194304 4196468 140734117015568 140229112691856 140229108459221 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19035] ppid=19029 vsize=15012476 memory=139939276484382 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19035/stat : 19035 (java) S 19029 19029 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224368036 15372775424 21418 33554432000 4194304 4196468 140734117015568 140228939508752 140229108459221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19036] ppid=19029 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19036/stat : 19036 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224368036 15372775424 21418 33554432000 4194304 4196468 140734117015568 140228938455952 140229108459221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19037] ppid=19029 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19037/stat : 19037 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224368036 15372775424 21418 33554432000 4194304 4196468 140734117015568 140228567497488 140229108459221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19038] ppid=19029 vsize=15012476 memory=139939275294336 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19038/stat : 19038 (java) S 19029 19029 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224368038 15372775424 21418 33554432000 4194304 4196468 140734117015568 140228146100592 140229108460162 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19039] ppid=19029 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19039/stat : 19039 (java) S 19029 19029 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224368038 15372775424 21418 33554432000 4194304 4196468 140734117015568 140227662308384 140229108459221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19040] ppid=19029 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19040/stat : 19040 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224368038 15372775424 21418 33554432000 4194304 4196468 140734117015568 140227393872752 140229108459221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19041] ppid=19029 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19041/stat : 19041 (java) S 19029 19029 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224368041 15372775424 21418 33554432000 4194304 4196468 140734117015568 140227019364176 140229108467611 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19042] ppid=19029 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19042/stat : 19042 (java) S 19029 19029 16770 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 224368041 15372775424 21418 33554432000 4194304 4196468 140734117015568 140228145048432 140229108460162 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19043] ppid=19029 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19043/stat : 19043 (java) S 19029 19029 16770 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 224368041 15372775424 21418 33554432000 4194304 4196468 140734117015568 140228143995632 140229108460162 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19044] ppid=19029 vsize=15012476 memory=139939275294336 CPUtime=0.03 cores=1,3,5,7
/proc/19032/task/19044/stat : 19044 (java) S 19029 19029 16770 0 -1 1077944384 286 0 0 0 3 0 0 0 20 0 15 0 224368041 15372775424 21418 33554432000 4194304 4196468 140734117015568 140228142942832 140229108460162 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19045] ppid=19029 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19045/stat : 19045 (java) S 19029 19029 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224368041 15372775424 21418 33554432000 4194304 4196468 140734117015568 140226521459424 140229108459221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19046] ppid=19029 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19046/stat : 19046 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224368041 15372775424 21418 33554432000 4194304 4196468 140734117015568 140228141890224 140229108460162 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87068 KiB
[startup+0.310669 s]*
/proc/loadavg: 2.83 2.24 2.12 3/222 19046
/proc/meminfo: memFree=10496772/32770624 swapFree=67108860/67108860
[pid=19029] ppid=19026 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19029/stat : 19029 (scop.sh) S 19026 19029 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224368034 115843072 349 33554432000 4194304 5098028 140735300857360 140735300854616 139850446275196 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18587648 140735300863040 140735300863239 140735300863239 140735300865997 0
/proc/19029/statm: 28282 349 296 221 0 87 0
[pid=19032] ppid=19029 vsize=15012476 memory=90116 CPUtime=0.43 cores=1,3,5,7
/proc/19032/stat : 19032 (java) S 19029 19029 16770 0 -1 1077944320 10934 0 0 0 39 4 0 0 20 0 15 0 224368034 15372775424 22529 33554432000 4194304 4196468 140734117015568 140734116998112 140229108449015 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
/proc/19032/statm: 3753119 22529 3018 1 0 3715579 0
[pid=19032/tid=19033] ppid=19029 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/19032/task/19033/stat : 19033 (java) R 19029 19029 16770 0 -1 4202560 8656 0 0 0 26 3 0 0 20 0 15 0 224368034 15372775424 22529 33554432000 4194304 4196468 140734117015568 140229080244016 140229092529502 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19034] ppid=19029 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19034/stat : 19034 (java) S 19029 19029 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224368036 15372775424 22529 33554432000 4194304 4196468 140734117015568 140229112691856 140229108459221 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19035] ppid=19029 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19035/stat : 19035 (java) S 19029 19029 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224368036 15372775424 22529 33554432000 4194304 4196468 140734117015568 140228939508752 140229108459221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19036] ppid=19029 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19036/stat : 19036 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224368036 15372775424 22529 33554432000 4194304 4196468 140734117015568 140228938455952 140229108459221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19037] ppid=19029 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19037/stat : 19037 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224368036 15372775424 22529 33554432000 4194304 4196468 140734117015568 140228567497488 140229108459221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19038] ppid=19029 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19038/stat : 19038 (java) S 19029 19029 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224368038 15372775424 22529 33554432000 4194304 4196468 140734117015568 140228146100592 140229108460162 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19039] ppid=19029 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19039/stat : 19039 (java) S 19029 19029 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224368038 15372775424 22529 33554432000 4194304 4196468 140734117015568 140227662308384 140229108459221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19040] ppid=19029 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19040/stat : 19040 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224368038 15372775424 22529 33554432000 4194304 4196468 140734117015568 140227393872752 140229108459221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19041] ppid=19029 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19041/stat : 19041 (java) S 19029 19029 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224368041 15372775424 22529 33554432000 4194304 4196468 140734117015568 140227019364176 140229108467611 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19042] ppid=19029 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19032/task/19042/stat : 19042 (java) S 19029 19029 16770 0 -1 1077944384 407 0 0 0 2 0 0 0 20 0 15 0 224368041 15372775424 22529 33554432000 4194304 4196468 140734117015568 140228145048432 140229108460162 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19043] ppid=19029 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19032/task/19043/stat : 19043 (java) S 19029 19029 16770 0 -1 1077944384 208 0 0 0 2 0 0 0 20 0 15 0 224368041 15372775424 22529 33554432000 4194304 4196468 140734117015568 140228143995632 140229108460162 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19044] ppid=19029 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19032/task/19044/stat : 19044 (java) S 19029 19029 16770 0 -1 1077944384 333 0 0 0 7 0 0 0 20 0 15 0 224368041 15372775424 22529 33554432000 4194304 4196468 140734117015568 140228142942832 140229108460162 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19045] ppid=19029 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19045/stat : 19045 (java) S 19029 19029 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224368041 15372775424 22529 33554432000 4194304 4196468 140734117015568 140226521459424 140229108459221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19046] ppid=19029 vsize=15012476 memory=3833468387996016689 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19046/stat : 19046 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224368041 15372775424 22529 33554432000 4194304 4196468 140734117015568 140228141890224 140229108460162 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91512 KiB
[startup+0.702527 s]
/proc/loadavg: 2.83 2.24 2.12 3/222 19046
/proc/meminfo: memFree=10471976/32770624 swapFree=67108860/67108860
[pid=19029] ppid=19026 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19029/stat : 19029 (scop.sh) S 19026 19029 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224368034 115843072 349 33554432000 4194304 5098028 140735300857360 140735300854616 139850446275196 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18587648 140735300863040 140735300863239 140735300863239 140735300865997 0
/proc/19029/statm: 28282 349 296 221 0 87 0
[pid=19032] ppid=19029 vsize=15018748 memory=130824 CPUtime=1.05 cores=1,3,5,7
/proc/19032/stat : 19032 (java) S 19029 19029 16770 0 -1 1077944320 17830 0 0 0 99 6 0 0 20 0 15 0 224368034 15379197952 32706 33554432000 4194304 4196468 140734117015568 140734116998112 140229108449015 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
/proc/19032/statm: 3754687 32706 3125 1 0 3716091 0
[pid=19032/tid=19033] ppid=19029 vsize=15018748 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/19032/task/19033/stat : 19033 (java) R 19029 19029 16770 0 -1 4202560 15117 0 0 0 62 5 0 0 20 0 15 0 224368034 15379197952 32706 33554432000 4194304 4196468 140734117015568 140229080286368 140228610224878 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19034] ppid=19029 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19034/stat : 19034 (java) S 19029 19029 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224368036 15379197952 32706 33554432000 4194304 4196468 140734117015568 140229112691856 140229108459221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19035] ppid=19029 vsize=15018748 memory=60900 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19035/stat : 19035 (java) S 19029 19029 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224368036 15379197952 32706 33554432000 4194304 4196468 140734117015568 140228939508752 140229108459221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19036] ppid=19029 vsize=15018748 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19036/stat : 19036 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224368036 15379197952 32706 33554432000 4194304 4196468 140734117015568 140228938455952 140229108459221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19037] ppid=19029 vsize=15018748 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19037/stat : 19037 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224368036 15379197952 32706 33554432000 4194304 4196468 140734117015568 140228567497488 140229108459221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19038] ppid=19029 vsize=15018748 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19038/stat : 19038 (java) S 19029 19029 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224368038 15379197952 32706 33554432000 4194304 4196468 140734117015568 140228146100592 140229108460162 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19039] ppid=19029 vsize=15018748 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19039/stat : 19039 (java) S 19029 19029 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224368038 15379197952 32706 33554432000 4194304 4196468 140734117015568 140227662308384 140229108459221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19040] ppid=19029 vsize=15018748 memory=796 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19040/stat : 19040 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224368038 15379197952 32706 33554432000 4194304 4196468 140734117015568 140227393872752 140229108459221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19041] ppid=19029 vsize=15018748 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19041/stat : 19041 (java) S 19029 19029 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224368041 15379197952 32706 33554432000 4194304 4196468 140734117015568 140227019364176 140229108467611 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19042] ppid=19029 vsize=15018748 memory=876 CPUtime=0.1 cores=1,3,5,7
/proc/19032/task/19042/stat : 19042 (java) R 19029 19029 16770 0 -1 4202560 623 0 0 0 10 0 0 0 20 0 15 0 224368041 15379197952 32706 33554432000 4194304 4196468 140734117015568 140228145048432 140229091833852 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19043] ppid=19029 vsize=15018748 memory=10096 CPUtime=0.07 cores=1,3,5,7
/proc/19032/task/19043/stat : 19043 (java) R 19029 19029 16770 0 -1 1077944384 280 0 0 0 7 0 0 0 20 0 15 0 224368041 15379197952 32706 33554432000 4194304 4196468 140734117015568 140228143985744 140229108459221 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19044] ppid=19029 vsize=15018748 memory=1228 CPUtime=0.17 cores=1,3,5,7
/proc/19032/task/19044/stat : 19044 (java) R 19029 19029 16770 0 -1 4202560 476 0 0 0 17 0 0 0 20 0 15 0 224368041 15379197952 32706 33554432000 4194304 4196468 140734117015568 140228142939768 140229092529502 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19045] ppid=19029 vsize=15018748 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19045/stat : 19045 (java) S 19029 19029 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224368041 15379197952 32706 33554432000 4194304 4196468 140734117015568 140226521459424 140229108459221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
[pid=19032/tid=19046] ppid=19029 vsize=15018748 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/19032/task/19046/stat : 19046 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224368041 15379197952 32706 33554432000 4194304 4196468 140734117015568 140228141890224 140229108460162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140734117024774 140734117025073 140734117025073 140734117027791 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 132220 KiB
[startup+1.50127 s]
/proc/loadavg: 2.83 2.24 2.12 4/222 19046
/proc/meminfo: memFree=10250824/32770624 swapFree=67108860/67108860
[pid=19029] ppid=19026 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19029/stat : 19029 (scop.sh) S 19026 19029 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224368034 115843072 349 33554432000 4194304 5098028 140735300857360 140735300854616 139850446275196 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18587648 140735300863040 140735300863239 140735300863239 140735300865997 0
/proc/19029/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/19047/task/19066/stat : 19066 (java) S 19029 19029 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224368778 8261857280 34508 33554432000 4194304 4196468 140729186530656 140206925659408 140210041586845 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19067] ppid=19029 vsize=8068220 memory=138032 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19067/stat : 19067 (java) S 19029 19029 16770 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 19 0 224368780 8261857280 34508 33554432000 4194304 4196468 140729186530656 140207328320544 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
Current children cumulated CPU time: 18.96 s
Current children cumulated vsize: 8238468 KiB
Current children cumulated memory: 176112 KiB
[startup+10.4008 s]
/proc/loadavg: 2.85 2.27 2.13 3/227 19067
/proc/meminfo: memFree=10398332/32770624 swapFree=67108860/67108860
[pid=19029] ppid=19026 vsize=113128 memory=1472 CPUtime=15.05 cores=1,3,5,7
/proc/19029/stat : 19029 (scop.sh) S 19026 19029 16770 0 -1 4202496 590 32832 0 0 0 0 1426 79 20 0 1 0 224368034 115843072 368 33554432000 4194304 5098028 140735300857360 140735300854104 139850446275196 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18587648 140735300863040 140735300863239 140735300863239 140735300865997 0
/proc/19029/statm: 28282 368 311 221 0 87 0
[pid=19047] ppid=19029 vsize=8068220 memory=138032 CPUtime=1.75 cores=1,3,5,7
/proc/19047/stat : 19047 (java) S 19029 19029 16770 0 -1 1077944320 19650 0 0 0 161 14 0 0 20 0 19 0 224368684 8261857280 34508 33554432000 4194304 4196468 140729186530656 140729186513200 140210041564919 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
/proc/19047/statm: 2017055 34508 3170 1 0 1978454 0
[pid=19062] ppid=19047 vsize=57120 memory=38656 CPUtime=2.96 cores=1,3,5,7
/proc/19062/stat : 19062 (minisat_release) R 19047 19029 16770 0 -1 4202496 13880 0 0 0 295 1 0 0 20 0 1 0 224368777 58490880 9664 33554432000 4194304 4308513 140721989510768 140721989508392 4276404 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 40046592 140721989518452 140721989518550 140721989518550 140721989521349 0
/proc/19062/statm: 14280 9664 340 28 0 10520 0
[pid=19047/tid=19048] ppid=19029 vsize=8068220 memory=0 CPUtime=0.95 cores=1,3,5,7
/proc/19047/task/19048/stat : 19048 (java) S 19029 19029 16770 0 -1 1077944384 15632 0 0 0 83 12 0 0 20 0 19 0 224368685 8261857280 34508 33554432000 4194304 4196468 140729186530656 140210013405072 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19049] ppid=19029 vsize=8068220 memory=138032 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19049/stat : 19049 (java) S 19029 19029 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224368686 8261857280 34508 33554432000 4194304 4196468 140729186530656 140210045806864 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19050] ppid=19029 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19050/stat : 19050 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224368686 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209526483344 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19051] ppid=19029 vsize=8068220 memory=102820 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19051/stat : 19051 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224368686 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209525430800 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19052] ppid=19029 vsize=8068220 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19052/stat : 19052 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224368686 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209524378256 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19053] ppid=19029 vsize=8068220 memory=2460 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19053/stat : 19053 (java) S 19029 19029 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224368687 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209487956464 140210041576066 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19054] ppid=19029 vsize=8068220 memory=932 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19054/stat : 19054 (java) S 19029 19029 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224368688 8261857280 34508 33554432000 4194304 4196468 140729186530656 140208871826848 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19055] ppid=19029 vsize=8068220 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19055/stat : 19055 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224368688 8261857280 34508 33554432000 4194304 4196468 140729186530656 140208603391472 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19056] ppid=19029 vsize=8068220 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19056/stat : 19056 (java) S 19029 19029 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224368691 8261857280 34508 33554432000 4194304 4196468 140729186530656 140208228883152 140210041583515 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19057] ppid=19029 vsize=8068220 memory=4124 CPUtime=0.24 cores=1,3,5,7
/proc/19047/task/19057/stat : 19057 (java) S 19029 19029 16770 0 -1 1077944384 1003 0 0 0 24 0 0 0 20 0 19 0 224368691 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209486903280 140210041576066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19058] ppid=19029 vsize=8068220 memory=-7824251494390585707 CPUtime=0.28 cores=1,3,5,7
/proc/19047/task/19058/stat : 19058 (java) S 19029 19029 16770 0 -1 1077944384 721 0 0 0 28 0 0 0 20 0 19 0 224368691 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209485850736 140210041576066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19059] ppid=19029 vsize=8068220 memory=7528 CPUtime=0.25 cores=1,3,5,7
/proc/19047/task/19059/stat : 19059 (java) S 19029 19029 16770 0 -1 1077944384 899 0 0 0 25 0 0 0 20 0 19 0 224368691 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209484798192 140210041576066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19060] ppid=19029 vsize=8068220 memory=196 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19060/stat : 19060 (java) S 19029 19029 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224368691 8261857280 34508 33554432000 4194304 4196468 140729186530656 140207730977376 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19061] ppid=19029 vsize=8068220 memory=115 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19061/stat : 19061 (java) D 19029 19029 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224368691 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209483746016 140210026421006 0 4 2 25189581 18446744072100592773 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19063] ppid=19029 vsize=8068220 memory=279878322901472 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19063/stat : 19063 (java) S 19029 19029 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224368777 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209408697920 140210041589529 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19065] ppid=19029 vsize=8068220 memory=139942919406457 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19065/stat : 19065 (java) S 19029 19029 16770 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 224368777 8261857280 34508 33554432000 4194304 4196468 140729186530656 140207194091664 140210041586845 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19066] ppid=19029 vsize=8068220 memory=-7824251494390585707 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19066/stat : 19066 (java) S 19029 19029 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224368778 8261857280 34508 33554432000 4194304 4196468 140729186530656 140206925659408 140210041586845 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19067] ppid=19029 vsize=8068220 memory=139942919406463 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19067/stat : 19067 (java) S 19029 19029 16770 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 19 0 224368780 8261857280 34508 33554432000 4194304 4196468 140729186530656 140207328320544 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
Current children cumulated CPU time: 19.76 s
Current children cumulated vsize: 8238468 KiB
Current children cumulated memory: 178160 KiB
[startup+10.6008 s]
/proc/loadavg: 2.85 2.27 2.13 3/227 19067
/proc/meminfo: memFree=10398332/32770624 swapFree=67108860/67108860
[pid=19029] ppid=19026 vsize=113128 memory=1472 CPUtime=15.05 cores=1,3,5,7
/proc/19029/stat : 19029 (scop.sh) S 19026 19029 16770 0 -1 4202496 590 32832 0 0 0 0 1426 79 20 0 1 0 224368034 115843072 368 33554432000 4194304 5098028 140735300857360 140735300854104 139850446275196 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18587648 140735300863040 140735300863239 140735300863239 140735300865997 0
/proc/19029/statm: 28282 368 311 221 0 87 0
[pid=19047] ppid=19029 vsize=8068220 memory=138032 CPUtime=1.75 cores=1,3,5,7
/proc/19047/stat : 19047 (java) S 19029 19029 16770 0 -1 1077944320 19652 0 0 0 161 14 0 0 20 0 19 0 224368684 8261857280 34508 33554432000 4194304 4196468 140729186530656 140729186513200 140210041564919 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
/proc/19047/statm: 2017055 34508 3170 1 0 1978454 0
[pid=19062] ppid=19047 vsize=57264 memory=38844 CPUtime=3.16 cores=1,3,5,7
/proc/19062/stat : 19062 (minisat_release) R 19047 19029 16770 0 -1 4202496 14964 0 0 0 314 2 0 0 20 0 1 0 224368777 58638336 9711 33554432000 4194304 4308513 140721989510768 140721989508392 4276047 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 40046592 140721989518452 140721989518550 140721989518550 140721989521349 0
/proc/19062/statm: 14316 9711 340 28 0 10556 0
[pid=19047/tid=19048] ppid=19029 vsize=8068220 memory=1472 CPUtime=0.95 cores=1,3,5,7
/proc/19047/task/19048/stat : 19048 (java) S 19029 19029 16770 0 -1 1077944384 15632 0 0 0 83 12 0 0 20 0 19 0 224368685 8261857280 34508 33554432000 4194304 4196468 140729186530656 140210013405072 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19049] ppid=19029 vsize=8068220 memory=138032 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19049/stat : 19049 (java) S 19029 19029 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224368686 8261857280 34508 33554432000 4194304 4196468 140729186530656 140210045806864 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19050] ppid=19029 vsize=8068220 memory=36532 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19050/stat : 19050 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224368686 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209526483344 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19051] ppid=19029 vsize=8068220 memory=139942919407379 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19051/stat : 19051 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224368686 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209525430800 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19052] ppid=19029 vsize=8068220 memory=139942919407617 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19052/stat : 19052 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224368686 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209524378256 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19053] ppid=19029 vsize=8068220 memory=148739012429825 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19053/stat : 19053 (java) S 19029 19029 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224368687 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209487956464 140210041576066 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19054] ppid=19029 vsize=8068220 memory=139942919407898 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19054/stat : 19054 (java) S 19029 19029 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224368688 8261857280 34508 33554432000 4194304 4196468 140729186530656 140208871826848 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19055] ppid=19029 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19055/stat : 19055 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224368688 8261857280 34508 33554432000 4194304 4196468 140729186530656 140208603391472 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19056] ppid=19029 vsize=8068220 memory=138032 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19056/stat : 19056 (java) S 19029 19029 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224368691 8261857280 34508 33554432000 4194304 4196468 140729186530656 140208228883152 140210041583515 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19057] ppid=19029 vsize=8068220 memory=36532 CPUtime=0.24 cores=1,3,5,7
/proc/19047/task/19057/stat : 19057 (java) S 19029 19029 16770 0 -1 1077944384 1003 0 0 0 24 0 0 0 20 0 19 0 224368691 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209486903280 140210041576066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19058] ppid=19029 vsize=8068220 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/19047/task/19058/stat : 19058 (java) S 19029 19029 16770 0 -1 1077944384 721 0 0 0 28 0 0 0 20 0 19 0 224368691 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209485850736 140210041576066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19059] ppid=19029 vsize=8068220 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/19047/task/19059/stat : 19059 (java) S 19029 19029 16770 0 -1 1077944384 899 0 0 0 25 0 0 0 20 0 19 0 224368691 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209484798192 140210041576066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19060] ppid=19029 vsize=8068220 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19060/stat : 19060 (java) S 19029 19029 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224368691 8261857280 34508 33554432000 4194304 4196468 140729186530656 140207730977376 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19061] ppid=19029 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19061/stat : 19061 (java) S 19029 19029 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224368691 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209483746096 140210041576066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19063] ppid=19029 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19063/stat : 19063 (java) S 19029 19029 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224368777 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209408697920 140210041589529 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19065] ppid=19029 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19065/stat : 19065 (java) S 19029 19029 16770 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 224368777 8261857280 34508 33554432000 4194304 4196468 140729186530656 140207194091664 140210041586845 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19066] ppid=19029 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19066/stat : 19066 (java) S 19029 19029 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224368778 8261857280 34508 33554432000 4194304 4196468 140729186530656 140206925659408 140210041586845 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19067] ppid=19029 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19067/stat : 19067 (java) S 19029 19029 16770 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 19 0 224368780 8261857280 34508 33554432000 4194304 4196468 140729186530656 140207328320544 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
Current children cumulated CPU time: 19.96 s
Current children cumulated vsize: 8238612 KiB
Current children cumulated memory: 178348 KiB
[startup+10.7009 s]
/proc/loadavg: 2.85 2.27 2.13 3/227 19067
/proc/meminfo: memFree=10398332/32770624 swapFree=67108860/67108860
[pid=19029] ppid=19026 vsize=113128 memory=1472 CPUtime=15.05 cores=1,3,5,7
/proc/19029/stat : 19029 (scop.sh) S 19026 19029 16770 0 -1 4202496 590 32832 0 0 0 0 1426 79 20 0 1 0 224368034 115843072 368 33554432000 4194304 5098028 140735300857360 140735300854104 139850446275196 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18587648 140735300863040 140735300863239 140735300863239 140735300865997 0
/proc/19029/statm: 28282 368 311 221 0 87 0
[pid=19047] ppid=19029 vsize=8068220 memory=138032 CPUtime=1.75 cores=1,3,5,7
/proc/19047/stat : 19047 (java) S 19029 19029 16770 0 -1 1077944320 19658 0 0 0 161 14 0 0 20 0 19 0 224368684 8261857280 34508 33554432000 4194304 4196468 140729186530656 140729186513200 140210041564919 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
/proc/19047/statm: 2017055 34508 3170 1 0 1978454 0
[pid=19047/tid=19048] ppid=19029 vsize=8068220 memory=10096 CPUtime=0.95 cores=1,3,5,7
/proc/19047/task/19048/stat : 19048 (java) S 19029 19029 16770 0 -1 1077944384 15632 0 0 0 83 12 0 0 20 0 19 0 224368685 8261857280 34508 33554432000 4194304 4196468 140729186530656 140210013405072 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19049] ppid=19029 vsize=8068220 memory=138032 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19049/stat : 19049 (java) S 19029 19029 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224368686 8261857280 34508 33554432000 4194304 4196468 140729186530656 140210045806864 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19050] ppid=19029 vsize=8068220 memory=36608 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19050/stat : 19050 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224368686 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209526483344 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19051] ppid=19029 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19051/stat : 19051 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224368686 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209525430800 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19052] ppid=19029 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19052/stat : 19052 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224368686 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209524378256 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19053] ppid=19029 vsize=8068220 memory=56 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19053/stat : 19053 (java) S 19029 19029 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224368687 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209487956464 140210041576066 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19054] ppid=19029 vsize=8068220 memory=4026532099 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19054/stat : 19054 (java) S 19029 19029 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224368688 8261857280 34508 33554432000 4194304 4196468 140729186530656 140208871826848 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19055] ppid=19029 vsize=8068220 memory=14490 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19055/stat : 19055 (java) S 19029 19029 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224368688 8261857280 34508 33554432000 4194304 4196468 140729186530656 140208603391472 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19056] ppid=19029 vsize=8068220 memory=-7824251494390585707 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19056/stat : 19056 (java) S 19029 19029 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224368691 8261857280 34508 33554432000 4194304 4196468 140729186530656 140208228883152 140210041583515 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19057] ppid=19029 vsize=8068220 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/19047/task/19057/stat : 19057 (java) S 19029 19029 16770 0 -1 1077944384 1003 0 0 0 24 0 0 0 20 0 19 0 224368691 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209486903280 140210041576066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19058] ppid=19029 vsize=8068220 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/19047/task/19058/stat : 19058 (java) S 19029 19029 16770 0 -1 1077944384 721 0 0 0 28 0 0 0 20 0 19 0 224368691 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209485850736 140210041576066 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19059] ppid=19029 vsize=8068220 memory=1472 CPUtime=0.25 cores=1,3,5,7
/proc/19047/task/19059/stat : 19059 (java) R 19029 19029 16770 0 -1 1077944384 900 0 0 0 25 0 0 0 20 0 19 0 224368691 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209484798192 140210041576066 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19060] ppid=19029 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19060/stat : 19060 (java) S 19029 19029 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224368691 8261857280 34508 33554432000 4194304 4196468 140729186530656 140207730977376 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19061] ppid=19029 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19061/stat : 19061 (java) S 19029 19029 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224368691 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209483746096 140210041576066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19063] ppid=19029 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19063/stat : 19063 (java) S 19029 19029 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224368777 8261857280 34508 33554432000 4194304 4196468 140729186530656 140209408697920 140210041589529 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19065] ppid=19029 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19065/stat : 19065 (java) R 19029 19029 16770 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 224368777 8261857280 34508 33554432000 4194304 4196468 140729186530656 140207194091664 140210041586749 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19066] ppid=19029 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19066/stat : 19066 (java) S 19029 19029 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224368778 8261857280 34508 33554432000 4194304 4196468 140729186530656 140206925659408 140210041586845 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
[pid=19047/tid=19067] ppid=19029 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19047/task/19067/stat : 19067 (java) S 19029 19029 16770 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 19 0 224368780 8261857280 34508 33554432000 4194304 4196468 140729186530656 140207328320544 140210041575125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21848064 140729186538677 140729186538801 140729186538801 140729186541519 0
Current children cumulated CPU time: 16.8 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 139504 KiB
Child status: 0
Real time (s): 10.7171
CPU time (s): 20.1116
CPU user time (s): 19.1423
CPU system time (s): 0.969359
CPU usage (%): 187.659
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3040084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.1423
system time used= 0.969359
maximum resident set size= 3039224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68123
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6240
involuntary context switches= 96
# summary of solver processes directly reported to runsolver:
# pid: 19029
# total CPU time (s): 20.1116
# total CPU user time (s): 19.1423
# total CPU system time (s): 0.969359
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.097921 second user time and 0.146882 second system time
The end