0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-8932-serial-file.bin HOME/instance-4305651-1534133257.xml
0.54/0.51
0.54/0.51 scop both+minisat_release (2018-07-31)
0.54/0.51 (Encoding Process)
0.54/0.51
0.65/0.54 c BEGIN-Prog: Mon Aug 13 06:07:38 CEST 2018
0.65/0.54 c PID: 8935
0.65/0.54 c IP: 172.20.3.150
0.65/0.54 c HOST: node150.alineos.net
0.65/0.55 c (0,0) Parsing Begin
1.78/1.08 c (0,0) Parsing End
1.78/1.09 c (0,0) CSP: 378 int (0 aux), 0 bool (0 aux), 366 ctr, max domain size 14
1.78/1.09 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.78/1.09 c (0,0) Constraint Name Generate Begin
1.78/1.10 c (0,0) Ctr:HOME/instance-4305651-1534133257.xml,AllDifferentMatrix:Element:Instantiation:IntVar
1.78/1.10 c (0,0) Constraint Name Generate End
1.78/1.10 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.78/1.10 c (0,0) CSP to CSPinCNF Begin
3.39/1.63 c (1,1) translated 37 (10%) constraints
3.39/1.67 c (1,1) translated 74 (20%) constraints
3.71/1.71 c (1,1) translated 110 (30%) constraints
3.71/1.75 c (1,1) translated 147 (40%) constraints
3.71/1.78 c (1,1) translated 183 (50%) constraints
4.01/1.82 c (1,1) translated 220 (60%) constraints
4.01/1.86 c (1,1) translated 257 (70%) constraints
4.01/1.89 c (1,1) translated 293 (80%) constraints
4.31/1.92 c (1,1) translated 330 (90%) constraints
4.31/1.95 c (1,1) translated 366 (100%) constraints
4.65/2.10 c (1,1) STATISTICS1:HOME/instance-4305651-1534133257.xml,AllDifferentMatrix:Element:Instantiation:IntVar,378,7714,14,14,14,2,14:11648;1:1092,14:20384;1:798,14:56;3:5096;2:2548;1:14,2:12740;1:5908,
4.65/2.10 c (1,1) ==========================================
4.65/2.10 c (1,1) Both Encoding selects:
4.65/2.10 c (1,1) Order
4.65/2.10 c (1,1) ==========================================
4.98/2.20 c (1,1) translated 772 (10%) constraints
5.36/2.24 c (1,1) translated 1543 (20%) constraints
5.36/2.28 c (1,1) translated 2315 (30%) constraints
5.94/2.40 c (1,1) translated 3086 (40%) constraints
6.25/2.52 c (1,1) translated 3857 (50%) constraints
6.55/2.61 c (2,2) translated 4629 (60%) constraints
6.85/2.70 c (2,2) translated 5400 (70%) constraints
6.85/2.79 c (2,2) translated 6172 (80%) constraints
7.15/2.86 c (2,2) translated 6943 (90%) constraints
7.45/2.94 c (2,2) translated 7714 (100%) constraints
7.45/2.94 c (2,2) CSP to CSPinCNF End
7.45/2.95 c (2,2) CSP: 378 int (0 aux), 4914 bool (4914 aux), 17920 ctr, max domain size 14
7.45/2.95 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
7.45/2.95 c (2,2) CSPinCNF Propagation Begin
8.11/3.16 c (2,2) 2 values, 1052 unsatisfiable literals, and 252 valid clauses are removed
8.11/3.16 c (2,2) CSPinCNF Propagation End
8.11/3.16 c (2,2) CSP: 378 int (0 aux), 4914 bool (4914 aux), 17668 ctr, max domain size 14
8.11/3.16 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
8.11/3.16 c (2,2) Simplify CSPinCNF Begin
8.71/3.33 c (2,2) Simplify CSPinCNF End
8.71/3.33 c (2,2) CSP: 378 int (0 aux), 9898 bool (9898 aux), 22652 ctr, max domain size 14
8.71/3.33 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
8.71/3.33 c (2,2) Calculate Precise Domain Begin
8.71/3.33 c (2,2) 0 values are removed by re-calculation
8.71/3.33 c (2,2) Calculate Precise Domain End
8.71/3.33 c (2,2) CSP: 378 int (0 aux), 9898 bool (9898 aux), 22652 ctr, max domain size 14
8.71/3.33 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
8.71/3.33 c (2,2) CSPinCNF to SatSolver Begin
9.39/3.58 c (3,3) 2266 (10 %) CSP clauses are encoded (14574 SAT variables, 23065 SAT clauses)
9.69/3.69 c (3,3) 4531 (20 %) CSP clauses are encoded (14574 SAT variables, 41838 SAT clauses)
9.99/3.77 c (3,3) 6796 (30 %) CSP clauses are encoded (14574 SAT variables, 60431 SAT clauses)
10.29/3.84 c (3,3) 9061 (40 %) CSP clauses are encoded (14574 SAT variables, 79498 SAT clauses)
10.50/3.90 c (3,3) 11326 (50 %) CSP clauses are encoded (14574 SAT variables, 98472 SAT clauses)
10.50/3.96 c (3,3) 13592 (60 %) CSP clauses are encoded (14574 SAT variables, 117448 SAT clauses)
10.63/4.02 c (3,3) 15857 (70 %) CSP clauses are encoded (14574 SAT variables, 136565 SAT clauses)
10.63/4.08 c (3,3) 18122 (80 %) CSP clauses are encoded (14574 SAT variables, 155602 SAT clauses)
10.77/4.14 c (3,3) 20387 (90 %) CSP clauses are encoded (14574 SAT variables, 174643 SAT clauses)
10.88/4.20 c (3,3) 22652 (100 %) CSP clauses are encoded (14574 SAT variables, 193691 SAT clauses)
10.88/4.20 c (3,3) Launch Command will be: minisat_release
10.88/4.20 c (3,3) CSPinCNF to SatSolver End
10.88/4.20 c (3,3) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
11.19/4.34 c (3,3) STATISTICS2:HOME/instance-4305651-1534133257.xml,AllDifferentMatrix:Element:Instantiation:IntVar,10276,22652,14,14,12,2,14:9504;13:3736;12:592;1:1292,14:31260;13:6688;12:872;2:25092;1:1292,12:52;3:4256;2:18344,2:15124;1:34956,
11.19/4.34 c (3,3) 14574 bool, 193692 clause
11.19/4.34 c (3,3) Export Begin
11.51/4.45 c (3,3) Export to HOME/scop-8932-serial-file.bin
11.51/4.45 c (3,3) Export End
11.51/4.45 c (3,3) Export File Size: 0.06 MB
11.51/4.45 c (3,3) 0,0,2,2,2,2,3,STOP-AFTER(DIMACS)
11.51/4.45 c END-Prog: Mon Aug 13 06:07:42 CEST 2018
11.51/4.47 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-8932-serial-file.bin
11.69/4.96 c (0,0) Read Serial File Begin
11.69/4.96 c (0,0) HOME/scop-8932-serial-file.bin
12.60/5.14 c (0,0) Read Serial File End
12.60/5.16
12.60/5.16 scop order+minisat_release (2018-07-31)
12.60/5.16 (Solving Process)
12.60/5.16
12.60/5.18 c BEGIN-Prog: Mon Aug 13 06:07:42 CEST 2018
12.60/5.18 c PID: 8950
12.60/5.18 c IP: 172.20.3.150
12.60/5.18 c HOST: node150.alineos.net
12.60/5.18 c (0,0) SatSolver.solve Begin
12.60/5.18 c (0,0) 0 bool, 0 clause
12.60/5.18 c (0,0) minisat_release HOME/instance-4305651-1534133257.xml-scop-8935.cnf
2514.63/2505.63 c (2500,0) c This is COMiniSatPS.
2514.63/2505.63 c (2500,0) c WARNING: for repeatability, setting FPU to use double precision
2514.63/2505.63 c (2500,0) c ============================[ Problem Statistics ]=============================
2514.63/2505.63 c (2500,0) c | |
2514.63/2505.63 c (2500,0) c | Number of variables: 14574 |
2514.63/2505.63 c (2500,0) c | Number of clauses: 193692 |
2514.63/2505.63 c (2500,0) c | Parse time: 0.05 s |
2514.63/2505.63 c (2500,0) c | Eliminated clauses: 0.16 Mb |
2514.63/2505.63 c (2500,0) c Reduced to 6808 vars, 174188 cls (grow=0)
2514.63/2505.63 c (2500,0) c No iterative elimination performed. (vars=6808, c/v ratio=25.6)
2514.63/2505.63 c (2500,0) c | Simplification time: 0.23 s |
2514.63/2505.63 c (2500,0) c | |
2514.63/2505.63 c (2500,0) c ============================[ Search Statistics ]==============================
2514.63/2505.63 c (2500,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2514.63/2505.63 c (2500,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2514.63/2505.63 c (2500,0) c ===============================================================================
2514.63/2505.63 c (2500,0) c Switched to VSIDS.
2520.04/2511.01 c (2506,0) SatSolver is killed by some reasons.
2520.04/2511.01 c (2506,0) receiving signal SIGTERM
2520.04/2511.01 s UNKNOWN
2520.04/2511.02 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.04/2511.02 c (scop.sh) Killing background jobs.
2520.04/2511.02 HOME/scop.sh: line 50: kill: (8950) - No such process
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 (5399 MiB free)
memory of node 1: 16384 MiB (9978 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305651-1534133257/watcher-4305651-1534133257 -o /tmp/evaluation-result-4305651-1534133257/solver-4305651-1534133257 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534130664-8263 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305651-1534133257.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=8932, runsolver pid=8929
Current StackSize limit: 8192 KiB
[startup+0.100331 s]*
/proc/loadavg: 2.03 2.04 1.97 3/222 8949
/proc/meminfo: memFree=15684840/32770624 swapFree=67108792/67108860
[pid=8932] ppid=8929 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8932/stat : 8932 (scop.sh) S 8929 8932 8231 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230888981 115843072 349 33554432000 4194304 5098028 140731253307296 140731253304552 140347607061116 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39428096 140731253310529 140731253310727 140731253310727 140731253313485 0
/proc/8932/statm: 28282 349 296 221 0 87 0
[pid=8935] ppid=8932 vsize=15012476 memory=73768 CPUtime=0.11 cores=1,3,5,7
/proc/8935/stat : 8935 (java) S 8932 8932 8231 0 -1 1077944320 6550 0 0 0 9 2 0 0 20 0 15 0 230888981 15372775424 18442 33554432000 4194304 4196468 140721981887184 140721981869728 140163944197879 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
/proc/8935/statm: 3753119 18442 2772 1 0 3715579 0
[pid=8935/tid=8936] ppid=8932 vsize=15012476 memory=-6526411401870300574 CPUtime=0.09 cores=1,3,5,7
/proc/8935/task/8936/stat : 8936 (java) R 8932 8932 8231 0 -1 4202560 4784 0 0 0 8 1 0 0 20 0 15 0 230888982 15372775424 18574 33554432000 4194304 4196468 140721981887184 140163916024208 140163924474704 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8937] ppid=8932 vsize=15012476 memory=3472468271730484912 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8937/stat : 8937 (java) S 8932 8932 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230888983 15372775424 18574 33554432000 4194304 4196468 140721981887184 140163948439824 140163944208085 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8938] ppid=8932 vsize=15012476 memory=139975502804608 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8938/stat : 8938 (java) S 8932 8932 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230888983 15372775424 18574 33554432000 4194304 4196468 140721981887184 140163404790160 140163944208085 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8939] ppid=8932 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8939/stat : 8939 (java) S 8932 8932 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230888983 15372775424 18574 33554432000 4194304 4196468 140721981887184 140163403737616 140163944208085 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8940] ppid=8932 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8940/stat : 8940 (java) S 8932 8932 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230888983 15372775424 18640 33554432000 4194304 4196468 140721981887184 140163402685072 140163944208085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8941] ppid=8932 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8941/stat : 8941 (java) S 8932 8932 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230888985 15372775424 18640 33554432000 4194304 4196468 140721981887184 140163283753456 140163944209026 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8942] ppid=8932 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8942/stat : 8942 (java) S 8932 8932 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230888985 15372775424 18640 33554432000 4194304 4196468 140721981887184 140162533156256 140163944208085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8943] ppid=8932 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8943/stat : 8943 (java) S 8932 8932 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230888985 15372775424 18640 33554432000 4194304 4196468 140721981887184 140162298275312 140163944208085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8944] ppid=8932 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8944/stat : 8944 (java) S 8932 8932 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230888988 15372775424 18640 33554432000 4194304 4196468 140721981887184 140161923766992 140163944216475 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8945] ppid=8932 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8945/stat : 8945 (java) S 8932 8932 8231 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 230888988 15372775424 18640 33554432000 4194304 4196468 140721981887184 140163282700272 140163944209026 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8946] ppid=8932 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8946/stat : 8946 (java) S 8932 8932 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230888988 15372775424 18640 33554432000 4194304 4196468 140721981887184 140163281647728 140163944209026 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8947] ppid=8932 vsize=15012476 memory=139975502804608 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8947/stat : 8947 (java) S 8932 8932 8231 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 15 0 230888988 15372775424 18640 33554432000 4194304 4196468 140721981887184 140163280595184 140163944209026 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8948] ppid=8932 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8948/stat : 8948 (java) S 8932 8932 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230888988 15372775424 18640 33554432000 4194304 4196468 140721981887184 140161425861216 140163944208085 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8949] ppid=8932 vsize=15012476 memory=139975502804608 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8949/stat : 8949 (java) S 8932 8932 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230888988 15372775424 18640 33554432000 4194304 4196468 140721981887184 140163279543088 140163944209026 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75164 KiB
[startup+0.210614 s]*
/proc/loadavg: 2.03 2.04 1.97 3/222 8949
/proc/meminfo: memFree=15671276/32770624 swapFree=67108792/67108860
[pid=8932] ppid=8929 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8932/stat : 8932 (scop.sh) S 8929 8932 8231 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230888981 115843072 349 33554432000 4194304 5098028 140731253307296 140731253304552 140347607061116 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39428096 140731253310529 140731253310727 140731253310727 140731253313485 0
/proc/8932/statm: 28282 349 296 221 0 87 0
[pid=8935] ppid=8932 vsize=15012476 memory=86752 CPUtime=0.25 cores=1,3,5,7
/proc/8935/stat : 8935 (java) S 8932 8932 8231 0 -1 1077944320 10054 0 0 0 22 3 0 0 20 0 15 0 230888981 15372775424 21688 33554432000 4194304 4196468 140721981887184 140721981869728 140163944197879 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
/proc/8935/statm: 3753119 21688 2905 1 0 3715579 0
[pid=8935/tid=8936] ppid=8932 vsize=15012476 memory=-8976644418600983157 CPUtime=0.2 cores=1,3,5,7
/proc/8935/task/8936/stat : 8936 (java) R 8932 8932 8231 0 -1 4202560 7944 0 0 0 18 2 0 0 20 0 15 0 230888982 15372775424 21688 33554432000 4194304 4196468 140721981887184 140163916023536 140163447280148 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8937] ppid=8932 vsize=15012476 memory=3472468271730484912 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8937/stat : 8937 (java) S 8932 8932 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230888983 15372775424 21688 33554432000 4194304 4196468 140721981887184 140163948439824 140163944208085 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8938] ppid=8932 vsize=15012476 memory=139975502804608 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8938/stat : 8938 (java) S 8932 8932 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230888983 15372775424 21688 33554432000 4194304 4196468 140721981887184 140163404790160 140163944208085 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8939] ppid=8932 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8939/stat : 8939 (java) S 8932 8932 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230888983 15372775424 21688 33554432000 4194304 4196468 140721981887184 140163403737616 140163944208085 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8940] ppid=8932 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8940/stat : 8940 (java) S 8932 8932 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230888983 15372775424 21688 33554432000 4194304 4196468 140721981887184 140163402685072 140163944208085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8941] ppid=8932 vsize=15012476 memory=139975502804608 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8941/stat : 8941 (java) S 8932 8932 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230888985 15372775424 21688 33554432000 4194304 4196468 140721981887184 140163283753456 140163944209026 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8942] ppid=8932 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8942/stat : 8942 (java) S 8932 8932 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230888985 15372775424 21688 33554432000 4194304 4196468 140721981887184 140162533156256 140163944208085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8943] ppid=8932 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8943/stat : 8943 (java) S 8932 8932 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230888985 15372775424 21688 33554432000 4194304 4196468 140721981887184 140162298275312 140163944208085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8944] ppid=8932 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8944/stat : 8944 (java) S 8932 8932 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230888988 15372775424 21688 33554432000 4194304 4196468 140721981887184 140161923766992 140163944216475 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8945] ppid=8932 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8945/stat : 8945 (java) R 8932 8932 8231 0 -1 4202560 320 0 0 0 0 0 0 0 20 0 15 0 230888988 15372775424 21688 33554432000 4194304 4196468 140721981887184 140163282691776 140163937303576 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8946] ppid=8932 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8946/stat : 8946 (java) R 8932 8932 8231 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 230888988 15372775424 21688 33554432000 4194304 4196468 140721981887184 140163281647728 140163944209026 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8947] ppid=8932 vsize=15012476 memory=139975502804608 CPUtime=0.03 cores=1,3,5,7
/proc/8935/task/8947/stat : 8947 (java) S 8932 8932 8231 0 -1 1077944384 301 0 0 0 3 0 0 0 20 0 15 0 230888988 15372775424 21688 33554432000 4194304 4196468 140721981887184 140163280595184 140163944209026 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8948] ppid=8932 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8948/stat : 8948 (java) S 8932 8932 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230888988 15372775424 21688 33554432000 4194304 4196468 140721981887184 140161425861216 140163944208085 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8949] ppid=8932 vsize=15012476 memory=139975502804608 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8949/stat : 8949 (java) S 8932 8932 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230888988 15372775424 21688 33554432000 4194304 4196468 140721981887184 140163279543088 140163944209026 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88148 KiB
[startup+0.310794 s]*
/proc/loadavg: 2.03 2.04 1.97 3/222 8949
/proc/meminfo: memFree=15667344/32770624 swapFree=67108792/67108860
[pid=8932] ppid=8929 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8932/stat : 8932 (scop.sh) S 8929 8932 8231 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230888981 115843072 349 33554432000 4194304 5098028 140731253307296 140731253304552 140347607061116 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39428096 140731253310529 140731253310727 140731253310727 140731253313485 0
/proc/8932/statm: 28282 349 296 221 0 87 0
[pid=8935] ppid=8932 vsize=15012476 memory=90540 CPUtime=0.42 cores=1,3,5,7
/proc/8935/stat : 8935 (java) S 8932 8932 8231 0 -1 1077944320 10598 0 0 0 39 3 0 0 20 0 15 0 230888981 15372775424 22635 33554432000 4194304 4196468 140721981887184 140721981869728 140163944197879 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
/proc/8935/statm: 3753119 22635 3021 1 0 3715579 0
[pid=8935/tid=8936] ppid=8932 vsize=15012476 memory=-8976644418600983157 CPUtime=0.29 cores=1,3,5,7
/proc/8935/task/8936/stat : 8936 (java) R 8932 8932 8231 0 -1 4202560 8325 0 0 0 27 2 0 0 20 0 15 0 230888982 15372775424 22635 33554432000 4194304 4196468 140721981887184 140163915992880 140163944211766 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8937] ppid=8932 vsize=15012476 memory=3472468271730484912 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8937/stat : 8937 (java) S 8932 8932 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230888983 15372775424 22635 33554432000 4194304 4196468 140721981887184 140163948439824 140163944208085 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8938] ppid=8932 vsize=15012476 memory=279950903016320 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8938/stat : 8938 (java) S 8932 8932 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230888983 15372775424 22635 33554432000 4194304 4196468 140721981887184 140163404790160 140163944208085 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8939] ppid=8932 vsize=15012476 memory=279950800453408 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8939/stat : 8939 (java) S 8932 8932 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230888983 15372775424 22635 33554432000 4194304 4196468 140721981887184 140163403737616 140163944208085 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8940] ppid=8932 vsize=15012476 memory=139975400211727 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8940/stat : 8940 (java) S 8932 8932 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230888983 15372775424 22635 33554432000 4194304 4196468 140721981887184 140163402685072 140163944208085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8941] ppid=8932 vsize=15012476 memory=279950903023232 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8941/stat : 8941 (java) S 8932 8932 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230888985 15372775424 22635 33554432000 4194304 4196468 140721981887184 140163283753456 140163944209026 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8942] ppid=8932 vsize=15012476 memory=139975400216335 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8942/stat : 8942 (java) S 8932 8932 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230888985 15372775424 22635 33554432000 4194304 4196468 140721981887184 140162533156256 140163944208085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8943] ppid=8932 vsize=15012476 memory=139975400227269 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8943/stat : 8943 (java) S 8932 8932 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230888985 15372775424 22635 33554432000 4194304 4196468 140721981887184 140162298275312 140163944208085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8944] ppid=8932 vsize=15012476 memory=279950800464928 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8944/stat : 8944 (java) S 8932 8932 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230888988 15372775424 22635 33554432000 4194304 4196468 140721981887184 140161923766992 140163944216475 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8945] ppid=8932 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8935/task/8945/stat : 8945 (java) R 8932 8932 8231 0 -1 4202560 358 0 0 0 1 0 0 0 20 0 15 0 230888988 15372775424 22635 33554432000 4194304 4196468 140721981887184 140163282700272 140163925720044 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8946] ppid=8932 vsize=15012476 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8935/task/8946/stat : 8946 (java) S 8932 8932 8231 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 15 0 230888988 15372775424 22635 33554432000 4194304 4196468 140721981887184 140163281647728 140163944209026 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8947] ppid=8932 vsize=15012476 memory=139975502804608 CPUtime=0.07 cores=1,3,5,7
/proc/8935/task/8947/stat : 8947 (java) S 8932 8932 8231 0 -1 1077944384 321 0 0 0 7 0 0 0 20 0 15 0 230888988 15372775424 22635 33554432000 4194304 4196468 140721981887184 140163280595184 140163944209026 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8948] ppid=8932 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8948/stat : 8948 (java) S 8932 8932 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230888988 15372775424 22635 33554432000 4194304 4196468 140721981887184 140161425861216 140163944208085 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8949] ppid=8932 vsize=15012476 memory=139975502806004 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8949/stat : 8949 (java) S 8932 8932 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230888988 15372775424 22635 33554432000 4194304 4196468 140721981887184 140163279543088 140163944209026 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91936 KiB
[startup+0.708394 s]
/proc/loadavg: 2.03 2.04 1.97 3/222 8949
/proc/meminfo: memFree=15642932/32770624 swapFree=67108792/67108860
[pid=8932] ppid=8929 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8932/stat : 8932 (scop.sh) S 8929 8932 8231 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230888981 115843072 349 33554432000 4194304 5098028 140731253307296 140731253304552 140347607061116 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39428096 140731253310529 140731253310727 140731253310727 140731253313485 0
/proc/8932/statm: 28282 349 296 221 0 87 0
[pid=8935] ppid=8932 vsize=15020872 memory=135096 CPUtime=1.06 cores=1,3,5,7
/proc/8935/stat : 8935 (java) S 8932 8932 8231 0 -1 1077944320 17846 0 0 0 100 6 0 0 20 0 15 0 230888981 15381372928 33774 33554432000 4194304 4196468 140721981887184 140721981869728 140163944197879 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
/proc/8935/statm: 3755218 33774 3159 1 0 3716603 0
[pid=8935/tid=8936] ppid=8932 vsize=15020872 memory=53 CPUtime=0.68 cores=1,3,5,7
/proc/8935/task/8936/stat : 8936 (java) R 8932 8932 8231 0 -1 4202560 14898 0 0 0 64 4 0 0 20 0 15 0 230888982 15381372928 33774 33554432000 4194304 4196468 140721981887184 140163916018224 140163944219226 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8937] ppid=8932 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8937/stat : 8937 (java) S 8932 8932 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230888983 15381372928 33774 33554432000 4194304 4196468 140721981887184 140163948439824 140163944208085 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8938] ppid=8932 vsize=15020872 memory=8320808402719618869 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8938/stat : 8938 (java) S 8932 8932 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230888983 15381372928 33774 33554432000 4194304 4196468 140721981887184 140163404790160 140163944208085 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8939] ppid=8932 vsize=15020872 memory=7223880817056039022 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8939/stat : 8939 (java) S 8932 8932 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230888983 15381372928 33774 33554432000 4194304 4196468 140721981887184 140163403737616 140163944208085 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8940] ppid=8932 vsize=15020872 memory=7588675599774802240 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8940/stat : 8940 (java) S 8932 8932 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230888983 15381372928 33774 33554432000 4194304 4196468 140721981887184 140163402685072 140163944208085 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8941] ppid=8932 vsize=15020872 memory=734122130331934768 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8941/stat : 8941 (java) S 8932 8932 8231 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230888985 15381372928 33774 33554432000 4194304 4196468 140721981887184 140163283753456 140163944209026 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8942] ppid=8932 vsize=15020872 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8942/stat : 8942 (java) S 8932 8932 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230888985 15381372928 33774 33554432000 4194304 4196468 140721981887184 140162533156256 140163944208085 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8943] ppid=8932 vsize=15020872 memory=1264 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8943/stat : 8943 (java) S 8932 8932 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230888985 15381372928 33774 33554432000 4194304 4196468 140721981887184 140162298275312 140163944208085 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8944] ppid=8932 vsize=15020872 memory=7136 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8944/stat : 8944 (java) S 8932 8932 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230888988 15381372928 33774 33554432000 4194304 4196468 140721981887184 140161923766992 140163944216475 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8945] ppid=8932 vsize=15020872 memory=748 CPUtime=0.08 cores=1,3,5,7
/proc/8935/task/8945/stat : 8945 (java) R 8932 8932 8231 0 -1 4202560 699 0 0 0 8 0 0 0 20 0 15 0 230888988 15381372928 33774 33554432000 4194304 4196468 140721981887184 140163282681288 140163927697932 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8946] ppid=8932 vsize=15020872 memory=872 CPUtime=0.09 cores=1,3,5,7
/proc/8935/task/8946/stat : 8946 (java) S 8932 8932 8231 0 -1 1077944384 477 0 0 0 9 0 0 0 20 0 15 0 230888988 15381372928 33774 33554432000 4194304 4196468 140721981887184 140163281647728 140163944209026 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8947] ppid=8932 vsize=15020872 memory=1220 CPUtime=0.17 cores=1,3,5,7
/proc/8935/task/8947/stat : 8947 (java) R 8932 8932 8231 0 -1 4202560 435 0 0 0 17 0 0 0 20 0 15 0 230888988 15381372928 33774 33554432000 4194304 4196468 140721981887184 140163280595184 140163944209814 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8948] ppid=8932 vsize=15020872 memory=1108 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8948/stat : 8948 (java) S 8932 8932 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230888988 15381372928 33774 33554432000 4194304 4196468 140721981887184 140161425861216 140163944208085 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
[pid=8935/tid=8949] ppid=8932 vsize=15020872 memory=15336 CPUtime=0 cores=1,3,5,7
/proc/8935/task/8949/stat : 8949 (java) S 8932 8932 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230888988 15381372928 33774 33554432000 4194304 4196468 140721981887184 140163279543088 140163944209026 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33914880 140721981891592 140721981891889 140721981891889 140721981894607 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 136492 KiB
[startup+1.50698 s]
/proc/loadavg: 2.03 2.04 1.97 3/222 8949
/proc/meminfo: memFree=15609976/32770624 swapFree=67108792/67108860
[pid=8932] ppid=8929 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8932/stat : 8932 (scop.sh) S 8929 8932 8231 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230888981 115843072 349 33554432000 4194304 5098028 140731253307296 140731253304552 140347607061116 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39428096 140731253310529 140731253310727 140731253310727 140731253313485 0
/proc/8932/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/8965/statm: 22737 18620 342 28 0 18977 0
[pid=8950/tid=8951] ppid=8932 vsize=8068220 memory=119944 CPUtime=0.75 cores=1,3,5,7
/proc/8950/task/8951/stat : 8951 (java) S 8932 8932 8231 0 -1 1077944384 15420 0 0 0 70 5 0 0 20 0 19 0 230889429 8261857280 29986 33554432000 4194304 4196468 140735953157216 139976359542672 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8952] ppid=8932 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8952/stat : 8952 (java) S 8932 8932 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230889430 8261857280 29986 33554432000 4194304 4196468 140735953157216 139976391944592 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8953] ppid=8932 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8953/stat : 8953 (java) S 8932 8932 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230889430 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975872641296 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8954] ppid=8932 vsize=8068220 memory=119944 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8954/stat : 8954 (java) S 8932 8932 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230889430 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975871589008 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8955] ppid=8932 vsize=8068220 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8955/stat : 8955 (java) S 8932 8932 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230889430 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975870536208 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8956] ppid=8932 vsize=8068220 memory=1620 CPUtime=0.05 cores=1,3,5,7
/proc/8950/task/8956/stat : 8956 (java) S 8932 8932 8231 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 230889431 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975834114672 139976387713666 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8957] ppid=8932 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8957/stat : 8957 (java) S 8932 8932 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230889432 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975198762272 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8958] ppid=8932 vsize=8068220 memory=119944 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8958/stat : 8958 (java) S 8932 8932 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230889432 8261857280 29986 33554432000 4194304 4196468 140735953157216 139974930327152 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8959] ppid=8932 vsize=8068220 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8959/stat : 8959 (java) S 8932 8932 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230889434 8261857280 29986 33554432000 4194304 4196468 140735953157216 139974555818576 139976387721115 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8960] ppid=8932 vsize=8068220 memory=1168 CPUtime=0.15 cores=1,3,5,7
/proc/8950/task/8960/stat : 8960 (java) S 8932 8932 8231 0 -1 1077944384 895 0 0 0 14 1 0 0 20 0 19 0 230889434 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975833061488 139976387713666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8961] ppid=8932 vsize=8068220 memory=1220 CPUtime=0.1 cores=1,3,5,7
/proc/8950/task/8961/stat : 8961 (java) S 8932 8932 8231 0 -1 1077944384 371 0 0 0 10 0 0 0 20 0 19 0 230889434 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975832008688 139976387713666 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8962] ppid=8932 vsize=8068220 memory=1108 CPUtime=0.21 cores=1,3,5,7
/proc/8950/task/8962/stat : 8962 (java) S 8932 8932 8231 0 -1 1077944384 647 0 0 0 21 0 0 0 20 0 19 0 230889434 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975830956400 139976387713666 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8963] ppid=8932 vsize=8068220 memory=808 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8963/stat : 8963 (java) S 8932 8932 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230889435 8261857280 29986 33554432000 4194304 4196468 140735953157216 139974057912800 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8964] ppid=8932 vsize=8068220 memory=4104 CPUtime=1.3 cores=1,3,5,7
/proc/8950/task/8964/stat : 8964 (java) S 8932 8932 8231 0 -1 1077944384 165 0 0 0 59 71 0 0 20 0 19 0 230889435 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975829904304 139976387713666 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8966] ppid=8932 vsize=8068220 memory=119944 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8966/stat : 8966 (java) S 8932 8932 8231 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230889502 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975822095808 139976387727129 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8968] ppid=8932 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8968/stat : 8968 (java) S 8932 8932 8231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 230889502 8261857280 29986 33554432000 4194304 4196468 140735953157216 139973521031216 139976387724445 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8969] ppid=8932 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8969/stat : 8969 (java) S 8932 8932 8231 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230889502 8261857280 29986 33554432000 4194304 4196468 140735953157216 139973789466032 139976387724445 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8970] ppid=8932 vsize=8068220 memory=119944 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8970/stat : 8970 (java) S 8932 8932 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230889504 8261857280 29986 33554432000 4194304 4196468 140735953157216 139973118385056 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
Current children cumulated CPU time: 2451.29 s
Current children cumulated vsize: 8272296 KiB
Current children cumulated memory: 195896 KiB
[startup+2502.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/227 9145
/proc/meminfo: memFree=15539496/32770624 swapFree=67108792/67108860
[pid=8932] ppid=8929 vsize=113128 memory=1472 CPUtime=11.69 cores=1,3,5,7
/proc/8932/stat : 8932 (scop.sh) S 8929 8932 8231 0 -1 4202496 591 28380 0 0 0 0 1139 30 20 0 1 0 230888981 115843072 368 33554432000 4194304 5098028 140731253307296 140731253304040 140347607061116 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39428096 140731253310529 140731253310727 140731253310727 140731253313485 0
/proc/8932/statm: 28282 368 311 221 0 87 0
[pid=8950] ppid=8932 vsize=8068220 memory=119944 CPUtime=2.66 cores=1,3,5,7
/proc/8950/stat : 8950 (java) S 8932 8932 8231 0 -1 1077944320 18891 0 0 0 186 80 0 0 20 0 19 0 230889428 8261857280 29986 33554432000 4194304 4196468 140735953157216 140735953139760 139976387702519 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
/proc/8950/statm: 2017055 29986 3141 1 0 1978454 0
[pid=8965] ppid=8950 vsize=90948 memory=74480 CPUtime=2496.98 cores=1,3,5,7
/proc/8965/stat : 8965 (minisat_release) R 8950 8932 8231 0 -1 4202496 259204 0 0 0 249674 24 0 0 20 0 1 0 230889502 93130752 18620 33554432000 4194304 4308513 140735800445072 140735800441976 4275992 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 39170048 140735800448117 140735800448214 140735800448214 140735800451013 0
/proc/8965/statm: 22737 18620 342 28 0 18977 0
[pid=8950/tid=8951] ppid=8932 vsize=8068220 memory=119944 CPUtime=0.75 cores=1,3,5,7
/proc/8950/task/8951/stat : 8951 (java) S 8932 8932 8231 0 -1 1077944384 15420 0 0 0 70 5 0 0 20 0 19 0 230889429 8261857280 29986 33554432000 4194304 4196468 140735953157216 139976359542672 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8952] ppid=8932 vsize=8068220 memory=119944 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8952/stat : 8952 (java) S 8932 8932 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230889430 8261857280 29986 33554432000 4194304 4196468 140735953157216 139976391944592 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8953] ppid=8932 vsize=8068220 memory=279950800640864 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8953/stat : 8953 (java) S 8932 8932 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230889430 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975872641296 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8954] ppid=8932 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8954/stat : 8954 (java) S 8932 8932 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230889430 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975871589008 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8955] ppid=8932 vsize=8068220 memory=119944 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8955/stat : 8955 (java) S 8932 8932 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230889430 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975870536208 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8956] ppid=8932 vsize=8068220 memory=62812 CPUtime=0.05 cores=1,3,5,7
/proc/8950/task/8956/stat : 8956 (java) S 8932 8932 8231 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 230889431 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975834114672 139976387713666 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8957] ppid=8932 vsize=8068220 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8957/stat : 8957 (java) S 8932 8932 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230889432 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975198762272 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8958] ppid=8932 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8958/stat : 8958 (java) S 8932 8932 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230889432 8261857280 29986 33554432000 4194304 4196468 140735953157216 139974930327152 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8959] ppid=8932 vsize=8068220 memory=118220 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8959/stat : 8959 (java) S 8932 8932 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230889434 8261857280 29986 33554432000 4194304 4196468 140735953157216 139974555818576 139976387721115 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8960] ppid=8932 vsize=8068220 memory=62812 CPUtime=0.15 cores=1,3,5,7
/proc/8950/task/8960/stat : 8960 (java) S 8932 8932 8231 0 -1 1077944384 895 0 0 0 14 1 0 0 20 0 19 0 230889434 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975833061488 139976387713666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8961] ppid=8932 vsize=8068220 memory=1220 CPUtime=0.1 cores=1,3,5,7
/proc/8950/task/8961/stat : 8961 (java) S 8932 8932 8231 0 -1 1077944384 371 0 0 0 10 0 0 0 20 0 19 0 230889434 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975832008688 139976387713666 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8962] ppid=8932 vsize=8068220 memory=74480 CPUtime=0.21 cores=1,3,5,7
/proc/8950/task/8962/stat : 8962 (java) S 8932 8932 8231 0 -1 1077944384 647 0 0 0 21 0 0 0 20 0 19 0 230889434 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975830956400 139976387713666 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8963] ppid=8932 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8963/stat : 8963 (java) S 8932 8932 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230889435 8261857280 29986 33554432000 4194304 4196468 140735953157216 139974057912800 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8964] ppid=8932 vsize=8068220 memory=74480 CPUtime=1.33 cores=1,3,5,7
/proc/8950/task/8964/stat : 8964 (java) S 8932 8932 8231 0 -1 1077944384 169 0 0 0 60 73 0 0 20 0 19 0 230889435 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975829904304 139976387713666 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8966] ppid=8932 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8966/stat : 8966 (java) S 8932 8932 8231 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230889502 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975822095808 139976387727129 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8968] ppid=8932 vsize=8068220 memory=119944 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8968/stat : 8968 (java) S 8932 8932 8231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 230889502 8261857280 29986 33554432000 4194304 4196468 140735953157216 139973521031216 139976387724445 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8969] ppid=8932 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8969/stat : 8969 (java) S 8932 8932 8231 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230889502 8261857280 29986 33554432000 4194304 4196468 140735953157216 139973789466032 139976387724445 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8970] ppid=8932 vsize=8068220 memory=119944 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8970/stat : 8970 (java) S 8932 8932 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230889504 8261857280 29986 33554432000 4194304 4196468 140735953157216 139973118385056 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
Current children cumulated CPU time: 2511.33 s
Current children cumulated vsize: 8272296 KiB
Current children cumulated memory: 195896 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2511 s]*
/proc/loadavg: 1.99 2.00 2.04 3/227 9145
/proc/meminfo: memFree=15508156/32770624 swapFree=67108792/67108860
[pid=8932] ppid=8929 vsize=113128 memory=1472 CPUtime=11.69 cores=1,3,5,7
/proc/8932/stat : 8932 (scop.sh) S 8929 8932 8231 0 -1 4202496 591 28380 0 0 0 0 1139 30 20 0 1 0 230888981 115843072 368 33554432000 4194304 5098028 140731253307296 140731253304040 140347607061116 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39428096 140731253310529 140731253310727 140731253310727 140731253313485 0
/proc/8932/statm: 28282 368 311 221 0 87 0
[pid=8950] ppid=8932 vsize=8068220 memory=119944 CPUtime=2.66 cores=1,3,5,7
/proc/8950/stat : 8950 (java) S 8932 8932 8231 0 -1 1077944320 18899 0 0 0 186 80 0 0 20 0 19 0 230889428 8261857280 29986 33554432000 4194304 4196468 140735953157216 140735953139760 139976387702519 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
/proc/8950/statm: 2017055 29986 3141 1 0 1978454 0
[pid=8965] ppid=8950 vsize=90948 memory=74484 CPUtime=2505.69 cores=1,3,5,7
/proc/8965/stat : 8965 (minisat_release) R 8950 8932 8231 0 -1 4202496 259462 0 0 0 250545 24 0 0 20 0 1 0 230889502 93130752 18621 33554432000 4194304 4308513 140735800445072 140735800442568 4275920 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 39170048 140735800448117 140735800448214 140735800448214 140735800451013 0
/proc/8965/statm: 22737 18621 343 28 0 18977 0
[pid=8950/tid=8951] ppid=8932 vsize=8068220 memory=-5059952977386882957 CPUtime=0.75 cores=1,3,5,7
/proc/8950/task/8951/stat : 8951 (java) S 8932 8932 8231 0 -1 1077944384 15420 0 0 0 70 5 0 0 20 0 19 0 230889429 8261857280 29986 33554432000 4194304 4196468 140735953157216 139976359542672 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8952] ppid=8932 vsize=8068220 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8952/stat : 8952 (java) S 8932 8932 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230889430 8261857280 29986 33554432000 4194304 4196468 140735953157216 139976391944592 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8953] ppid=8932 vsize=8068220 memory=118220 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8953/stat : 8953 (java) S 8932 8932 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230889430 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975872641296 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8954] ppid=8932 vsize=8068220 memory=133684 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8954/stat : 8954 (java) S 8932 8932 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230889430 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975871589008 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8955] ppid=8932 vsize=8068220 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8955/stat : 8955 (java) S 8932 8932 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230889430 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975870536208 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8956] ppid=8932 vsize=8068220 memory=-7003737579269690708 CPUtime=0.05 cores=1,3,5,7
/proc/8950/task/8956/stat : 8956 (java) S 8932 8932 8231 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 230889431 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975834114672 139976387713666 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8957] ppid=8932 vsize=8068220 memory=1920 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8957/stat : 8957 (java) S 8932 8932 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230889432 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975198762272 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8958] ppid=8932 vsize=8068220 memory=7892 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8958/stat : 8958 (java) S 8932 8932 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230889432 8261857280 29986 33554432000 4194304 4196468 140735953157216 139974930327152 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8959] ppid=8932 vsize=8068220 memory=808 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8959/stat : 8959 (java) S 8932 8932 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230889434 8261857280 29986 33554432000 4194304 4196468 140735953157216 139974555818576 139976387721115 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8960] ppid=8932 vsize=8068220 memory=4104 CPUtime=0.15 cores=1,3,5,7
/proc/8950/task/8960/stat : 8960 (java) S 8932 8932 8231 0 -1 1077944384 895 0 0 0 14 1 0 0 20 0 19 0 230889434 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975833061488 139976387713666 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8961] ppid=8932 vsize=8068220 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8950/task/8961/stat : 8961 (java) S 8932 8932 8231 0 -1 1077944384 372 0 0 0 10 0 0 0 20 0 19 0 230889434 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975832008688 139976387713666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8962] ppid=8932 vsize=8068220 memory=-5059952977386882957 CPUtime=0.21 cores=1,3,5,7
/proc/8950/task/8962/stat : 8962 (java) S 8932 8932 8231 0 -1 1077944384 650 0 0 0 21 0 0 0 20 0 19 0 230889434 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975830956400 139976387713666 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8963] ppid=8932 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8963/stat : 8963 (java) S 8932 8932 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230889435 8261857280 29986 33554432000 4194304 4196468 140735953157216 139974057912800 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8964] ppid=8932 vsize=8068220 memory=15 CPUtime=1.34 cores=1,3,5,7
/proc/8950/task/8964/stat : 8964 (java) S 8932 8932 8231 0 -1 1077944384 169 0 0 0 61 73 0 0 20 0 19 0 230889435 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975829904304 139976387713666 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8966] ppid=8932 vsize=8068220 memory=10 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8966/stat : 8966 (java) S 8932 8932 8231 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230889502 8261857280 29986 33554432000 4194304 4196468 140735953157216 139975822095808 139976387727129 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8968] ppid=8932 vsize=8068220 memory=21 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8968/stat : 8968 (java) S 8932 8932 8231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 230889502 8261857280 29986 33554432000 4194304 4196468 140735953157216 139973521031216 139976387724445 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8969] ppid=8932 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8969/stat : 8969 (java) S 8932 8932 8231 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230889502 8261857280 29986 33554432000 4194304 4196468 140735953157216 139973789466032 139976387724445 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
[pid=8950/tid=8970] ppid=8932 vsize=8068220 memory=134 CPUtime=0 cores=1,3,5,7
/proc/8950/task/8970/stat : 8970 (java) S 8932 8932 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230889504 8261857280 29986 33554432000 4194304 4196468 140735953157216 139973118385056 139976387712725 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26288128 140735953163446 140735953163569 140735953163569 140735953166287 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 8272296 KiB
Current children cumulated memory: 195900 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2511.02 s]
# the end of solver process 8932 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.73 s, system=1.37495 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2511.02
CPU time (s): 2520.11
CPU user time (s): 2518.73
CPU system time (s): 1.37495
CPU usage (%): 100.362
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 1252536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.73
system time used= 1.37495
maximum resident set size= 1256248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 307624
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59741
involuntary context switches= 776
# summary of solver processes directly reported to runsolver:
# pid: 8932
# total CPU time (s): 2520.11
# total CPU user time (s): 2518.73
# total CPU system time (s): 1.37495
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6227 second user time and 26.9725 second system time
The end