0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-16667-serial-file.bin HOME/instance-4305336-1534064712.xml
0.66/0.52
0.66/0.53 scop order+minisat_release (2018-07-31)
0.66/0.53 (Encoding Process)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Sun Aug 12 11:05:13 CEST 2018
0.66/0.56 c PID: 16672
0.66/0.56 c IP: 172.20.3.107
0.66/0.56 c HOST: node107.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.40/0.90 c (0,0) Parsing End
1.40/0.91 c (0,0) CSP: 121 int (0 aux), 0 bool (0 aux), 60 ctr, max domain size 11
1.40/0.91 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.91 c (0,0) Constraint Name Generate Begin
1.40/0.92 c (0,0) Ctr:HOME/instance-4305336-1534064712.xml,AllDifferent:IntVar
1.40/0.92 c (0,0) Constraint Name Generate End
1.40/0.92 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.92 c (0,0) CSP to CSPinCNF Begin
1.76/1.17 c (0,0) translated 6 (10%) constraints
2.05/1.25 c (0,0) translated 12 (20%) constraints
2.35/1.30 c (0,0) translated 18 (30%) constraints
2.35/1.33 c (0,0) translated 24 (40%) constraints
2.35/1.35 c (0,0) translated 30 (50%) constraints
2.35/1.36 c (0,0) translated 36 (60%) constraints
2.35/1.37 c (0,0) translated 42 (70%) constraints
2.35/1.38 c (0,0) translated 48 (80%) constraints
2.35/1.39 c (0,0) translated 54 (90%) constraints
2.68/1.40 c (0,0) translated 60 (100%) constraints
2.68/1.48 c (0,0) STATISTICS1:HOME/instance-4305336-1534064712.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.68/1.48 c (0,0) ==========================================
2.68/1.48 c (0,0) Order
2.68/1.48 c (0,0) ==========================================
2.96/1.52 c (0,0) translated 210 (10%) constraints
2.96/1.54 c (1,0) translated 420 (20%) constraints
2.96/1.55 c (1,1) translated 630 (30%) constraints
2.96/1.57 c (1,1) translated 840 (40%) constraints
2.96/1.58 c (1,1) translated 1050 (50%) constraints
3.26/1.60 c (1,1) translated 1260 (60%) constraints
3.26/1.61 c (1,1) translated 1470 (70%) constraints
3.26/1.62 c (1,1) translated 1680 (80%) constraints
3.26/1.64 c (1,1) translated 1890 (90%) constraints
3.26/1.65 c (1,1) translated 2100 (100%) constraints
3.26/1.66 c (1,1) CSP to CSPinCNF End
4.22/2.00 c (1,1) CSP: 121 int (0 aux), 0 bool (0 aux), 2100 ctr, max domain size 11
4.22/2.00 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.22/2.00 c (1,1) CSPinCNF Propagation Begin
4.22/2.00 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
4.22/2.00 c (1,1) CSPinCNF Propagation End
4.22/2.00 c (1,1) CSP: 121 int (0 aux), 0 bool (0 aux), 2100 ctr, max domain size 11
4.22/2.00 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.22/2.00 c (1,1) Simplify CSPinCNF Begin
4.22/2.00 c (1,1) Simplify CSPinCNF End
4.22/2.00 c (1,1) CSP: 121 int (0 aux), 3960 bool (3960 aux), 6060 ctr, max domain size 11
4.22/2.00 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.22/2.00 c (1,1) Calculate Precise Domain Begin
4.22/2.00 c (1,1) 0 values are removed by re-calculation
4.22/2.00 c (1,1) Calculate Precise Domain End
4.22/2.00 c (1,1) CSP: 121 int (0 aux), 3960 bool (3960 aux), 6060 ctr, max domain size 11
4.22/2.00 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.22/2.00 c (1,1) CSPinCNF to SatSolver Begin
4.57/2.14 c (1,1) 606 (10 %) CSP clauses are encoded (5170 SAT variables, 5684 SAT clauses)
4.57/2.17 c (1,1) 1212 (20 %) CSP clauses are encoded (5170 SAT variables, 10280 SAT clauses)
4.84/2.21 c (1,1) 1818 (30 %) CSP clauses are encoded (5170 SAT variables, 14886 SAT clauses)
4.84/2.24 c (1,1) 2424 (40 %) CSP clauses are encoded (5170 SAT variables, 19472 SAT clauses)
4.84/2.27 c (1,1) 3030 (50 %) CSP clauses are encoded (5170 SAT variables, 24068 SAT clauses)
5.14/2.30 c (1,1) 3636 (60 %) CSP clauses are encoded (5170 SAT variables, 28674 SAT clauses)
5.14/2.33 c (1,1) 4242 (70 %) CSP clauses are encoded (5170 SAT variables, 33240 SAT clauses)
5.14/2.35 c (1,1) 4848 (80 %) CSP clauses are encoded (5170 SAT variables, 37736 SAT clauses)
5.14/2.38 c (1,1) 5454 (90 %) CSP clauses are encoded (5170 SAT variables, 42222 SAT clauses)
5.14/2.40 c (1,1) 6060 (100 %) CSP clauses are encoded (5170 SAT variables, 46748 SAT clauses)
5.14/2.40 c (1,1) Launch Command will be: minisat_release
5.14/2.40 c (1,1) CSPinCNF to SatSolver End
5.14/2.40 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.48/2.46 c (1,1) STATISTICS2:HOME/instance-4305336-1534064712.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.48/2.46 c (1,1) 5170 bool, 46749 clause
5.48/2.46 c (1,1) Export Begin
5.77/2.56 c (2,1) Export to HOME/scop-16667-serial-file.bin
5.77/2.56 c (2,1) Export End
5.77/2.56 c (2,1) Export File Size: 0.02 MB
5.77/2.56 c (2,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
5.77/2.56 c END-Prog: Sun Aug 12 11:05:15 CEST 2018
5.77/2.57 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-16667-serial-file.bin
6.53/3.06 c (0,0) Read Serial File Begin
6.53/3.06 c (0,0) HOME/scop-16667-serial-file.bin
6.82/3.23 c (0,0) Read Serial File End
6.82/3.24
6.82/3.24 scop order+minisat_release (2018-07-31)
6.82/3.24 (Solving Process)
6.82/3.24
6.82/3.26 c BEGIN-Prog: Sun Aug 12 11:05:15 CEST 2018
6.82/3.26 c PID: 16730
6.82/3.26 c IP: 172.20.3.107
6.82/3.26 c HOST: node107.alineos.net
6.82/3.27 c (0,0) SatSolver.solve Begin
6.82/3.27 c (0,0) 0 bool, 0 clause
6.82/3.27 c (0,0) minisat_release HOME/instance-4305336-1534064712.xml-scop-16672.cnf
2516.42/2511.33 c (2508,0) c This is COMiniSatPS.
2516.42/2511.33 c (2508,0) c WARNING: for repeatability, setting FPU to use double precision
2516.42/2511.33 c (2508,0) c ============================[ Problem Statistics ]=============================
2516.42/2511.33 c (2508,0) c | |
2516.42/2511.33 c (2508,0) c | Number of variables: 5170 |
2516.42/2511.33 c (2508,0) c | Number of clauses: 46749 |
2516.42/2511.33 c (2508,0) c | Parse time: 0.01 s |
2516.42/2511.33 c (2508,0) c | Eliminated clauses: 0.04 Mb |
2516.42/2511.33 c (2508,0) c Reduced to 3190 vars, 44769 cls (grow=0)
2516.42/2511.33 c (2508,0) c No iterative elimination performed. (vars=3190, c/v ratio=14.0)
2516.42/2511.33 c (2508,0) c | Simplification time: 0.04 s |
2516.42/2511.33 c (2508,0) c | |
2516.42/2511.33 c (2508,0) c ============================[ Search Statistics ]==============================
2516.42/2511.33 c (2508,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2516.42/2511.33 c (2508,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2516.42/2511.33 c (2508,0) c ===============================================================================
2516.42/2511.33 c (2508,0) c Switched to VSIDS.
2520.02/2514.90 c (2511,0) SatSolver is killed by some reasons.
2520.02/2514.90 c (2511,0) TO,TO,TO,TO,TO,TO,TO,TO,TO,STOP-AFTER(Nothing)
2520.02/2514.90 s UNKNOWN
2520.02/2514.90 c END-Prog: Sun Aug 12 11:47:07 CEST 2018
2520.02/2514.91 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.02/2514.91 c (scop.sh) Killing background jobs.
2520.02/2514.91 HOME/scop.sh: line 50: kill: (16730) - 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 (12867 MiB free)
memory of node 1: 16384 MiB (11320 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305336-1534064712/watcher-4305336-1534064712 -o /tmp/evaluation-result-4305336-1534064712/solver-4305336-1534064712 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16636 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305336-1534064712.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
solver pid=16667, runsolver pid=16660
Starting watchdog thread
Current StackSize limit: 8192 KiB
[startup+0.100166 s]*
/proc/loadavg: 0.66 0.68 0.99 4/218 16700
/proc/meminfo: memFree=24650392/32770624 swapFree=67108860/67108860
[pid=16667] ppid=16660 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/16667/stat : 16667 (scop.sh) S 16660 16667 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224034392 115843072 349 33554432000 4194304 5098028 140723667535952 140723667533208 139715604431484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30318592 140723667539008 140723667539207 140723667539207 140723667541965 0
/proc/16667/statm: 28282 349 296 221 0 87 0
[pid=16672] ppid=16667 vsize=15012476 memory=69300 CPUtime=0.1 cores=0,2,4,6
/proc/16672/stat : 16672 (java) S 16667 16667 16605 0 -1 1077944320 6525 0 0 0 8 2 0 0 20 0 15 0 224034392 15372775424 17325 33554432000 4194304 4196468 140724009185088 140724009167632 140002004197111 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
/proc/16672/statm: 3753119 17325 2731 1 0 3715579 0
[pid=16672/tid=16674] ppid=16667 vsize=15012476 memory=4639423674102481040 CPUtime=0.08 cores=0,2,4,6
/proc/16672/task/16674/stat : 16674 (java) R 16667 16667 16605 0 -1 4202560 4621 0 0 0 7 1 0 0 20 0 15 0 224034393 15372775424 17325 33554432000 4194304 4196468 140724009185088 140001975972072 140001984472433 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16675] ppid=16667 vsize=15012476 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16675/stat : 16675 (java) S 16667 16667 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224034394 15372775424 17325 33554432000 4194304 4196468 140724009185088 140002008439952 140002004207317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16676] ppid=16667 vsize=15012476 memory=140331085440640 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16676/stat : 16676 (java) S 16667 16667 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224034394 15372775424 17325 33554432000 4194304 4196468 140724009185088 140001464540176 140002004207317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16677] ppid=16667 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16677/stat : 16677 (java) S 16667 16667 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224034394 15372775424 17325 33554432000 4194304 4196468 140724009185088 140001463487376 140002004207317 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16678] ppid=16667 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16678/stat : 16678 (java) S 16667 16667 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224034394 15372775424 17325 33554432000 4194304 4196468 140724009185088 140001462434576 140002004207317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16683] ppid=16667 vsize=15012476 memory=140331085440640 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16683/stat : 16683 (java) S 16667 16667 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224034396 15372775424 17325 33554432000 4194304 4196468 140724009185088 140001041791344 140002004208258 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16686] ppid=16667 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16686/stat : 16686 (java) S 16667 16667 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224034396 15372775424 17325 33554432000 4194304 4196468 140724009185088 140000565912608 140002004207317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16688] ppid=16667 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16688/stat : 16688 (java) S 16667 16667 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224034397 15372775424 17325 33554432000 4194304 4196468 140724009185088 140000297476976 140002004207317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16689] ppid=16667 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16689/stat : 16689 (java) S 16667 16667 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224034399 15372775424 17325 33554432000 4194304 4196468 140724009185088 139999922968400 140002004215707 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16691] ppid=16667 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16691/stat : 16691 (java) S 16667 16667 16605 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 224034399 15372775424 17325 33554432000 4194304 4196468 140724009185088 140001040739184 140002004208258 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16692] ppid=16667 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16692/stat : 16692 (java) S 16667 16667 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224034399 15372775424 17325 33554432000 4194304 4196468 140724009185088 140001039686384 140002004208258 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16694] ppid=16667 vsize=15012476 memory=140331085440640 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16694/stat : 16694 (java) S 16667 16667 16605 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 15 0 224034399 15372775424 17325 33554432000 4194304 4196468 140724009185088 140001038633584 140002004208258 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16697] ppid=16667 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16697/stat : 16697 (java) S 16667 16667 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224034400 15372775424 17325 33554432000 4194304 4196468 140724009185088 139999425063648 140002004207317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16700] ppid=16667 vsize=15012476 memory=140331085440640 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16700/stat : 16700 (java) S 16667 16667 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224034400 15372775424 17325 33554432000 4194304 4196468 140724009185088 140001037580976 140002004208258 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 70696 KiB
[startup+0.21052 s]*
/proc/loadavg: 0.66 0.68 0.99 4/218 16700
/proc/meminfo: memFree=24621612/32770624 swapFree=67108860/67108860
[pid=16667] ppid=16660 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/16667/stat : 16667 (scop.sh) S 16660 16667 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224034392 115843072 349 33554432000 4194304 5098028 140723667535952 140723667533208 139715604431484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30318592 140723667539008 140723667539207 140723667539207 140723667541965 0
/proc/16667/statm: 28282 349 296 221 0 87 0
[pid=16672] ppid=16667 vsize=15012476 memory=84180 CPUtime=0.25 cores=0,2,4,6
/proc/16672/stat : 16672 (java) S 16667 16667 16605 0 -1 1077944320 10374 0 0 0 22 3 0 0 20 0 15 0 224034392 15372775424 21045 33554432000 4194304 4196468 140724009185088 140724009167632 140002004197111 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
/proc/16672/statm: 3753119 21045 2924 1 0 3715579 0
[pid=16672/tid=16674] ppid=16667 vsize=15012476 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/16672/task/16674/stat : 16674 (java) R 16667 16667 16605 0 -1 4202560 8210 0 0 0 17 2 0 0 20 0 15 0 224034393 15372775424 21045 33554432000 4194304 4196468 140724009185088 140001976012464 140002004209046 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16675] ppid=16667 vsize=15012476 memory=10657 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16675/stat : 16675 (java) S 16667 16667 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224034394 15372775424 21045 33554432000 4194304 4196468 140724009185088 140002008439952 140002004207317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16676] ppid=16667 vsize=15012476 memory=288370707237152384 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16676/stat : 16676 (java) S 16667 16667 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224034394 15372775424 21045 33554432000 4194304 4196468 140724009185088 140001464540176 140002004207317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16677] ppid=16667 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16677/stat : 16677 (java) S 16667 16667 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224034394 15372775424 21045 33554432000 4194304 4196468 140724009185088 140001463487376 140002004207317 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16678] ppid=16667 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16678/stat : 16678 (java) S 16667 16667 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224034394 15372775424 21045 33554432000 4194304 4196468 140724009185088 140001462434576 140002004207317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16683] ppid=16667 vsize=15012476 memory=140331085440640 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16683/stat : 16683 (java) S 16667 16667 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224034396 15372775424 21045 33554432000 4194304 4196468 140724009185088 140001041791344 140002004208258 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16686] ppid=16667 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16686/stat : 16686 (java) S 16667 16667 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224034396 15372775424 21045 33554432000 4194304 4196468 140724009185088 140000565912608 140002004207317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16688] ppid=16667 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16688/stat : 16688 (java) S 16667 16667 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224034397 15372775424 21045 33554432000 4194304 4196468 140724009185088 140000297476976 140002004207317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16689] ppid=16667 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16689/stat : 16689 (java) S 16667 16667 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224034399 15372775424 21045 33554432000 4194304 4196468 140724009185088 139999922968400 140002004215707 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16691] ppid=16667 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16691/stat : 16691 (java) S 16667 16667 16605 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 15 0 224034399 15372775424 21045 33554432000 4194304 4196468 140724009185088 140001040739184 140002004208258 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16692] ppid=16667 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16692/stat : 16692 (java) S 16667 16667 16605 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 224034399 15372775424 21045 33554432000 4194304 4196468 140724009185088 140001039686384 140002004208258 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16694] ppid=16667 vsize=15012476 memory=140331085440640 CPUtime=0.02 cores=0,2,4,6
/proc/16672/task/16694/stat : 16694 (java) S 16667 16667 16605 0 -1 1077944384 349 0 0 0 2 0 0 0 20 0 15 0 224034399 15372775424 21045 33554432000 4194304 4196468 140724009185088 140001038633584 140002004208258 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16697] ppid=16667 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16697/stat : 16697 (java) S 16667 16667 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224034400 15372775424 21045 33554432000 4194304 4196468 140724009185088 139999425063648 140002004207317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16700] ppid=16667 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16700/stat : 16700 (java) S 16667 16667 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224034400 15372775424 21045 33554432000 4194304 4196468 140724009185088 140001037580976 140002004208258 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85576 KiB
[startup+0.310441 s]*
/proc/loadavg: 0.66 0.68 0.99 4/218 16700
/proc/meminfo: memFree=24612796/32770624 swapFree=67108860/67108860
[pid=16667] ppid=16660 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/16667/stat : 16667 (scop.sh) S 16660 16667 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224034392 115843072 349 33554432000 4194304 5098028 140723667535952 140723667533208 139715604431484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30318592 140723667539008 140723667539207 140723667539207 140723667541965 0
/proc/16667/statm: 28282 349 296 221 0 87 0
[pid=16672] ppid=16667 vsize=15012476 memory=88632 CPUtime=0.42 cores=0,2,4,6
/proc/16672/stat : 16672 (java) S 16667 16667 16605 0 -1 1077944320 11101 0 0 0 39 3 0 0 20 0 15 0 224034392 15372775424 22158 33554432000 4194304 4196468 140724009185088 140724009167632 140002004197111 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
/proc/16672/statm: 3753119 22158 2990 1 0 3715579 0
[pid=16672/tid=16674] ppid=16667 vsize=15012476 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/16672/task/16674/stat : 16674 (java) R 16667 16667 16605 0 -1 4202560 8649 0 0 0 26 2 0 0 20 0 15 0 224034393 15372775424 22158 33554432000 4194304 4196468 140724009185088 140001975992560 140001985760640 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16675] ppid=16667 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16675/stat : 16675 (java) S 16667 16667 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224034394 15372775424 22158 33554432000 4194304 4196468 140724009185088 140002008439952 140002004207317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16676] ppid=16667 vsize=15012476 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16676/stat : 16676 (java) S 16667 16667 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224034394 15372775424 22158 33554432000 4194304 4196468 140724009185088 140001464540176 140002004207317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16677] ppid=16667 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16677/stat : 16677 (java) S 16667 16667 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224034394 15372775424 22158 33554432000 4194304 4196468 140724009185088 140001463487376 140002004207317 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16678] ppid=16667 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16678/stat : 16678 (java) S 16667 16667 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224034394 15372775424 22158 33554432000 4194304 4196468 140724009185088 140001462434576 140002004207317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16683] ppid=16667 vsize=15012476 memory=7161331908245094050 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16683/stat : 16683 (java) S 16667 16667 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224034396 15372775424 22158 33554432000 4194304 4196468 140724009185088 140001041791344 140002004208258 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16686] ppid=16667 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16686/stat : 16686 (java) S 16667 16667 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224034396 15372775424 22158 33554432000 4194304 4196468 140724009185088 140000565912608 140002004207317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16688] ppid=16667 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16688/stat : 16688 (java) S 16667 16667 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224034397 15372775424 22158 33554432000 4194304 4196468 140724009185088 140000297476976 140002004207317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16689] ppid=16667 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16689/stat : 16689 (java) S 16667 16667 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224034399 15372775424 22158 33554432000 4194304 4196468 140724009185088 139999922968400 140002004215707 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16691] ppid=16667 vsize=15012476 memory=7031125463459224206 CPUtime=0.02 cores=0,2,4,6
/proc/16672/task/16691/stat : 16691 (java) S 16667 16667 16605 0 -1 1077944384 406 0 0 0 2 0 0 0 20 0 15 0 224034399 15372775424 22158 33554432000 4194304 4196468 140724009185088 140001040739184 140002004208258 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16692] ppid=16667 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16672/task/16692/stat : 16692 (java) S 16667 16667 16605 0 -1 1077944384 238 0 0 0 2 0 0 0 20 0 15 0 224034399 15372775424 22158 33554432000 4194304 4196468 140724009185088 140001039686384 140002004208258 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16694] ppid=16667 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16672/task/16694/stat : 16694 (java) S 16667 16667 16605 0 -1 1077944384 473 0 0 0 7 0 0 0 20 0 15 0 224034399 15372775424 22158 33554432000 4194304 4196468 140724009185088 140001038633584 140002004208258 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16697] ppid=16667 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16697/stat : 16697 (java) S 16667 16667 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224034400 15372775424 22158 33554432000 4194304 4196468 140724009185088 139999425063648 140002004207317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16700] ppid=16667 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16700/stat : 16700 (java) S 16667 16667 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224034400 15372775424 22158 33554432000 4194304 4196468 140724009185088 140001037580976 140002004208258 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90028 KiB
[startup+0.700787 s]
/proc/loadavg: 0.66 0.68 0.99 4/218 16700
/proc/meminfo: memFree=24563776/32770624 swapFree=67108860/67108860
[pid=16667] ppid=16660 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/16667/stat : 16667 (scop.sh) S 16660 16667 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224034392 115843072 349 33554432000 4194304 5098028 140723667535952 140723667533208 139715604431484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30318592 140723667539008 140723667539207 140723667539207 140723667541965 0
/proc/16667/statm: 28282 349 296 221 0 87 0
[pid=16672] ppid=16667 vsize=15020872 memory=126860 CPUtime=0.98 cores=0,2,4,6
/proc/16672/stat : 16672 (java) S 16667 16667 16605 0 -1 1077944320 18316 0 0 0 92 6 0 0 20 0 15 0 224034392 15381372928 31715 33554432000 4194304 4196468 140724009185088 140724009167632 140002004197111 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
/proc/16672/statm: 3755218 31715 3165 1 0 3716603 0
[pid=16672/tid=16674] ppid=16667 vsize=15020872 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/16672/task/16674/stat : 16674 (java) R 16667 16667 16605 0 -1 4202560 15341 0 0 0 62 5 0 0 20 0 15 0 224034393 15381372928 31715 33554432000 4194304 4196468 140724009185088 140001976029008 140001985757378 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16675] ppid=16667 vsize=15020872 memory=60892 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16675/stat : 16675 (java) S 16667 16667 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224034394 15381372928 31715 33554432000 4194304 4196468 140724009185088 140002008439952 140002004207317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16676] ppid=16667 vsize=15020872 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16676/stat : 16676 (java) S 16667 16667 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224034394 15381372928 31715 33554432000 4194304 4196468 140724009185088 140001464540176 140002004207317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16677] ppid=16667 vsize=15020872 memory=2072 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16677/stat : 16677 (java) S 16667 16667 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224034394 15381372928 31715 33554432000 4194304 4196468 140724009185088 140001463487376 140002004207317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16678] ppid=16667 vsize=15020872 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16678/stat : 16678 (java) S 16667 16667 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224034394 15381372928 31715 33554432000 4194304 4196468 140724009185088 140001462434576 140002004207317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16683] ppid=16667 vsize=15020872 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16683/stat : 16683 (java) S 16667 16667 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224034396 15381372928 31715 33554432000 4194304 4196468 140724009185088 140001041791344 140002004208258 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16686] ppid=16667 vsize=15020872 memory=752 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16686/stat : 16686 (java) S 16667 16667 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224034396 15381372928 31715 33554432000 4194304 4196468 140724009185088 140000565912608 140002004207317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16688] ppid=16667 vsize=15020872 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16688/stat : 16688 (java) S 16667 16667 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224034397 15381372928 31715 33554432000 4194304 4196468 140724009185088 140000297476976 140002004207317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16689] ppid=16667 vsize=15020872 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16689/stat : 16689 (java) S 16667 16667 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224034399 15381372928 31715 33554432000 4194304 4196468 140724009185088 139999922968400 140002004215707 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16691] ppid=16667 vsize=15020872 memory=6116 CPUtime=0.06 cores=0,2,4,6
/proc/16672/task/16691/stat : 16691 (java) S 16667 16667 16605 0 -1 1077944384 505 0 0 0 6 0 0 0 20 0 15 0 224034399 15381372928 31715 33554432000 4194304 4196468 140724009185088 140001040739184 140002004208258 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16692] ppid=16667 vsize=15020872 memory=1724 CPUtime=0.08 cores=0,2,4,6
/proc/16672/task/16692/stat : 16692 (java) S 16667 16667 16605 0 -1 1077944384 463 0 0 0 8 0 0 0 20 0 15 0 224034399 15381372928 31715 33554432000 4194304 4196468 140724009185088 140001039686384 140002004208258 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16694] ppid=16667 vsize=15020872 memory=4004 CPUtime=0.15 cores=0,2,4,6
/proc/16672/task/16694/stat : 16694 (java) S 16667 16667 16605 0 -1 1077944384 669 0 0 0 15 0 0 0 20 0 15 0 224034399 15381372928 31715 33554432000 4194304 4196468 140724009185088 140001038633584 140002004208258 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16697] ppid=16667 vsize=15020872 memory=3516 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16697/stat : 16697 (java) S 16667 16667 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224034400 15381372928 31715 33554432000 4194304 4196468 140724009185088 139999425063648 140002004207317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
[pid=16672/tid=16700] ppid=16667 vsize=15020872 memory=872 CPUtime=0 cores=0,2,4,6
/proc/16672/task/16700/stat : 16700 (java) S 16667 16667 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224034400 15381372928 31715 33554432000 4194304 4196468 140724009185088 140001037580976 140002004208258 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15822848 140724009190406 140724009190705 140724009190705 140724009193423 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 128256 KiB
[startup+1.50079 s]
/proc/loadavg: 0.66 0.68 0.99 6/218 16700
/proc/meminfo: memFree=24509872/32770624 swapFree=67108860/67108860
[pid=16667] ppid=16660 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/16667/stat : 16667 (scop.sh) S 16660 16667 16605 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224034392 115843072 349 33554432000 4194304 5098028 140723667535952 140723667533208 139715604431484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30318592 140723667539008 140723667539207 140723667539207 140723667541965 0
/proc/16667/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/16814/statm: 21974 15836 342 28 0 18214 0
[pid=16730/tid=16731] ppid=16667 vsize=8068220 memory=1472 CPUtime=0.74 cores=0,2,4,6
/proc/16730/task/16731/stat : 16731 (java) S 16667 16667 16605 0 -1 1077944384 14841 0 0 0 70 4 0 0 20 0 19 0 224034650 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550984937360 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16732] ppid=16667 vsize=8068220 memory=116404 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16732/stat : 16732 (java) S 16667 16667 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224034651 8261857280 29101 33554432000 4194304 4196468 140735067146464 140551017339792 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16733] ppid=16667 vsize=8068220 memory=116404 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16733/stat : 16733 (java) S 16667 16667 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224034651 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550817508112 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16734] ppid=16667 vsize=8068220 memory=116404 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16734/stat : 16734 (java) S 16667 16667 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224034651 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550816455824 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16735] ppid=16667 vsize=8068220 memory=116404 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16735/stat : 16735 (java) S 16667 16667 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224034651 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550815403024 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16736] ppid=16667 vsize=8068220 memory=1472 CPUtime=0.04 cores=0,2,4,6
/proc/16730/task/16736/stat : 16736 (java) S 16667 16667 16605 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 224034652 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550459549808 140551013108354 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16737] ppid=16667 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16737/stat : 16737 (java) S 16667 16667 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224034653 8261857280 29101 33554432000 4194304 4196468 140735067146464 140549851964192 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16738] ppid=16667 vsize=8068220 memory=63344 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16738/stat : 16738 (java) S 16667 16667 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224034653 8261857280 29101 33554432000 4194304 4196468 140735067146464 140549583529072 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16739] ppid=16667 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16739/stat : 16739 (java) S 16667 16667 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224034655 8261857280 29101 33554432000 4194304 4196468 140735067146464 140549209020496 140551013115803 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16740] ppid=16667 vsize=8068220 memory=116404 CPUtime=0.08 cores=0,2,4,6
/proc/16730/task/16740/stat : 16740 (java) S 16667 16667 16605 0 -1 1077944384 723 0 0 0 8 0 0 0 20 0 19 0 224034655 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550458497648 140551013108354 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16741] ppid=16667 vsize=8068220 memory=1472 CPUtime=0.1 cores=0,2,4,6
/proc/16730/task/16741/stat : 16741 (java) S 16667 16667 16605 0 -1 1077944384 222 0 0 0 9 1 0 0 20 0 19 0 224034655 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550457444848 140551013108354 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16742] ppid=16667 vsize=8068220 memory=116404 CPUtime=0.2 cores=0,2,4,6
/proc/16730/task/16742/stat : 16742 (java) S 16667 16667 16605 0 -1 1077944384 577 0 0 0 20 0 0 0 20 0 19 0 224034655 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550388837232 140551013108354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16743] ppid=16667 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16743/stat : 16743 (java) S 16667 16667 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224034656 8261857280 29101 33554432000 4194304 4196468 140735067146464 140548711115744 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16744] ppid=16667 vsize=8068220 memory=116404 CPUtime=1.17 cores=0,2,4,6
/proc/16730/task/16744/stat : 16744 (java) S 16667 16667 16605 0 -1 1077944384 167 0 0 0 60 57 0 0 20 0 19 0 224034656 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550387784112 140551013108354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16815] ppid=16667 vsize=8068220 memory=63344 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16815/stat : 16815 (java) S 16667 16667 16605 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224034721 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550380307392 140551013121817 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16817] ppid=16667 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16817/stat : 16817 (java) S 16667 16667 16605 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 224034721 8261857280 29101 33554432000 4194304 4196468 140735067146464 140548174229008 140551013119133 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16818] ppid=16667 vsize=8068220 memory=3712 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16818/stat : 16818 (java) S 16667 16667 16605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 224034722 8261857280 29101 33554432000 4194304 4196468 140735067146464 140548040007568 140551013119133 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16819] ppid=16667 vsize=8068220 memory=61008 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16819/stat : 16819 (java) S 16667 16667 16605 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 224034724 8261857280 29101 33554432000 4194304 4196468 140735067146464 140548308458912 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
Current children cumulated CPU time: 2507.42 s
Current children cumulated vsize: 8269244 KiB
Current children cumulated memory: 181220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514.9 s]
/proc/loadavg: 2.00 2.01 1.95 3/227 16938
/proc/meminfo: memFree=24427968/32770624 swapFree=67108860/67108860
[pid=16667] ppid=16660 vsize=113128 memory=1472 CPUtime=5.96 cores=0,2,4,6
/proc/16667/stat : 16667 (scop.sh) S 16660 16667 16605 0 -1 4202496 591 25561 0 0 0 0 580 16 20 0 1 0 224034392 115843072 368 33554432000 4194304 5098028 140723667535952 140723667532696 139715604431484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30318592 140723667539008 140723667539207 140723667539207 140723667541965 0
/proc/16667/statm: 28282 368 311 221 0 87 0
[pid=16730] ppid=16667 vsize=8068220 memory=116404 CPUtime=2.38 cores=0,2,4,6
/proc/16730/stat : 16730 (java) S 16667 16667 16605 0 -1 1077944320 17955 0 0 0 175 63 0 0 20 0 19 0 224034649 8261857280 29101 33554432000 4194304 4196468 140735067146464 140735067129008 140551013097207 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
/proc/16730/statm: 2017055 29101 3148 1 0 1978454 0
[pid=16814] ppid=16730 vsize=87896 memory=63348 CPUtime=2511.68 cores=0,2,4,6
/proc/16814/stat : 16814 (minisat_release) R 16730 16667 16605 0 -1 4202496 98134 0 1 0 251160 8 0 0 20 0 1 0 224034721 90005504 15837 33554432000 4194304 4308513 140727255276464 140727255273960 4276380 0 4 0 8396802 0 0 0 17 4 0 0 4 0 0 6409496 6410680 19755008 140727255278708 140727255278806 140727255278806 140727255281605 0
/proc/16814/statm: 21974 15837 343 28 0 18214 0
[pid=16730/tid=16731] ppid=16667 vsize=8068220 memory=116404 CPUtime=0.74 cores=0,2,4,6
/proc/16730/task/16731/stat : 16731 (java) S 16667 16667 16605 0 -1 1077944384 14841 0 0 0 70 4 0 0 20 0 19 0 224034650 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550984937360 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16732] ppid=16667 vsize=8068220 memory=116404 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16732/stat : 16732 (java) S 16667 16667 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224034651 8261857280 29101 33554432000 4194304 4196468 140735067146464 140551017339792 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16733] ppid=16667 vsize=8068220 memory=116404 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16733/stat : 16733 (java) S 16667 16667 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224034651 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550817508112 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16734] ppid=16667 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16734/stat : 16734 (java) S 16667 16667 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224034651 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550816455824 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16735] ppid=16667 vsize=8068220 memory=63344 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16735/stat : 16735 (java) S 16667 16667 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224034651 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550815403024 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16736] ppid=16667 vsize=8068220 memory=61008 CPUtime=0.04 cores=0,2,4,6
/proc/16730/task/16736/stat : 16736 (java) S 16667 16667 16605 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 224034652 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550459549808 140551013108354 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16737] ppid=16667 vsize=8068220 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16737/stat : 16737 (java) S 16667 16667 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224034653 8261857280 29101 33554432000 4194304 4196468 140735067146464 140549851964192 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16738] ppid=16667 vsize=8068220 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16738/stat : 16738 (java) S 16667 16667 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224034653 8261857280 29101 33554432000 4194304 4196468 140735067146464 140549583529072 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16739] ppid=16667 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16739/stat : 16739 (java) S 16667 16667 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224034655 8261857280 29101 33554432000 4194304 4196468 140735067146464 140549209020496 140551013115803 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16740] ppid=16667 vsize=8068220 memory=1472 CPUtime=0.08 cores=0,2,4,6
/proc/16730/task/16740/stat : 16740 (java) S 16667 16667 16605 0 -1 1077944384 723 0 0 0 8 0 0 0 20 0 19 0 224034655 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550458497648 140551013108354 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16741] ppid=16667 vsize=8068220 memory=116404 CPUtime=0.1 cores=0,2,4,6
/proc/16730/task/16741/stat : 16741 (java) S 16667 16667 16605 0 -1 1077944384 222 0 0 0 9 1 0 0 20 0 19 0 224034655 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550457444848 140551013108354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16742] ppid=16667 vsize=8068220 memory=1472 CPUtime=0.2 cores=0,2,4,6
/proc/16730/task/16742/stat : 16742 (java) S 16667 16667 16605 0 -1 1077944384 579 0 0 0 20 0 0 0 20 0 19 0 224034655 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550388837232 140551013108354 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16743] ppid=16667 vsize=8068220 memory=3712 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16743/stat : 16743 (java) S 16667 16667 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224034656 8261857280 29101 33554432000 4194304 4196468 140735067146464 140548711115744 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16744] ppid=16667 vsize=8068220 memory=61008 CPUtime=1.18 cores=0,2,4,6
/proc/16730/task/16744/stat : 16744 (java) S 16667 16667 16605 0 -1 1077944384 169 0 0 0 60 58 0 0 20 0 19 0 224034656 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550387784112 140551013108354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16815] ppid=16667 vsize=8068220 memory=116404 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16815/stat : 16815 (java) S 16667 16667 16605 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224034721 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550380307392 140551013121817 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16817] ppid=16667 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16817/stat : 16817 (java) S 16667 16667 16605 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 224034721 8261857280 29101 33554432000 4194304 4196468 140735067146464 140548174229008 140551013119133 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16818] ppid=16667 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16818/stat : 16818 (java) S 16667 16667 16605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 224034722 8261857280 29101 33554432000 4194304 4196468 140735067146464 140548040007568 140551013119133 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16819] ppid=16667 vsize=8068220 memory=116404 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16819/stat : 16819 (java) S 16667 16667 16605 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 224034724 8261857280 29101 33554432000 4194304 4196468 140735067146464 140548308458912 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 8269244 KiB
Current children cumulated memory: 181224 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2514.92 s]
# the end of solver process 16667 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.18 s, system=0.900333 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2514.9 s]
/proc/loadavg: 2.00 2.01 1.95 3/227 16938
/proc/meminfo: memFree=24427968/32770624 swapFree=67108860/67108860
[pid=16667] ppid=16660 vsize=113128 memory=1472 CPUtime=5.96 cores=0,2,4,6
/proc/16667/stat : 16667 (scop.sh) S 16660 16667 16605 0 -1 4202496 591 25561 0 0 0 0 580 16 20 0 1 0 224034392 115843072 368 33554432000 4194304 5098028 140723667535952 140723667532696 139715604431484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30318592 140723667539008 140723667539207 140723667539207 140723667541965 0
/proc/16667/statm: 28282 368 311 221 0 87 0
[pid=16730] ppid=16667 vsize=8068220 memory=116404 CPUtime=2.38 cores=0,2,4,6
/proc/16730/stat : 16730 (java) S 16667 16667 16605 0 -1 1077944320 17955 0 0 0 175 63 0 0 20 0 19 0 224034649 8261857280 29101 33554432000 4194304 4196468 140735067146464 140735067129008 140551013097207 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
/proc/16730/statm: 2017055 29101 3148 1 0 1978454 0
[pid=16814] ppid=16730 vsize=87896 memory=63348 CPUtime=2511.68 cores=0,2,4,6
/proc/16814/stat : 16814 (minisat_release) R 16730 16667 16605 0 -1 4202496 98134 0 1 0 251160 8 0 0 20 0 1 0 224034721 90005504 15837 33554432000 4194304 4308513 140727255276464 140727255273960 4276380 0 4 0 8396802 0 0 0 17 4 0 0 4 0 0 6409496 6410680 19755008 140727255278708 140727255278806 140727255278806 140727255281605 0
/proc/16814/statm: 21974 15837 343 28 0 18214 0
[pid=16730/tid=16731] ppid=16667 vsize=8068220 memory=116404 CPUtime=0.74 cores=0,2,4,6
/proc/16730/task/16731/stat : 16731 (java) S 16667 16667 16605 0 -1 1077944384 14841 0 0 0 70 4 0 0 20 0 19 0 224034650 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550984937360 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16732] ppid=16667 vsize=8068220 memory=116404 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16732/stat : 16732 (java) S 16667 16667 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224034651 8261857280 29101 33554432000 4194304 4196468 140735067146464 140551017339792 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16733] ppid=16667 vsize=8068220 memory=116404 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16733/stat : 16733 (java) S 16667 16667 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224034651 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550817508112 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16734] ppid=16667 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16734/stat : 16734 (java) S 16667 16667 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224034651 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550816455824 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16735] ppid=16667 vsize=8068220 memory=63344 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16735/stat : 16735 (java) S 16667 16667 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224034651 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550815403024 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16736] ppid=16667 vsize=8068220 memory=61008 CPUtime=0.04 cores=0,2,4,6
/proc/16730/task/16736/stat : 16736 (java) S 16667 16667 16605 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 224034652 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550459549808 140551013108354 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16737] ppid=16667 vsize=8068220 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16737/stat : 16737 (java) S 16667 16667 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224034653 8261857280 29101 33554432000 4194304 4196468 140735067146464 140549851964192 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16738] ppid=16667 vsize=8068220 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16738/stat : 16738 (java) S 16667 16667 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224034653 8261857280 29101 33554432000 4194304 4196468 140735067146464 140549583529072 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16739] ppid=16667 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16739/stat : 16739 (java) S 16667 16667 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224034655 8261857280 29101 33554432000 4194304 4196468 140735067146464 140549209020496 140551013115803 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16740] ppid=16667 vsize=8068220 memory=1472 CPUtime=0.08 cores=0,2,4,6
/proc/16730/task/16740/stat : 16740 (java) S 16667 16667 16605 0 -1 1077944384 723 0 0 0 8 0 0 0 20 0 19 0 224034655 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550458497648 140551013108354 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16741] ppid=16667 vsize=8068220 memory=116404 CPUtime=0.1 cores=0,2,4,6
/proc/16730/task/16741/stat : 16741 (java) S 16667 16667 16605 0 -1 1077944384 222 0 0 0 9 1 0 0 20 0 19 0 224034655 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550457444848 140551013108354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16742] ppid=16667 vsize=8068220 memory=1472 CPUtime=0.2 cores=0,2,4,6
/proc/16730/task/16742/stat : 16742 (java) S 16667 16667 16605 0 -1 1077944384 579 0 0 0 20 0 0 0 20 0 19 0 224034655 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550388837232 140551013108354 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16743] ppid=16667 vsize=8068220 memory=3712 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16743/stat : 16743 (java) S 16667 16667 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224034656 8261857280 29101 33554432000 4194304 4196468 140735067146464 140548711115744 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16744] ppid=16667 vsize=8068220 memory=61008 CPUtime=1.18 cores=0,2,4,6
/proc/16730/task/16744/stat : 16744 (java) S 16667 16667 16605 0 -1 1077944384 169 0 0 0 60 58 0 0 20 0 19 0 224034656 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550387784112 140551013108354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16815] ppid=16667 vsize=8068220 memory=116404 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16815/stat : 16815 (java) S 16667 16667 16605 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224034721 8261857280 29101 33554432000 4194304 4196468 140735067146464 140550380307392 140551013121817 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16817] ppid=16667 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16817/stat : 16817 (java) S 16667 16667 16605 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 224034721 8261857280 29101 33554432000 4194304 4196468 140735067146464 140548174229008 140551013119133 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16818] ppid=16667 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16818/stat : 16818 (java) S 16667 16667 16605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 224034722 8261857280 29101 33554432000 4194304 4196468 140735067146464 140548040007568 140551013119133 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
[pid=16730/tid=16819] ppid=16667 vsize=8068220 memory=116404 CPUtime=0 cores=0,2,4,6
/proc/16730/task/16819/stat : 16819 (java) S 16667 16667 16605 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 224034724 8261857280 29101 33554432000 4194304 4196468 140735067146464 140548308458912 140551013107413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24424448 140735067149493 140735067149617 140735067149617 140735067152335 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 8269244 KiB
Current children cumulated memory: 181224 KiB
Child status: 0
Real time (s): 2514.92
CPU time (s): 2520.08
CPU user time (s): 2519.18
CPU system time (s): 0.900333
CPU usage (%): 100.205
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 424532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.18
system time used= 0.900333
maximum resident set size= 428520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142497
page faults= 1
swaps= 0
block input operations= 320
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59291
involuntary context switches= 1369
# summary of solver processes directly reported to runsolver:
# pid: 16667
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.18
# total CPU system time (s): 0.900333
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8086 second user time and 27.6034 second system time
The end