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-17494-serial-file.bin HOME/instance-4305503-1534069742.xml
0.55/0.51
0.67/0.52 scop order+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 12:29:03 CEST 2018
0.67/0.54 c PID: 17497
0.67/0.54 c IP: 172.20.3.107
0.67/0.54 c HOST: node107.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.41/0.99 c (0,0) Parsing End
1.41/1.00 c (0,0) CSP: 0 int (0 aux), 480 bool (0 aux), 62 ctr, max domain size 2
1.41/1.00 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.41/1.00 c (0,0) Constraint Name Generate Begin
1.62/1.01 c (0,0) Ctr:HOME/instance-4305503-1534069742.xml,IntVar:Num:WeightedSum
1.62/1.01 c (0,0) Constraint Name Generate End
1.62/1.01 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.62/1.01 c (0,0) CSP to CSPinCNF Begin
1.78/1.13 c (0,0) translated 7 (10%) constraints
1.78/1.15 c (0,0) translated 13 (20%) constraints
1.78/1.16 c (0,0) translated 19 (30%) constraints
1.78/1.17 c (0,0) translated 25 (40%) constraints
1.78/1.19 c (0,0) translated 31 (50%) constraints
2.08/1.20 c (0,0) translated 38 (60%) constraints
2.08/1.21 c (0,0) translated 44 (70%) constraints
2.08/1.22 c (0,0) translated 50 (80%) constraints
2.08/1.23 c (0,0) translated 56 (90%) constraints
2.08/1.24 c (0,0) translated 62 (100%) constraints
2.08/1.28 c (0,0) STATISTICS1:HOME/instance-4305503-1534069742.xml,IntVar:Num:WeightedSum,480,62,32768,2,1,16,32768:30;16384:32,2:960,1:62,16:30;15:32,
2.08/1.28 c (0,0) ==========================================
2.08/1.28 c (0,0) Order
2.08/1.28 c (0,0) ==========================================
2.38/1.32 c (0,0) translated 7 (10%) constraints
2.38/1.34 c (0,0) translated 13 (20%) constraints
2.38/1.36 c (0,0) translated 19 (30%) constraints
2.38/1.37 c (0,0) translated 25 (40%) constraints
2.38/1.38 c (0,0) translated 31 (50%) constraints
2.73/1.40 c (0,0) translated 38 (60%) constraints
2.73/1.42 c (0,0) translated 44 (70%) constraints
2.73/1.43 c (0,0) translated 50 (80%) constraints
2.73/1.44 c (0,0) translated 56 (90%) constraints
2.73/1.45 c (0,0) translated 62 (100%) constraints
2.73/1.45 c (0,0) CSP to CSPinCNF End
2.73/1.46 c (0,0) CSP: 186 int (186 aux), 480 bool (0 aux), 248 ctr, max domain size 6
2.73/1.46 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.73/1.46 c (0,0) CSPinCNF Propagation Begin
2.73/1.47 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.73/1.47 c (0,0) CSPinCNF Propagation End
2.73/1.47 c (0,0) CSP: 186 int (186 aux), 480 bool (0 aux), 248 ctr, max domain size 6
2.73/1.47 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.73/1.47 c (0,0) Simplify CSPinCNF Begin
2.73/1.48 c (0,0) Simplify CSPinCNF End
2.73/1.48 c (0,0) CSP: 186 int (186 aux), 480 bool (0 aux), 248 ctr, max domain size 6
2.73/1.48 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.73/1.48 c (0,0) Calculate Precise Domain Begin
3.02/1.53 c (1,0) 0 values are removed by re-calculation
3.02/1.53 c (1,0) Calculate Precise Domain End
3.02/1.53 c (1,0) CSP: 186 int (186 aux), 480 bool (0 aux), 248 ctr, max domain size 6
3.02/1.53 c (1,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.02/1.53 c (1,0) CSPinCNF to SatSolver Begin
3.02/1.59 c (1,1) 25 (10 %) CSP clauses are encoded (1050 SAT variables, 948 SAT clauses)
3.26/1.60 c (1,1) 50 (20 %) CSP clauses are encoded (1050 SAT variables, 1513 SAT clauses)
3.26/1.61 c (1,1) 75 (30 %) CSP clauses are encoded (1050 SAT variables, 2108 SAT clauses)
3.26/1.62 c (1,1) 100 (40 %) CSP clauses are encoded (1050 SAT variables, 2703 SAT clauses)
3.26/1.63 c (1,1) 124 (50 %) CSP clauses are encoded (1050 SAT variables, 3267 SAT clauses)
3.26/1.64 c (1,1) 149 (60 %) CSP clauses are encoded (1050 SAT variables, 3662 SAT clauses)
3.26/1.65 c (1,1) 174 (70 %) CSP clauses are encoded (1050 SAT variables, 3989 SAT clauses)
3.26/1.65 c (1,1) 199 (80 %) CSP clauses are encoded (1050 SAT variables, 4334 SAT clauses)
3.26/1.66 c (1,1) 224 (90 %) CSP clauses are encoded (1050 SAT variables, 4673 SAT clauses)
3.26/1.66 c (1,1) 248 (100 %) CSP clauses are encoded (1050 SAT variables, 4997 SAT clauses)
3.26/1.66 c (1,1) Launch Command will be: minisat_release
3.26/1.66 c (1,1) CSPinCNF to SatSolver End
3.26/1.66 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.26/1.68 c (1,1) STATISTICS2:HOME/instance-4305503-1534069742.xml,IntVar:Num:WeightedSum,666,248,64,6,1,7,64:30;36:32;32:156;4:30,6:192;2:1140,1:248,7:30;6:156;3:62,
3.26/1.68 c (1,1) 1050 bool, 5012 clause
3.26/1.68 c (1,1) Export Begin
3.58/1.79 c (1,1) Export to HOME/scop-17494-serial-file.bin
3.58/1.79 c (1,1) Export End
3.58/1.79 c (1,1) Export File Size: 0.07 MB
3.58/1.79 c (1,1) 0,0,0,0,0,1,1,STOP-AFTER(DIMACS)
3.58/1.79 c END-Prog: Sun Aug 12 12:29:04 CEST 2018
3.93/1.81 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-17494-serial-file.bin
4.57/2.30 c (0,0) Read Serial File Begin
4.57/2.30 c (0,0) HOME/scop-17494-serial-file.bin
4.71/2.49 c (0,0) Read Serial File End
4.95/2.51
4.95/2.51 scop order+minisat_release (2018-07-31)
4.95/2.51 (Solving Process)
4.95/2.51
4.95/2.53 c BEGIN-Prog: Sun Aug 12 12:29:05 CEST 2018
4.95/2.53 c PID: 17512
4.95/2.53 c IP: 172.20.3.107
4.95/2.53 c HOST: node107.alineos.net
4.95/2.53 c (0,0) SatSolver.solve Begin
4.95/2.53 c (0,0) 0 bool, 0 clause
4.95/2.53 c (0,0) minisat_release HOME/instance-4305503-1534069742.xml-scop-17497.cnf
358.24/355.58 c (353,0) c This is COMiniSatPS.
358.24/355.58 c (353,0) c WARNING: for repeatability, setting FPU to use double precision
358.24/355.58 c (353,0) c ============================[ Problem Statistics ]=============================
358.24/355.58 c (353,0) c | |
358.24/355.58 c (353,0) c | Number of variables: 1050 |
358.24/355.58 c (353,0) c | Number of clauses: 5012 |
358.24/355.58 c (353,0) c | Parse time: 0.00 s |
358.24/355.58 c (353,0) c | Eliminated clauses: 0.01 Mb |
358.24/355.58 c (353,0) c Reduced to 538 vars, 1620 cls (grow=0)
358.24/355.58 c (353,0) c No iterative elimination performed. (vars=538, c/v ratio=3.0)
358.24/355.58 c (353,0) c | Simplification time: 0.00 s |
358.24/355.58 c (353,0) c | |
358.24/355.58 c (353,0) c ============================[ Search Statistics ]==============================
358.24/355.58 c (353,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
358.24/355.58 c (353,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
358.24/355.58 c (353,0) c ===============================================================================
358.24/355.58 c (353,0) c ===============================================================================
358.24/355.58 c (353,0) c restarts : 10030
358.24/355.58 c (353,0) c conflicts : 6188656 (17533 /sec)
358.24/355.58 c (353,0) c decisions : 8557784 (0.00 % random) (24245 /sec)
358.24/355.58 c (353,0) c propagations : 111204681 (315055 /sec)
358.24/355.58 c (353,0) c conflict literals : 214509904 (30.82 % deleted)
358.24/355.58 c (353,0) c CPU time : 352.969 s
358.24/355.58 c (353,0)
358.24/355.59 c (353,0) s UNSATISFIABLE
358.24/355.59 c (353,0) SatSolver.solve End
358.24/355.59 c (353,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
358.24/355.59 c (353,0) Show results Begin
358.24/355.59 s UNSATISFIABLE
358.24/355.59 c (353,0) Show results End
358.24/355.59 c (353,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
358.24/355.59 c (353,0) 353,353,STOP-AFTER(ALL)
358.24/355.59 c END-Prog: Sun Aug 12 12:34:58 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12865 MiB free)
memory of node 1: 16384 MiB (11069 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305503-1534069742/watcher-4305503-1534069742 -o /tmp/evaluation-result-4305503-1534069742/solver-4305503-1534069742 -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-4305503-1534069742.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
Current StackSize limit: 8192 KiB
solver pid=17494, runsolver pid=17491
[startup+0.100164 s]*
/proc/loadavg: 2.00 2.05 2.06 3/222 17511
/proc/meminfo: memFree=24448204/32770624 swapFree=67108860/67108860
[pid=17494] ppid=17491 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/17494/stat : 17494 (scop.sh) S 17491 17494 16605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224537403 115843072 349 33554432000 4194304 5098028 140733111854080 140733111851336 140049380782716 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18329600 140733111862336 140733111862535 140733111862535 140733111865293 0
/proc/17494/statm: 28282 349 296 221 0 87 0
[pid=17497] ppid=17494 vsize=15012476 memory=73828 CPUtime=0.11 cores=0,2,4,6
/proc/17497/stat : 17497 (java) S 17494 17494 16605 0 -1 1077944320 6031 0 0 0 9 2 0 0 20 0 15 0 224537403 15372775424 18457 33554432000 4194304 4196468 140726513027664 140726513010208 139981655637751 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
/proc/17497/statm: 3753119 18457 2770 1 0 3715579 0
[pid=17497/tid=17498] ppid=17494 vsize=15012476 memory=-6078870780940435399 CPUtime=0.08 cores=0,2,4,6
/proc/17497/task/17498/stat : 17498 (java) R 17494 17494 16605 0 -1 4202560 4162 0 0 0 7 1 0 0 20 0 15 0 224537404 15372775424 18457 33554432000 4194304 4196468 140726513027664 139981627472176 139981648354903 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17499] ppid=17494 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17499/stat : 17499 (java) S 17494 17494 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224537405 15372775424 18457 33554432000 4194304 4196468 140726513027664 139981659880464 139981655647957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17500] ppid=17494 vsize=15012476 memory=140226552571520 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17500/stat : 17500 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537405 15372775424 18457 33554432000 4194304 4196468 140726513027664 139981450964112 139981655647957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17501] ppid=17494 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17501/stat : 17501 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537405 15372775424 18523 33554432000 4194304 4196468 140726513027664 139981449911056 139981655647957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17502] ppid=17494 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17502/stat : 17502 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537405 15372775424 18523 33554432000 4194304 4196468 140726513027664 139981448858512 139981655647957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17503] ppid=17494 vsize=15012476 memory=140226552571520 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17503/stat : 17503 (java) S 17494 17494 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224537407 15372775424 18523 33554432000 4194304 4196468 140726513027664 139980995115248 139981655648898 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17504] ppid=17494 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17504/stat : 17504 (java) S 17494 17494 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224537407 15372775424 18523 33554432000 4194304 4196468 140726513027664 139980265481376 139981655647957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17505] ppid=17494 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17505/stat : 17505 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537408 15372775424 18523 33554432000 4194304 4196468 140726513027664 139980030599920 139981655647957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17506] ppid=17494 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17506/stat : 17506 (java) S 17494 17494 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224537410 15372775424 18523 33554432000 4194304 4196468 140726513027664 139979656091600 139981655656347 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17507] ppid=17494 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17507/stat : 17507 (java) S 17494 17494 16605 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 224537410 15372775424 18523 33554432000 4194304 4196468 140726513027664 139980994063088 139981655648898 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17508] ppid=17494 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17508/stat : 17508 (java) S 17494 17494 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224537410 15372775424 18523 33554432000 4194304 4196468 140726513027664 139980993010544 139981655648898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17509] ppid=17494 vsize=15012476 memory=140226552571520 CPUtime=0.01 cores=0,2,4,6
/proc/17497/task/17509/stat : 17509 (java) S 17494 17494 16605 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 15 0 224537410 15372775424 18523 33554432000 4194304 4196468 140726513027664 139980991957488 139981655648898 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17510] ppid=17494 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17510/stat : 17510 (java) S 17494 17494 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224537410 15372775424 18523 33554432000 4194304 4196468 140726513027664 139979158186848 139981655647957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17511] ppid=17494 vsize=15012476 memory=140226552571520 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17511/stat : 17511 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537410 15372775424 18523 33554432000 4194304 4196468 140726513027664 139980990904880 139981655648898 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75224 KiB
[startup+0.21086 s]*
/proc/loadavg: 2.00 2.05 2.06 4/222 17511
/proc/meminfo: memFree=24434732/32770624 swapFree=67108860/67108860
[pid=17494] ppid=17491 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/17494/stat : 17494 (scop.sh) S 17491 17494 16605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224537403 115843072 349 33554432000 4194304 5098028 140733111854080 140733111851336 140049380782716 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18329600 140733111862336 140733111862535 140733111862535 140733111865293 0
/proc/17494/statm: 28282 349 296 221 0 87 0
[pid=17497] ppid=17494 vsize=15012476 memory=86644 CPUtime=0.26 cores=0,2,4,6
/proc/17497/stat : 17497 (java) S 17494 17494 16605 0 -1 1077944320 9493 0 0 0 23 3 0 0 20 0 15 0 224537403 15372775424 21661 33554432000 4194304 4196468 140726513027664 140726513010208 139981655637751 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
/proc/17497/statm: 3753119 21661 2876 1 0 3715579 0
[pid=17497/tid=17498] ppid=17494 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/17497/task/17498/stat : 17498 (java) R 17494 17494 16605 0 -1 4202560 7404 0 0 0 17 2 0 0 20 0 15 0 224537404 15372775424 21661 33554432000 4194304 4196468 140726513027664 139981627436496 139981121203928 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17499] ppid=17494 vsize=15012476 memory=539 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17499/stat : 17499 (java) S 17494 17494 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224537405 15372775424 21661 33554432000 4194304 4196468 140726513027664 139981659880464 139981655647957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17500] ppid=17494 vsize=15012476 memory=4050061797843969696 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17500/stat : 17500 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537405 15372775424 21661 33554432000 4194304 4196468 140726513027664 139981450964112 139981655647957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17501] ppid=17494 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17501/stat : 17501 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537405 15372775424 21661 33554432000 4194304 4196468 140726513027664 139981449911056 139981655647957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17502] ppid=17494 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17502/stat : 17502 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537405 15372775424 21661 33554432000 4194304 4196468 140726513027664 139981448858512 139981655647957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17503] ppid=17494 vsize=15012476 memory=140226552571520 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17503/stat : 17503 (java) S 17494 17494 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224537407 15372775424 21661 33554432000 4194304 4196468 140726513027664 139980995115248 139981655648898 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17504] ppid=17494 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17504/stat : 17504 (java) S 17494 17494 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224537407 15372775424 21661 33554432000 4194304 4196468 140726513027664 139980265481376 139981655647957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17505] ppid=17494 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17505/stat : 17505 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537408 15372775424 21661 33554432000 4194304 4196468 140726513027664 139980030599920 139981655647957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17506] ppid=17494 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17506/stat : 17506 (java) S 17494 17494 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224537410 15372775424 21661 33554432000 4194304 4196468 140726513027664 139979656091600 139981655656347 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17507] ppid=17494 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/17497/task/17507/stat : 17507 (java) S 17494 17494 16605 0 -1 1077944384 424 0 0 0 1 0 0 0 20 0 15 0 224537410 15372775424 21661 33554432000 4194304 4196468 140726513027664 139980994063088 139981655648898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17508] ppid=17494 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17508/stat : 17508 (java) R 17494 17494 16605 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 15 0 224537410 15372775424 21661 33554432000 4194304 4196468 140726513027664 139980993010544 139981648622793 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17509] ppid=17494 vsize=15012476 memory=140226552571520 CPUtime=0.03 cores=0,2,4,6
/proc/17497/task/17509/stat : 17509 (java) R 17494 17494 16605 0 -1 1077944384 292 0 0 0 3 0 0 0 20 0 15 0 224537410 15372775424 21661 33554432000 4194304 4196468 140726513027664 139980991957488 139981655648898 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17510] ppid=17494 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17510/stat : 17510 (java) S 17494 17494 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224537410 15372775424 21661 33554432000 4194304 4196468 140726513027664 139979158186848 139981655647957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17511] ppid=17494 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17511/stat : 17511 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537410 15372775424 21661 33554432000 4194304 4196468 140726513027664 139980990904880 139981655648898 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88040 KiB
[startup+0.310752 s]*
/proc/loadavg: 2.00 2.05 2.06 3/222 17511
/proc/meminfo: memFree=24431568/32770624 swapFree=67108860/67108860
[pid=17494] ppid=17491 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/17494/stat : 17494 (scop.sh) S 17491 17494 16605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224537403 115843072 349 33554432000 4194304 5098028 140733111854080 140733111851336 140049380782716 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18329600 140733111862336 140733111862535 140733111862535 140733111865293 0
/proc/17494/statm: 28282 349 296 221 0 87 0
[pid=17497] ppid=17494 vsize=15012476 memory=90156 CPUtime=0.43 cores=0,2,4,6
/proc/17497/stat : 17497 (java) S 17494 17494 16605 0 -1 1077944320 10029 0 0 0 39 4 0 0 20 0 15 0 224537403 15372775424 22539 33554432000 4194304 4196468 140726513027664 140726513010208 139981655637751 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
/proc/17497/statm: 3753119 22539 2973 1 0 3715579 0
[pid=17497/tid=17498] ppid=17494 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/17497/task/17498/stat : 17498 (java) R 17494 17494 16605 0 -1 4202560 7777 0 0 0 26 3 0 0 20 0 15 0 224537404 15372775424 22539 33554432000 4194304 4196468 140726513027664 139981627433200 139981638088588 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17499] ppid=17494 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17499/stat : 17499 (java) S 17494 17494 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224537405 15372775424 22539 33554432000 4194304 4196468 140726513027664 139981659880464 139981655647957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17500] ppid=17494 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17500/stat : 17500 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537405 15372775424 22539 33554432000 4194304 4196468 140726513027664 139981450964112 139981655647957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17501] ppid=17494 vsize=15012476 memory=7161331908245094050 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17501/stat : 17501 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537405 15372775424 22539 33554432000 4194304 4196468 140726513027664 139981449911056 139981655647957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17502] ppid=17494 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17502/stat : 17502 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537405 15372775424 22539 33554432000 4194304 4196468 140726513027664 139981448858512 139981655647957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17503] ppid=17494 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17503/stat : 17503 (java) S 17494 17494 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224537407 15372775424 22539 33554432000 4194304 4196468 140726513027664 139980995115248 139981655648898 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17504] ppid=17494 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17504/stat : 17504 (java) S 17494 17494 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224537407 15372775424 22539 33554432000 4194304 4196468 140726513027664 139980265481376 139981655647957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17505] ppid=17494 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17505/stat : 17505 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537408 15372775424 22539 33554432000 4194304 4196468 140726513027664 139980030599920 139981655647957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17506] ppid=17494 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17506/stat : 17506 (java) S 17494 17494 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224537410 15372775424 22539 33554432000 4194304 4196468 140726513027664 139979656091600 139981655656347 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17507] ppid=17494 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17497/task/17507/stat : 17507 (java) R 17494 17494 16605 0 -1 1077944384 516 0 0 0 2 0 0 0 20 0 15 0 224537410 15372775424 22539 33554432000 4194304 4196468 140726513027664 139980994063088 139981655648898 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17508] ppid=17494 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17497/task/17508/stat : 17508 (java) R 17494 17494 16605 0 -1 4202560 94 0 0 0 2 0 0 0 20 0 15 0 224537410 15372775424 22539 33554432000 4194304 4196468 140726513027664 139980993010544 139981639169208 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17509] ppid=17494 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17497/task/17509/stat : 17509 (java) R 17494 17494 16605 0 -1 4202560 311 0 0 0 7 0 0 0 20 0 15 0 224537410 15372775424 22539 33554432000 4194304 4196468 140726513027664 139980991957488 139981634150400 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17510] ppid=17494 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17510/stat : 17510 (java) S 17494 17494 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224537410 15372775424 22539 33554432000 4194304 4196468 140726513027664 139979158186848 139981655647957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17511] ppid=17494 vsize=15012476 memory=3545238011844304945 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17511/stat : 17511 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537410 15372775424 22539 33554432000 4194304 4196468 140726513027664 139980990904880 139981655648898 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91552 KiB
[startup+0.700825 s]
/proc/loadavg: 2.00 2.05 2.06 3/222 17511
/proc/meminfo: memFree=24407384/32770624 swapFree=67108860/67108860
[pid=17494] ppid=17491 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/17494/stat : 17494 (scop.sh) S 17491 17494 16605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224537403 115843072 349 33554432000 4194304 5098028 140733111854080 140733111851336 140049380782716 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18329600 140733111862336 140733111862535 140733111862535 140733111865293 0
/proc/17494/statm: 28282 349 296 221 0 87 0
[pid=17497] ppid=17494 vsize=15020872 memory=129672 CPUtime=1.01 cores=0,2,4,6
/proc/17497/stat : 17497 (java) S 17494 17494 16605 0 -1 1077944320 17098 0 0 0 95 6 0 0 20 0 15 0 224537403 15381372928 32418 33554432000 4194304 4196468 140726513027664 140726513010208 139981655637751 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
/proc/17497/statm: 3755218 32418 3161 1 0 3716603 0
[pid=17497/tid=17498] ppid=17494 vsize=15020872 memory=-7082918048272507482 CPUtime=0.67 cores=0,2,4,6
/proc/17497/task/17498/stat : 17498 (java) R 17494 17494 16605 0 -1 4202560 14405 0 0 0 62 5 0 0 20 0 15 0 224537404 15381372928 32418 33554432000 4194304 4196468 140726513027664 139981627472816 139981639718268 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17499] ppid=17494 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17499/stat : 17499 (java) S 17494 17494 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224537405 15381372928 32418 33554432000 4194304 4196468 140726513027664 139981659880464 139981655647957 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17500] ppid=17494 vsize=15020872 memory=61080 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17500/stat : 17500 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537405 15381372928 32418 33554432000 4194304 4196468 140726513027664 139981450964112 139981655647957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17501] ppid=17494 vsize=15020872 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17501/stat : 17501 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537405 15381372928 32418 33554432000 4194304 4196468 140726513027664 139981449911056 139981655647957 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17502] ppid=17494 vsize=15020872 memory=2072 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17502/stat : 17502 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537405 15381372928 32418 33554432000 4194304 4196468 140726513027664 139981448858512 139981655647957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17503] ppid=17494 vsize=15020872 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17503/stat : 17503 (java) S 17494 17494 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224537407 15381372928 32418 33554432000 4194304 4196468 140726513027664 139980995115248 139981655648898 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17504] ppid=17494 vsize=15020872 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17504/stat : 17504 (java) S 17494 17494 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224537407 15381372928 32418 33554432000 4194304 4196468 140726513027664 139980265481376 139981655647957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17505] ppid=17494 vsize=15020872 memory=752 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17505/stat : 17505 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537408 15381372928 32418 33554432000 4194304 4196468 140726513027664 139980030599920 139981655647957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17506] ppid=17494 vsize=15020872 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17506/stat : 17506 (java) S 17494 17494 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224537410 15381372928 32418 33554432000 4194304 4196468 140726513027664 139979656091600 139981655656347 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17507] ppid=17494 vsize=15020872 memory=1120 CPUtime=0.1 cores=0,2,4,6
/proc/17497/task/17507/stat : 17507 (java) S 17494 17494 16605 0 -1 1077944384 735 0 0 0 10 0 0 0 20 0 15 0 224537410 15381372928 32418 33554432000 4194304 4196468 140726513027664 139980994063088 139981655648898 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17508] ppid=17494 vsize=15020872 memory=6120 CPUtime=0.06 cores=0,2,4,6
/proc/17497/task/17508/stat : 17508 (java) R 17494 17494 16605 0 -1 4202560 188 0 0 0 6 0 0 0 20 0 15 0 224537410 15381372928 32418 33554432000 4194304 4196468 140726513027664 139980992998416 139981637158857 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17509] ppid=17494 vsize=15020872 memory=1724 CPUtime=0.16 cores=0,2,4,6
/proc/17497/task/17509/stat : 17509 (java) R 17494 17494 16605 0 -1 4202560 436 0 0 0 16 0 0 0 20 0 15 0 224537410 15381372928 32418 33554432000 4194304 4196468 140726513027664 139980991957488 139981655659098 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17510] ppid=17494 vsize=15020872 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17510/stat : 17510 (java) S 17494 17494 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224537410 15381372928 32418 33554432000 4194304 4196468 140726513027664 139979158186848 139981655647957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
[pid=17497/tid=17511] ppid=17494 vsize=15020872 memory=3516 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17511/stat : 17511 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224537410 15381372928 32418 33554432000 4194304 4196468 140726513027664 139980990904880 139981655648898 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33845248 140726513030150 140726513030449 140726513030449 140726513033167 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131068 KiB
[startup+1.50088 s]
/proc/loadavg: 2.00 2.05 2.06 4/222 17511
/proc/meminfo: memFree=24376216/32770624 swapFree=67108860/67108860
[pid=17494] ppid=17491 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/17494/stat : 17494 (scop.sh) S 17491 17494 16605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224537403 115843072 349 33554432000 4194304 5098028 140733111854080 140733111851336 140049380782716 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18329600 140733111862336 140733111862535 140733111862535 140733111865293 0
/proc/17494/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=17512] ppid=17494 vsize=8068220 memory=120228 CPUtime=1.37 cores=0,2,4,6
/proc/17512/stat : 17512 (java) S 17494 17494 16605 0 -1 1077944320 18289 0 0 0 126 11 0 0 20 0 19 0 224537585 8261857280 30057 33554432000 4194304 4196468 140728191073632 140728191056176 139839657443063 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
/proc/17512/statm: 2017055 30057 3159 1 0 1978454 0
[pid=17527] ppid=17512 vsize=78460 memory=59028 CPUtime=351.03 cores=0,2,4,6
/proc/17527/stat : 17527 (minisat_release) R 17512 17494 16605 0 -1 4202496 39969 0 0 0 35098 5 0 0 20 0 1 0 224537659 80343040 14757 33554432000 4194304 4308513 140727193423056 140727193419960 4276131 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 39600128 140727193429108 140727193429206 140727193429206 140727193432005 0
/proc/17527/statm: 19615 14757 339 28 0 15855 0
[pid=17512/tid=17513] ppid=17494 vsize=8068220 memory=804 CPUtime=0.77 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (java) S 17494 17494 16605 0 -1 1077944384 14953 0 0 0 71 6 0 0 20 0 19 0 224537585 8261857280 30057 33554432000 4194304 4196468 140728191073632 139839629283216 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17514] ppid=17494 vsize=8068220 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224537586 8261857280 30057 33554432000 4194304 4196468 140728191073632 139839661685904 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17515] ppid=17494 vsize=8068220 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224537586 8261857280 30057 33554432000 4194304 4196468 140728191073632 139839461854224 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17516] ppid=17494 vsize=8068220 memory=1088 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17516/stat : 17516 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224537586 8261857280 30057 33554432000 4194304 4196468 140728191073632 139839460801424 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17517] ppid=17494 vsize=8068220 memory=15512 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17517/stat : 17517 (java) S 17494 17494 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224537586 8261857280 30057 33554432000 4194304 4196468 140728191073632 139839459748624 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17518] ppid=17494 vsize=8068220 memory=33816 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17518/stat : 17518 (java) S 17494 17494 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224537588 8261857280 30057 33554432000 4194304 4196468 140728191073632 139839103891824 139839657454210 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17519] ppid=17494 vsize=8068220 memory=3312 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17519/stat : 17519 (java) S 17494 17494 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224537588 8261857280 30057 33554432000 4194304 4196468 140728191073632 139838565114912 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17520] ppid=17494 vsize=8068220 memory=15712 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17520/stat : 17520 (java) S 17494 17494 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224537588 8261857280 30057 33554432000 4194304 4196468 140728191073632 139838430892912 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17521] ppid=17494 vsize=8068220 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17521/stat : 17521 (java) S 17494 17494 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224537591 8261857280 30057 33554432000 4194304 4196468 140728191073632 139838056388432 139839657461659 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17522] ppid=17494 vsize=8068220 memory=1472 CPUtime=0.14 cores=0,2,4,6
/proc/17512/task/17522/stat : 17522 (java) S 17494 17494 16605 0 -1 1077944384 1000 0 0 0 14 0 0 0 20 0 19 0 224537591 8261857280 30057 33554432000 4194304 4196468 140728191073632 139838296673136 139839657454210 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17523] ppid=17494 vsize=8068220 memory=120228 CPUtime=0.1 cores=0,2,4,6
/proc/17512/task/17523/stat : 17523 (java) S 17494 17494 16605 0 -1 1077944384 354 0 0 0 10 0 0 0 20 0 19 0 224537591 8261857280 30057 33554432000 4194304 4196468 140728191073632 139838295620336 139839657454210 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17524] ppid=17494 vsize=8068220 memory=59028 CPUtime=0.22 cores=0,2,4,6
/proc/17512/task/17524/stat : 17524 (java) S 17494 17494 16605 0 -1 1077944384 547 0 0 0 22 0 0 0 20 0 19 0 224537591 8261857280 30057 33554432000 4194304 4196468 140728191073632 139838294567536 139839657454210 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17525] ppid=17494 vsize=8068220 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17525/stat : 17525 (java) S 17494 17494 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224537591 8261857280 30057 33554432000 4194304 4196468 140728191073632 139837558483680 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17526] ppid=17494 vsize=8068220 memory=3516 CPUtime=0.11 cores=0,2,4,6
/proc/17512/task/17526/stat : 17526 (java) S 17494 17494 16605 0 -1 1077944384 25 0 0 0 5 6 0 0 20 0 19 0 224537591 8261857280 30057 33554432000 4194304 4196468 140728191073632 139838293514928 139839657454210 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17528] ppid=17494 vsize=8068220 memory=872 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17528/stat : 17528 (java) S 17494 17494 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224537659 8261857280 30057 33554432000 4194304 4196468 140728191073632 139839102506176 139839657467673 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17530] ppid=17494 vsize=8068220 memory=1288 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17530/stat : 17530 (java) S 17494 17494 16605 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 224537660 8261857280 30057 33554432000 4194304 4196468 140728191073632 139837021596976 139839657464989 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17531] ppid=17494 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17531/stat : 17531 (java) S 17494 17494 16605 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224537660 8261857280 30057 33554432000 4194304 4196468 140728191073632 139837155819696 139839657464989 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17532] ppid=17494 vsize=8068220 memory=120228 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17532/stat : 17532 (java) S 17494 17494 16605 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 224537662 8261857280 30057 33554432000 4194304 4196468 140728191073632 139836753174176 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
Current children cumulated CPU time: 356.34 s
Current children cumulated vsize: 8259808 KiB
Current children cumulated memory: 180728 KiB
[startup+354.401 s]
/proc/loadavg: 2.32 2.17 2.09 3/228 17647
/proc/meminfo: memFree=23617064/32770624 swapFree=67108860/67108860
[pid=17494] ppid=17491 vsize=113128 memory=1472 CPUtime=3.94 cores=0,2,4,6
/proc/17494/stat : 17494 (scop.sh) S 17491 17494 16605 0 -1 4202496 592 22279 0 0 0 0 382 12 20 0 1 0 224537403 115843072 368 33554432000 4194304 5098028 140733111854080 140733111850824 140049380782716 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18329600 140733111862336 140733111862535 140733111862535 140733111865293 0
/proc/17494/statm: 28282 368 311 221 0 87 0
[pid=17512] ppid=17494 vsize=8068220 memory=120228 CPUtime=1.37 cores=0,2,4,6
/proc/17512/stat : 17512 (java) S 17494 17494 16605 0 -1 1077944320 18289 0 0 0 126 11 0 0 20 0 19 0 224537585 8261857280 30057 33554432000 4194304 4196468 140728191073632 140728191056176 139839657443063 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
/proc/17512/statm: 2017055 30057 3159 1 0 1978454 0
[pid=17527] ppid=17512 vsize=78460 memory=59028 CPUtime=351.83 cores=0,2,4,6
/proc/17527/stat : 17527 (minisat_release) R 17512 17494 16605 0 -1 4202496 39976 0 0 0 35178 5 0 0 20 0 1 0 224537659 80343040 14757 33554432000 4194304 4308513 140727193423056 140727193419960 4276015 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 39600128 140727193429108 140727193429206 140727193429206 140727193432005 0
/proc/17527/statm: 19615 14757 339 28 0 15855 0
[pid=17512/tid=17513] ppid=17494 vsize=8068220 memory=59028 CPUtime=0.77 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (java) S 17494 17494 16605 0 -1 1077944384 14953 0 0 0 71 6 0 0 20 0 19 0 224537585 8261857280 30057 33554432000 4194304 4196468 140728191073632 139839629283216 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17514] ppid=17494 vsize=8068220 memory=504 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224537586 8261857280 30057 33554432000 4194304 4196468 140728191073632 139839661685904 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17515] ppid=17494 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224537586 8261857280 30057 33554432000 4194304 4196468 140728191073632 139839461854224 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17516] ppid=17494 vsize=8068220 memory=120228 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17516/stat : 17516 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224537586 8261857280 30057 33554432000 4194304 4196468 140728191073632 139839460801424 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17517] ppid=17494 vsize=8068220 memory=59028 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17517/stat : 17517 (java) S 17494 17494 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224537586 8261857280 30057 33554432000 4194304 4196468 140728191073632 139839459748624 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17518] ppid=17494 vsize=8068220 memory=120228 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17518/stat : 17518 (java) S 17494 17494 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224537588 8261857280 30057 33554432000 4194304 4196468 140728191073632 139839103891824 139839657454210 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17519] ppid=17494 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17519/stat : 17519 (java) S 17494 17494 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224537588 8261857280 30057 33554432000 4194304 4196468 140728191073632 139838565114912 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17520] ppid=17494 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17520/stat : 17520 (java) S 17494 17494 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224537588 8261857280 30057 33554432000 4194304 4196468 140728191073632 139838430892912 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17521] ppid=17494 vsize=8068220 memory=120228 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17521/stat : 17521 (java) S 17494 17494 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224537591 8261857280 30057 33554432000 4194304 4196468 140728191073632 139838056388432 139839657461659 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17522] ppid=17494 vsize=8068220 memory=59028 CPUtime=0.14 cores=0,2,4,6
/proc/17512/task/17522/stat : 17522 (java) S 17494 17494 16605 0 -1 1077944384 1000 0 0 0 14 0 0 0 20 0 19 0 224537591 8261857280 30057 33554432000 4194304 4196468 140728191073632 139838296673136 139839657454210 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17523] ppid=17494 vsize=8068220 memory=59028 CPUtime=0.1 cores=0,2,4,6
/proc/17512/task/17523/stat : 17523 (java) S 17494 17494 16605 0 -1 1077944384 354 0 0 0 10 0 0 0 20 0 19 0 224537591 8261857280 30057 33554432000 4194304 4196468 140728191073632 139838295620336 139839657454210 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17524] ppid=17494 vsize=8068220 memory=120228 CPUtime=0.22 cores=0,2,4,6
/proc/17512/task/17524/stat : 17524 (java) S 17494 17494 16605 0 -1 1077944384 547 0 0 0 22 0 0 0 20 0 19 0 224537591 8261857280 30057 33554432000 4194304 4196468 140728191073632 139838294567536 139839657454210 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17525] ppid=17494 vsize=8068220 memory=61100 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17525/stat : 17525 (java) S 17494 17494 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224537591 8261857280 30057 33554432000 4194304 4196468 140728191073632 139837558483680 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17526] ppid=17494 vsize=8068220 memory=1064 CPUtime=0.11 cores=0,2,4,6
/proc/17512/task/17526/stat : 17526 (java) S 17494 17494 16605 0 -1 1077944384 25 0 0 0 5 6 0 0 20 0 19 0 224537591 8261857280 30057 33554432000 4194304 4196468 140728191073632 139838293514928 139839657454210 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17528] ppid=17494 vsize=8068220 memory=2072 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17528/stat : 17528 (java) S 17494 17494 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224537659 8261857280 30057 33554432000 4194304 4196468 140728191073632 139839102506176 139839657467673 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17530] ppid=17494 vsize=8068220 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17530/stat : 17530 (java) S 17494 17494 16605 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 224537660 8261857280 30057 33554432000 4194304 4196468 140728191073632 139837021596976 139839657464989 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17531] ppid=17494 vsize=8068220 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17531/stat : 17531 (java) S 17494 17494 16605 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224537660 8261857280 30057 33554432000 4194304 4196468 140728191073632 139837155819696 139839657464989 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17532] ppid=17494 vsize=8068220 memory=752 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17532/stat : 17532 (java) S 17494 17494 16605 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 224537662 8261857280 30057 33554432000 4194304 4196468 140728191073632 139836753174176 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
Current children cumulated CPU time: 357.14 s
Current children cumulated vsize: 8259808 KiB
Current children cumulated memory: 180728 KiB
[startup+355.201 s]
/proc/loadavg: 2.32 2.17 2.09 3/228 17647
/proc/meminfo: memFree=23613156/32770624 swapFree=67108860/67108860
[pid=17494] ppid=17491 vsize=113128 memory=1472 CPUtime=3.94 cores=0,2,4,6
/proc/17494/stat : 17494 (scop.sh) S 17491 17494 16605 0 -1 4202496 592 22279 0 0 0 0 382 12 20 0 1 0 224537403 115843072 368 33554432000 4194304 5098028 140733111854080 140733111850824 140049380782716 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18329600 140733111862336 140733111862535 140733111862535 140733111865293 0
/proc/17494/statm: 28282 368 311 221 0 87 0
[pid=17512] ppid=17494 vsize=8068220 memory=120228 CPUtime=1.37 cores=0,2,4,6
/proc/17512/stat : 17512 (java) S 17494 17494 16605 0 -1 1077944320 18289 0 0 0 126 11 0 0 20 0 19 0 224537585 8261857280 30057 33554432000 4194304 4196468 140728191073632 140728191056176 139839657443063 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
/proc/17512/statm: 2017055 30057 3159 1 0 1978454 0
[pid=17527] ppid=17512 vsize=78460 memory=59028 CPUtime=352.63 cores=0,2,4,6
/proc/17527/stat : 17527 (minisat_release) R 17512 17494 16605 0 -1 4202496 39976 0 0 0 35258 5 0 0 20 0 1 0 224537659 80343040 14757 33554432000 4194304 4308513 140727193423056 140727193419960 4275941 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 39600128 140727193429108 140727193429206 140727193429206 140727193432005 0
/proc/17527/statm: 19615 14757 339 28 0 15855 0
[pid=17512/tid=17513] ppid=17494 vsize=8068220 memory=3980 CPUtime=0.77 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (java) S 17494 17494 16605 0 -1 1077944384 14953 0 0 0 71 6 0 0 20 0 19 0 224537585 8261857280 30057 33554432000 4194304 4196468 140728191073632 139839629283216 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17514] ppid=17494 vsize=8068220 memory=59028 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224537586 8261857280 30057 33554432000 4194304 4196468 140728191073632 139839661685904 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17515] ppid=17494 vsize=8068220 memory=61100 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224537586 8261857280 30057 33554432000 4194304 4196468 140728191073632 139839461854224 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17516] ppid=17494 vsize=8068220 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17516/stat : 17516 (java) S 17494 17494 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224537586 8261857280 30057 33554432000 4194304 4196468 140728191073632 139839460801424 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17517] ppid=17494 vsize=8068220 memory=2072 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17517/stat : 17517 (java) S 17494 17494 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224537586 8261857280 30057 33554432000 4194304 4196468 140728191073632 139839459748624 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17518] ppid=17494 vsize=8068220 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17518/stat : 17518 (java) S 17494 17494 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224537588 8261857280 30057 33554432000 4194304 4196468 140728191073632 139839103891824 139839657454210 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17519] ppid=17494 vsize=8068220 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17519/stat : 17519 (java) S 17494 17494 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224537588 8261857280 30057 33554432000 4194304 4196468 140728191073632 139838565114912 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17520] ppid=17494 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17520/stat : 17520 (java) S 17494 17494 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224537588 8261857280 30057 33554432000 4194304 4196468 140728191073632 139838430892912 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17521] ppid=17494 vsize=8068220 memory=120228 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17521/stat : 17521 (java) S 17494 17494 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224537591 8261857280 30057 33554432000 4194304 4196468 140728191073632 139838056388432 139839657461659 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17522] ppid=17494 vsize=8068220 memory=59028 CPUtime=0.14 cores=0,2,4,6
/proc/17512/task/17522/stat : 17522 (java) S 17494 17494 16605 0 -1 1077944384 1000 0 0 0 14 0 0 0 20 0 19 0 224537591 8261857280 30057 33554432000 4194304 4196468 140728191073632 139838296673136 139839657454210 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17523] ppid=17494 vsize=8068220 memory=504 CPUtime=0.1 cores=0,2,4,6
/proc/17512/task/17523/stat : 17523 (java) S 17494 17494 16605 0 -1 1077944384 354 0 0 0 10 0 0 0 20 0 19 0 224537591 8261857280 30057 33554432000 4194304 4196468 140728191073632 139838295620336 139839657454210 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17524] ppid=17494 vsize=8068220 memory=924 CPUtime=0.22 cores=0,2,4,6
/proc/17512/task/17524/stat : 17524 (java) S 17494 17494 16605 0 -1 1077944384 547 0 0 0 22 0 0 0 20 0 19 0 224537591 8261857280 30057 33554432000 4194304 4196468 140728191073632 139838294567536 139839657454210 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17525] ppid=17494 vsize=8068220 memory=1168 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17525/stat : 17525 (java) S 17494 17494 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224537591 8261857280 30057 33554432000 4194304 4196468 140728191073632 139837558483680 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17526] ppid=17494 vsize=8068220 memory=1472 CPUtime=0.11 cores=0,2,4,6
/proc/17512/task/17526/stat : 17526 (java) S 17494 17494 16605 0 -1 1077944384 25 0 0 0 5 6 0 0 20 0 19 0 224537591 8261857280 30057 33554432000 4194304 4196468 140728191073632 139838293514928 139839657454210 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17528] ppid=17494 vsize=8068220 memory=120228 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17528/stat : 17528 (java) S 17494 17494 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224537659 8261857280 30057 33554432000 4194304 4196468 140728191073632 139839102506176 139839657467673 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17530] ppid=17494 vsize=8068220 memory=59028 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17530/stat : 17530 (java) S 17494 17494 16605 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 224537660 8261857280 30057 33554432000 4194304 4196468 140728191073632 139837021596976 139839657464989 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17531] ppid=17494 vsize=8068220 memory=3460 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17531/stat : 17531 (java) S 17494 17494 16605 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 224537660 8261857280 30057 33554432000 4194304 4196468 140728191073632 139837155819696 139839657464989 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
[pid=17512/tid=17532] ppid=17494 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17532/stat : 17532 (java) S 17494 17494 16605 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 224537662 8261857280 30057 33554432000 4194304 4196468 140728191073632 139836753174176 139839657453269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23207936 140728191079605 140728191079729 140728191079729 140728191082447 0
Current children cumulated CPU time: 357.94 s
Current children cumulated vsize: 8259808 KiB
Current children cumulated memory: 180728 KiB
[startup+355.601 s]
/proc/loadavg: 2.32 2.17 2.09 3/228 17647
/proc/meminfo: memFree=23613156/32770624 swapFree=67108860/67108860
[pid=17494] ppid=17491 vsize=113128 memory=1472 CPUtime=3.94 cores=0,2,4,6
/proc/17494/stat : 17494 (scop.sh) S 17491 17494 16605 0 -1 4202496 592 22279 0 0 0 0 382 12 20 0 1 0 224537403 115843072 368 33554432000 4194304 5098028 140733111854080 140733111850824 140049380782716 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18329600 140733111862336 140733111862535 140733111862535 140733111865293 0
/proc/17494/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 3.94 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
Child status: 0
Real time (s): 355.602
CPU time (s): 358.384
CPU user time (s): 358.077
CPU system time (s): 0.306757
CPU usage (%): 100.782
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 216100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 358.077
system time used= 0.306757
maximum resident set size= 215112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81205
page faults= 0
swaps= 0
block input operations= 0
block output operations= 696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12286
involuntary context switches= 738
# summary of solver processes directly reported to runsolver:
# pid: 17494
# total CPU time (s): 358.384
# total CPU user time (s): 358.077
# total CPU system time (s): 0.306757
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.5808 second user time and 3.57622 second system time
The end