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-25180-serial-file.bin HOME/instance-4305564-1534080044.xml
0.55/0.51
0.67/0.52 scop both+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 15:20:45 CEST 2018
0.67/0.54 c PID: 25183
0.67/0.54 c IP: 172.20.3.135
0.67/0.54 c HOST: node135.alineos.net
0.67/0.55 c (0,0) Parsing Begin
3.28/1.40 c (0,0) Parsing End
3.28/1.42 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1453 ctr, max domain size 27
3.28/1.42 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.28/1.42 c (0,0) Constraint Name Generate Begin
3.28/1.44 c (0,0) Ctr:HOME/instance-4305564-1534080044.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.28/1.44 c (0,0) Constraint Name Generate End
3.28/1.45 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.28/1.45 c (0,0) CSP to CSPinCNF Begin
12.48/4.84 c (4,4) translated 146 (10%) constraints
13.05/5.30 c (4,4) translated 291 (20%) constraints
13.05/5.32 c (4,4) translated 436 (30%) constraints
13.05/5.35 c (4,4) translated 582 (40%) constraints
13.05/5.38 c (4,4) translated 727 (50%) constraints
13.43/5.40 c (4,4) translated 872 (60%) constraints
13.43/5.42 c (4,4) translated 1018 (70%) constraints
13.43/5.44 c (4,4) translated 1163 (80%) constraints
15.50/7.04 c (6,6) translated 1308 (90%) constraints
16.75/7.98 c (7,7) translated 1453 (100%) constraints
18.28/8.53 c (8,7) STATISTICS1:HOME/instance-4305564-1534080044.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,17200,59079,9223372036854775807,27,25,200,9223372036854775807:271;2305843009213693952:3;576460752303423488:3;288230376151711744:2;144115188075855872:1;36028797018963968:3;18014398509481984:1;9007199254740992:1;4503599627370496:2;2251799813685248:1;562949953421312:4;140737488355328:1;70368744177664:2;35184372088832:1;17592186044416:1;8796093022208:3;2199023255552:1;1099511627776:2;549755813888:2;137438953472:3;34359738368:1;17179869184:1;8589934592:1;2147483648:2;536870912:1;268435456:1;134217728:1;33554432:1;8388608:1;2097152:1;16:392;4:396;2:199,27:20800;2:164252,25:200;3:30600;2:27000;1:1279,200:59;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:3;89:2;88:1;86:3;85:2;84:1;83:2;82:1;80:5;78:1;77:2;76:1;75:2;74:3;72:1;71:2;70:3;68:3;66:1;65:4;64:1;62:3;60:3;59:2;58:1;56:3;55:1;54:1;53:2;52:1;50:4;48:1;47:2;46:1;45:1;44:3;42:1;41:2;40:2;38:3;36:1;35:1;34:1;32:2;30:1;29:1;28:1;26:1;24:1;22:1;5:392;3:396;2:199;1:150600;0:200,17689:59;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:3;7225:3;7056:1;6889:4;6724:1;6561:3;6400:3;6241:2;6084:1;5929:3;5776:3;5625:2;5476:1;5329:5;5184:1;5041:2;4900:3;4761:3;4624:1;4489:2;4356:3;4225:3;4096:1;3969:4;3844:1;3721:3;3600:3;3481:2;3364:1;3249:3;3136:3;3025:2;2916:1;2809:5;2704:1;2601:2;2500:3;2401:3;2304:1;2209:2;2116:3;2025:3;1936:1;1849:4;1764:1
18.28/8.53 c (8,7) ==========================================
18.28/8.53 c (8,7) Both Encoding selects:
18.28/8.53 c (8,7) Log
18.28/8.53 c (8,7) ==========================================
19.67/9.09 c (8,8) translated 5908 (10%) constraints
20.44/9.32 c (8,8) translated 11816 (20%) constraints
20.73/9.42 c (8,8) translated 17724 (30%) constraints
20.83/9.50 c (8,8) translated 23632 (40%) constraints
20.83/9.58 c (9,8) translated 29540 (50%) constraints
20.94/9.66 c (9,9) translated 35448 (60%) constraints
21.04/9.75 c (9,9) translated 41356 (70%) constraints
21.14/9.83 c (9,9) translated 47264 (80%) constraints
21.24/9.91 c (9,9) translated 53172 (90%) constraints
22.76/11.05 c (10,10) translated 59079 (100%) constraints
22.76/11.06 c (10,10) CSP to CSPinCNF End
22.76/11.06 c (10,10) CSP: 200 int (0 aux), 22400 bool (21400 aux), 69906 ctr, max domain size 27
22.76/11.06 c (10,10) Heap : 1962 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.76/11.06 c (10,10) CSPinCNF Propagation Begin
23.96/11.72 c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
23.96/11.72 c (11,11) CSPinCNF Propagation End
23.96/11.72 c (11,11) CSP: 200 int (0 aux), 22400 bool (21400 aux), 69506 ctr, max domain size 27
23.96/11.72 c (11,11) Heap : 2235 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.96/11.72 c (11,11) Simplify CSPinCNF Begin
24.16/11.87 c (11,11) Simplify CSPinCNF End
24.16/11.88 c (11,11) CSP: 200 int (0 aux), 22400 bool (21400 aux), 69506 ctr, max domain size 27
24.16/11.88 c (11,11) Heap : 2290 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.16/11.88 c (11,11) Calculate Precise Domain Begin
24.16/11.88 c (11,11) 0 values are removed by re-calculation
24.16/11.88 c (11,11) Calculate Precise Domain End
24.16/11.88 c (11,11) CSP: 200 int (0 aux), 22400 bool (21400 aux), 69506 ctr, max domain size 27
24.16/11.88 c (11,11) Heap : 2345 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.16/11.88 c (11,11) CSPinCNF to SatSolver Begin
28.21/13.54 c (13,12) 6951 (10 %) CSP clauses are being encoded (128720 SAT variables, 282966 SAT clauses)
28.71/13.88 c (13,13) 13902 (20 %) CSP clauses are being encoded (153221 SAT variables, 335442 SAT clauses)
29.14/14.20 c (13,13) 20852 (30 %) CSP clauses are being encoded (178225 SAT variables, 389024 SAT clauses)
29.41/14.38 c (13,13) 27803 (40 %) CSP clauses are being encoded (184540 SAT variables, 407310 SAT clauses)
29.83/14.53 c (14,13) 34753 (50 %) CSP clauses are being encoded (190660 SAT variables, 425060 SAT clauses)
29.93/14.68 c (14,13) 41704 (60 %) CSP clauses are being encoded (196780 SAT variables, 442811 SAT clauses)
30.14/14.82 c (14,13) 48655 (70 %) CSP clauses are being encoded (202696 SAT variables, 460202 SAT clauses)
30.24/14.97 c (14,14) 55605 (80 %) CSP clauses are being encoded (208816 SAT variables, 477952 SAT clauses)
30.45/15.11 c (14,14) 62556 (90 %) CSP clauses are being encoded (214732 SAT variables, 495343 SAT clauses)
45.22/25.06 c (24,22) 69506 (100 %) CSP clauses are being encoded (1120759 SAT variables, 3168256 SAT clauses)
45.32/25.12 c (24,22) Launch Command will be: minisat_release
45.32/25.12 c (24,22) CSPinCNF to SatSolver End
45.32/25.12 c (24,22) Heap : 831 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
46.26/25.57 c (25,23) STATISTICS2:HOME/instance-4305564-1534080044.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,22600,69506,9223372036854775807,27,24,200,9223372036854775807:271;2305843009213693952:3;576460752303423488:3;288230376151711744:2;144115188075855872:1;36028797018963968:3;18014398509481984:1;9007199254740992:1;4503599627370496:2;2251799813685248:1;562949953421312:4;140737488355328:1;70368744177664:2;35184372088832:1;17592186044416:1;8796093022208:3;2199023255552:1;1099511627776:2;549755813888:2;137438953472:3;34359738368:1;17179869184:1;8589934592:1;2147483648:2;536870912:1;268435456:1;134217728:1;33554432:1;8388608:1;2097152:1;16:392;4:396;2:199,27:30800;2:185452,24:200;3:30200;2:37800;1:1306,200:59;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:3;89:2;88:1;86:3;85:2;84:1;83:2;82:1;80:5;78:1;77:2;76:1;75:2;74:3;72:1;71:2;70:3;68:3;66:1;65:4;64:1;62:3;60:3;59:2;58:1;56:3;55:1;54:1;53:2;52:1;50:4;48:1;47:2;46:1;45:1;44:3;42:1;41:2;40:2;38:3;36:1;35:1;34:1;32:2;30:1;29:1;28:1;26:1;24:1;22:1;5:392;3:396;2:199;1:171000,2:271
46.26/25.57 c (25,23) 1127493 bool, 3188311 clause
46.26/25.57 c (25,23) Export Begin
46.88/25.82 c (25,23) Export to HOME/scop-25180-serial-file.bin
46.88/25.82 c (25,23) Export End
46.88/25.82 c (25,23) Export File Size: 0.61 MB
46.88/25.82 c (25,23) 0,0,10,11,11,11,24,STOP-AFTER(DIMACS)
46.88/25.82 c END-Prog: Sun Aug 12 15:21:10 CEST 2018
46.88/25.86 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-25180-serial-file.bin
47.53/26.34 c (0,0) Read Serial File Begin
47.53/26.34 c (0,0) HOME/scop-25180-serial-file.bin
48.36/26.70 c (0,0) Read Serial File End
48.36/26.72
48.36/26.72 scop log+minisat_release (2018-07-31)
48.36/26.72 (Solving Process)
48.36/26.72
48.36/26.74 c BEGIN-Prog: Sun Aug 12 15:21:11 CEST 2018
48.36/26.74 c PID: 25198
48.36/26.74 c IP: 172.20.3.135
48.36/26.74 c HOST: node135.alineos.net
48.36/26.74 c (0,0) SatSolver.solve Begin
48.36/26.74 c (0,0) 0 bool, 0 clause
48.36/26.74 c (0,0) minisat_release HOME/instance-4305564-1534080044.xml-scop-25183.cnf
2520.03/2496.60 c (2470,0) receiving signal SIGTERM
2520.03/2496.60 s UNKNOWN
2520.03/2496.61 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.03/2496.61 c (scop.sh) Remove HOME/scop-25180-serial-file.bin.
2520.03/2496.61 c (scop.sh) Killing background jobs.
2520.03/2496.61 c (2470,0) receiving signal SIGTERM
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 (6934 MiB free)
memory of node 1: 16384 MiB (5135 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305564-1534080044/watcher-4305564-1534080044 -o /tmp/evaluation-result-4305564-1534080044/solver-4305564-1534080044 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19415 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305564-1534080044.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
solver pid=25180, runsolver pid=25177
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 2.01 2.06 2.26 3/227 25197
/proc/meminfo: memFree=12300752/32770624 swapFree=67108860/67108860
[pid=25180] ppid=25177 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/25180/stat : 25180 (scop.sh) S 25177 25180 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225567588 115843072 348 33554432000 4194304 5098028 140730864436240 140730864433496 140243910431356 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23363584 140730864444481 140730864444679 140730864444679 140730864447437 0
/proc/25180/statm: 28282 348 296 221 0 87 0
[pid=25183] ppid=25180 vsize=15012476 memory=71520 CPUtime=0.11 cores=1,3,5,7
/proc/25183/stat : 25183 (java) S 25180 25180 19383 0 -1 1077944320 6510 0 0 0 10 1 0 0 20 0 15 0 225567589 15372775424 17880 33554432000 4194304 4196468 140729324757712 140729324740256 140215541468919 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
/proc/25183/statm: 3753119 17880 2769 1 0 3715579 0
[pid=25183/tid=25184] ppid=25180 vsize=15012476 memory=-6150928374978363329 CPUtime=0.09 cores=1,3,5,7
/proc/25183/task/25184/stat : 25184 (java) R 25180 25180 19383 0 -1 4202560 4583 0 0 0 8 1 0 0 20 0 15 0 225567589 15372775424 17880 33554432000 4194304 4196468 140729324757712 140215513280904 140215521744747 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25185] ppid=25180 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25185/stat : 25185 (java) S 25180 25180 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225567591 15372775424 17880 33554432000 4194304 4196468 140729324757712 140215545710864 140215541479125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25186] ppid=25180 vsize=15012476 memory=140090125194880 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25186/stat : 25186 (java) S 25180 25180 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225567591 15372775424 17880 33554432000 4194304 4196468 140729324757712 140215321414032 140215541479125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25187] ppid=25180 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25187/stat : 25187 (java) S 25180 25180 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225567591 15372775424 17880 33554432000 4194304 4196468 140729324757712 140215320361488 140215541479125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25188] ppid=25180 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25188/stat : 25188 (java) S 25180 25180 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225567591 15372775424 17880 33554432000 4194304 4196468 140729324757712 140215319308944 140215541479125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25189] ppid=25180 vsize=15012476 memory=140090125194880 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25189/stat : 25189 (java) S 25180 25180 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225567592 15372775424 17880 33554432000 4194304 4196468 140729324757712 140214579030512 140215541480066 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25190] ppid=25180 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25190/stat : 25190 (java) S 25180 25180 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225567593 15372775424 17880 33554432000 4194304 4196468 140729324757712 140214173427104 140215541479125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25191] ppid=25180 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25191/stat : 25191 (java) S 25180 25180 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225567593 15372775424 17946 33554432000 4194304 4196468 140729324757712 140214039205360 140215541479125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25192] ppid=25180 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25192/stat : 25192 (java) S 25180 25180 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225567595 15372775424 17946 33554432000 4194304 4196468 140729324757712 140213664701136 140215541487515 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25193] ppid=25180 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25193/stat : 25193 (java) S 25180 25180 19383 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 225567595 15372775424 17946 33554432000 4194304 4196468 140729324757712 140214577977328 140215541480066 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25194] ppid=25180 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25194/stat : 25194 (java) S 25180 25180 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225567595 15372775424 17946 33554432000 4194304 4196468 140729324757712 140213904984176 140215541480066 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25195] ppid=25180 vsize=15012476 memory=140090125194880 CPUtime=0.01 cores=1,3,5,7
/proc/25183/task/25195/stat : 25195 (java) S 25180 25180 19383 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 15 0 225567595 15372775424 17946 33554432000 4194304 4196468 140729324757712 140213903931632 140215541480066 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25196] ppid=25180 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25196/stat : 25196 (java) S 25180 25180 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225567595 15372775424 17946 33554432000 4194304 4196468 140729324757712 140213166795360 140215541479125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25197] ppid=25180 vsize=15012476 memory=140090125194880 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25197/stat : 25197 (java) S 25180 25180 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225567596 15372775424 17946 33554432000 4194304 4196468 140729324757712 140213902879536 140215541480066 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72912 KiB
[startup+0.211011 s]*
/proc/loadavg: 2.01 2.06 2.26 3/227 25197
/proc/meminfo: memFree=12286784/32770624 swapFree=67108860/67108860
[pid=25180] ppid=25177 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/25180/stat : 25180 (scop.sh) S 25177 25180 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225567588 115843072 348 33554432000 4194304 5098028 140730864436240 140730864433496 140243910431356 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23363584 140730864444481 140730864444679 140730864444679 140730864447437 0
/proc/25180/statm: 28282 348 296 221 0 87 0
[pid=25183] ppid=25180 vsize=15012476 memory=84604 CPUtime=0.25 cores=1,3,5,7
/proc/25183/stat : 25183 (java) S 25180 25180 19383 0 -1 1077944320 10032 0 0 0 23 2 0 0 20 0 15 0 225567589 15372775424 21151 33554432000 4194304 4196468 140729324757712 140729324740256 140215541468919 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
/proc/25183/statm: 3753119 21151 2869 1 0 3715579 0
[pid=25183/tid=25184] ppid=25180 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/25183/task/25184/stat : 25184 (java) R 25180 25180 19383 0 -1 4202560 7916 0 0 0 18 2 0 0 20 0 15 0 225567589 15372775424 21151 33554432000 4194304 4196468 140729324757712 140215513294128 140215541480854 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25185] ppid=25180 vsize=15012476 memory=550 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25185/stat : 25185 (java) S 25180 25180 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225567591 15372775424 21151 33554432000 4194304 4196468 140729324757712 140215545710864 140215541479125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25186] ppid=25180 vsize=15012476 memory=140090125216088 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25186/stat : 25186 (java) S 25180 25180 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225567591 15372775424 21151 33554432000 4194304 4196468 140729324757712 140215321414032 140215541479125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25187] ppid=25180 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25187/stat : 25187 (java) S 25180 25180 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225567591 15372775424 21151 33554432000 4194304 4196468 140729324757712 140215320361488 140215541479125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25188] ppid=25180 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25188/stat : 25188 (java) S 25180 25180 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225567591 15372775424 21151 33554432000 4194304 4196468 140729324757712 140215319308944 140215541479125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25189] ppid=25180 vsize=15012476 memory=140090125194880 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25189/stat : 25189 (java) S 25180 25180 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225567592 15372775424 21151 33554432000 4194304 4196468 140729324757712 140214579030512 140215541480066 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25190] ppid=25180 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25190/stat : 25190 (java) S 25180 25180 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225567593 15372775424 21151 33554432000 4194304 4196468 140729324757712 140214173427104 140215541479125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25191] ppid=25180 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25191/stat : 25191 (java) S 25180 25180 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225567593 15372775424 21151 33554432000 4194304 4196468 140729324757712 140214039205360 140215541479125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25192] ppid=25180 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25192/stat : 25192 (java) S 25180 25180 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225567595 15372775424 21151 33554432000 4194304 4196468 140729324757712 140213664701136 140215541487515 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25193] ppid=25180 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25183/task/25193/stat : 25193 (java) R 25180 25180 19383 0 -1 1077944384 432 0 0 0 1 0 0 0 20 0 15 0 225567595 15372775424 21151 33554432000 4194304 4196468 140729324757712 140214577977424 140215541479125 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25194] ppid=25180 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25194/stat : 25194 (java) R 25180 25180 19383 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 15 0 225567595 15372775424 21151 33554432000 4194304 4196468 140729324757712 140213904975824 140215520617608 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25195] ppid=25180 vsize=15012476 memory=140090125194880 CPUtime=0.03 cores=1,3,5,7
/proc/25183/task/25195/stat : 25195 (java) R 25180 25180 19383 0 -1 4202560 288 0 0 0 3 0 0 0 20 0 15 0 225567595 15372775424 21151 33554432000 4194304 4196468 140729324757712 140213903931632 140215541480854 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25196] ppid=25180 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25196/stat : 25196 (java) S 25180 25180 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225567595 15372775424 21151 33554432000 4194304 4196468 140729324757712 140213166795360 140215541479125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25197] ppid=25180 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25197/stat : 25197 (java) S 25180 25180 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225567596 15372775424 21151 33554432000 4194304 4196468 140729324757712 140213902879536 140215541480066 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85996 KiB
[startup+0.311059 s]*
/proc/loadavg: 2.01 2.06 2.26 3/227 25197
/proc/meminfo: memFree=12282752/32770624 swapFree=67108860/67108860
[pid=25180] ppid=25177 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/25180/stat : 25180 (scop.sh) S 25177 25180 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225567588 115843072 348 33554432000 4194304 5098028 140730864436240 140730864433496 140243910431356 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23363584 140730864444481 140730864444679 140730864444679 140730864447437 0
/proc/25180/statm: 28282 348 296 221 0 87 0
[pid=25183] ppid=25180 vsize=15012476 memory=88128 CPUtime=0.43 cores=1,3,5,7
/proc/25183/stat : 25183 (java) S 25180 25180 19383 0 -1 1077944320 10574 0 0 0 40 3 0 0 20 0 15 0 225567589 15372775424 22032 33554432000 4194304 4196468 140729324757712 140729324740256 140215541468919 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
/proc/25183/statm: 3753119 22032 2974 1 0 3715579 0
[pid=25183/tid=25184] ppid=25180 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/25183/task/25184/stat : 25184 (java) R 25180 25180 19383 0 -1 4202560 8297 0 0 0 27 2 0 0 20 0 15 0 225567589 15372775424 22032 33554432000 4194304 4196468 140729324757712 140215513263920 140215525549406 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25185] ppid=25180 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25185/stat : 25185 (java) S 25180 25180 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225567591 15372775424 22032 33554432000 4194304 4196468 140729324757712 140215545710864 140215541479125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25186] ppid=25180 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25186/stat : 25186 (java) S 25180 25180 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225567591 15372775424 22032 33554432000 4194304 4196468 140729324757712 140215321414032 140215541479125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25187] ppid=25180 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25187/stat : 25187 (java) S 25180 25180 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225567591 15372775424 22032 33554432000 4194304 4196468 140729324757712 140215320361488 140215541479125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25188] ppid=25180 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25188/stat : 25188 (java) S 25180 25180 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225567591 15372775424 22032 33554432000 4194304 4196468 140729324757712 140215319308944 140215541479125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25189] ppid=25180 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25189/stat : 25189 (java) S 25180 25180 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225567592 15372775424 22032 33554432000 4194304 4196468 140729324757712 140214579030512 140215541480066 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25190] ppid=25180 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25190/stat : 25190 (java) S 25180 25180 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225567593 15372775424 22032 33554432000 4194304 4196468 140729324757712 140214173427104 140215541479125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25191] ppid=25180 vsize=15012476 memory=-6664436420846798482 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25191/stat : 25191 (java) S 25180 25180 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225567593 15372775424 22032 33554432000 4194304 4196468 140729324757712 140214039205360 140215541479125 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25192] ppid=25180 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25192/stat : 25192 (java) S 25180 25180 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225567595 15372775424 22032 33554432000 4194304 4196468 140729324757712 140213664701136 140215541487515 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25193] ppid=25180 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25183/task/25193/stat : 25193 (java) R 25180 25180 19383 0 -1 4202560 492 0 0 0 3 0 0 0 20 0 15 0 225567595 15372775424 22032 33554432000 4194304 4196468 140729324757712 140214577977328 140215522646682 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25194] ppid=25180 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25183/task/25194/stat : 25194 (java) R 25180 25180 19383 0 -1 1077944384 128 0 0 0 2 0 0 0 20 0 15 0 225567595 15372775424 22032 33554432000 4194304 4196468 140729324757712 140213904984176 140215541480066 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25195] ppid=25180 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25183/task/25195/stat : 25195 (java) R 25180 25180 19383 0 -1 4202560 307 0 0 0 7 0 0 0 20 0 15 0 225567595 15372775424 22032 33554432000 4194304 4196468 140729324757712 140213903931632 140215520426713 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25196] ppid=25180 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25196/stat : 25196 (java) S 25180 25180 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225567595 15372775424 22032 33554432000 4194304 4196468 140729324757712 140213166795360 140215541479125 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25197] ppid=25180 vsize=15012476 memory=3905244507057233969 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25197/stat : 25197 (java) S 25180 25180 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225567596 15372775424 22032 33554432000 4194304 4196468 140729324757712 140213902879536 140215541480066 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89520 KiB
[startup+0.700787 s]
/proc/loadavg: 2.01 2.06 2.26 3/227 25197
/proc/meminfo: memFree=12258692/32770624 swapFree=67108860/67108860
[pid=25180] ppid=25177 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/25180/stat : 25180 (scop.sh) S 25177 25180 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225567588 115843072 348 33554432000 4194304 5098028 140730864436240 140730864433496 140243910431356 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23363584 140730864444481 140730864444679 140730864444679 140730864447437 0
/proc/25180/statm: 28282 348 296 221 0 87 0
[pid=25183] ppid=25180 vsize=15018748 memory=129800 CPUtime=1.06 cores=1,3,5,7
/proc/25183/stat : 25183 (java) S 25180 25180 19383 0 -1 1077944320 17535 0 0 0 101 5 0 0 20 0 15 0 225567589 15379197952 32450 33554432000 4194304 4196468 140729324757712 140729324740256 140215541468919 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
/proc/25183/statm: 3754687 32450 3145 1 0 3716091 0
[pid=25183/tid=25184] ppid=25180 vsize=15018748 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/25183/task/25184/stat : 25184 (java) R 25180 25180 19383 0 -1 4202560 14715 0 0 0 63 4 0 0 20 0 15 0 225567589 15379197952 32450 33554432000 4194304 4196468 140729324757712 140215513303728 140215525549406 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25185] ppid=25180 vsize=15018748 memory=288230377057958153 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25185/stat : 25185 (java) S 25180 25180 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225567591 15379197952 32450 33554432000 4194304 4196468 140729324757712 140215545710864 140215541479125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25186] ppid=25180 vsize=15018748 memory=14975555351106623 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25186/stat : 25186 (java) S 25180 25180 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225567591 15379197952 32450 33554432000 4194304 4196468 140729324757712 140215321414032 140215541479125 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25187] ppid=25180 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25187/stat : 25187 (java) S 25180 25180 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225567591 15379197952 32450 33554432000 4194304 4196468 140729324757712 140215320361488 140215541479125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25188] ppid=25180 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25188/stat : 25188 (java) S 25180 25180 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225567591 15379197952 32450 33554432000 4194304 4196468 140729324757712 140215319308944 140215541479125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25189] ppid=25180 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25189/stat : 25189 (java) S 25180 25180 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225567592 15379197952 32450 33554432000 4194304 4196468 140729324757712 140214579030512 140215541480066 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25190] ppid=25180 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25190/stat : 25190 (java) S 25180 25180 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225567593 15379197952 32450 33554432000 4194304 4196468 140729324757712 140214173427104 140215541479125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25191] ppid=25180 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25191/stat : 25191 (java) S 25180 25180 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225567593 15379197952 32450 33554432000 4194304 4196468 140729324757712 140214039205360 140215541479125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25192] ppid=25180 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25192/stat : 25192 (java) S 25180 25180 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225567595 15379197952 32450 33554432000 4194304 4196468 140729324757712 140213664701136 140215541487515 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25193] ppid=25180 vsize=15018748 memory=280180044071152 CPUtime=0.09 cores=1,3,5,7
/proc/25183/task/25193/stat : 25193 (java) R 25180 25180 19383 0 -1 4202560 646 0 0 0 9 0 0 0 20 0 15 0 225567595 15379197952 32450 33554432000 4194304 4196468 140729324757712 140214577967248 140215533758368 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25194] ppid=25180 vsize=15018748 memory=5791726317272787289 CPUtime=0.09 cores=1,3,5,7
/proc/25183/task/25194/stat : 25194 (java) S 25180 25180 19383 0 -1 1077944384 363 0 0 0 9 0 0 0 20 0 15 0 225567595 15379197952 32450 33554432000 4194304 4196468 140729324757712 140213904984176 140215541480066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25195] ppid=25180 vsize=15018748 memory=7741518904578893120 CPUtime=0.17 cores=1,3,5,7
/proc/25183/task/25195/stat : 25195 (java) S 25180 25180 19383 0 -1 1077944384 471 0 0 0 17 0 0 0 20 0 15 0 225567595 15379197952 32450 33554432000 4194304 4196468 140729324757712 140213903931632 140215541480066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25196] ppid=25180 vsize=15018748 memory=7649399380053669170 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25196/stat : 25196 (java) S 25180 25180 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225567595 15379197952 32450 33554432000 4194304 4196468 140729324757712 140213166795360 140215541479125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
[pid=25183/tid=25197] ppid=25180 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25183/task/25197/stat : 25197 (java) S 25180 25180 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225567596 15379197952 32450 33554432000 4194304 4196468 140729324757712 140213902879536 140215541480066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140729324762119 140729324762417 140729324762417 140729324765135 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 131192 KiB
[startup+1.50076 s]
/proc/loadavg: 2.01 2.06 2.26 5/227 25197
/proc/meminfo: memFree=12218120/32770624 swapFree=67108860/67108860
[pid=25180] ppid=25177 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/25180/stat : 25180 (scop.sh) S 25177 25180 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225567588 115843072 348 33554432000 4194304 5098028 140730864436240 140730864433496 140243910431356 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23363584 140730864444481 140730864444679 140730864444679 140730864447437 0
/proc/25180/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=25198/tid=25201] ppid=25180 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25201/stat : 25201 (java) S 25180 25180 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225570176 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490596808976 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25202] ppid=25180 vsize=8068220 memory=125856 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25202/stat : 25202 (java) S 25180 25180 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225570176 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490255944336 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25203] ppid=25180 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25203/stat : 25203 (java) S 25180 25180 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225570176 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490254891536 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25204] ppid=25180 vsize=8068220 memory=2192 CPUtime=0.06 cores=1,3,5,7
/proc/25198/task/25204/stat : 25204 (java) S 25180 25180 19383 0 -1 1077944384 7 0 0 0 3 3 0 0 20 0 19 0 225570177 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490084440688 140490772281986 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25205] ppid=25180 vsize=8068220 memory=125856 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25205/stat : 25205 (java) S 25180 25180 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225570178 8261857280 31464 33554432000 4194304 4196468 140721181286576 140489588204832 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25206] ppid=25180 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25206/stat : 25206 (java) S 25180 25180 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225570178 8261857280 31464 33554432000 4194304 4196468 140721181286576 140489453983344 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25207] ppid=25180 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25207/stat : 25207 (java) S 25180 25180 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225570180 8261857280 31464 33554432000 4194304 4196468 140721181286576 140489079478864 140490772289435 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25208] ppid=25180 vsize=8068220 memory=968 CPUtime=0.24 cores=1,3,5,7
/proc/25198/task/25208/stat : 25208 (java) S 25180 25180 19383 0 -1 1077944384 991 0 0 0 23 1 0 0 20 0 19 0 225570180 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490083387504 140490772281986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25209] ppid=25180 vsize=8068220 memory=12144 CPUtime=0.23 cores=1,3,5,7
/proc/25198/task/25209/stat : 25209 (java) S 25180 25180 19383 0 -1 1077944384 510 0 0 0 23 0 0 0 20 0 19 0 225570180 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490082334704 140490772281986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25210] ppid=25180 vsize=8068220 memory=125856 CPUtime=0.25 cores=1,3,5,7
/proc/25198/task/25210/stat : 25210 (java) S 25180 25180 19383 0 -1 1077944384 622 0 0 0 25 0 0 0 20 0 19 0 225570180 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490081282416 140490772281986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25211] ppid=25180 vsize=8068220 memory=56 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25211/stat : 25211 (java) S 25180 25180 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225570181 8261857280 31464 33554432000 4194304 4196468 140721181286576 140488581573088 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25212] ppid=25180 vsize=8068220 memory=18220 CPUtime=1.37 cores=1,3,5,7
/proc/25198/task/25212/stat : 25212 (java) S 25180 25180 19383 0 -1 1077944384 347 0 0 0 61 76 0 0 20 0 19 0 225570181 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490080230320 140490772281986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25214] ppid=25180 vsize=8068220 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25214/stat : 25214 (java) S 25180 25180 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225570265 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490072421824 140490772295449 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25216] ppid=25180 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25216/stat : 25216 (java) S 25180 25180 19383 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 225570265 8261857280 31464 33554432000 4194304 4196468 140721181286576 140488044687408 140490772292765 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25217] ppid=25180 vsize=8068220 memory=125856 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25217/stat : 25217 (java) S 25180 25180 19383 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225570266 8261857280 31464 33554432000 4194304 4196468 140721181286576 140488178908592 140490772292765 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25218] ppid=25180 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25218/stat : 25218 (java) S 25180 25180 19383 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225570268 8261857280 31464 33554432000 4194304 4196468 140721181286576 140487776263072 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
Current children cumulated CPU time: 2405.65 s
Current children cumulated vsize: 8844720 KiB
Current children cumulated memory: 699228 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/233 25421
/proc/meminfo: memFree=12065972/32770624 swapFree=67108860/67108860
[pid=25180] ppid=25177 vsize=113128 memory=1472 CPUtime=46.95 cores=1,3,5,7
/proc/25180/stat : 25180 (scop.sh) S 25177 25180 19383 0 -1 4202496 590 63417 0 0 0 0 4453 242 20 0 1 0 225567588 115843072 368 33554432000 4194304 5098028 140730864436240 140730864432984 140243910431356 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23363584 140730864444481 140730864444679 140730864444679 140730864447437 0
/proc/25180/statm: 28282 368 311 221 0 87 0
[pid=25198] ppid=25180 vsize=8068220 memory=125856 CPUtime=3.18 cores=1,3,5,7
/proc/25198/stat : 25198 (java) S 25180 25180 19383 0 -1 1077944320 19022 0 0 0 226 92 0 0 20 0 19 0 225570174 8261857280 31464 33554432000 4194304 4196468 140721181286576 140721181269120 140490772270839 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
/proc/25198/statm: 2017055 31464 3165 1 0 1978454 0
[pid=25213] ppid=25198 vsize=663372 memory=565756 CPUtime=2415.56 cores=1,3,5,7
/proc/25213/stat : 25213 (minisat_release) R 25198 25180 19383 0 -1 4202496 3446122 0 0 0 241297 259 0 0 20 0 1 0 225570265 679292928 141439 33554432000 4194304 4308513 140720398462736 140720398460184 4276008 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 29573120 140720398468212 140720398468310 140720398468310 140720398471109 0
/proc/25213/statm: 165843 141439 341 28 0 162083 0
[pid=25198/tid=25199] ppid=25180 vsize=8068220 memory=125856 CPUtime=0.93 cores=1,3,5,7
/proc/25198/task/25199/stat : 25199 (java) S 25180 25180 19383 0 -1 1077944384 15117 0 0 0 79 14 0 0 20 0 19 0 225570175 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490744110992 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25200] ppid=25180 vsize=8068220 memory=125856 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25200/stat : 25200 (java) S 25180 25180 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225570176 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490776512912 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25201] ppid=25180 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25201/stat : 25201 (java) S 25180 25180 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225570176 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490596808976 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25202] ppid=25180 vsize=8068220 memory=125856 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25202/stat : 25202 (java) S 25180 25180 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225570176 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490255944336 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25203] ppid=25180 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25203/stat : 25203 (java) S 25180 25180 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225570176 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490254891536 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25204] ppid=25180 vsize=8068220 memory=1472 CPUtime=0.06 cores=1,3,5,7
/proc/25198/task/25204/stat : 25204 (java) S 25180 25180 19383 0 -1 1077944384 7 0 0 0 3 3 0 0 20 0 19 0 225570177 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490084440688 140490772281986 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25205] ppid=25180 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25205/stat : 25205 (java) S 25180 25180 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225570178 8261857280 31464 33554432000 4194304 4196468 140721181286576 140489588204832 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25206] ppid=25180 vsize=8068220 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25206/stat : 25206 (java) S 25180 25180 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225570178 8261857280 31464 33554432000 4194304 4196468 140721181286576 140489453983344 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25207] ppid=25180 vsize=8068220 memory=8812 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25207/stat : 25207 (java) S 25180 25180 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225570180 8261857280 31464 33554432000 4194304 4196468 140721181286576 140489079478864 140490772289435 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25208] ppid=25180 vsize=8068220 memory=125856 CPUtime=0.24 cores=1,3,5,7
/proc/25198/task/25208/stat : 25208 (java) S 25180 25180 19383 0 -1 1077944384 991 0 0 0 23 1 0 0 20 0 19 0 225570180 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490083387504 140490772281986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25209] ppid=25180 vsize=8068220 memory=1472 CPUtime=0.23 cores=1,3,5,7
/proc/25198/task/25209/stat : 25209 (java) S 25180 25180 19383 0 -1 1077944384 510 0 0 0 23 0 0 0 20 0 19 0 225570180 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490082334704 140490772281986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25210] ppid=25180 vsize=8068220 memory=1472 CPUtime=0.25 cores=1,3,5,7
/proc/25198/task/25210/stat : 25210 (java) S 25180 25180 19383 0 -1 1077944384 622 0 0 0 25 0 0 0 20 0 19 0 225570180 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490081282416 140490772281986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25211] ppid=25180 vsize=8068220 memory=125856 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25211/stat : 25211 (java) S 25180 25180 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225570181 8261857280 31464 33554432000 4194304 4196468 140721181286576 140488581573088 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25212] ppid=25180 vsize=8068220 memory=1472 CPUtime=1.41 cores=1,3,5,7
/proc/25198/task/25212/stat : 25212 (java) S 25180 25180 19383 0 -1 1077944384 351 0 0 0 63 78 0 0 20 0 19 0 225570181 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490080230320 140490772281986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25214] ppid=25180 vsize=8068220 memory=125856 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25214/stat : 25214 (java) S 25180 25180 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225570265 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490072421824 140490772295449 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25216] ppid=25180 vsize=8068220 memory=125856 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25216/stat : 25216 (java) S 25180 25180 19383 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 225570265 8261857280 31464 33554432000 4194304 4196468 140721181286576 140488044687408 140490772292765 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25217] ppid=25180 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25217/stat : 25217 (java) S 25180 25180 19383 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225570266 8261857280 31464 33554432000 4194304 4196468 140721181286576 140488178908592 140490772292765 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25218] ppid=25180 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25218/stat : 25218 (java) S 25180 25180 19383 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225570268 8261857280 31464 33554432000 4194304 4196468 140721181286576 140487776263072 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
Current children cumulated CPU time: 2465.69 s
Current children cumulated vsize: 8844720 KiB
Current children cumulated memory: 693084 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2496.6 s]
/proc/loadavg: 1.93 1.99 2.03 3/233 25422
/proc/meminfo: memFree=12087452/32770624 swapFree=67108860/67108860
[pid=25180] ppid=25177 vsize=113128 memory=1472 CPUtime=46.95 cores=1,3,5,7
/proc/25180/stat : 25180 (scop.sh) S 25177 25180 19383 0 -1 4202496 590 63417 0 0 0 0 4453 242 20 0 1 0 225567588 115843072 368 33554432000 4194304 5098028 140730864436240 140730864432984 140243910431356 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23363584 140730864444481 140730864444679 140730864444679 140730864447437 0
/proc/25180/statm: 28282 368 311 221 0 87 0
[pid=25198] ppid=25180 vsize=8068220 memory=125856 CPUtime=3.22 cores=1,3,5,7
/proc/25198/stat : 25198 (java) S 25180 25180 19383 0 -1 1077944320 19026 0 0 0 229 93 0 0 20 0 19 0 225570174 8261857280 31464 33554432000 4194304 4196468 140721181286576 140721181269120 140490772270839 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
/proc/25198/statm: 2017055 31464 3165 1 0 1978454 0
[pid=25213] ppid=25198 vsize=663372 memory=578052 CPUtime=2469.86 cores=1,3,5,7
/proc/25213/stat : 25213 (minisat_release) R 25198 25180 19383 0 -1 4202496 3522719 0 0 0 246723 263 0 0 20 0 1 0 225570265 679292928 144513 33554432000 4194304 4308513 140720398462736 140720398460184 4276008 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 29573120 140720398468212 140720398468310 140720398468310 140720398471109 0
/proc/25213/statm: 165843 144513 341 28 0 162083 0
[pid=25198/tid=25199] ppid=25180 vsize=8068220 memory=578044 CPUtime=0.93 cores=1,3,5,7
/proc/25198/task/25199/stat : 25199 (java) S 25180 25180 19383 0 -1 1077944384 15117 0 0 0 79 14 0 0 20 0 19 0 225570175 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490744110992 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25200] ppid=25180 vsize=8068220 memory=4108 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25200/stat : 25200 (java) S 25180 25180 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225570176 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490776512912 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25201] ppid=25180 vsize=8068220 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25201/stat : 25201 (java) S 25180 25180 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225570176 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490596808976 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25202] ppid=25180 vsize=8068220 memory=644 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25202/stat : 25202 (java) S 25180 25180 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225570176 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490255944336 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25203] ppid=25180 vsize=8068220 memory=952 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25203/stat : 25203 (java) S 25180 25180 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225570176 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490254891536 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25204] ppid=25180 vsize=8068220 memory=2416 CPUtime=0.06 cores=1,3,5,7
/proc/25198/task/25204/stat : 25204 (java) S 25180 25180 19383 0 -1 1077944384 7 0 0 0 3 3 0 0 20 0 19 0 225570177 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490084440688 140490772281986 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25205] ppid=25180 vsize=8068220 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25205/stat : 25205 (java) S 25180 25180 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225570178 8261857280 31464 33554432000 4194304 4196468 140721181286576 140489588204832 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25206] ppid=25180 vsize=8068220 memory=928 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25206/stat : 25206 (java) S 25180 25180 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225570178 8261857280 31464 33554432000 4194304 4196468 140721181286576 140489453983344 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25207] ppid=25180 vsize=8068220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25207/stat : 25207 (java) S 25180 25180 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225570180 8261857280 31464 33554432000 4194304 4196468 140721181286576 140489079478864 140490772289435 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25208] ppid=25180 vsize=8068220 memory=4132 CPUtime=0.24 cores=1,3,5,7
/proc/25198/task/25208/stat : 25208 (java) S 25180 25180 19383 0 -1 1077944384 991 0 0 0 23 1 0 0 20 0 19 0 225570180 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490083387504 140490772281986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25209] ppid=25180 vsize=8068220 memory=2192 CPUtime=0.23 cores=1,3,5,7
/proc/25198/task/25209/stat : 25209 (java) S 25180 25180 19383 0 -1 1077944384 510 0 0 0 23 0 0 0 20 0 19 0 225570180 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490082334704 140490772281986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25210] ppid=25180 vsize=8068220 memory=7528 CPUtime=0.25 cores=1,3,5,7
/proc/25198/task/25210/stat : 25210 (java) S 25180 25180 19383 0 -1 1077944384 622 0 0 0 25 0 0 0 20 0 19 0 225570180 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490081282416 140490772281986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25211] ppid=25180 vsize=8068220 memory=-7824251494390518890 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25211/stat : 25211 (java) S 25180 25180 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225570181 8261857280 31464 33554432000 4194304 4196468 140721181286576 140488581573088 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25212] ppid=25180 vsize=8068220 memory=2244 CPUtime=1.44 cores=1,3,5,7
/proc/25198/task/25212/stat : 25212 (java) S 25180 25180 19383 0 -1 1077944384 355 0 0 0 65 79 0 0 20 0 19 0 225570181 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490080230320 140490772281986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25214] ppid=25180 vsize=8068220 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25214/stat : 25214 (java) S 25180 25180 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225570265 8261857280 31464 33554432000 4194304 4196468 140721181286576 140490072421824 140490772295449 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25216] ppid=25180 vsize=8068220 memory=575996 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25216/stat : 25216 (java) S 25180 25180 19383 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 225570265 8261857280 31464 33554432000 4194304 4196468 140721181286576 140488044687408 140490772292765 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25217] ppid=25180 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25217/stat : 25217 (java) S 25180 25180 19383 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225570266 8261857280 31464 33554432000 4194304 4196468 140721181286576 140488178908592 140490772292765 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
[pid=25198/tid=25218] ppid=25180 vsize=8068220 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/25198/task/25218/stat : 25218 (java) S 25180 25180 19383 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225570268 8261857280 31464 33554432000 4194304 4196468 140721181286576 140487776263072 140490772281045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140721181287605 140721181287729 140721181287729 140721181290447 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 8844720 KiB
Current children cumulated memory: 705380 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2496.61 s]
# the end of solver process 25180 was just reported to runsolver
# cumulated CPU time of all completed processes: user=44.5369 s, system=2.43043 s
[startup+2496.65 s]
# the end of solver process 25198 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.07 s, system=6.05166 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): 2496.65
CPU time (s): 2520.12
CPU user time (s): 2514.07
CPU system time (s): 6.05166
CPU usage (%): 100.94
Max. virtual memory (cumulated for all children) (KiB): 15144036
Max. memory (cumulated for all children) (KiB): 4281844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.07
system time used= 6.05166
maximum resident set size= 4280624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3606295
page faults= 0
swaps= 0
block input operations= 0
block output operations= 145072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61040
involuntary context switches= 1388
# summary of solver processes directly reported to runsolver:
# pid: 25180,25198
# total CPU time (s): 2520.12
# total CPU user time (s): 2514.07
# total CPU system time (s): 6.05166
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5033 second user time and 27.5049 second system time
The end