0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-23225-serial-file.bin HOME/instance-4305576-1534060601.xml
0.66/0.55
0.66/0.55 scop both+minisat_release (2018-07-31)
0.66/0.55 (Encoding Process)
0.66/0.55
0.67/0.67 c BEGIN-Prog: Sun Aug 12 09:56:42 CEST 2018
0.67/0.67 c PID: 23233
0.67/0.67 c IP: 172.20.3.106
0.67/0.67 c HOST: node106.alineos.net
0.67/0.68 c (0,0) Parsing Begin
1.39/1.06 c (0,0) Parsing End
1.39/1.07 c (0,0) CSP: 225 int (0 aux), 0 bool (0 aux), 84 ctr, max domain size 15
1.39/1.07 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/1.07 c (0,0) Constraint Name Generate Begin
1.39/1.07 c (0,0) Ctr:HOME/instance-4305576-1534060601.xml,AllDifferent:IntVar
1.39/1.07 c (0,0) Constraint Name Generate End
1.39/1.07 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/1.07 c (0,0) CSP to CSPinCNF Begin
2.33/1.40 c (0,0) translated 9 (10%) constraints
2.33/1.48 c (0,0) translated 17 (20%) constraints
2.66/1.53 c (0,0) translated 26 (30%) constraints
2.66/1.57 c (0,0) translated 34 (40%) constraints
2.66/1.59 c (0,0) translated 42 (50%) constraints
3.00/1.60 c (0,0) translated 51 (60%) constraints
3.00/1.61 c (0,0) translated 59 (70%) constraints
3.00/1.62 c (0,0) translated 68 (80%) constraints
3.00/1.64 c (1,0) translated 76 (90%) constraints
3.00/1.65 c (1,0) translated 84 (100%) constraints
3.35/1.78 c (1,1) STATISTICS1:HOME/instance-4305576-1534060601.xml,AllDifferent:IntVar,225,5348,15,15,15,2,15:5180,15:12152,15:64;14:8;13:8;12:8;11:8;10:8;9:8;8:8;7:8;6:8;5:8;4:8;3:8;2:5188,2:5180;1:1792,
3.35/1.78 c (1,1) ==========================================
3.35/1.78 c (1,1) Both Encoding selects:
3.35/1.78 c (1,1) Order
3.35/1.78 c (1,1) ==========================================
3.65/1.84 c (1,1) translated 535 (10%) constraints
3.65/1.87 c (1,1) translated 1070 (20%) constraints
3.97/1.90 c (1,1) translated 1605 (30%) constraints
3.97/1.93 c (1,1) translated 2140 (40%) constraints
3.97/1.96 c (1,1) translated 2674 (50%) constraints
3.97/1.99 c (1,1) translated 3209 (60%) constraints
4.31/2.02 c (1,1) translated 3744 (70%) constraints
4.31/2.04 c (1,1) translated 4279 (80%) constraints
4.31/2.07 c (1,1) translated 4814 (90%) constraints
5.23/2.31 c (1,1) translated 5348 (100%) constraints
5.23/2.31 c (1,1) CSP to CSPinCNF End
5.23/2.31 c (1,1) CSP: 225 int (0 aux), 0 bool (0 aux), 5348 ctr, max domain size 15
5.23/2.31 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.23/2.31 c (1,1) CSPinCNF Propagation Begin
5.23/2.31 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
5.23/2.31 c (1,1) CSPinCNF Propagation End
5.23/2.31 c (1,1) CSP: 225 int (0 aux), 0 bool (0 aux), 5348 ctr, max domain size 15
5.23/2.31 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
5.23/2.31 c (1,1) Simplify CSPinCNF Begin
5.84/2.50 c (1,1) Simplify CSPinCNF End
5.84/2.51 c (1,1) CSP: 225 int (0 aux), 10360 bool (10360 aux), 15708 ctr, max domain size 15
5.84/2.51 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.84/2.51 c (1,1) Calculate Precise Domain Begin
5.84/2.51 c (1,1) 0 values are removed by re-calculation
5.84/2.51 c (1,1) Calculate Precise Domain End
5.84/2.51 c (1,1) CSP: 225 int (0 aux), 10360 bool (10360 aux), 15708 ctr, max domain size 15
5.84/2.51 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.84/2.51 c (1,1) CSPinCNF to SatSolver Begin
6.52/2.76 c (2,2) 1571 (10 %) CSP clauses are encoded (13510 SAT variables, 19069 SAT clauses)
6.83/2.85 c (2,2) 3142 (20 %) CSP clauses are encoded (13510 SAT variables, 35214 SAT clauses)
7.13/2.94 c (2,2) 4713 (30 %) CSP clauses are encoded (13510 SAT variables, 51345 SAT clauses)
7.46/3.01 c (2,2) 6284 (40 %) CSP clauses are encoded (13510 SAT variables, 67490 SAT clauses)
7.46/3.06 c (2,2) 7854 (50 %) CSP clauses are encoded (13510 SAT variables, 83620 SAT clauses)
7.66/3.11 c (2,2) 9425 (60 %) CSP clauses are encoded (13510 SAT variables, 99765 SAT clauses)
7.66/3.16 c (2,2) 10996 (70 %) CSP clauses are encoded (13510 SAT variables, 115840 SAT clauses)
7.77/3.21 c (2,2) 12567 (80 %) CSP clauses are encoded (13510 SAT variables, 131775 SAT clauses)
7.77/3.25 c (2,2) 14138 (90 %) CSP clauses are encoded (13510 SAT variables, 147696 SAT clauses)
7.89/3.30 c (2,2) 15708 (100 %) CSP clauses are encoded (13510 SAT variables, 163672 SAT clauses)
7.89/3.30 c (2,2) Launch Command will be: minisat_release
7.89/3.30 c (2,2) CSPinCNF to SatSolver End
7.89/3.30 c (2,2) Heap : 844 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
8.18/3.41 c (2,2) STATISTICS2:HOME/instance-4305576-1534060601.xml,AllDifferent:IntVar,10585,15708,15,15,15,2,15:10360,15:22512;2:20720,15:64;14:8;13:8;12:8;11:8;10:8;9:8;8:8;7:8;6:8;5:8;4:8;3:8;2:15548,2:10360;1:22512,
8.18/3.42 c (2,2) 13510 bool, 163673 clause
8.18/3.42 c (2,2) Export Begin
8.48/3.51 c (2,2) Export to HOME/scop-23225-serial-file.bin
8.48/3.51 c (2,2) Export End
8.48/3.51 c (2,2) Export File Size: 0.04 MB
8.48/3.51 c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
8.48/3.51 c END-Prog: Sun Aug 12 09:56:45 CEST 2018
8.48/3.53 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23225-serial-file.bin
9.13/4.01 c (0,0) Read Serial File Begin
9.13/4.01 c (0,0) HOME/scop-23225-serial-file.bin
9.28/4.19 c (0,0) Read Serial File End
9.44/4.20
9.44/4.20 scop order+minisat_release (2018-07-31)
9.44/4.20 (Solving Process)
9.44/4.20
9.44/4.22 c BEGIN-Prog: Sun Aug 12 09:56:45 CEST 2018
9.44/4.22 c PID: 23361
9.44/4.22 c IP: 172.20.3.106
9.44/4.22 c HOST: node106.alineos.net
9.44/4.23 c (0,0) SatSolver.solve Begin
9.44/4.23 c (0,0) 0 bool, 0 clause
9.44/4.23 c (0,0) minisat_release HOME/instance-4305576-1534060601.xml-scop-23233.cnf
2511.38/2504.72 c (2500,0) c This is COMiniSatPS.
2511.38/2504.72 c (2500,0) c WARNING: for repeatability, setting FPU to use double precision
2511.38/2504.72 c (2500,0) c ============================[ Problem Statistics ]=============================
2511.38/2504.72 c (2500,0) c | |
2511.38/2504.72 c (2500,0) c | Number of variables: 13510 |
2511.38/2504.72 c (2500,0) c | Number of clauses: 163673 |
2511.38/2504.72 c (2500,0) c | Parse time: 0.05 s |
2511.38/2504.72 c (2500,0) c | Eliminated clauses: 0.10 Mb |
2511.38/2504.72 c (2500,0) c Reduced to 8330 vars, 158493 cls (grow=0)
2511.38/2504.72 c (2500,0) c No iterative elimination performed. (vars=8330, c/v ratio=19.0)
2511.38/2504.72 c (2500,0) c | Simplification time: 0.13 s |
2511.38/2504.72 c (2500,0) c | |
2511.38/2504.72 c (2500,0) c ============================[ Search Statistics ]==============================
2511.38/2504.72 c (2500,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2511.38/2504.72 c (2500,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2511.38/2504.72 c (2500,0) c ===============================================================================
2511.38/2504.72 c (2500,0) c Switched to VSIDS.
2520.09/2513.40 c (2509,0) SatSolver is killed by some reasons.
2520.09/2513.40 c (2509,0) receiving signal SIGTERM
2520.09/2513.40 s UNKNOWN
2520.09/2513.41 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.09/2513.41 c (scop.sh) Killing background jobs.
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8587 MiB free)
memory of node 1: 16384 MiB (11652 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305576-1534060601/watcher-4305576-1534060601 -o /tmp/evaluation-result-4305576-1534060601/solver-4305576-1534060601 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23199 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305576-1534060601.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=23225, runsolver pid=23222
[startup+0.100271 s]*
/proc/loadavg: 0.93 1.11 1.47 5/218 23262
/proc/meminfo: memFree=20605020/32770624 swapFree=67108688/67108860
[pid=23225] ppid=23222 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23225/stat : 23225 (scop.sh) S 23222 23225 23167 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 223622969 115843072 349 33554432000 4194304 5098028 140723546778016 140723546775272 139672284754556 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21127168 140723546780737 140723546780935 140723546780935 140723546783693 0
/proc/23225/statm: 28282 349 296 221 0 87 0
[pid=23233] ppid=23225 vsize=15012476 memory=71180 CPUtime=0.11 cores=1,3,5,7
/proc/23233/stat : 23233 (java) S 23225 23225 23167 0 -1 1077944320 6434 0 0 0 8 3 0 0 20 0 15 0 223622970 15372775424 17795 33554432000 4194304 4196468 140729630527488 140729630510032 139958257577719 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
/proc/23233/statm: 3753119 17795 2743 1 0 3715579 0
[pid=23233/tid=23236] ppid=23225 vsize=15012476 memory=4711481268241269896 CPUtime=0.08 cores=1,3,5,7
/proc/23233/task/23236/stat : 23236 (java) R 23225 23225 23167 0 -1 4202560 4628 0 0 0 6 2 0 0 20 0 15 0 223622970 15372775424 17861 33554432000 4194304 4196468 140729630527488 139958229348752 139958237853468 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23237] ppid=23225 vsize=15012476 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23237/stat : 23237 (java) S 23225 23225 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223622971 15372775424 17861 33554432000 4194304 4196468 140729630527488 139958261820432 139958257587925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23238] ppid=23225 vsize=15012476 memory=140087653545600 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23238/stat : 23238 (java) S 23225 23225 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223622971 15372775424 17861 33554432000 4194304 4196468 140729630527488 139957718297744 139958257587925 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23239] ppid=23225 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23239/stat : 23239 (java) S 23225 23225 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223622971 15372775424 17861 33554432000 4194304 4196468 140729630527488 139957717244688 139958257587925 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23241] ppid=23225 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23241/stat : 23241 (java) S 23225 23225 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223622972 15372775424 17861 33554432000 4194304 4196468 140729630527488 139957716192144 139958257587925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23245] ppid=23225 vsize=15012476 memory=140087653545600 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23245/stat : 23245 (java) S 23225 23225 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223622973 15372775424 17861 33554432000 4194304 4196468 140729630527488 139957295200496 139958257588866 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23247] ppid=23225 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23247/stat : 23247 (java) S 23225 23225 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223622973 15372775424 17927 33554432000 4194304 4196468 140729630527488 139956810933408 139958257587925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23250] ppid=23225 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23250/stat : 23250 (java) S 23225 23225 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223622974 15372775424 17927 33554432000 4194304 4196468 140729630527488 139956542497520 139958257587925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23251] ppid=23225 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23251/stat : 23251 (java) S 23225 23225 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223622976 15372775424 17927 33554432000 4194304 4196468 140729630527488 139956167989200 139958257596315 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23252] ppid=23225 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23252/stat : 23252 (java) S 23225 23225 23167 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 223622976 15372775424 17927 33554432000 4194304 4196468 140729630527488 139957294148336 139958257588866 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23254] ppid=23225 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23254/stat : 23254 (java) S 23225 23225 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223622976 15372775424 17927 33554432000 4194304 4196468 140729630527488 139957293095792 139958257588866 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23255] ppid=23225 vsize=15012476 memory=140087653545600 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23255/stat : 23255 (java) S 23225 23225 23167 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 15 0 223622976 15372775424 17927 33554432000 4194304 4196468 140729630527488 139957292042736 139958257588866 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23259] ppid=23225 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23259/stat : 23259 (java) S 23225 23225 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223622976 15372775424 17927 33554432000 4194304 4196468 140729630527488 139955670084448 139958257587925 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23261] ppid=23225 vsize=15012476 memory=140087653545600 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23261/stat : 23261 (java) S 23225 23225 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223622976 15372775424 17927 33554432000 4194304 4196468 140729630527488 139957290990128 139958257588866 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72576 KiB
[startup+0.210651 s]*
/proc/loadavg: 0.93 1.11 1.47 3/218 23262
/proc/meminfo: memFree=20577116/32770624 swapFree=67108688/67108860
[pid=23225] ppid=23222 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23225/stat : 23225 (scop.sh) S 23222 23225 23167 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 223622969 115843072 349 33554432000 4194304 5098028 140723546778016 140723546775272 139672284754556 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21127168 140723546780737 140723546780935 140723546780935 140723546783693 0
/proc/23225/statm: 28282 349 296 221 0 87 0
[pid=23233] ppid=23225 vsize=15012476 memory=85536 CPUtime=0.25 cores=1,3,5,7
/proc/23233/stat : 23233 (java) S 23225 23225 23167 0 -1 1077944320 10282 0 0 0 21 4 0 0 20 0 15 0 223622970 15372775424 21384 33554432000 4194304 4196468 140729630527488 140729630510032 139958257577719 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
/proc/23233/statm: 3753119 21384 2903 1 0 3715579 0
[pid=23233/tid=23236] ppid=23225 vsize=15012476 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/23233/task/23236/stat : 23236 (java) R 23225 23225 23167 0 -1 4202560 8177 0 0 0 16 3 0 0 20 0 15 0 223622970 15372775424 21384 33554432000 4194304 4196468 140729630527488 139958229365968 139958238984018 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23237] ppid=23225 vsize=15012476 memory=12629 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23237/stat : 23237 (java) S 23225 23225 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223622971 15372775424 21384 33554432000 4194304 4196468 140729630527488 139958261820432 139958257587925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23238] ppid=23225 vsize=15012476 memory=140087653568572 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23238/stat : 23238 (java) S 23225 23225 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223622971 15372775424 21384 33554432000 4194304 4196468 140729630527488 139957718297744 139958257587925 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23239] ppid=23225 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23239/stat : 23239 (java) S 23225 23225 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223622971 15372775424 21384 33554432000 4194304 4196468 140729630527488 139957717244688 139958257587925 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23241] ppid=23225 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23241/stat : 23241 (java) S 23225 23225 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223622972 15372775424 21384 33554432000 4194304 4196468 140729630527488 139957716192144 139958257587925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23245] ppid=23225 vsize=15012476 memory=140087653545600 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23245/stat : 23245 (java) S 23225 23225 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223622973 15372775424 21384 33554432000 4194304 4196468 140729630527488 139957295200496 139958257588866 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23247] ppid=23225 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23247/stat : 23247 (java) S 23225 23225 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223622973 15372775424 21384 33554432000 4194304 4196468 140729630527488 139956810933408 139958257587925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23250] ppid=23225 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23250/stat : 23250 (java) S 23225 23225 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223622974 15372775424 21384 33554432000 4194304 4196468 140729630527488 139956542497520 139958257587925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23251] ppid=23225 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23251/stat : 23251 (java) S 23225 23225 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223622976 15372775424 21384 33554432000 4194304 4196468 140729630527488 139956167989200 139958257596315 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23252] ppid=23225 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23252/stat : 23252 (java) S 23225 23225 23167 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 223622976 15372775424 21384 33554432000 4194304 4196468 140729630527488 139957294148336 139958257588866 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23254] ppid=23225 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23254/stat : 23254 (java) R 23225 23225 23167 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 223622976 15372775424 21384 33554432000 4194304 4196468 140729630527488 139957293095792 139958257588866 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23255] ppid=23225 vsize=15012476 memory=140087653545600 CPUtime=0.02 cores=1,3,5,7
/proc/23233/task/23255/stat : 23255 (java) S 23225 23225 23167 0 -1 1077944384 306 0 0 0 2 0 0 0 20 0 15 0 223622976 15372775424 21384 33554432000 4194304 4196468 140729630527488 139957292042736 139958257588866 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23259] ppid=23225 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23259/stat : 23259 (java) S 23225 23225 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223622976 15372775424 21384 33554432000 4194304 4196468 140729630527488 139955670084448 139958257587925 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23261] ppid=23225 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23261/stat : 23261 (java) S 23225 23225 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223622976 15372775424 21384 33554432000 4194304 4196468 140729630527488 139957290990128 139958257588866 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86932 KiB
[startup+0.310557 s]*
/proc/loadavg: 0.93 1.11 1.47 4/218 23262
/proc/meminfo: memFree=20569176/32770624 swapFree=67108688/67108860
[pid=23225] ppid=23222 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23225/stat : 23225 (scop.sh) S 23222 23225 23167 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 223622969 115843072 349 33554432000 4194304 5098028 140723546778016 140723546775272 139672284754556 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21127168 140723546780737 140723546780935 140723546780935 140723546783693 0
/proc/23225/statm: 28282 349 296 221 0 87 0
[pid=23233] ppid=23225 vsize=15012476 memory=89736 CPUtime=0.41 cores=1,3,5,7
/proc/23233/stat : 23233 (java) S 23225 23225 23167 0 -1 1077944320 10906 0 0 0 37 4 0 0 20 0 15 0 223622970 15372775424 22434 33554432000 4194304 4196468 140729630527488 140729630510032 139958257577719 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
/proc/23233/statm: 3753119 22434 2974 1 0 3715579 0
[pid=23233/tid=23236] ppid=23225 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/23233/task/23236/stat : 23236 (java) R 23225 23225 23167 0 -1 4202560 8616 0 0 0 26 3 0 0 20 0 15 0 223622970 15372775424 22434 33554432000 4194304 4196468 140729630527488 139958229384256 139958242743319 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23237] ppid=23225 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23237/stat : 23237 (java) S 23225 23225 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223622971 15372775424 22434 33554432000 4194304 4196468 140729630527488 139958261820432 139958257587925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23238] ppid=23225 vsize=15012476 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23238/stat : 23238 (java) S 23225 23225 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223622971 15372775424 22434 33554432000 4194304 4196468 140729630527488 139957718297744 139958257587925 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23239] ppid=23225 vsize=15012476 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23239/stat : 23239 (java) S 23225 23225 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223622971 15372775424 22434 33554432000 4194304 4196468 140729630527488 139957717244688 139958257587925 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23241] ppid=23225 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23241/stat : 23241 (java) S 23225 23225 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223622972 15372775424 22434 33554432000 4194304 4196468 140729630527488 139957716192144 139958257587925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23245] ppid=23225 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23245/stat : 23245 (java) S 23225 23225 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223622973 15372775424 22434 33554432000 4194304 4196468 140729630527488 139957295200496 139958257588866 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23247] ppid=23225 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23247/stat : 23247 (java) S 23225 23225 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223622973 15372775424 22434 33554432000 4194304 4196468 140729630527488 139956810933408 139958257587925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23250] ppid=23225 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23250/stat : 23250 (java) S 23225 23225 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223622974 15372775424 22434 33554432000 4194304 4196468 140729630527488 139956542497520 139958257587925 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23251] ppid=23225 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23251/stat : 23251 (java) S 23225 23225 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223622976 15372775424 22434 33554432000 4194304 4196468 140729630527488 139956167989200 139958257596315 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23252] ppid=23225 vsize=15012476 memory=-8813974798734826869 CPUtime=0.02 cores=1,3,5,7
/proc/23233/task/23252/stat : 23252 (java) S 23225 23225 23167 0 -1 1077944384 361 0 0 0 2 0 0 0 20 0 15 0 223622976 15372775424 22434 33554432000 4194304 4196468 140729630527488 139957294148336 139958257588866 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23254] ppid=23225 vsize=15012476 memory=7031125463459224206 CPUtime=0.02 cores=1,3,5,7
/proc/23233/task/23254/stat : 23254 (java) S 23225 23225 23167 0 -1 1077944384 246 0 0 0 2 0 0 0 20 0 15 0 223622976 15372775424 22434 33554432000 4194304 4196468 140729630527488 139957293095792 139958257588866 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23255] ppid=23225 vsize=15012476 memory=4426078206164241782 CPUtime=0.06 cores=1,3,5,7
/proc/23233/task/23255/stat : 23255 (java) S 23225 23225 23167 0 -1 1077944384 347 0 0 0 6 0 0 0 20 0 15 0 223622976 15372775424 22434 33554432000 4194304 4196468 140729630527488 139957292042736 139958257588866 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23259] ppid=23225 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23259/stat : 23259 (java) S 23225 23225 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223622976 15372775424 22434 33554432000 4194304 4196468 140729630527488 139955670084448 139958257587925 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23261] ppid=23225 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23261/stat : 23261 (java) S 23225 23225 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223622976 15372775424 22434 33554432000 4194304 4196468 140729630527488 139957290990128 139958257588866 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91132 KiB
[startup+0.700726 s]
/proc/loadavg: 0.93 1.11 1.47 4/218 23262
/proc/meminfo: memFree=20520676/32770624 swapFree=67108688/67108860
[pid=23225] ppid=23222 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23225/stat : 23225 (scop.sh) S 23222 23225 23167 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 223622969 115843072 349 33554432000 4194304 5098028 140723546778016 140723546775272 139672284754556 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21127168 140723546780737 140723546780935 140723546780935 140723546783693 0
/proc/23225/statm: 28282 349 296 221 0 87 0
[pid=23233] ppid=23225 vsize=15016700 memory=118108 CPUtime=0.75 cores=1,3,5,7
/proc/23233/stat : 23233 (java) S 23225 23225 23167 0 -1 1077944320 16738 0 0 0 69 6 0 0 20 0 15 0 223622970 15377100800 29527 33554432000 4194304 4196468 140729630527488 140729630510032 139958257577719 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
/proc/23233/statm: 3754175 29527 3029 1 0 3715579 0
[pid=23233/tid=23236] ppid=23225 vsize=15016700 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/23233/task/23236/stat : 23236 (java) R 23225 23225 23167 0 -1 4202560 14379 0 0 0 50 5 0 0 20 0 15 0 223622970 15377100800 29527 33554432000 4194304 4196468 140729630527488 139958229389072 139958257599645 0 4 2 25189581 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23237] ppid=23225 vsize=15016700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23237/stat : 23237 (java) S 23225 23225 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223622971 15377100800 29527 33554432000 4194304 4196468 140729630527488 139958261820432 139958257587925 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23238] ppid=23225 vsize=15016700 memory=60868 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23238/stat : 23238 (java) S 23225 23225 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223622971 15377100800 29527 33554432000 4194304 4196468 140729630527488 139957718297744 139958257587925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23239] ppid=23225 vsize=15016700 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23239/stat : 23239 (java) S 23225 23225 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223622971 15377100800 29527 33554432000 4194304 4196468 140729630527488 139957717244688 139958257587925 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23241] ppid=23225 vsize=15016700 memory=2336 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23241/stat : 23241 (java) S 23225 23225 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223622972 15377100800 29527 33554432000 4194304 4196468 140729630527488 139957716192144 139958257587925 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23245] ppid=23225 vsize=15016700 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23245/stat : 23245 (java) S 23225 23225 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223622973 15377100800 29527 33554432000 4194304 4196468 140729630527488 139957295200496 139958257588866 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23247] ppid=23225 vsize=15016700 memory=868 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23247/stat : 23247 (java) S 23225 23225 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 223622973 15377100800 29527 33554432000 4194304 4196468 140729630527488 139956810933408 139958257587925 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23250] ppid=23225 vsize=15016700 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23250/stat : 23250 (java) S 23225 23225 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223622974 15377100800 29527 33554432000 4194304 4196468 140729630527488 139956542497520 139958257587925 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23251] ppid=23225 vsize=15016700 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23251/stat : 23251 (java) S 23225 23225 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223622976 15377100800 29527 33554432000 4194304 4196468 140729630527488 139956167989200 139958257596315 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23252] ppid=23225 vsize=15016700 memory=748 CPUtime=0.03 cores=1,3,5,7
/proc/23233/task/23252/stat : 23252 (java) S 23225 23225 23167 0 -1 1077944384 381 0 0 0 3 0 0 0 20 0 15 0 223622976 15377100800 29527 33554432000 4194304 4196468 140729630527488 139957294148336 139958257588866 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23254] ppid=23225 vsize=15016700 memory=1220 CPUtime=0.03 cores=1,3,5,7
/proc/23233/task/23254/stat : 23254 (java) S 23225 23225 23167 0 -1 1077944384 248 0 0 0 3 0 0 0 20 0 15 0 223622976 15377100800 29527 33554432000 4194304 4196468 140729630527488 139957293095792 139958257588866 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23255] ppid=23225 vsize=15016700 memory=6580 CPUtime=0.11 cores=1,3,5,7
/proc/23233/task/23255/stat : 23255 (java) R 23225 23225 23167 0 -1 4202560 391 0 0 0 11 0 0 0 20 0 15 0 223622976 15377100800 29527 33554432000 4194304 4196468 140729630527488 139957292042736 139958235172448 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23259] ppid=23225 vsize=15016700 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23259/stat : 23259 (java) S 23225 23225 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223622976 15377100800 29527 33554432000 4194304 4196468 140729630527488 139955670084448 139958257587925 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
[pid=23233/tid=23261] ppid=23225 vsize=15016700 memory=4452 CPUtime=0 cores=1,3,5,7
/proc/23233/task/23261/stat : 23261 (java) S 23225 23225 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223622976 15377100800 29527 33554432000 4194304 4196468 140729630527488 139957290990128 139958257588866 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140729630532615 140729630532913 140729630532913 140729630535631 0
Current children cumulated CPU time: 0.75 s
Current children cumulated vsize: 15129828 KiB
Current children cumulated memory: 119504 KiB
[startup+1.50109 s]
/proc/loadavg: 0.93 1.11 1.47 6/218 23262
/proc/meminfo: memFree=20474036/32770624 swapFree=67108688/67108860
[pid=23225] ppid=23222 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23225/stat : 23225 (scop.sh) S 23222 23225 23167 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 223622969 115843072 349 33554432000 4194304 5098028 140723546778016 140723546775272 139672284754556 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21127168 140723546780737 140723546780935 140723546780935 140723546783693 0
/proc/23225/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=23361/tid=23364] ppid=23225 vsize=8068220 memory=118744 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23364/stat : 23364 (java) S 23225 23225 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223623324 8261857280 29686 33554432000 4194304 4196468 140727038960048 140707231890576 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23365] ppid=23225 vsize=8068220 memory=118744 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23365/stat : 23365 (java) S 23225 23225 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223623324 8261857280 29686 33554432000 4194304 4196468 140727038960048 140707230837520 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23366] ppid=23225 vsize=8068220 memory=118744 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23366/stat : 23366 (java) S 23225 23225 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223623324 8261857280 29686 33554432000 4194304 4196468 140727038960048 140707229784976 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23367] ppid=23225 vsize=8068220 memory=118744 CPUtime=0.05 cores=1,3,5,7
/proc/23361/task/23367/stat : 23367 (java) S 23225 23225 23167 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 223623325 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706672613616 140707427490434 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23368] ppid=23225 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23368/stat : 23368 (java) S 23225 23225 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223623325 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706282726560 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23369] ppid=23225 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23369/stat : 23369 (java) S 23225 23225 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223623326 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706014290672 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23370] ppid=23225 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23370/stat : 23370 (java) S 23225 23225 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223623328 8261857280 29686 33554432000 4194304 4196468 140727038960048 140705639782352 140707427497883 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23371] ppid=23225 vsize=8068220 memory=1472 CPUtime=0.1 cores=1,3,5,7
/proc/23361/task/23371/stat : 23371 (java) S 23225 23225 23167 0 -1 1077944384 501 0 0 0 9 1 0 0 20 0 19 0 223623328 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706671561456 140707427490434 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23372] ppid=23225 vsize=8068220 memory=1472 CPUtime=0.08 cores=1,3,5,7
/proc/23361/task/23372/stat : 23372 (java) S 23225 23225 23167 0 -1 1077944384 458 0 0 0 8 0 0 0 20 0 19 0 223623328 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706670508912 140707427490434 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23373] ppid=23225 vsize=8068220 memory=1472 CPUtime=0.2 cores=1,3,5,7
/proc/23361/task/23373/stat : 23373 (java) S 23225 23225 23167 0 -1 1077944384 560 0 0 0 20 0 0 0 20 0 19 0 223623328 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706669455856 140707427490434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23374] ppid=23225 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23374/stat : 23374 (java) S 23225 23225 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223623328 8261857280 29686 33554432000 4194304 4196468 140727038960048 140705141877600 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23375] ppid=23225 vsize=8068220 memory=118744 CPUtime=1.41 cores=1,3,5,7
/proc/23361/task/23375/stat : 23375 (java) S 23225 23225 23167 0 -1 1077944384 163 0 0 0 66 75 0 0 20 0 19 0 223623328 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706668403248 140707427490434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23377] ppid=23225 vsize=8068220 memory=3868 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23377/stat : 23377 (java) S 23225 23225 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 223623395 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706660595008 140707427503897 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23379] ppid=23225 vsize=8068220 memory=60928 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23379/stat : 23379 (java) S 23225 23225 23167 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 223623395 8261857280 29686 33554432000 4194304 4196468 140727038960048 140704604990896 140707427501213 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23380] ppid=23225 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23380/stat : 23380 (java) S 23225 23225 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 223623395 8261857280 29686 33554432000 4194304 4196468 140727038960048 140704739213360 140707427501213 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23381] ppid=23225 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23381/stat : 23381 (java) S 23225 23225 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 223623397 8261857280 29686 33554432000 4194304 4196468 140727038960048 140704336568096 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
Current children cumulated CPU time: 2448.94 s
Current children cumulated vsize: 8311252 KiB
Current children cumulated memory: 208700 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/227 23599
/proc/meminfo: memFree=20365604/32770624 swapFree=67108688/67108860
[pid=23225] ppid=23222 vsize=113128 memory=1472 CPUtime=8.51 cores=1,3,5,7
/proc/23225/stat : 23225 (scop.sh) S 23222 23225 23167 0 -1 4202496 591 27405 0 0 0 0 825 26 20 0 1 0 223622969 115843072 368 33554432000 4194304 5098028 140723546778016 140723546774760 139672284754556 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21127168 140723546780737 140723546780935 140723546780935 140723546783693 0
/proc/23225/statm: 28282 368 311 221 0 87 0
[pid=23361] ppid=23225 vsize=8068220 memory=118744 CPUtime=2.67 cores=1,3,5,7
/proc/23361/stat : 23361 (java) S 23225 23225 23167 0 -1 1077944320 17539 0 0 0 184 83 0 0 20 0 19 0 223623322 8261857280 29686 33554432000 4194304 4196468 140727038960048 140727038942592 140707427479287 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
/proc/23361/statm: 2017055 29686 3151 1 0 1978454 0
[pid=23376] ppid=23361 vsize=129904 memory=88484 CPUtime=2497.79 cores=1,3,5,7
/proc/23376/stat : 23376 (minisat_release) R 23361 23225 23167 0 -1 4202496 216928 0 1 0 249764 15 0 0 20 0 1 0 223623394 133021696 22121 33554432000 4194304 4308513 140726826441728 140726826438632 4276446 0 4 0 8396802 0 0 0 17 1 0 0 4 0 0 6409496 6410680 33193984 140726826447988 140726826448086 140726826448086 140726826450885 0
/proc/23376/statm: 32476 22121 341 28 0 28716 0
[pid=23361/tid=23362] ppid=23225 vsize=8068220 memory=1472 CPUtime=0.74 cores=1,3,5,7
/proc/23361/task/23362/stat : 23362 (java) S 23225 23225 23167 0 -1 1077944384 14461 0 0 0 70 4 0 0 20 0 19 0 223623322 8261857280 29686 33554432000 4194304 4196468 140727038960048 140707399319440 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23363] ppid=23225 vsize=8068220 memory=118744 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23363/stat : 23363 (java) S 23225 23225 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223623324 8261857280 29686 33554432000 4194304 4196468 140727038960048 140707431722000 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23364] ppid=23225 vsize=8068220 memory=118744 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23364/stat : 23364 (java) S 23225 23225 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223623324 8261857280 29686 33554432000 4194304 4196468 140727038960048 140707231890576 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23365] ppid=23225 vsize=8068220 memory=4452 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23365/stat : 23365 (java) S 23225 23225 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223623324 8261857280 29686 33554432000 4194304 4196468 140727038960048 140707230837520 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23366] ppid=23225 vsize=8068220 memory=118744 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23366/stat : 23366 (java) S 23225 23225 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223623324 8261857280 29686 33554432000 4194304 4196468 140727038960048 140707229784976 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23367] ppid=23225 vsize=8068220 memory=1472 CPUtime=0.05 cores=1,3,5,7
/proc/23361/task/23367/stat : 23367 (java) S 23225 23225 23167 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 223623325 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706672613616 140707427490434 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23368] ppid=23225 vsize=8068220 memory=3868 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23368/stat : 23368 (java) S 23225 23225 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223623325 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706282726560 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23369] ppid=23225 vsize=8068220 memory=60928 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23369/stat : 23369 (java) S 23225 23225 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223623326 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706014290672 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23370] ppid=23225 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23370/stat : 23370 (java) S 23225 23225 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223623328 8261857280 29686 33554432000 4194304 4196468 140727038960048 140705639782352 140707427497883 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23371] ppid=23225 vsize=8068220 memory=118744 CPUtime=0.1 cores=1,3,5,7
/proc/23361/task/23371/stat : 23371 (java) S 23225 23225 23167 0 -1 1077944384 501 0 0 0 9 1 0 0 20 0 19 0 223623328 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706671561456 140707427490434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23372] ppid=23225 vsize=8068220 memory=1472 CPUtime=0.08 cores=1,3,5,7
/proc/23361/task/23372/stat : 23372 (java) S 23225 23225 23167 0 -1 1077944384 458 0 0 0 8 0 0 0 20 0 19 0 223623328 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706670508912 140707427490434 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23373] ppid=23225 vsize=8068220 memory=118744 CPUtime=0.2 cores=1,3,5,7
/proc/23361/task/23373/stat : 23373 (java) S 23225 23225 23167 0 -1 1077944384 560 0 0 0 20 0 0 0 20 0 19 0 223623328 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706669455856 140707427490434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23374] ppid=23225 vsize=8068220 memory=3868 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23374/stat : 23374 (java) S 23225 23225 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223623328 8261857280 29686 33554432000 4194304 4196468 140727038960048 140705141877600 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23375] ppid=23225 vsize=8068220 memory=60928 CPUtime=1.44 cores=1,3,5,7
/proc/23361/task/23375/stat : 23375 (java) S 23225 23225 23167 0 -1 1077944384 167 0 0 0 67 77 0 0 20 0 19 0 223623328 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706668403248 140707427490434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23377] ppid=23225 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23377/stat : 23377 (java) S 23225 23225 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 223623395 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706660595008 140707427503897 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23379] ppid=23225 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23379/stat : 23379 (java) S 23225 23225 23167 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 223623395 8261857280 29686 33554432000 4194304 4196468 140727038960048 140704604990896 140707427501213 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23380] ppid=23225 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23380/stat : 23380 (java) S 23225 23225 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 223623395 8261857280 29686 33554432000 4194304 4196468 140727038960048 140704739213360 140707427501213 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23381] ppid=23225 vsize=8068220 memory=118744 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23381/stat : 23381 (java) S 23225 23225 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 223623397 8261857280 29686 33554432000 4194304 4196468 140727038960048 140704336568096 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
Current children cumulated CPU time: 2508.97 s
Current children cumulated vsize: 8311252 KiB
Current children cumulated memory: 208700 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.4 s]
/proc/loadavg: 2.00 2.01 1.97 3/227 23599
/proc/meminfo: memFree=20365728/32770624 swapFree=67108688/67108860
[pid=23225] ppid=23222 vsize=113128 memory=1472 CPUtime=8.51 cores=1,3,5,7
/proc/23225/stat : 23225 (scop.sh) S 23222 23225 23167 0 -1 4202496 591 27405 0 0 0 0 825 26 20 0 1 0 223622969 115843072 368 33554432000 4194304 5098028 140723546778016 140723546774760 139672284754556 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21127168 140723546780737 140723546780935 140723546780935 140723546783693 0
/proc/23225/statm: 28282 368 311 221 0 87 0
[pid=23361] ppid=23225 vsize=8068220 memory=118744 CPUtime=2.69 cores=1,3,5,7
/proc/23361/stat : 23361 (java) S 23225 23225 23167 0 -1 1077944320 17550 0 0 0 185 84 0 0 20 0 19 0 223623322 8261857280 29686 33554432000 4194304 4196468 140727038960048 140727038942592 140707427479287 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
/proc/23361/statm: 2017055 29686 3151 1 0 1978454 0
[pid=23376] ppid=23361 vsize=129904 memory=88488 CPUtime=2508.89 cores=1,3,5,7
/proc/23376/stat : 23376 (minisat_release) R 23361 23225 23167 0 -1 4202496 217022 0 1 0 250874 15 0 0 20 0 1 0 223623394 133021696 22122 33554432000 4194304 4308513 140726826441728 140726826439224 4276060 0 4 0 8396802 0 0 0 17 1 0 0 4 0 0 6409496 6410680 33193984 140726826447988 140726826448086 140726826448086 140726826450885 0
/proc/23376/statm: 32476 22122 342 28 0 28716 0
[pid=23361/tid=23362] ppid=23225 vsize=8068220 memory=288230583166042426 CPUtime=0.74 cores=1,3,5,7
/proc/23361/task/23362/stat : 23362 (java) S 23225 23225 23167 0 -1 1077944384 14461 0 0 0 70 4 0 0 20 0 19 0 223623322 8261857280 29686 33554432000 4194304 4196468 140727038960048 140707399319440 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23363] ppid=23225 vsize=8068220 memory=13565994345960240 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23363/stat : 23363 (java) S 23225 23225 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223623324 8261857280 29686 33554432000 4194304 4196468 140727038960048 140707431722000 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23364] ppid=23225 vsize=8068220 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23364/stat : 23364 (java) S 23225 23225 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223623324 8261857280 29686 33554432000 4194304 4196468 140727038960048 140707231890576 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23365] ppid=23225 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23365/stat : 23365 (java) S 23225 23225 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223623324 8261857280 29686 33554432000 4194304 4196468 140727038960048 140707230837520 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23366] ppid=23225 vsize=8068220 memory=118744 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23366/stat : 23366 (java) S 23225 23225 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 223623324 8261857280 29686 33554432000 4194304 4196468 140727038960048 140707229784976 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23367] ppid=23225 vsize=8068220 memory=88488 CPUtime=0.05 cores=1,3,5,7
/proc/23361/task/23367/stat : 23367 (java) S 23225 23225 23167 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 223623325 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706672613616 140707427490434 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23368] ppid=23225 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23368/stat : 23368 (java) S 23225 23225 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 223623325 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706282726560 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23369] ppid=23225 vsize=8068220 memory=114484 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23369/stat : 23369 (java) S 23225 23225 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 223623326 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706014290672 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23370] ppid=23225 vsize=8068220 memory=52212 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23370/stat : 23370 (java) S 23225 23225 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223623328 8261857280 29686 33554432000 4194304 4196468 140727038960048 140705639782352 140707427497883 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23371] ppid=23225 vsize=8068220 memory=1924 CPUtime=0.1 cores=1,3,5,7
/proc/23361/task/23371/stat : 23371 (java) S 23225 23225 23167 0 -1 1077944384 501 0 0 0 9 1 0 0 20 0 19 0 223623328 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706671561456 140707427490434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23372] ppid=23225 vsize=8068220 memory=1472 CPUtime=0.09 cores=1,3,5,7
/proc/23361/task/23372/stat : 23372 (java) S 23225 23225 23167 0 -1 1077944384 459 0 0 0 8 1 0 0 20 0 19 0 223623328 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706670508912 140707427490434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23373] ppid=23225 vsize=8068220 memory=118744 CPUtime=0.21 cores=1,3,5,7
/proc/23361/task/23373/stat : 23373 (java) S 23225 23225 23167 0 -1 1077944384 563 0 0 0 21 0 0 0 20 0 19 0 223623328 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706669455856 140707427490434 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23374] ppid=23225 vsize=8068220 memory=88484 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23374/stat : 23374 (java) S 23225 23225 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 223623328 8261857280 29686 33554432000 4194304 4196468 140727038960048 140705141877600 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23375] ppid=23225 vsize=8068220 memory=288230574492221466 CPUtime=1.44 cores=1,3,5,7
/proc/23361/task/23375/stat : 23375 (java) S 23225 23225 23167 0 -1 1077944384 169 0 0 0 67 77 0 0 20 0 19 0 223623328 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706668403248 140707427490434 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23377] ppid=23225 vsize=8068220 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23377/stat : 23377 (java) S 23225 23225 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 223623395 8261857280 29686 33554432000 4194304 4196468 140727038960048 140706660595008 140707427503897 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23379] ppid=23225 vsize=8068220 memory=13565994345960240 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23379/stat : 23379 (java) S 23225 23225 23167 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 223623395 8261857280 29686 33554432000 4194304 4196468 140727038960048 140704604990896 140707427501213 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23380] ppid=23225 vsize=8068220 memory=868 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23380/stat : 23380 (java) S 23225 23225 23167 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 223623395 8261857280 29686 33554432000 4194304 4196468 140727038960048 140704739213360 140707427501213 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
[pid=23361/tid=23381] ppid=23225 vsize=8068220 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/23361/task/23381/stat : 23381 (java) S 23225 23225 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 223623397 8261857280 29686 33554432000 4194304 4196468 140727038960048 140704336568096 140707427489493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31698944 140727038964917 140727038965041 140727038965041 140727038967759 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 8311252 KiB
Current children cumulated memory: 208704 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.41 s]
# the end of solver process 23225 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.25593 s, system=0.26401 s
[startup+2513.41 s]
# the end of solver process 23361 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.86 s, system=1.27093 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2513.41
CPU time (s): 2520.13
CPU user time (s): 2518.86
CPU system time (s): 1.27093
CPU usage (%): 100.267
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 912188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.86
system time used= 1.27093
maximum resident set size= 913288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262851
page faults= 1
swaps= 0
block input operations= 1800
block output operations= 7328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59514
involuntary context switches= 1178
# summary of solver processes directly reported to runsolver:
# pid: 23225,23361
# total CPU time (s): 2520.13
# total CPU user time (s): 2518.86
# total CPU system time (s): 1.27093
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9937 second user time and 26.5386 second system time
The end