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-18637-serial-file.bin HOME/instance-4305528-1534068015.xml
0.66/0.52
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 12:00:15 CEST 2018
0.66/0.54 c PID: 18640
0.66/0.54 c IP: 172.20.3.139
0.66/0.54 c HOST: node139.alineos.net
0.66/0.55 c (0,0) Parsing Begin
5.36/2.04 c (1,1) Parsing End
5.36/2.05 c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 41
5.36/2.06 c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.36/2.06 c (1,1) Constraint Name Generate Begin
5.36/2.08 c (1,1) Ctr:HOME/instance-4305528-1534068015.xml,Dist:Eq:IntVar:Le:Num
5.36/2.08 c (1,1) Constraint Name Generate End
5.36/2.08 c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.36/2.08 c (1,1) CSP to CSPinCNF Begin
6.40/2.36 c (1,1) translated 411 (10%) constraints
6.73/2.43 c (1,1) translated 821 (20%) constraints
6.73/2.49 c (1,1) translated 1231 (30%) constraints
7.05/2.53 c (2,1) translated 1642 (40%) constraints
7.05/2.58 c (2,2) translated 2052 (50%) constraints
7.35/2.63 c (2,2) translated 2462 (60%) constraints
7.35/2.67 c (2,2) translated 2873 (70%) constraints
7.65/2.72 c (2,2) translated 3283 (80%) constraints
7.65/2.76 c (2,2) translated 3693 (90%) constraints
8.00/2.85 c (2,2) translated 4103 (100%) constraints
8.31/2.93 c (2,2) STATISTICS1:HOME/instance-4305528-1534068015.xml,Dist:Eq:IntVar:Le:Num,680,4783,41,41,2,2,41:3314;34:5144;22:368;6:60,41:9348;34:7956;22:404;6:64,2:4103;1:680,2:8886,
8.31/2.93 c (2,2) ==========================================
8.31/2.93 c (2,2) Order
8.31/2.93 c (2,2) ==========================================
8.31/2.96 c (2,2) translated 479 (10%) constraints
8.31/2.98 c (2,2) translated 957 (20%) constraints
8.31/2.99 c (2,2) translated 1435 (30%) constraints
8.66/3.01 c (2,2) translated 1914 (40%) constraints
8.66/3.03 c (2,2) translated 2392 (50%) constraints
8.66/3.05 c (2,2) translated 2870 (60%) constraints
8.66/3.07 c (2,2) translated 3349 (70%) constraints
8.66/3.08 c (2,2) translated 3827 (80%) constraints
8.66/3.10 c (2,2) translated 4305 (90%) constraints
8.96/3.12 c (2,2) translated 4783 (100%) constraints
8.96/3.12 c (2,2) CSP to CSPinCNF End
8.96/3.12 c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 41
8.96/3.12 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
8.96/3.12 c (2,2) CSPinCNF Propagation Begin
11.47/4.62 c (4,4) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
11.47/4.62 c (4,4) CSPinCNF Propagation End
11.47/4.62 c (4,4) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 41
11.47/4.62 c (4,4) Heap : 2253 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
11.47/4.62 c (4,4) Simplify CSPinCNF Begin
11.99/4.88 c (4,4) Simplify CSPinCNF End
11.99/4.88 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 41
11.99/4.88 c (4,4) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.99/4.88 c (4,4) Calculate Precise Domain Begin
11.99/4.88 c (4,4) 0 values are removed by re-calculation
11.99/4.88 c (4,4) Calculate Precise Domain End
11.99/4.89 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 41
11.99/4.89 c (4,4) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
11.99/4.89 c (4,4) CSPinCNF to SatSolver Begin
13.24/5.25 c (4,4) 1299 (10 %) CSP clauses are encoded (32718 SAT variables, 53445 SAT clauses)
13.86/5.42 c (4,4) 2598 (20 %) CSP clauses are encoded (32718 SAT variables, 82649 SAT clauses)
14.17/5.52 c (5,4) 3897 (30 %) CSP clauses are encoded (32718 SAT variables, 109787 SAT clauses)
14.46/5.62 c (5,5) 5196 (40 %) CSP clauses are encoded (32718 SAT variables, 139274 SAT clauses)
14.60/5.70 c (5,5) 6495 (50 %) CSP clauses are encoded (32718 SAT variables, 169464 SAT clauses)
14.60/5.78 c (5,5) 7794 (60 %) CSP clauses are encoded (32718 SAT variables, 200496 SAT clauses)
14.71/5.87 c (5,5) 9093 (70 %) CSP clauses are encoded (32718 SAT variables, 231420 SAT clauses)
14.89/5.98 c (5,5) 10392 (80 %) CSP clauses are encoded (32718 SAT variables, 262500 SAT clauses)
15.07/6.06 c (5,5) 11691 (90 %) CSP clauses are encoded (32718 SAT variables, 292620 SAT clauses)
15.24/6.13 c (5,5) 12989 (100 %) CSP clauses are encoded (32718 SAT variables, 320631 SAT clauses)
15.24/6.13 c (5,5) Launch Command will be: minisat_release
15.24/6.13 c (5,5) CSPinCNF to SatSolver End
15.24/6.13 c (5,5) Heap : 274 MiB used (max 10795 MiB), NonHeap : 35 MiB used (max 0 MiB)
15.54/6.23 c (5,5) STATISTICS2:HOME/instance-4305528-1534068015.xml,Dist:Eq:IntVar:Le:Num,8886,12989,41,41,2,2,41:3314;34:5144;22:368;6:60,41:9348;34:7956;22:404;6:64;2:16412,2:12309;1:680,2:8886;1:16412,
15.54/6.23 c (5,5) 32718 bool, 320643 clause
15.54/6.23 c (5,5) Export Begin
16.58/6.61 c (6,6) Export to HOME/scop-18637-serial-file.bin
16.58/6.61 c (6,6) Export End
16.58/6.61 c (6,6) Export File Size: 4.46 MB
16.58/6.61 c (6,6) 1,1,2,4,4,4,5,STOP-AFTER(DIMACS)
16.58/6.61 c END-Prog: Sun Aug 12 12:00:21 CEST 2018
16.58/6.63 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-18637-serial-file.bin
17.25/7.12 c (0,0) Read Serial File Begin
17.25/7.12 c (0,0) HOME/scop-18637-serial-file.bin
17.91/7.49 c (0,0) Read Serial File End
18.17/7.50
18.17/7.50 scop order+minisat_release (2018-07-31)
18.17/7.50 (Solving Process)
18.17/7.50
18.17/7.52 c BEGIN-Prog: Sun Aug 12 12:00:22 CEST 2018
18.17/7.52 c PID: 18655
18.17/7.52 c IP: 172.20.3.139
18.17/7.52 c HOST: node139.alineos.net
18.17/7.53 c (0,0) SatSolver.solve Begin
18.17/7.53 c (0,0) 0 bool, 0 clause
18.17/7.53 c (0,0) minisat_release HOME/instance-4305528-1534068015.xml-scop-18640.cnf
19.63/8.86 c (1,0) c This is COMiniSatPS.
19.63/8.86 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
19.63/8.86 c (1,0) c ============================[ Problem Statistics ]=============================
19.63/8.86 c (1,0) c | |
19.63/8.86 c (1,0) c | Number of variables: 32718 |
19.63/8.86 c (1,0) c | Number of clauses: 320643 |
19.63/8.86 c (1,0) c | Parse time: 0.11 s |
19.63/8.86 c (1,0) c | Eliminated clauses: 0.08 Mb |
19.63/8.86 c (1,0) c Reduced to 28500 vars, 316302 cls (grow=0)
19.63/8.86 c (1,0) c No iterative elimination performed. (vars=28500, c/v ratio=11.1)
19.63/8.86 c (1,0) c | Simplification time: 0.34 s |
19.63/8.86 c (1,0) c | |
19.63/8.86 c (1,0) c ============================[ Search Statistics ]==============================
19.63/8.86 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
19.63/8.86 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
19.63/8.86 c (1,0) c ===============================================================================
19.63/8.86 c (1,0) c ===============================================================================
19.63/8.86 c (1,0) c restarts : 19
19.63/8.86 c (1,0) c conflicts : 13213 (10256 /sec)
19.63/8.86 c (1,0) c decisions : 17177 (0.00 % random) (13332 /sec)
19.63/8.86 c (1,0) c propagations : 2530749 (1964314 /sec)
19.63/8.86 c (1,0) c conflict literals : 172384 (33.08 % deleted)
19.63/8.86 c (1,0) c CPU time : 1.28836 s
19.63/8.86 c (1,0)
19.63/8.86 c (1,0) s UNSATISFIABLE
19.63/8.86 c (1,0) SatSolver.solve End
19.63/8.86 c (1,0) Heap : 164 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
19.63/8.86 c (1,0) Show results Begin
19.63/8.86 s UNSATISFIABLE
19.63/8.86 c (1,0) Show results End
19.63/8.86 c (1,0) Heap : 164 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
19.63/8.87 c (1,0) 1,1,STOP-AFTER(ALL)
19.63/8.87 c END-Prog: Sun Aug 12 12:00:23 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (4497 MiB free)
memory of node 1: 16384 MiB (5829 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305528-1534068015/watcher-4305528-1534068015 -o /tmp/evaluation-result-4305528-1534068015/solver-4305528-1534068015 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16802 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305528-1534068015.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18637, runsolver pid=18634
[startup+0.100107 s]*
/proc/loadavg: 2.15 2.06 2.05 4/222 18654
/proc/meminfo: memFree=10513016/32770624 swapFree=67108860/67108860
[pid=18637] ppid=18634 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18637/stat : 18637 (scop.sh) S 18634 18637 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224364628 115843072 349 33554432000 4194304 5098028 140726962955888 140726962953144 139652561252988 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24535040 140726962959424 140726962959623 140726962959623 140726962962381 0
/proc/18637/statm: 28282 349 296 221 0 87 0
[pid=18640] ppid=18637 vsize=15012476 memory=73428 CPUtime=0.11 cores=1,3,5,7
/proc/18640/stat : 18640 (java) S 18637 18637 16770 0 -1 1077944320 6970 0 0 0 9 2 0 0 20 0 15 0 224364628 15372775424 18357 33554432000 4194304 4196468 140728035365968 140728035348512 139937569427191 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
/proc/18640/statm: 3753119 18357 2770 1 0 3715579 0
[pid=18640/tid=18641] ppid=18637 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=1,3,5,7
/proc/18640/task/18641/stat : 18641 (java) R 18637 18637 16770 0 -1 4202560 5061 0 0 0 7 2 0 0 20 0 15 0 224364628 15372775424 18357 33554432000 4194304 4196468 140728035365968 139937541261632 139937553507678 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18642] ppid=18637 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18642/stat : 18642 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224364630 15372775424 18357 33554432000 4194304 4196468 140728035365968 139937573670032 139937569437397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18643] ppid=18637 vsize=15012476 memory=140332488017536 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18643/stat : 18643 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224364630 15372775424 18357 33554432000 4194304 4196468 140728035365968 139937030597648 139937569437397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18644] ppid=18637 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18644/stat : 18644 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224364630 15372775424 18357 33554432000 4194304 4196468 140728035365968 139937029544848 139937569437397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18645] ppid=18637 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18645/stat : 18645 (java) S 18637 18637 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224364630 15372775424 18357 33554432000 4194304 4196468 140728035365968 139937028492048 139937569437397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18646] ppid=18637 vsize=15012476 memory=140332488017536 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18646/stat : 18646 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224364631 15372775424 18357 33554432000 4194304 4196468 140728035365968 139936539847024 139937569438338 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18647] ppid=18637 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18647/stat : 18647 (java) S 18637 18637 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224364632 15372775424 18357 33554432000 4194304 4196468 140728035365968 139936141403168 139937569437397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18648] ppid=18637 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18648/stat : 18648 (java) S 18637 18637 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224364632 15372775424 18357 33554432000 4194304 4196468 140728035365968 139935872967536 139937569437397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18649] ppid=18637 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18649/stat : 18649 (java) S 18637 18637 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224364634 15372775424 18357 33554432000 4194304 4196468 140728035365968 139935498458960 139937569445787 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18650] ppid=18637 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18650/stat : 18650 (java) S 18637 18637 16770 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 224364634 15372775424 18357 33554432000 4194304 4196468 140728035365968 139936538794864 139937569438338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18651] ppid=18637 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18651/stat : 18651 (java) S 18637 18637 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224364634 15372775424 18357 33554432000 4194304 4196468 140728035365968 139936537742064 139937569438338 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18652] ppid=18637 vsize=15012476 memory=140332488017536 CPUtime=0.01 cores=1,3,5,7
/proc/18640/task/18652/stat : 18652 (java) R 18637 18637 16770 0 -1 4202560 274 0 0 0 1 0 0 0 20 0 15 0 224364634 15372775424 18357 33554432000 4194304 4196468 140728035365968 139936536685144 139937548890707 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18653] ppid=18637 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18653/stat : 18653 (java) S 18637 18637 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224364635 15372775424 18357 33554432000 4194304 4196468 140728035365968 139935000554208 139937569437397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18654] ppid=18637 vsize=15012476 memory=140332488017536 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18654/stat : 18654 (java) S 18637 18637 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224364635 15372775424 18357 33554432000 4194304 4196468 140728035365968 139936535636656 139937569438338 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74824 KiB
[startup+0.210691 s]*
/proc/loadavg: 2.15 2.06 2.05 4/222 18654
/proc/meminfo: memFree=10498940/32770624 swapFree=67108860/67108860
[pid=18637] ppid=18634 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18637/stat : 18637 (scop.sh) S 18634 18637 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224364628 115843072 349 33554432000 4194304 5098028 140726962955888 140726962953144 139652561252988 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24535040 140726962959424 140726962959623 140726962959623 140726962962381 0
/proc/18637/statm: 28282 349 296 221 0 87 0
[pid=18640] ppid=18637 vsize=15012476 memory=86496 CPUtime=0.25 cores=1,3,5,7
/proc/18640/stat : 18640 (java) S 18637 18637 16770 0 -1 1077944320 10484 0 0 0 22 3 0 0 20 0 15 0 224364628 15372775424 21624 33554432000 4194304 4196468 140728035365968 140728035348512 139937569427191 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
/proc/18640/statm: 3753119 21624 2904 1 0 3715579 0
[pid=18640/tid=18641] ppid=18637 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/18640/task/18641/stat : 18641 (java) R 18637 18637 16770 0 -1 4202560 8391 0 0 0 17 2 0 0 20 0 15 0 224364628 15372775424 21624 33554432000 4194304 4196468 140728035365968 139937541253584 139937569449117 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18642] ppid=18637 vsize=15012476 memory=365 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18642/stat : 18642 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224364630 15372775424 21624 33554432000 4194304 4196468 140728035365968 139937573670032 139937569437397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18643] ppid=18637 vsize=15012476 memory=140332489207582 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18643/stat : 18643 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224364630 15372775424 21624 33554432000 4194304 4196468 140728035365968 139937030597648 139937569437397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18644] ppid=18637 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18644/stat : 18644 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224364630 15372775424 21624 33554432000 4194304 4196468 140728035365968 139937029544848 139937569437397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18645] ppid=18637 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18645/stat : 18645 (java) S 18637 18637 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224364630 15372775424 21624 33554432000 4194304 4196468 140728035365968 139937028492048 139937569437397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18646] ppid=18637 vsize=15012476 memory=140332488017536 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18646/stat : 18646 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224364631 15372775424 21624 33554432000 4194304 4196468 140728035365968 139936539847024 139937569438338 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18647] ppid=18637 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18647/stat : 18647 (java) S 18637 18637 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224364632 15372775424 21624 33554432000 4194304 4196468 140728035365968 139936141403168 139937569437397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18648] ppid=18637 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18648/stat : 18648 (java) S 18637 18637 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224364632 15372775424 21624 33554432000 4194304 4196468 140728035365968 139935872967536 139937569437397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18649] ppid=18637 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18649/stat : 18649 (java) S 18637 18637 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224364634 15372775424 21624 33554432000 4194304 4196468 140728035365968 139935498458960 139937569445787 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18650] ppid=18637 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18640/task/18650/stat : 18650 (java) S 18637 18637 16770 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 15 0 224364634 15372775424 21624 33554432000 4194304 4196468 140728035365968 139936538794864 139937569438338 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18651] ppid=18637 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18651/stat : 18651 (java) R 18637 18637 16770 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 224364634 15372775424 21624 33554432000 4194304 4196468 140728035365968 139936537742064 139937569438338 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18652] ppid=18637 vsize=15012476 memory=140332488017536 CPUtime=0.03 cores=1,3,5,7
/proc/18640/task/18652/stat : 18652 (java) R 18637 18637 16770 0 -1 4202560 291 0 0 0 3 0 0 0 20 0 15 0 224364634 15372775424 21624 33554432000 4194304 4196468 140728035365968 139936536689264 139937569448538 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18653] ppid=18637 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18653/stat : 18653 (java) S 18637 18637 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224364635 15372775424 21624 33554432000 4194304 4196468 140728035365968 139935000554208 139937569437397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18654] ppid=18637 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18654/stat : 18654 (java) S 18637 18637 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224364635 15372775424 21624 33554432000 4194304 4196468 140728035365968 139936535636656 139937569438338 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87892 KiB
[startup+0.310918 s]*
/proc/loadavg: 2.15 2.06 2.05 3/222 18654
/proc/meminfo: memFree=10495652/32770624 swapFree=67108860/67108860
[pid=18637] ppid=18634 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18637/stat : 18637 (scop.sh) S 18634 18637 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224364628 115843072 349 33554432000 4194304 5098028 140726962955888 140726962953144 139652561252988 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24535040 140726962959424 140726962959623 140726962959623 140726962962381 0
/proc/18637/statm: 28282 349 296 221 0 87 0
[pid=18640] ppid=18637 vsize=15012476 memory=90024 CPUtime=0.43 cores=1,3,5,7
/proc/18640/stat : 18640 (java) S 18637 18637 16770 0 -1 1077944320 11021 0 0 0 39 4 0 0 20 0 15 0 224364628 15372775424 22506 33554432000 4194304 4196468 140728035365968 140728035348512 139937569427191 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
/proc/18640/statm: 3753119 22506 2970 1 0 3715579 0
[pid=18640/tid=18641] ppid=18637 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/18640/task/18641/stat : 18641 (java) R 18637 18637 16770 0 -1 4202560 8763 0 0 0 26 3 0 0 20 0 15 0 224364628 15372775424 22506 33554432000 4194304 4196468 140728035365968 139937541222192 139937569439126 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18642] ppid=18637 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18642/stat : 18642 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224364630 15372775424 22506 33554432000 4194304 4196468 140728035365968 139937573670032 139937569437397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18643] ppid=18637 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18643/stat : 18643 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224364630 15372775424 22506 33554432000 4194304 4196468 140728035365968 139937030597648 139937569437397 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18644] ppid=18637 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18644/stat : 18644 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224364630 15372775424 22506 33554432000 4194304 4196468 140728035365968 139937029544848 139937569437397 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18645] ppid=18637 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18645/stat : 18645 (java) S 18637 18637 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224364630 15372775424 22506 33554432000 4194304 4196468 140728035365968 139937028492048 139937569437397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18646] ppid=18637 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18646/stat : 18646 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224364631 15372775424 22506 33554432000 4194304 4196468 140728035365968 139936539847024 139937569438338 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18647] ppid=18637 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18647/stat : 18647 (java) S 18637 18637 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224364632 15372775424 22506 33554432000 4194304 4196468 140728035365968 139936141403168 139937569437397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18648] ppid=18637 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18648/stat : 18648 (java) S 18637 18637 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224364632 15372775424 22506 33554432000 4194304 4196468 140728035365968 139935872967536 139937569437397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18649] ppid=18637 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18649/stat : 18649 (java) S 18637 18637 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224364634 15372775424 22506 33554432000 4194304 4196468 140728035365968 139935498458960 139937569445787 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18650] ppid=18637 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18640/task/18650/stat : 18650 (java) R 18637 18637 16770 0 -1 4202560 369 0 0 0 2 0 0 0 20 0 15 0 224364634 15372775424 22506 33554432000 4194304 4196468 140728035365968 139936538794864 139937569439126 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18651] ppid=18637 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18640/task/18651/stat : 18651 (java) R 18637 18637 16770 0 -1 1077944384 244 0 0 0 2 0 0 0 20 0 15 0 224364634 15372775424 22506 33554432000 4194304 4196468 140728035365968 139936537742064 139937569438338 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18652] ppid=18637 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18640/task/18652/stat : 18652 (java) R 18637 18637 16770 0 -1 4202560 311 0 0 0 7 0 0 0 20 0 15 0 224364634 15372775424 22506 33554432000 4194304 4196468 140728035365968 139936536689264 139937569439126 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18653] ppid=18637 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18653/stat : 18653 (java) S 18637 18637 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224364635 15372775424 22506 33554432000 4194304 4196468 140728035365968 139935000554208 139937569437397 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18654] ppid=18637 vsize=15012476 memory=3689071724943450161 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18654/stat : 18654 (java) S 18637 18637 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224364635 15372775424 22506 33554432000 4194304 4196468 140728035365968 139936535636656 139937569438338 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91420 KiB
[startup+0.710404 s]
/proc/loadavg: 2.15 2.06 2.05 3/222 18654
/proc/meminfo: memFree=10470972/32770624 swapFree=67108860/67108860
[pid=18637] ppid=18634 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18637/stat : 18637 (scop.sh) S 18634 18637 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224364628 115843072 349 33554432000 4194304 5098028 140726962955888 140726962953144 139652561252988 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24535040 140726962959424 140726962959623 140726962959623 140726962962381 0
/proc/18637/statm: 28282 349 296 221 0 87 0
[pid=18640] ppid=18637 vsize=15018748 memory=133480 CPUtime=1.08 cores=1,3,5,7
/proc/18640/stat : 18640 (java) S 18637 18637 16770 0 -1 1077944320 17937 0 0 0 102 6 0 0 20 0 15 0 224364628 15379197952 33370 33554432000 4194304 4196468 140728035365968 140728035348512 139937569427191 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
/proc/18640/statm: 3754687 33370 3144 1 0 3716091 0
[pid=18640/tid=18641] ppid=18637 vsize=15018748 memory=-7816663703405220396 CPUtime=0.68 cores=1,3,5,7
/proc/18640/task/18641/stat : 18641 (java) R 18637 18637 16770 0 -1 4202560 15123 0 0 0 63 5 0 0 20 0 15 0 224364628 15379197952 33370 33554432000 4194304 4196468 140728035365968 139937541252880 139937569449117 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18642] ppid=18637 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18642/stat : 18642 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224364630 15379197952 33370 33554432000 4194304 4196468 140728035365968 139937573670032 139937569437397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18643] ppid=18637 vsize=15018748 memory=60900 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18643/stat : 18643 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224364630 15379197952 33370 33554432000 4194304 4196468 140728035365968 139937030597648 139937569437397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18644] ppid=18637 vsize=15018748 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18644/stat : 18644 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224364630 15379197952 33370 33554432000 4194304 4196468 140728035365968 139937029544848 139937569437397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18645] ppid=18637 vsize=15018748 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18645/stat : 18645 (java) S 18637 18637 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224364630 15379197952 33370 33554432000 4194304 4196468 140728035365968 139937028492048 139937569437397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18646] ppid=18637 vsize=15018748 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18646/stat : 18646 (java) S 18637 18637 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224364631 15379197952 33370 33554432000 4194304 4196468 140728035365968 139936539847024 139937569438338 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18647] ppid=18637 vsize=15018748 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18647/stat : 18647 (java) S 18637 18637 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224364632 15379197952 33370 33554432000 4194304 4196468 140728035365968 139936141403168 139937569437397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18648] ppid=18637 vsize=15018748 memory=796 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18648/stat : 18648 (java) S 18637 18637 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224364632 15379197952 33370 33554432000 4194304 4196468 140728035365968 139935872967536 139937569437397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18649] ppid=18637 vsize=15018748 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18649/stat : 18649 (java) S 18637 18637 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224364634 15379197952 33370 33554432000 4194304 4196468 140728035365968 139935498458960 139937569445787 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18650] ppid=18637 vsize=15018748 memory=876 CPUtime=0.09 cores=1,3,5,7
/proc/18640/task/18650/stat : 18650 (java) R 18637 18637 16770 0 -1 4202560 507 0 0 0 9 0 0 0 20 0 15 0 224364634 15379197952 33370 33554432000 4194304 4196468 140728035365968 139936538780888 139937552813972 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18651] ppid=18637 vsize=15018748 memory=10096 CPUtime=0.1 cores=1,3,5,7
/proc/18640/task/18651/stat : 18651 (java) R 18637 18637 16770 0 -1 4202560 478 0 0 0 10 0 0 0 20 0 15 0 224364634 15379197952 33370 33554432000 4194304 4196468 140728035365968 139936537728496 139937555459222 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18652] ppid=18637 vsize=15018748 memory=1228 CPUtime=0.18 cores=1,3,5,7
/proc/18640/task/18652/stat : 18652 (java) R 18637 18637 16770 0 -1 4202560 492 0 0 0 18 0 0 0 20 0 15 0 224364634 15379197952 33370 33554432000 4194304 4196468 140728035365968 139936536687224 139937548061008 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18653] ppid=18637 vsize=15018748 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18653/stat : 18653 (java) S 18637 18637 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224364635 15379197952 33370 33554432000 4194304 4196468 140728035365968 139935000554208 139937569437397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
[pid=18640/tid=18654] ppid=18637 vsize=15018748 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/18640/task/18654/stat : 18654 (java) S 18637 18637 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224364635 15379197952 33370 33554432000 4194304 4196468 140728035365968 139936535636656 139937569438338 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10301440 140728035369990 140728035370289 140728035370289 140728035373007 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 134876 KiB
[startup+1.5014 s]
/proc/loadavg: 2.15 2.06 2.05 6/222 18654
/proc/meminfo: memFree=10248128/32770624 swapFree=67108860/67108860
[pid=18637] ppid=18634 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18637/stat : 18637 (scop.sh) S 18634 18637 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224364628 115843072 349 33554432000 4194304 5098028 140726962955888 140726962953144 139652561252988 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24535040 140726962959424 140726962959623 140726962959623 140726962962381 0
/proc/18637/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 16.19 s
Current children cumulated vsize: 15142280 KiB
Current children cumulated memory: 2986476 KiB
[startup+8.00083 s]*
/proc/loadavg: 2.44 2.12 2.08 3/227 18675
/proc/meminfo: memFree=10388708/32770624 swapFree=67108860/67108860
[pid=18637] ppid=18634 vsize=113128 memory=1472 CPUtime=16.63 cores=1,3,5,7
/proc/18637/stat : 18637 (scop.sh) S 18634 18637 16770 0 -1 4202496 591 35113 0 0 0 0 1588 75 20 0 1 0 224364628 115843072 368 33554432000 4194304 5098028 140726962955888 140726962952632 139652561252988 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24535040 140726962959424 140726962959623 140726962959623 140726962962381 0
/proc/18637/statm: 28282 368 311 221 0 87 0
[pid=18655] ppid=18637 vsize=8068220 memory=138728 CPUtime=1.76 cores=1,3,5,7
/proc/18655/stat : 18655 (java) S 18637 18637 16770 0 -1 1077944320 18806 0 0 0 163 13 0 0 20 0 19 0 224365291 8261857280 34682 33554432000 4194304 4196468 140723035755296 140723035737840 140282880708343 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
/proc/18655/statm: 2017055 34682 3172 1 0 1978454 0
[pid=18670] ppid=18655 vsize=56160 memory=36084 CPUtime=0.45 cores=1,3,5,7
/proc/18670/stat : 18670 (minisat_release) R 18655 18637 16770 0 -1 4202496 10148 0 0 0 43 2 0 0 20 0 1 0 224365383 57507840 9021 33554432000 4194304 4308513 140721558937440 140721558934584 4272073 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6409496 6410680 39436288 140721558938740 140721558938838 140721558938838 140721558941637 0
/proc/18670/statm: 14040 9021 321 28 0 10280 0
[pid=18655/tid=18656] ppid=18637 vsize=8068220 memory=-7824251494390716517 CPUtime=0.94 cores=1,3,5,7
/proc/18655/task/18656/stat : 18656 (java) S 18637 18637 16770 0 -1 1077944384 15029 0 0 0 83 11 0 0 20 0 19 0 224365292 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282852548496 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18657] ppid=18637 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18657/stat : 18657 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224365293 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282884950288 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18658] ppid=18637 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18658/stat : 18658 (java) S 18637 18637 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224365293 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282693511568 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18659] ppid=18637 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18659/stat : 18659 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224365293 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282364418576 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18660] ppid=18637 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18660/stat : 18660 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224365293 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282363366032 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18661] ppid=18637 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18661/stat : 18661 (java) S 18637 18637 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224365294 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282192914928 140282880719490 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18662] ppid=18637 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18662/stat : 18662 (java) S 18637 18637 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224365295 8261857280 34682 33554432000 4194304 4196468 140723035755296 140281684944288 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18663] ppid=18637 vsize=8068220 memory=3763099673816014896 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18663/stat : 18663 (java) S 18637 18637 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224365295 8261857280 34682 33554432000 4194304 4196468 140723035755296 140281416508912 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18664] ppid=18637 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18664/stat : 18664 (java) S 18637 18637 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224365297 8261857280 34682 33554432000 4194304 4196468 140723035755296 140281042000592 140282880726939 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18665] ppid=18637 vsize=8068220 memory=3618413826336108600 CPUtime=0.25 cores=1,3,5,7
/proc/18655/task/18665/stat : 18665 (java) S 18637 18637 16770 0 -1 1077944384 858 0 0 0 25 0 0 0 20 0 19 0 224365297 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282191861744 140282880719490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18666] ppid=18637 vsize=8068220 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/18655/task/18666/stat : 18666 (java) S 18637 18637 16770 0 -1 1077944384 825 0 0 0 29 0 0 0 20 0 19 0 224365297 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282190809200 140282880719490 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18667] ppid=18637 vsize=8068220 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/18655/task/18667/stat : 18667 (java) S 18637 18637 16770 0 -1 1077944384 697 0 0 0 24 0 0 0 20 0 19 0 224365297 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282189756656 140282880719490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18668] ppid=18637 vsize=8068220 memory=280664704999440 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18668/stat : 18668 (java) S 18637 18637 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224365298 8261857280 34682 33554432000 4194304 4196468 140723035755296 140280544094816 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18669] ppid=18637 vsize=8068220 memory=667680 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18669/stat : 18669 (java) S 18637 18637 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224365298 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282188704560 140282880719490 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18671] ppid=18637 vsize=8068220 memory=-9108684669924967205 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18671/stat : 18671 (java) S 18637 18637 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224365383 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282180896320 140282880732953 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18673] ppid=18637 vsize=8068220 memory=7649399362790242353 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18673/stat : 18673 (java) S 18637 18637 16770 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224365383 8261857280 34682 33554432000 4194304 4196468 140723035755296 140280007209104 140282880730269 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18674] ppid=18637 vsize=8068220 memory=3756055004150575927 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18674/stat : 18674 (java) S 18637 18637 16770 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 224365383 8261857280 34682 33554432000 4194304 4196468 140723035755296 140279872986384 140282880730269 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18675] ppid=18637 vsize=8068220 memory=3545494197986406962 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18675/stat : 18675 (java) S 18637 18637 16770 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 224365386 8261857280 34682 33554432000 4194304 4196468 140723035755296 140280141437984 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
Current children cumulated CPU time: 18.84 s
Current children cumulated vsize: 8237508 KiB
Current children cumulated memory: 176284 KiB
[startup+8.40084 s]
/proc/loadavg: 2.44 2.12 2.08 3/227 18675
/proc/meminfo: memFree=10388708/32770624 swapFree=67108860/67108860
[pid=18637] ppid=18634 vsize=113128 memory=1472 CPUtime=16.63 cores=1,3,5,7
/proc/18637/stat : 18637 (scop.sh) S 18634 18637 16770 0 -1 4202496 591 35113 0 0 0 0 1588 75 20 0 1 0 224364628 115843072 368 33554432000 4194304 5098028 140726962955888 140726962952632 139652561252988 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24535040 140726962959424 140726962959623 140726962959623 140726962962381 0
/proc/18637/statm: 28282 368 311 221 0 87 0
[pid=18655] ppid=18637 vsize=8068220 memory=138728 CPUtime=1.76 cores=1,3,5,7
/proc/18655/stat : 18655 (java) S 18637 18637 16770 0 -1 1077944320 18806 0 0 0 163 13 0 0 20 0 19 0 224365291 8261857280 34682 33554432000 4194304 4196468 140723035755296 140723035737840 140282880708343 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
/proc/18655/statm: 2017055 34682 3172 1 0 1978454 0
[pid=18670] ppid=18655 vsize=56276 memory=36796 CPUtime=0.84 cores=1,3,5,7
/proc/18670/stat : 18670 (minisat_release) R 18655 18637 16770 0 -1 4202496 10569 0 0 0 82 2 0 0 20 0 1 0 224365383 57626624 9199 33554432000 4194304 4308513 140721558937440 140721558935064 4263687 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 39436288 140721558938740 140721558938838 140721558938838 140721558941637 0
/proc/18670/statm: 14069 9199 321 28 0 10309 0
[pid=18655/tid=18656] ppid=18637 vsize=8068220 memory=0 CPUtime=0.94 cores=1,3,5,7
/proc/18655/task/18656/stat : 18656 (java) S 18637 18637 16770 0 -1 1077944384 15029 0 0 0 83 11 0 0 20 0 19 0 224365292 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282852548496 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18657] ppid=18637 vsize=8068220 memory=140332352403569 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18657/stat : 18657 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224365293 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282884950288 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18658] ppid=18637 vsize=8068220 memory=12799 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18658/stat : 18658 (java) S 18637 18637 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224365293 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282693511568 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18659] ppid=18637 vsize=8068220 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18659/stat : 18659 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224365293 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282364418576 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18660] ppid=18637 vsize=8068220 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18660/stat : 18660 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224365293 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282363366032 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18661] ppid=18637 vsize=8068220 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18661/stat : 18661 (java) S 18637 18637 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224365294 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282192914928 140282880719490 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18662] ppid=18637 vsize=8068220 memory=796 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18662/stat : 18662 (java) S 18637 18637 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224365295 8261857280 34682 33554432000 4194304 4196468 140723035755296 140281684944288 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18663] ppid=18637 vsize=8068220 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18663/stat : 18663 (java) S 18637 18637 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224365295 8261857280 34682 33554432000 4194304 4196468 140723035755296 140281416508912 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18664] ppid=18637 vsize=8068220 memory=876 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18664/stat : 18664 (java) S 18637 18637 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224365297 8261857280 34682 33554432000 4194304 4196468 140723035755296 140281042000592 140282880726939 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18665] ppid=18637 vsize=8068220 memory=10096 CPUtime=0.25 cores=1,3,5,7
/proc/18655/task/18665/stat : 18665 (java) S 18637 18637 16770 0 -1 1077944384 858 0 0 0 25 0 0 0 20 0 19 0 224365297 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282191861744 140282880719490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18666] ppid=18637 vsize=8068220 memory=1228 CPUtime=0.29 cores=1,3,5,7
/proc/18655/task/18666/stat : 18666 (java) S 18637 18637 16770 0 -1 1077944384 825 0 0 0 29 0 0 0 20 0 19 0 224365297 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282190809200 140282880719490 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18667] ppid=18637 vsize=8068220 memory=1952 CPUtime=0.24 cores=1,3,5,7
/proc/18655/task/18667/stat : 18667 (java) S 18637 18637 16770 0 -1 1077944384 697 0 0 0 24 0 0 0 20 0 19 0 224365297 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282189756656 140282880719490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18668] ppid=18637 vsize=8068220 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18668/stat : 18668 (java) S 18637 18637 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224365298 8261857280 34682 33554432000 4194304 4196468 140723035755296 140280544094816 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18669] ppid=18637 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18669/stat : 18669 (java) S 18637 18637 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224365298 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282188704560 140282880719490 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18671] ppid=18637 vsize=8068220 memory=638 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18671/stat : 18671 (java) S 18637 18637 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224365383 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282180896320 140282880732953 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18673] ppid=18637 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18673/stat : 18673 (java) S 18637 18637 16770 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224365383 8261857280 34682 33554432000 4194304 4196468 140723035755296 140280007209104 140282880730269 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18674] ppid=18637 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18674/stat : 18674 (java) S 18637 18637 16770 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 224365383 8261857280 34682 33554432000 4194304 4196468 140723035755296 140279872986384 140282880730269 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18675] ppid=18637 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18675/stat : 18675 (java) S 18637 18637 16770 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 224365386 8261857280 34682 33554432000 4194304 4196468 140723035755296 140280141437984 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
Current children cumulated CPU time: 19.23 s
Current children cumulated vsize: 8237624 KiB
Current children cumulated memory: 176996 KiB
[startup+8.80098 s]
/proc/loadavg: 2.44 2.12 2.08 3/227 18675
/proc/meminfo: memFree=10388708/32770624 swapFree=67108860/67108860
[pid=18637] ppid=18634 vsize=113128 memory=1472 CPUtime=16.63 cores=1,3,5,7
/proc/18637/stat : 18637 (scop.sh) S 18634 18637 16770 0 -1 4202496 591 35113 0 0 0 0 1588 75 20 0 1 0 224364628 115843072 368 33554432000 4194304 5098028 140726962955888 140726962952632 139652561252988 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24535040 140726962959424 140726962959623 140726962959623 140726962962381 0
/proc/18637/statm: 28282 368 311 221 0 87 0
[pid=18655] ppid=18637 vsize=8068220 memory=138728 CPUtime=1.76 cores=1,3,5,7
/proc/18655/stat : 18655 (java) S 18637 18637 16770 0 -1 1077944320 18806 0 0 0 163 13 0 0 20 0 19 0 224365291 8261857280 34682 33554432000 4194304 4196468 140723035755296 140723035737840 140282880708343 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
/proc/18655/statm: 2017055 34682 3172 1 0 1978454 0
[pid=18670] ppid=18655 vsize=56276 memory=36796 CPUtime=1.24 cores=1,3,5,7
/proc/18670/stat : 18670 (minisat_release) R 18655 18637 16770 0 -1 4202496 10570 0 0 0 122 2 0 0 20 0 1 0 224365383 57626624 9199 33554432000 4194304 4308513 140721558937440 140721558935064 4250466 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 39436288 140721558938740 140721558938838 140721558938838 140721558941637 0
/proc/18670/statm: 14069 9199 321 28 0 10309 0
[pid=18655/tid=18656] ppid=18637 vsize=8068220 memory=1396 CPUtime=0.94 cores=1,3,5,7
/proc/18655/task/18656/stat : 18656 (java) S 18637 18637 16770 0 -1 1077944384 15029 0 0 0 83 11 0 0 20 0 19 0 224365292 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282852548496 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18657] ppid=18637 vsize=8068220 memory=2605168 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18657/stat : 18657 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224365293 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282884950288 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18658] ppid=18637 vsize=8068220 memory=280664704424064 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18658/stat : 18658 (java) S 18637 18637 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224365293 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282693511568 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18659] ppid=18637 vsize=8068220 memory=7679937479730885395 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18659/stat : 18659 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224365293 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282364418576 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18660] ppid=18637 vsize=8068220 memory=-7029379521808015264 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18660/stat : 18660 (java) S 18637 18637 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224365293 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282363366032 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18661] ppid=18637 vsize=8068220 memory=-3704326594973231466 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18661/stat : 18661 (java) S 18637 18637 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224365294 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282192914928 140282880719490 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18662] ppid=18637 vsize=8068220 memory=-3704326594973231466 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18662/stat : 18662 (java) S 18637 18637 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224365295 8261857280 34682 33554432000 4194304 4196468 140723035755296 140281684944288 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18663] ppid=18637 vsize=8068220 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18663/stat : 18663 (java) S 18637 18637 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224365295 8261857280 34682 33554432000 4194304 4196468 140723035755296 140281416508912 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18664] ppid=18637 vsize=8068220 memory=6944656425122831986 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18664/stat : 18664 (java) S 18637 18637 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224365297 8261857280 34682 33554432000 4194304 4196468 140723035755296 140281042000592 140282880726939 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18665] ppid=18637 vsize=8068220 memory=-7966001967407402336 CPUtime=0.25 cores=1,3,5,7
/proc/18655/task/18665/stat : 18665 (java) S 18637 18637 16770 0 -1 1077944384 858 0 0 0 25 0 0 0 20 0 19 0 224365297 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282191861744 140282880719490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18666] ppid=18637 vsize=8068220 memory=-7595718148000617580 CPUtime=0.29 cores=1,3,5,7
/proc/18655/task/18666/stat : 18666 (java) S 18637 18637 16770 0 -1 1077944384 825 0 0 0 29 0 0 0 20 0 19 0 224365297 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282190809200 140282880719490 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18667] ppid=18637 vsize=8068220 memory=6791534058613427641 CPUtime=0.24 cores=1,3,5,7
/proc/18655/task/18667/stat : 18667 (java) S 18637 18637 16770 0 -1 1077944384 697 0 0 0 24 0 0 0 20 0 19 0 224365297 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282189756656 140282880719490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18668] ppid=18637 vsize=8068220 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18668/stat : 18668 (java) S 18637 18637 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224365298 8261857280 34682 33554432000 4194304 4196468 140723035755296 140280544094816 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18669] ppid=18637 vsize=8068220 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18669/stat : 18669 (java) S 18637 18637 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224365298 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282188704560 140282880719490 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18671] ppid=18637 vsize=8068220 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18671/stat : 18671 (java) S 18637 18637 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224365383 8261857280 34682 33554432000 4194304 4196468 140723035755296 140282180896320 140282880732953 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18673] ppid=18637 vsize=8068220 memory=16228 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18673/stat : 18673 (java) S 18637 18637 16770 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224365383 8261857280 34682 33554432000 4194304 4196468 140723035755296 140280007209104 140282880730269 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18674] ppid=18637 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18674/stat : 18674 (java) S 18637 18637 16770 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 224365383 8261857280 34682 33554432000 4194304 4196468 140723035755296 140279872986384 140282880730269 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
[pid=18655/tid=18675] ppid=18637 vsize=8068220 memory=138728 CPUtime=0 cores=1,3,5,7
/proc/18655/task/18675/stat : 18675 (java) S 18637 18637 16770 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 224365386 8261857280 34682 33554432000 4194304 4196468 140723035755296 140280141437984 140282880718549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16584704 140723035759797 140723035759921 140723035759921 140723035762639 0
Current children cumulated CPU time: 19.63 s
Current children cumulated vsize: 8237624 KiB
Current children cumulated memory: 176996 KiB
Child status: 0
Real time (s): 8.88061
CPU time (s): 19.7411
CPU user time (s): 18.8139
CPU system time (s): 0.927262
CPU usage (%): 222.295
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 2986680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.8139
system time used= 0.927262
maximum resident set size= 2985904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65133
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5284
involuntary context switches= 84
# summary of solver processes directly reported to runsolver:
# pid: 18637
# total CPU time (s): 19.7411
# total CPU user time (s): 18.8139
# total CPU system time (s): 0.927262
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.097232 second user time and 0.120617 second system time
The end