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-20670-serial-file.bin HOME/instance-4305572-1534064938.xml
0.66/0.52
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.56 c BEGIN-Prog: Sun Aug 12 11:08:59 CEST 2018
0.66/0.56 c PID: 20673
0.66/0.56 c IP: 172.20.3.103
0.66/0.56 c HOST: node103.alineos.net
0.66/0.57 c (0,0) Parsing Begin
1.38/0.90 c (0,0) Parsing End
1.38/0.91 c (0,0) CSP: 121 int (0 aux), 0 bool (0 aux), 60 ctr, max domain size 11
1.38/0.91 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.91 c (0,0) Constraint Name Generate Begin
1.38/0.91 c (0,0) Ctr:HOME/instance-4305572-1534064938.xml,AllDifferent:IntVar
1.38/0.91 c (0,0) Constraint Name Generate End
1.38/0.91 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.91 c (0,0) CSP to CSPinCNF Begin
1.79/1.16 c (0,0) translated 6 (10%) constraints
2.06/1.23 c (0,0) translated 12 (20%) constraints
2.06/1.28 c (0,0) translated 18 (30%) constraints
2.37/1.31 c (0,0) translated 24 (40%) constraints
2.37/1.33 c (0,0) translated 30 (50%) constraints
2.37/1.34 c (0,0) translated 36 (60%) constraints
2.37/1.36 c (0,0) translated 42 (70%) constraints
2.37/1.36 c (0,0) translated 48 (80%) constraints
2.37/1.37 c (0,0) translated 54 (90%) constraints
2.37/1.38 c (0,0) translated 60 (100%) constraints
2.72/1.46 c (0,0) STATISTICS1:HOME/instance-4305572-1534064938.xml,AllDifferent:IntVar,121,2100,11,11,11,2,11:1980,11:4920,11:48;10:8;9:8;8:8;7:8;6:8;5:8;4:8;3:8;2:1988,2:1980;1:960,
2.72/1.46 c (0,0) ==========================================
2.72/1.46 c (0,0) Both Encoding selects:
2.72/1.46 c (0,0) Order
2.72/1.46 c (0,0) ==========================================
2.72/1.50 c (0,0) translated 210 (10%) constraints
2.98/1.52 c (0,0) translated 420 (20%) constraints
2.98/1.53 c (1,0) translated 630 (30%) constraints
2.98/1.54 c (1,0) translated 840 (40%) constraints
2.98/1.56 c (1,1) translated 1050 (50%) constraints
2.98/1.57 c (1,1) translated 1260 (60%) constraints
2.98/1.59 c (1,1) translated 1470 (70%) constraints
3.29/1.60 c (1,1) translated 1680 (80%) constraints
3.29/1.61 c (1,1) translated 1890 (90%) constraints
3.29/1.63 c (1,1) translated 2100 (100%) constraints
3.29/1.63 c (1,1) CSP to CSPinCNF End
3.29/1.63 c (1,1) CSP: 121 int (0 aux), 0 bool (0 aux), 2100 ctr, max domain size 11
3.29/1.63 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.29/1.63 c (1,1) CSPinCNF Propagation Begin
3.29/1.67 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.29/1.67 c (1,1) CSPinCNF Propagation End
3.29/1.67 c (1,1) CSP: 121 int (0 aux), 0 bool (0 aux), 2100 ctr, max domain size 11
3.29/1.67 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.29/1.67 c (1,1) Simplify CSPinCNF Begin
3.97/1.86 c (1,1) Simplify CSPinCNF End
3.97/1.86 c (1,1) CSP: 121 int (0 aux), 3960 bool (3960 aux), 6060 ctr, max domain size 11
3.97/1.86 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.97/1.86 c (1,1) Calculate Precise Domain Begin
3.97/1.87 c (1,1) 0 values are removed by re-calculation
3.97/1.87 c (1,1) Calculate Precise Domain End
3.97/1.87 c (1,1) CSP: 121 int (0 aux), 3960 bool (3960 aux), 6060 ctr, max domain size 11
3.97/1.87 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.97/1.87 c (1,1) CSPinCNF to SatSolver Begin
4.25/2.01 c (1,1) 606 (10 %) CSP clauses are encoded (5170 SAT variables, 5684 SAT clauses)
4.63/2.05 c (1,1) 1212 (20 %) CSP clauses are encoded (5170 SAT variables, 10280 SAT clauses)
4.63/2.09 c (1,1) 1818 (30 %) CSP clauses are encoded (5170 SAT variables, 14886 SAT clauses)
4.94/2.12 c (1,1) 2424 (40 %) CSP clauses are encoded (5170 SAT variables, 19472 SAT clauses)
4.94/2.16 c (1,1) 3030 (50 %) CSP clauses are encoded (5170 SAT variables, 24068 SAT clauses)
4.94/2.19 c (1,1) 3636 (60 %) CSP clauses are encoded (5170 SAT variables, 28674 SAT clauses)
5.20/2.22 c (1,1) 4242 (70 %) CSP clauses are encoded (5170 SAT variables, 33240 SAT clauses)
5.20/2.24 c (1,1) 4848 (80 %) CSP clauses are encoded (5170 SAT variables, 37736 SAT clauses)
5.20/2.27 c (1,1) 5454 (90 %) CSP clauses are encoded (5170 SAT variables, 42222 SAT clauses)
5.20/2.29 c (1,1) 6060 (100 %) CSP clauses are encoded (5170 SAT variables, 46748 SAT clauses)
5.20/2.29 c (1,1) Launch Command will be: minisat_release
5.20/2.29 c (1,1) CSPinCNF to SatSolver End
5.20/2.29 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.51/2.36 c (1,1) STATISTICS2:HOME/instance-4305572-1534064938.xml,AllDifferent:IntVar,4081,6060,11,11,11,2,11:3960,11:8880;2:7920,11:48;10:8;9:8;8:8;7:8;6:8;5:8;4:8;3:8;2:5948,2:3960;1:8880,
5.51/2.36 c (1,1) 5170 bool, 46749 clause
5.51/2.36 c (1,1) Export Begin
5.84/2.45 c (1,1) Export to HOME/scop-20670-serial-file.bin
5.84/2.45 c (1,1) Export End
5.84/2.45 c (1,1) Export File Size: 0.02 MB
5.84/2.45 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
5.84/2.45 c END-Prog: Sun Aug 12 11:09:01 CEST 2018
5.84/2.47 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-20670-serial-file.bin
6.03/2.98 c (0,0) Read Serial File Begin
6.03/3.00 c (0,0) HOME/scop-20670-serial-file.bin
6.84/3.17 c (0,0) Read Serial File End
6.84/3.19
6.84/3.19 scop order+minisat_release (2018-07-31)
6.84/3.19 (Solving Process)
6.84/3.19
6.99/3.21 c BEGIN-Prog: Sun Aug 12 11:09:01 CEST 2018
6.99/3.21 c PID: 20731
6.99/3.21 c IP: 172.20.3.103
6.99/3.21 c HOST: node103.alineos.net
6.99/3.21 c (0,0) SatSolver.solve Begin
6.99/3.21 c (0,0) 0 bool, 0 clause
6.99/3.21 c (0,0) minisat_release HOME/instance-4305572-1534064938.xml-scop-20673.cnf
2520.05/2514.70 c (2511,0) SatSolver is killed by some reasons.
2520.05/2514.70 c (2511,0) receiving signal SIGTERM
2520.05/2514.70 s UNKNOWN
2520.05/2514.71 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.05/2514.71 c (scop.sh) Killing background jobs.
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 (8018 MiB free)
memory of node 1: 16384 MiB (8755 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305572-1534064938/watcher-4305572-1534064938 -o /tmp/evaluation-result-4305572-1534064938/solver-4305572-1534064938 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20637 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305572-1534064938.xml
running on 4 cores: 0,2,4,6
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=20670, runsolver pid=20667
Current StackSize limit: 8192 KiB
[startup+0.10016 s]*
/proc/loadavg: 1.28 1.30 1.36 6/218 20701
/proc/meminfo: memFree=17052684/32770624 swapFree=67058736/67108860
[pid=20670] ppid=20667 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/20670/stat : 20670 (scop.sh) S 20667 20670 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224056994 115843072 349 33554432000 4194304 5098028 140727749615632 140727749612888 139645905339004 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29126656 140727749620801 140727749620999 140727749620999 140727749623757 0
/proc/20670/statm: 28282 349 296 221 0 87 0
[pid=20673] ppid=20670 vsize=15012476 memory=74984 CPUtime=0.11 cores=0,2,4,6
/proc/20673/stat : 20673 (java) S 20670 20670 20606 0 -1 1077944320 5866 0 0 0 9 2 0 0 20 0 15 0 224056994 15372775424 18746 33554432000 4194304 4196468 140733615286512 140733615269056 140393367572215 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
/proc/20673/statm: 3753119 18746 2739 1 0 3715579 0
[pid=20673/tid=20675] ppid=20670 vsize=15012476 memory=-6601833317647732518 CPUtime=0.09 cores=0,2,4,6
/proc/20673/task/20675/stat : 20675 (java) R 20670 20670 20606 0 -1 4202560 3991 0 0 0 8 1 0 0 20 0 15 0 224056994 15372775424 18746 33554432000 4194304 4196468 140733615286512 140393339408960 140393351652702 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20680] ppid=20670 vsize=15012476 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20680/stat : 20680 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 18746 33554432000 4194304 4196468 140733615286512 140393371814928 140393367582421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20681] ppid=20670 vsize=15012476 memory=140416228836992 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20681/stat : 20681 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 18746 33554432000 4194304 4196468 140733615286512 140393162898576 140393367582421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20682] ppid=20670 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20682/stat : 20682 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 18746 33554432000 4194304 4196468 140733615286512 140393161845520 140393367582421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20683] ppid=20670 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20683/stat : 20683 (java) S 20670 20670 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 18746 33554432000 4194304 4196468 140733615286512 140393160792976 140393367582421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20685] ppid=20670 vsize=15012476 memory=140416228836992 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20685/stat : 20685 (java) S 20670 20670 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224056997 15372775424 18746 33554432000 4194304 4196468 140733615286512 140392707078384 140393367583362 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20687] ppid=20670 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20687/stat : 20687 (java) S 20670 20670 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224056998 15372775424 18746 33554432000 4194304 4196468 140733615286512 140391978362016 140393367582421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20689] ppid=20670 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20689/stat : 20689 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056998 15372775424 18746 33554432000 4194304 4196468 140733615286512 140391743480560 140393367582421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20690] ppid=20670 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20690/stat : 20690 (java) S 20670 20670 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 18746 33554432000 4194304 4196468 140733615286512 140391368972240 140393367590811 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20692] ppid=20670 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20692/stat : 20692 (java) R 20670 20670 20606 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 18746 33554432000 4194304 4196468 140733615286512 140392706026224 140393367583362 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20693] ppid=20670 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20693/stat : 20693 (java) S 20670 20670 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 18746 33554432000 4194304 4196468 140733615286512 140392704973680 140393367583362 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20695] ppid=20670 vsize=15012476 memory=140416228836992 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20695/stat : 20695 (java) S 20670 20670 20606 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 18746 33554432000 4194304 4196468 140733615286512 140392703920624 140393367583362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20698] ppid=20670 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20698/stat : 20698 (java) S 20670 20670 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 18746 33554432000 4194304 4196468 140733615286512 140390871067488 140393367582421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20700] ppid=20670 vsize=15012476 memory=140416228836992 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20700/stat : 20700 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 18746 33554432000 4194304 4196468 140733615286512 140392702868016 140393367583362 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 76380 KiB
[startup+0.210311 s]*
/proc/loadavg: 1.28 1.30 1.36 4/218 20701
/proc/meminfo: memFree=17025152/32770624 swapFree=67058736/67108860
[pid=20670] ppid=20667 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/20670/stat : 20670 (scop.sh) S 20667 20670 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224056994 115843072 349 33554432000 4194304 5098028 140727749615632 140727749612888 139645905339004 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29126656 140727749620801 140727749620999 140727749620999 140727749623757 0
/proc/20670/statm: 28282 349 296 221 0 87 0
[pid=20673] ppid=20670 vsize=15012476 memory=88564 CPUtime=0.24 cores=0,2,4,6
/proc/20673/stat : 20673 (java) S 20670 20670 20606 0 -1 1077944320 9445 0 0 0 22 2 0 0 20 0 15 0 224056994 15372775424 22141 33554432000 4194304 4196468 140733615286512 140733615269056 140393367572215 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
/proc/20673/statm: 3753119 22141 2905 1 0 3715579 0
[pid=20673/tid=20675] ppid=20670 vsize=15012476 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/20673/task/20675/stat : 20675 (java) R 20670 20670 20606 0 -1 4202560 7365 0 0 0 18 2 0 0 20 0 15 0 224056994 15372775424 22141 33554432000 4194304 4196468 140733615286512 140393339387568 140393367584150 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20680] ppid=20670 vsize=15012476 memory=12684 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20680/stat : 20680 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 22141 33554432000 4194304 4196468 140733615286512 140393371814928 140393367582421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20681] ppid=20670 vsize=15012476 memory=140416228857801 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20681/stat : 20681 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 22141 33554432000 4194304 4196468 140733615286512 140393162898576 140393367582421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20682] ppid=20670 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20682/stat : 20682 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 22141 33554432000 4194304 4196468 140733615286512 140393161845520 140393367582421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20683] ppid=20670 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20683/stat : 20683 (java) S 20670 20670 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 22141 33554432000 4194304 4196468 140733615286512 140393160792976 140393367582421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20685] ppid=20670 vsize=15012476 memory=140416228836992 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20685/stat : 20685 (java) S 20670 20670 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224056997 15372775424 22141 33554432000 4194304 4196468 140733615286512 140392707078384 140393367583362 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20687] ppid=20670 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20687/stat : 20687 (java) S 20670 20670 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224056998 15372775424 22141 33554432000 4194304 4196468 140733615286512 140391978362016 140393367582421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20689] ppid=20670 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20689/stat : 20689 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056998 15372775424 22141 33554432000 4194304 4196468 140733615286512 140391743480560 140393367582421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20690] ppid=20670 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20690/stat : 20690 (java) S 20670 20670 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 22141 33554432000 4194304 4196468 140733615286512 140391368972240 140393367590811 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20692] ppid=20670 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20692/stat : 20692 (java) S 20670 20670 20606 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 22141 33554432000 4194304 4196468 140733615286512 140392706026224 140393367583362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20693] ppid=20670 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20693/stat : 20693 (java) S 20670 20670 20606 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 22141 33554432000 4194304 4196468 140733615286512 140392704973680 140393367583362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20695] ppid=20670 vsize=15012476 memory=140416228836992 CPUtime=0.02 cores=0,2,4,6
/proc/20673/task/20695/stat : 20695 (java) R 20670 20670 20606 0 -1 4202560 289 0 0 0 2 0 0 0 20 0 15 0 224057001 15372775424 22141 33554432000 4194304 4196468 140733615286512 140392703920624 140393346416243 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20698] ppid=20670 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20698/stat : 20698 (java) S 20670 20670 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 22141 33554432000 4194304 4196468 140733615286512 140390871067488 140393367582421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20700] ppid=20670 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20700/stat : 20700 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 22141 33554432000 4194304 4196468 140733615286512 140392702868016 140393367583362 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89960 KiB
[startup+0.310334 s]*
/proc/loadavg: 1.28 1.30 1.36 4/218 20701
/proc/meminfo: memFree=17018196/32770624 swapFree=67058736/67108860
[pid=20670] ppid=20667 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/20670/stat : 20670 (scop.sh) S 20667 20670 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224056994 115843072 349 33554432000 4194304 5098028 140727749615632 140727749612888 139645905339004 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29126656 140727749620801 140727749620999 140727749620999 140727749623757 0
/proc/20670/statm: 28282 349 296 221 0 87 0
[pid=20673] ppid=20670 vsize=15012476 memory=92344 CPUtime=0.42 cores=0,2,4,6
/proc/20673/stat : 20673 (java) S 20670 20670 20606 0 -1 1077944320 9981 0 0 0 39 3 0 0 20 0 15 0 224056994 15372775424 23086 33554432000 4194304 4196468 140733615286512 140733615269056 140393367572215 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
/proc/20673/statm: 3753119 23086 3013 1 0 3715579 0
[pid=20673/tid=20675] ppid=20670 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/20673/task/20675/stat : 20675 (java) R 20670 20670 20606 0 -1 4202560 7737 0 0 0 27 2 0 0 20 0 15 0 224056994 15372775424 23086 33554432000 4194304 4196468 140733615286512 140393339367664 140393351652702 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20680] ppid=20670 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20680/stat : 20680 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 23086 33554432000 4194304 4196468 140733615286512 140393371814928 140393367582421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20681] ppid=20670 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20681/stat : 20681 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 23086 33554432000 4194304 4196468 140733615286512 140393162898576 140393367582421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20682] ppid=20670 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20682/stat : 20682 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 23086 33554432000 4194304 4196468 140733615286512 140393161845520 140393367582421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20683] ppid=20670 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20683/stat : 20683 (java) S 20670 20670 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224056996 15372775424 23086 33554432000 4194304 4196468 140733615286512 140393160792976 140393367582421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20685] ppid=20670 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20685/stat : 20685 (java) S 20670 20670 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224056997 15372775424 23086 33554432000 4194304 4196468 140733615286512 140392707078384 140393367583362 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20687] ppid=20670 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20687/stat : 20687 (java) S 20670 20670 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224056998 15372775424 23086 33554432000 4194304 4196468 140733615286512 140391978362016 140393367582421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20689] ppid=20670 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20689/stat : 20689 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056998 15372775424 23086 33554432000 4194304 4196468 140733615286512 140391743480560 140393367582421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20690] ppid=20670 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20690/stat : 20690 (java) S 20670 20670 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 23086 33554432000 4194304 4196468 140733615286512 140391368972240 140393367590811 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20692] ppid=20670 vsize=15012476 memory=4426078206164241782 CPUtime=0.02 cores=0,2,4,6
/proc/20673/task/20692/stat : 20692 (java) S 20670 20670 20606 0 -1 1077944384 398 0 0 0 2 0 0 0 20 0 15 0 224057001 15372775424 23086 33554432000 4194304 4196468 140733615286512 140392706026224 140393367583362 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20693] ppid=20670 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20673/task/20693/stat : 20693 (java) S 20670 20670 20606 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 15 0 224057001 15372775424 23086 33554432000 4194304 4196468 140733615286512 140392704973680 140393367583362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20695] ppid=20670 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20673/task/20695/stat : 20695 (java) S 20670 20670 20606 0 -1 1077944384 310 0 0 0 7 0 0 0 20 0 15 0 224057001 15372775424 23086 33554432000 4194304 4196468 140733615286512 140392703920624 140393367583362 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20698] ppid=20670 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20698/stat : 20698 (java) S 20670 20670 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 23086 33554432000 4194304 4196468 140733615286512 140390871067488 140393367582421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20700] ppid=20670 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20700/stat : 20700 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057001 15372775424 23086 33554432000 4194304 4196468 140733615286512 140392702868016 140393367583362 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 93740 KiB
[startup+0.700782 s]
/proc/loadavg: 1.28 1.30 1.36 6/218 20701
/proc/meminfo: memFree=16970324/32770624 swapFree=67058736/67108860
[pid=20670] ppid=20667 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/20670/stat : 20670 (scop.sh) S 20667 20670 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224056994 115843072 349 33554432000 4194304 5098028 140727749615632 140727749612888 139645905339004 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29126656 140727749620801 140727749620999 140727749620999 140727749623757 0
/proc/20670/statm: 28282 349 296 221 0 87 0
[pid=20673] ppid=20670 vsize=15020872 memory=129076 CPUtime=0.96 cores=0,2,4,6
/proc/20673/stat : 20673 (java) S 20670 20670 20606 0 -1 1077944320 16900 0 1 0 91 5 0 0 20 0 15 0 224056994 15381372928 32269 33554432000 4194304 4196468 140733615286512 140733615269056 140393367572215 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
/proc/20673/statm: 3755218 32269 3137 1 0 3716603 0
[pid=20673/tid=20675] ppid=20670 vsize=15020872 memory=59720 CPUtime=0.66 cores=0,2,4,6
/proc/20673/task/20675/stat : 20675 (java) R 20670 20670 20606 0 -1 4202560 14251 0 1 0 62 4 0 0 20 0 15 0 224056994 15381372928 32269 33554432000 4194304 4196468 140733615286512 140393339406864 140393351652702 0 4 2 25189581 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20680] ppid=20670 vsize=15020872 memory=780 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20680/stat : 20680 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15381372928 32269 33554432000 4194304 4196468 140733615286512 140393371814928 140393367582421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20681] ppid=20670 vsize=15020872 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20681/stat : 20681 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15381372928 32269 33554432000 4194304 4196468 140733615286512 140393162898576 140393367582421 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20682] ppid=20670 vsize=15020872 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20682/stat : 20682 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056996 15381372928 32269 33554432000 4194304 4196468 140733615286512 140393161845520 140393367582421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20683] ppid=20670 vsize=15020872 memory=976 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20683/stat : 20683 (java) S 20670 20670 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224056996 15381372928 32269 33554432000 4194304 4196468 140733615286512 140393160792976 140393367582421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20685] ppid=20670 vsize=15020872 memory=1140 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20685/stat : 20685 (java) S 20670 20670 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224056997 15381372928 32269 33554432000 4194304 4196468 140733615286512 140392707078384 140393367583362 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20687] ppid=20670 vsize=15020872 memory=1024 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20687/stat : 20687 (java) S 20670 20670 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224056998 15381372928 32269 33554432000 4194304 4196468 140733615286512 140391978362016 140393367582421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20689] ppid=20670 vsize=15020872 memory=3172 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20689/stat : 20689 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224056998 15381372928 32269 33554432000 4194304 4196468 140733615286512 140391743480560 140393367582421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20690] ppid=20670 vsize=15020872 memory=2076 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20690/stat : 20690 (java) S 20670 20670 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057001 15381372928 32269 33554432000 4194304 4196468 140733615286512 140391368972240 140393367590811 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20692] ppid=20670 vsize=15020872 memory=9004 CPUtime=0.06 cores=0,2,4,6
/proc/20673/task/20692/stat : 20692 (java) R 20670 20670 20606 0 -1 4202560 456 0 0 0 6 0 0 0 20 0 15 0 224057001 15381372928 32269 33554432000 4194304 4196468 140733615286512 140392706025408 140393347022075 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20693] ppid=20670 vsize=15020872 memory=768 CPUtime=0.07 cores=0,2,4,6
/proc/20673/task/20693/stat : 20693 (java) S 20670 20670 20606 0 -1 1077944384 453 0 0 0 7 0 0 0 20 0 15 0 224057001 15381372928 32269 33554432000 4194304 4196468 140733615286512 140392704973680 140393367583362 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20695] ppid=20670 vsize=15020872 memory=736 CPUtime=0.14 cores=0,2,4,6
/proc/20673/task/20695/stat : 20695 (java) S 20670 20670 20606 0 -1 1077944384 408 0 0 0 14 0 0 0 20 0 15 0 224057001 15381372928 32269 33554432000 4194304 4196468 140733615286512 140392703920624 140393367583362 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20698] ppid=20670 vsize=15020872 memory=1520 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20698/stat : 20698 (java) S 20670 20670 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057001 15381372928 32269 33554432000 4194304 4196468 140733615286512 140390871067488 140393367582421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
[pid=20673/tid=20700] ppid=20670 vsize=15020872 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/20673/task/20700/stat : 20700 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057001 15381372928 32269 33554432000 4194304 4196468 140733615286512 140392702868016 140393367583362 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12763136 140733615293447 140733615293745 140733615293745 140733615296463 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130472 KiB
[startup+1.50119 s]
/proc/loadavg: 1.28 1.30 1.36 6/218 20701
/proc/meminfo: memFree=16916396/32770624 swapFree=67058736/67108860
[pid=20670] ppid=20667 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/20670/stat : 20670 (scop.sh) S 20667 20670 20606 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224056994 115843072 349 33554432000 4194304 5098028 140727749615632 140727749612888 139645905339004 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29126656 140727749620801 140727749620999 140727749620999 140727749623757 0
/proc/20670/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=20731/tid=20734] ppid=20670 vsize=8068220 memory=116380 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20734/stat : 20734 (java) S 20670 20670 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224057243 8261857280 29095 33554432000 4194304 4196468 140731540411984 140372148935568 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20735] ppid=20670 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20735/stat : 20735 (java) S 20670 20670 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224057243 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371804453904 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20736] ppid=20670 vsize=8068220 memory=116380 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20736/stat : 20736 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057243 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371803401360 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20737] ppid=20670 vsize=8068220 memory=1472 CPUtime=0.04 cores=0,2,4,6
/proc/20731/task/20737/stat : 20737 (java) S 20670 20670 20606 0 -1 1077944384 6 0 0 0 2 2 0 0 20 0 19 0 224057244 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371766495216 140372320062082 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20738] ppid=20670 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20738/stat : 20738 (java) S 20670 20670 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224057245 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371141059488 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20739] ppid=20670 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20739/stat : 20739 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057245 8261857280 29095 33554432000 4194304 4196468 140731540411984 140370872624112 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20740] ppid=20670 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20740/stat : 20740 (java) S 20670 20670 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057247 8261857280 29095 33554432000 4194304 4196468 140731540411984 140370498115792 140372320069531 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20741] ppid=20670 vsize=8068220 memory=1472 CPUtime=0.09 cores=0,2,4,6
/proc/20731/task/20741/stat : 20741 (java) S 20670 20670 20606 0 -1 1077944384 763 0 0 0 9 0 0 0 20 0 19 0 224057247 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371765443056 140372320062082 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20742] ppid=20670 vsize=8068220 memory=116380 CPUtime=0.09 cores=0,2,4,6
/proc/20731/task/20742/stat : 20742 (java) S 20670 20670 20606 0 -1 1077944384 173 0 0 0 9 0 0 0 20 0 19 0 224057247 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371764390512 140372320062082 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20743] ppid=20670 vsize=8068220 memory=3544 CPUtime=0.2 cores=0,2,4,6
/proc/20731/task/20743/stat : 20743 (java) S 20670 20670 20606 0 -1 1077944384 495 0 0 0 20 0 0 0 20 0 19 0 224057247 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371763337968 140372320062082 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20744] ppid=20670 vsize=8068220 memory=116380 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20744/stat : 20744 (java) S 20670 20670 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057248 8261857280 29095 33554432000 4194304 4196468 140731540411984 140370000211040 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20745] ppid=20670 vsize=8068220 memory=1472 CPUtime=1.26 cores=0,2,4,6
/proc/20731/task/20745/stat : 20745 (java) S 20670 20670 20606 0 -1 1077944384 168 0 0 0 62 64 0 0 20 0 19 0 224057248 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371762284848 140372320062082 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20768] ppid=20670 vsize=8068220 memory=63864 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20768/stat : 20768 (java) S 20670 20670 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224057317 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371754476608 140372320075545 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20770] ppid=20670 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20770/stat : 20770 (java) S 20670 20670 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224057318 8261857280 29095 33554432000 4194304 4196468 140731540411984 140369463324304 140372320072861 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20771] ppid=20670 vsize=8068220 memory=116380 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20771/stat : 20771 (java) S 20670 20670 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224057318 8261857280 29095 33554432000 4194304 4196468 140731540411984 140369597546256 140372320072861 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20772] ppid=20670 vsize=8068220 memory=63864 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20772/stat : 20772 (java) S 20670 20670 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057320 8261857280 29095 33554432000 4194304 4196468 140731540411984 140369194901024 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
Current children cumulated CPU time: 2507.64 s
Current children cumulated vsize: 8269244 KiB
Current children cumulated memory: 181716 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514.7 s]
/proc/loadavg: 2.01 2.07 2.01 3/227 20923
/proc/meminfo: memFree=16836952/32770624 swapFree=67058736/67108860
[pid=20670] ppid=20667 vsize=113128 memory=1472 CPUtime=6.03 cores=0,2,4,6
/proc/20670/stat : 20670 (scop.sh) S 20667 20670 20606 0 -1 4202496 589 24374 0 1 0 0 589 14 20 0 1 0 224056994 115843072 368 33554432000 4194304 5098028 140727749615632 140727749612376 139645905339004 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29126656 140727749620801 140727749620999 140727749620999 140727749623757 0
/proc/20670/statm: 28282 368 311 221 0 87 0
[pid=20731] ppid=20670 vsize=8068220 memory=116380 CPUtime=2.5 cores=0,2,4,6
/proc/20731/stat : 20731 (java) S 20670 20670 20606 0 -1 1077944320 18517 0 0 0 180 70 0 0 20 0 19 0 224057241 8261857280 29095 33554432000 4194304 4196468 140731540411984 140731540394528 140372320050935 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
/proc/20731/statm: 2017055 29095 3145 1 0 1978454 0
[pid=20767] ppid=20731 vsize=87896 memory=63864 CPUtime=2511.52 cores=0,2,4,6
/proc/20767/stat : 20767 (minisat_release) R 20731 20670 20606 0 -1 4202496 163518 0 0 0 251141 11 0 0 20 0 1 0 224057317 90005504 15966 33554432000 4194304 4308513 140724191618432 140724191614656 4250478 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 17125376 140724191622260 140724191622358 140724191622358 140724191625157 0
/proc/20767/statm: 21974 15966 342 28 0 18214 0
[pid=20731/tid=20732] ppid=20670 vsize=8068220 memory=116380 CPUtime=0.76 cores=0,2,4,6
/proc/20731/task/20732/stat : 20732 (java) S 20670 20670 20606 0 -1 1077944384 15509 0 0 0 71 5 0 0 20 0 19 0 224057241 8261857280 29095 33554432000 4194304 4196468 140731540411984 140372291891088 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20733] ppid=20670 vsize=8068220 memory=116380 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20733/stat : 20733 (java) S 20670 20670 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224057242 8261857280 29095 33554432000 4194304 4196468 140731540411984 140372324293392 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20734] ppid=20670 vsize=8068220 memory=116380 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20734/stat : 20734 (java) S 20670 20670 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224057243 8261857280 29095 33554432000 4194304 4196468 140731540411984 140372148935568 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20735] ppid=20670 vsize=8068220 memory=116380 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20735/stat : 20735 (java) S 20670 20670 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224057243 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371804453904 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20736] ppid=20670 vsize=8068220 memory=116380 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20736/stat : 20736 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057243 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371803401360 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20737] ppid=20670 vsize=8068220 memory=116380 CPUtime=0.04 cores=0,2,4,6
/proc/20731/task/20737/stat : 20737 (java) S 20670 20670 20606 0 -1 1077944384 6 0 0 0 2 2 0 0 20 0 19 0 224057244 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371766495216 140372320062082 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20738] ppid=20670 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20738/stat : 20738 (java) S 20670 20670 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224057245 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371141059488 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20739] ppid=20670 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20739/stat : 20739 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057245 8261857280 29095 33554432000 4194304 4196468 140731540411984 140370872624112 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20740] ppid=20670 vsize=8068220 memory=9004 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20740/stat : 20740 (java) S 20670 20670 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057247 8261857280 29095 33554432000 4194304 4196468 140731540411984 140370498115792 140372320069531 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20741] ppid=20670 vsize=8068220 memory=1472 CPUtime=0.09 cores=0,2,4,6
/proc/20731/task/20741/stat : 20741 (java) S 20670 20670 20606 0 -1 1077944384 763 0 0 0 9 0 0 0 20 0 19 0 224057247 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371765443056 140372320062082 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20742] ppid=20670 vsize=8068220 memory=116380 CPUtime=0.09 cores=0,2,4,6
/proc/20731/task/20742/stat : 20742 (java) S 20670 20670 20606 0 -1 1077944384 173 0 0 0 9 0 0 0 20 0 19 0 224057247 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371764390512 140372320062082 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20743] ppid=20670 vsize=8068220 memory=3544 CPUtime=0.2 cores=0,2,4,6
/proc/20731/task/20743/stat : 20743 (java) S 20670 20670 20606 0 -1 1077944384 495 0 0 0 20 0 0 0 20 0 19 0 224057247 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371763337968 140372320062082 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20744] ppid=20670 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20744/stat : 20744 (java) S 20670 20670 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057248 8261857280 29095 33554432000 4194304 4196468 140731540411984 140370000211040 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20745] ppid=20670 vsize=8068220 memory=116380 CPUtime=1.26 cores=0,2,4,6
/proc/20731/task/20745/stat : 20745 (java) S 20670 20670 20606 0 -1 1077944384 168 0 0 0 62 64 0 0 20 0 19 0 224057248 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371762284848 140372320062082 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20768] ppid=20670 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20768/stat : 20768 (java) S 20670 20670 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224057317 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371754476608 140372320075545 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20770] ppid=20670 vsize=8068220 memory=116380 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20770/stat : 20770 (java) S 20670 20670 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224057318 8261857280 29095 33554432000 4194304 4196468 140731540411984 140369463324304 140372320072861 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20771] ppid=20670 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20771/stat : 20771 (java) S 20670 20670 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224057318 8261857280 29095 33554432000 4194304 4196468 140731540411984 140369597546256 140372320072861 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20772] ppid=20670 vsize=8068220 memory=116380 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20772/stat : 20772 (java) S 20670 20670 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057320 8261857280 29095 33554432000 4194304 4196468 140731540411984 140369194901024 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 8269244 KiB
Current children cumulated memory: 181716 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2514.71 s]
# the end of solver process 20670 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.90138 s, system=0.146345 s
[startup+2514.71 s]
# the end of solver process 20731 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.13 s, system=0.977074 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2514.7 s]
/proc/loadavg: 2.01 2.07 2.01 3/227 20923
/proc/meminfo: memFree=16836952/32770624 swapFree=67058736/67108860
[pid=20670] ppid=20667 vsize=113128 memory=1472 CPUtime=6.03 cores=0,2,4,6
/proc/20670/stat : 20670 (scop.sh) S 20667 20670 20606 0 -1 4202496 589 24374 0 1 0 0 589 14 20 0 1 0 224056994 115843072 368 33554432000 4194304 5098028 140727749615632 140727749612376 139645905339004 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29126656 140727749620801 140727749620999 140727749620999 140727749623757 0
/proc/20670/statm: 28282 368 311 221 0 87 0
[pid=20731] ppid=20670 vsize=8068220 memory=116380 CPUtime=2.5 cores=0,2,4,6
/proc/20731/stat : 20731 (java) S 20670 20670 20606 0 -1 1077944320 18517 0 0 0 180 70 0 0 20 0 19 0 224057241 8261857280 29095 33554432000 4194304 4196468 140731540411984 140731540394528 140372320050935 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
/proc/20731/statm: 2017055 29095 3145 1 0 1978454 0
[pid=20767] ppid=20731 vsize=87896 memory=63864 CPUtime=2511.52 cores=0,2,4,6
/proc/20767/stat : 20767 (minisat_release) R 20731 20670 20606 0 -1 4202496 163518 0 0 0 251141 11 0 0 20 0 1 0 224057317 90005504 15966 33554432000 4194304 4308513 140724191618432 140724191614656 4250478 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 17125376 140724191622260 140724191622358 140724191622358 140724191625157 0
/proc/20767/statm: 21974 15966 342 28 0 18214 0
[pid=20731/tid=20732] ppid=20670 vsize=8068220 memory=116380 CPUtime=0.76 cores=0,2,4,6
/proc/20731/task/20732/stat : 20732 (java) S 20670 20670 20606 0 -1 1077944384 15509 0 0 0 71 5 0 0 20 0 19 0 224057241 8261857280 29095 33554432000 4194304 4196468 140731540411984 140372291891088 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20733] ppid=20670 vsize=8068220 memory=116380 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20733/stat : 20733 (java) S 20670 20670 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224057242 8261857280 29095 33554432000 4194304 4196468 140731540411984 140372324293392 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20734] ppid=20670 vsize=8068220 memory=116380 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20734/stat : 20734 (java) S 20670 20670 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224057243 8261857280 29095 33554432000 4194304 4196468 140731540411984 140372148935568 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20735] ppid=20670 vsize=8068220 memory=116380 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20735/stat : 20735 (java) S 20670 20670 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224057243 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371804453904 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20736] ppid=20670 vsize=8068220 memory=116380 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20736/stat : 20736 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057243 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371803401360 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20737] ppid=20670 vsize=8068220 memory=116380 CPUtime=0.04 cores=0,2,4,6
/proc/20731/task/20737/stat : 20737 (java) S 20670 20670 20606 0 -1 1077944384 6 0 0 0 2 2 0 0 20 0 19 0 224057244 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371766495216 140372320062082 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20738] ppid=20670 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20738/stat : 20738 (java) S 20670 20670 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224057245 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371141059488 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20739] ppid=20670 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20739/stat : 20739 (java) S 20670 20670 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057245 8261857280 29095 33554432000 4194304 4196468 140731540411984 140370872624112 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20740] ppid=20670 vsize=8068220 memory=9004 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20740/stat : 20740 (java) S 20670 20670 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057247 8261857280 29095 33554432000 4194304 4196468 140731540411984 140370498115792 140372320069531 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20741] ppid=20670 vsize=8068220 memory=1472 CPUtime=0.09 cores=0,2,4,6
/proc/20731/task/20741/stat : 20741 (java) S 20670 20670 20606 0 -1 1077944384 763 0 0 0 9 0 0 0 20 0 19 0 224057247 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371765443056 140372320062082 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20742] ppid=20670 vsize=8068220 memory=116380 CPUtime=0.09 cores=0,2,4,6
/proc/20731/task/20742/stat : 20742 (java) S 20670 20670 20606 0 -1 1077944384 173 0 0 0 9 0 0 0 20 0 19 0 224057247 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371764390512 140372320062082 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20743] ppid=20670 vsize=8068220 memory=3544 CPUtime=0.2 cores=0,2,4,6
/proc/20731/task/20743/stat : 20743 (java) S 20670 20670 20606 0 -1 1077944384 495 0 0 0 20 0 0 0 20 0 19 0 224057247 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371763337968 140372320062082 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20744] ppid=20670 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20744/stat : 20744 (java) S 20670 20670 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057248 8261857280 29095 33554432000 4194304 4196468 140731540411984 140370000211040 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20745] ppid=20670 vsize=8068220 memory=116380 CPUtime=1.26 cores=0,2,4,6
/proc/20731/task/20745/stat : 20745 (java) S 20670 20670 20606 0 -1 1077944384 168 0 0 0 62 64 0 0 20 0 19 0 224057248 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371762284848 140372320062082 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20768] ppid=20670 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20768/stat : 20768 (java) S 20670 20670 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224057317 8261857280 29095 33554432000 4194304 4196468 140731540411984 140371754476608 140372320075545 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20770] ppid=20670 vsize=8068220 memory=116380 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20770/stat : 20770 (java) S 20670 20670 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224057318 8261857280 29095 33554432000 4194304 4196468 140731540411984 140369463324304 140372320072861 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20771] ppid=20670 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20771/stat : 20771 (java) S 20670 20670 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224057318 8261857280 29095 33554432000 4194304 4196468 140731540411984 140369597546256 140372320072861 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
[pid=20731/tid=20772] ppid=20670 vsize=8068220 memory=116380 CPUtime=0 cores=0,2,4,6
/proc/20731/task/20772/stat : 20772 (java) S 20670 20670 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057320 8261857280 29095 33554432000 4194304 4196468 140731540411984 140369194901024 140372320061141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140731540415669 140731540415793 140731540415793 140731540418511 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 8269244 KiB
Current children cumulated memory: 181716 KiB
Child status: 1
Real time (s): 2514.71
CPU time (s): 2520.11
CPU user time (s): 2519.13
CPU system time (s): 0.977074
CPU usage (%): 100.215
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 420968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.13
system time used= 0.977074
maximum resident set size= 424468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207281
page faults= 1
swaps= 0
block input operations= 376
block output operations= 3048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59056
involuntary context switches= 979
# summary of solver processes directly reported to runsolver:
# pid: 20670,20731
# total CPU time (s): 2520.11
# total CPU user time (s): 2519.13
# total CPU system time (s): 0.977074
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3978 second user time and 28.6028 second system time
The end