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-28878-serial-file.bin HOME/instance-4305561-1534079371.xml
0.66/0.52
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Sun Aug 12 15:09:32 CEST 2018
0.66/0.55 c PID: 28881
0.66/0.55 c IP: 172.20.3.106
0.66/0.55 c HOST: node106.alineos.net
0.66/0.56 c (0,0) Parsing Begin
3.23/1.41 c (0,0) Parsing End
3.23/1.43 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1440 ctr, max domain size 26
3.23/1.43 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.23/1.43 c (0,0) Constraint Name Generate Begin
3.23/1.46 c (0,0) Ctr:HOME/instance-4305561-1534079371.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.23/1.46 c (0,0) Constraint Name Generate End
3.23/1.46 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.23/1.46 c (0,0) CSP to CSPinCNF Begin
12.28/4.82 c (4,4) translated 144 (10%) constraints
12.69/5.28 c (4,4) translated 288 (20%) constraints
12.69/5.30 c (4,4) translated 432 (30%) constraints
12.90/5.32 c (4,4) translated 576 (40%) constraints
12.90/5.35 c (4,4) translated 720 (50%) constraints
12.90/5.38 c (4,4) translated 864 (60%) constraints
12.90/5.39 c (4,4) translated 1008 (70%) constraints
13.27/5.41 c (4,4) translated 1152 (80%) constraints
15.19/6.94 c (6,6) translated 1296 (90%) constraints
16.49/7.95 c (7,7) translated 1440 (100%) constraints
17.69/8.44 c (7,7) STATISTICS1:HOME/instance-4305561-1534079371.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57065,9223372036854775807,26,25,200,9223372036854775807:268;2305843009213693952:3;576460752303423488:2;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:2;17179869184:1;16:392;4:396;2:199,26:20400;2:159196,25:200;3:29600;2:26000;1:1265,200:57;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:3;64:1;62:3;60:2;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:2;35:1;5:392;3:396;2:199;1:145600;0:200,17689:57;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:3;1764:1
17.69/8.44 c (7,7) ==========================================
17.69/8.44 c (7,7) Both Encoding selects:
17.69/8.44 c (7,7) Log
17.69/8.44 c (7,7) ==========================================
18.90/8.97 c (8,8) translated 5707 (10%) constraints
19.49/9.19 c (8,8) translated 11413 (20%) constraints
19.67/9.28 c (8,8) translated 17120 (30%) constraints
19.94/9.36 c (8,8) translated 22826 (40%) constraints
20.04/9.44 c (8,8) translated 28533 (50%) constraints
20.14/9.52 c (8,8) translated 34239 (60%) constraints
20.24/9.60 c (9,8) translated 39946 (70%) constraints
20.24/9.68 c (9,8) translated 45652 (80%) constraints
20.34/9.76 c (9,9) translated 51359 (90%) constraints
21.77/10.87 c (10,10) translated 57065 (100%) constraints
21.77/10.87 c (10,10) CSP to CSPinCNF End
21.77/10.88 c (10,10) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67491 ctr, max domain size 26
21.77/10.88 c (10,10) Heap : 1852 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
21.77/10.88 c (10,10) CSPinCNF Propagation Begin
22.96/11.50 c (10,10) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
22.96/11.50 c (10,10) CSPinCNF Propagation End
22.96/11.50 c (10,10) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67091 ctr, max domain size 26
22.96/11.50 c (10,10) Heap : 2180 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.96/11.50 c (10,10) Simplify CSPinCNF Begin
23.18/11.64 c (11,10) Simplify CSPinCNF End
23.18/11.65 c (11,10) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67091 ctr, max domain size 26
23.18/11.65 c (11,10) Heap : 2234 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.18/11.65 c (11,10) Calculate Precise Domain Begin
23.18/11.65 c (11,10) 0 values are removed by re-calculation
23.18/11.65 c (11,10) Calculate Precise Domain End
23.18/11.65 c (11,10) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67091 ctr, max domain size 26
23.18/11.65 c (11,10) Heap : 2234 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.18/11.65 c (11,10) CSPinCNF to SatSolver Begin
27.26/13.32 c (12,12) 6710 (10 %) CSP clauses are being encoded (126143 SAT variables, 279028 SAT clauses)
27.91/13.68 c (13,12) 13419 (20 %) CSP clauses are being encoded (149484 SAT variables, 329064 SAT clauses)
28.36/14.01 c (13,13) 20128 (30 %) CSP clauses are being encoded (173500 SAT variables, 380591 SAT clauses)
28.90/14.22 c (13,13) 26837 (40 %) CSP clauses are being encoded (180080 SAT variables, 399116 SAT clauses)
29.21/14.42 c (13,13) 33546 (50 %) CSP clauses are being encoded (185996 SAT variables, 416265 SAT clauses)
29.31/14.56 c (14,13) 40255 (60 %) CSP clauses are being encoded (192116 SAT variables, 433774 SAT clauses)
29.52/14.71 c (14,13) 46964 (70 %) CSP clauses are being encoded (198032 SAT variables, 450923 SAT clauses)
29.62/14.85 c (14,13) 53673 (80 %) CSP clauses are being encoded (204152 SAT variables, 468432 SAT clauses)
29.73/15.00 c (14,14) 60382 (90 %) CSP clauses are being encoded (210098 SAT variables, 485633 SAT clauses)
42.34/24.35 c (23,22) 67091 (100 %) CSP clauses are being encoded (1089100 SAT variables, 3076012 SAT clauses)
42.44/24.42 c (23,22) Launch Command will be: minisat_release
42.44/24.42 c (23,22) CSPinCNF to SatSolver End
42.44/24.42 c (23,22) Heap : 3078 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
45.58/25.44 c (24,23) STATISTICS2:HOME/instance-4305561-1534079371.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,21800,67091,9223372036854775807,26,24,200,9223372036854775807:268;2305843009213693952:3;576460752303423488:2;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:2;17179869184:1;16:392;4:396;2:199,26:30000;2:179596,24:200;3:29200;2:36400;1:1291,200:57;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:3;64:1;62:3;60:2;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:2;35:1;5:392;3:396;2:199;1:165200,2:268
45.58/25.44 c (24,23) 1095657 bool, 3095526 clause
45.58/25.44 c (24,23) Export Begin
46.09/25.69 c (25,23) Export to HOME/scop-28878-serial-file.bin
46.09/25.69 c (25,23) Export End
46.09/25.70 c (25,23) Export File Size: 0.61 MB
46.09/25.70 c (25,23) 0,0,10,10,11,11,23,STOP-AFTER(DIMACS)
46.09/25.70 c END-Prog: Sun Aug 12 15:09:57 CEST 2018
46.31/25.73 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-28878-serial-file.bin
46.94/26.23 c (0,0) Read Serial File Begin
46.94/26.23 c (0,0) HOME/scop-28878-serial-file.bin
47.76/26.60 c (0,0) Read Serial File End
47.76/26.61
47.76/26.61 scop log+minisat_release (2018-07-31)
47.76/26.61 (Solving Process)
47.76/26.61
47.76/26.64 c BEGIN-Prog: Sun Aug 12 15:09:58 CEST 2018
47.76/26.64 c PID: 28896
47.76/26.64 c IP: 172.20.3.106
47.76/26.64 c HOST: node106.alineos.net
47.76/26.64 c (0,0) SatSolver.solve Begin
47.76/26.64 c (0,0) 0 bool, 0 clause
47.76/26.64 c (0,0) minisat_release HOME/instance-4305561-1534079371.xml-scop-28881.cnf
2520.00/2497.20 c (2471,0) receiving signal SIGTERM
2520.00/2497.20 s UNKNOWN
2520.00/2497.21 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.00/2497.21 c (scop.sh) Remove HOME/scop-28878-serial-file.bin.
2520.00/2497.21 c (scop.sh) Killing background jobs.
2520.00/2497.21 c (2471,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 (9796 MiB free)
memory of node 1: 16384 MiB (12931 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305561-1534079371/watcher-4305561-1534079371 -o /tmp/evaluation-result-4305561-1534079371/solver-4305561-1534079371 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23198 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305561-1534079371.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28878, runsolver pid=28875
[startup+0.100061 s]*
/proc/loadavg: 2.01 2.05 2.37 4/222 28895
/proc/meminfo: memFree=23214192/32770624 swapFree=67108688/67108860
[pid=28878] ppid=28875 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/28878/stat : 28878 (scop.sh) S 28875 28878 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225499977 115843072 348 33554432000 4194304 5098028 140721998185520 140721998182776 140011035349628 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27037696 140721998189633 140721998189831 140721998189831 140721998192589 0
/proc/28878/statm: 28282 348 296 221 0 87 0
[pid=28881] ppid=28878 vsize=15012476 memory=72692 CPUtime=0.11 cores=0,2,4,6
/proc/28881/stat : 28881 (java) S 28878 28878 23167 0 -1 1077944320 6288 0 0 0 10 1 0 0 20 0 15 0 225499977 15372775424 18173 33554432000 4194304 4196468 140727623329776 140727623312320 139867371515639 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
/proc/28881/statm: 3753119 18173 2770 1 0 3715579 0
[pid=28881/tid=28882] ppid=28878 vsize=15012476 memory=-6078870780940435399 CPUtime=0.09 cores=0,2,4,6
/proc/28881/task/28882/stat : 28882 (java) R 28878 28878 23167 0 -1 4202560 4367 0 0 0 8 1 0 0 20 0 15 0 225499977 15372775424 18173 33554432000 4194304 4196468 140727623329776 139867343327624 139867354702448 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28883] ppid=28878 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28883/stat : 28883 (java) S 28878 28878 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225499979 15372775424 18173 33554432000 4194304 4196468 140727623329776 139867375758352 139867371525845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28884] ppid=28878 vsize=15012476 memory=139873508824704 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28884/stat : 28884 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225499979 15372775424 18173 33554432000 4194304 4196468 140727623329776 139867166842000 139867371525845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28885] ppid=28878 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28885/stat : 28885 (java) S 28878 28878 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225499979 15372775424 18173 33554432000 4194304 4196468 140727623329776 139867165788944 139867371525845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28886] ppid=28878 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28886/stat : 28886 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225499979 15372775424 18173 33554432000 4194304 4196468 140727623329776 139867164736400 139867371525845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28887] ppid=28878 vsize=15012476 memory=139873508824704 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28887/stat : 28887 (java) S 28878 28878 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225499980 15372775424 18173 33554432000 4194304 4196468 140727623329776 139866341869808 139867371526786 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28888] ppid=28878 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28888/stat : 28888 (java) S 28878 28878 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225499981 15372775424 18173 33554432000 4194304 4196468 140727623329776 139865945531552 139867371525845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28889] ppid=28878 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28889/stat : 28889 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225499981 15372775424 18173 33554432000 4194304 4196468 140727623329776 139865677095664 139867371525845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28890] ppid=28878 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28890/stat : 28890 (java) S 28878 28878 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225499984 15372775424 18173 33554432000 4194304 4196468 140727623329776 139865302587344 139867371534235 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28891] ppid=28878 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28891/stat : 28891 (java) S 28878 28878 23167 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 225499984 15372775424 18173 33554432000 4194304 4196468 140727623329776 139866340817648 139867371526786 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28892] ppid=28878 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28892/stat : 28892 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225499984 15372775424 18173 33554432000 4194304 4196468 140727623329776 139866339765104 139867371526786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28893] ppid=28878 vsize=15012476 memory=139873508824704 CPUtime=0.01 cores=0,2,4,6
/proc/28881/task/28893/stat : 28893 (java) R 28878 28878 23167 0 -1 4202560 291 0 0 0 1 0 0 0 20 0 15 0 225499984 15372775424 18173 33554432000 4194304 4196468 140727623329776 139866338707992 139867350471977 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28894] ppid=28878 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28894/stat : 28894 (java) S 28878 28878 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225499984 15372775424 18173 33554432000 4194304 4196468 140727623329776 139864804682592 139867371525845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28895] ppid=28878 vsize=15012476 memory=139873508824704 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28895/stat : 28895 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225499984 15372775424 18173 33554432000 4194304 4196468 140727623329776 139866337659440 139867371526786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74084 KiB
[startup+0.210553 s]*
/proc/loadavg: 2.01 2.05 2.37 3/222 28895
/proc/meminfo: memFree=23200116/32770624 swapFree=67108688/67108860
[pid=28878] ppid=28875 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/28878/stat : 28878 (scop.sh) S 28875 28878 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225499977 115843072 348 33554432000 4194304 5098028 140721998185520 140721998182776 140011035349628 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27037696 140721998189633 140721998189831 140721998189831 140721998192589 0
/proc/28878/statm: 28282 348 296 221 0 87 0
[pid=28881] ppid=28878 vsize=15012476 memory=85708 CPUtime=0.25 cores=0,2,4,6
/proc/28881/stat : 28881 (java) S 28878 28878 23167 0 -1 1077944320 9782 0 0 0 23 2 0 0 20 0 15 0 225499977 15372775424 21427 33554432000 4194304 4196468 140727623329776 140727623312320 139867371515639 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
/proc/28881/statm: 3753119 21427 2876 1 0 3715579 0
[pid=28881/tid=28882] ppid=28878 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/28881/task/28882/stat : 28882 (java) R 28878 28878 23167 0 -1 4202560 7678 0 0 0 18 2 0 0 20 0 15 0 225499977 15372775424 21427 33554432000 4194304 4196468 140727623329776 139867343303888 139867371527574 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28883] ppid=28878 vsize=15012476 memory=546 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28883/stat : 28883 (java) S 28878 28878 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225499979 15372775424 21427 33554432000 4194304 4196468 140727623329776 139867375758352 139867371525845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28884] ppid=28878 vsize=15012476 memory=288370249660536448 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28884/stat : 28884 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225499979 15372775424 21427 33554432000 4194304 4196468 140727623329776 139867166842000 139867371525845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28885] ppid=28878 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28885/stat : 28885 (java) S 28878 28878 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225499979 15372775424 21427 33554432000 4194304 4196468 140727623329776 139867165788944 139867371525845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28886] ppid=28878 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28886/stat : 28886 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225499979 15372775424 21427 33554432000 4194304 4196468 140727623329776 139867164736400 139867371525845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28887] ppid=28878 vsize=15012476 memory=139873508824704 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28887/stat : 28887 (java) S 28878 28878 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225499980 15372775424 21427 33554432000 4194304 4196468 140727623329776 139866341869808 139867371526786 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28888] ppid=28878 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28888/stat : 28888 (java) S 28878 28878 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225499981 15372775424 21427 33554432000 4194304 4196468 140727623329776 139865945531552 139867371525845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28889] ppid=28878 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28889/stat : 28889 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225499981 15372775424 21427 33554432000 4194304 4196468 140727623329776 139865677095664 139867371525845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28890] ppid=28878 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28890/stat : 28890 (java) S 28878 28878 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225499984 15372775424 21427 33554432000 4194304 4196468 140727623329776 139865302587344 139867371534235 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28891] ppid=28878 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28881/task/28891/stat : 28891 (java) S 28878 28878 23167 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 15 0 225499984 15372775424 21427 33554432000 4194304 4196468 140727623329776 139866340817648 139867371526786 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28892] ppid=28878 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28892/stat : 28892 (java) S 28878 28878 23167 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 225499984 15372775424 21427 33554432000 4194304 4196468 140727623329776 139866339765104 139867371526786 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28893] ppid=28878 vsize=15012476 memory=139873508824704 CPUtime=0.03 cores=0,2,4,6
/proc/28881/task/28893/stat : 28893 (java) R 28878 28878 23167 0 -1 4202560 308 0 0 0 3 0 0 0 20 0 15 0 225499984 15372775424 21427 33554432000 4194304 4196468 140727623329776 139866338712048 139867371527574 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28894] ppid=28878 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28894/stat : 28894 (java) S 28878 28878 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225499984 15372775424 21427 33554432000 4194304 4196468 140727623329776 139864804682592 139867371525845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28895] ppid=28878 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28895/stat : 28895 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225499984 15372775424 21427 33554432000 4194304 4196468 140727623329776 139866337659440 139867371526786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87100 KiB
[startup+0.310562 s]*
/proc/loadavg: 2.01 2.05 2.37 3/222 28895
/proc/meminfo: memFree=23196828/32770624 swapFree=67108688/67108860
[pid=28878] ppid=28875 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/28878/stat : 28878 (scop.sh) S 28875 28878 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225499977 115843072 348 33554432000 4194304 5098028 140721998185520 140721998182776 140011035349628 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27037696 140721998189633 140721998189831 140721998189831 140721998192589 0
/proc/28878/statm: 28282 348 296 221 0 87 0
[pid=28881] ppid=28878 vsize=15012476 memory=89688 CPUtime=0.42 cores=0,2,4,6
/proc/28881/stat : 28881 (java) S 28878 28878 23167 0 -1 1077944320 10362 0 0 0 39 3 0 0 20 0 15 0 225499977 15372775424 22422 33554432000 4194304 4196468 140727623329776 140727623312320 139867371515639 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
/proc/28881/statm: 3753119 22422 2982 1 0 3715579 0
[pid=28881/tid=28882] ppid=28878 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/28881/task/28882/stat : 28882 (java) R 28878 28878 23167 0 -1 4202560 8102 0 0 0 27 2 0 0 20 0 15 0 225499977 15372775424 22422 33554432000 4194304 4196468 140727623329776 139867343310640 139867355596126 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28883] ppid=28878 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28883/stat : 28883 (java) S 28878 28878 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225499979 15372775424 22422 33554432000 4194304 4196468 140727623329776 139867375758352 139867371525845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28884] ppid=28878 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28884/stat : 28884 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225499979 15372775424 22422 33554432000 4194304 4196468 140727623329776 139867166842000 139867371525845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28885] ppid=28878 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28885/stat : 28885 (java) S 28878 28878 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225499979 15372775424 22422 33554432000 4194304 4196468 140727623329776 139867165788944 139867371525845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28886] ppid=28878 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28886/stat : 28886 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225499979 15372775424 22422 33554432000 4194304 4196468 140727623329776 139867164736400 139867371525845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28887] ppid=28878 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28887/stat : 28887 (java) S 28878 28878 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225499980 15372775424 22422 33554432000 4194304 4196468 140727623329776 139866341869808 139867371526786 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28888] ppid=28878 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28888/stat : 28888 (java) S 28878 28878 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225499981 15372775424 22422 33554432000 4194304 4196468 140727623329776 139865945531552 139867371525845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28889] ppid=28878 vsize=15012476 memory=-6664436420846798482 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28889/stat : 28889 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225499981 15372775424 22422 33554432000 4194304 4196468 140727623329776 139865677095664 139867371525845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28890] ppid=28878 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28890/stat : 28890 (java) S 28878 28878 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225499984 15372775424 22422 33554432000 4194304 4196468 140727623329776 139865302587344 139867371534235 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28891] ppid=28878 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28881/task/28891/stat : 28891 (java) S 28878 28878 23167 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 15 0 225499984 15372775424 22422 33554432000 4194304 4196468 140727623329776 139866340817648 139867371526786 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28892] ppid=28878 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28881/task/28892/stat : 28892 (java) S 28878 28878 23167 0 -1 1077944384 148 0 0 0 2 0 0 0 20 0 15 0 225499984 15372775424 22422 33554432000 4194304 4196468 140727623329776 139866339765104 139867371526786 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28893] ppid=28878 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28881/task/28893/stat : 28893 (java) S 28878 28878 23167 0 -1 1077944384 339 0 0 0 7 0 0 0 20 0 15 0 225499984 15372775424 22422 33554432000 4194304 4196468 140727623329776 139866338712048 139867371526786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28894] ppid=28878 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28894/stat : 28894 (java) S 28878 28878 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225499984 15372775424 22422 33554432000 4194304 4196468 140727623329776 139864804682592 139867371525845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28895] ppid=28878 vsize=15012476 memory=3617295605882232881 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28895/stat : 28895 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225499984 15372775424 22422 33554432000 4194304 4196468 140727623329776 139866337659440 139867371526786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91080 KiB
[startup+0.700824 s]
/proc/loadavg: 2.01 2.05 2.37 5/222 28895
/proc/meminfo: memFree=23171808/32770624 swapFree=67108688/67108860
[pid=28878] ppid=28875 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/28878/stat : 28878 (scop.sh) S 28875 28878 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225499977 115843072 348 33554432000 4194304 5098028 140721998185520 140721998182776 140011035349628 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27037696 140721998189633 140721998189831 140721998189831 140721998192589 0
/proc/28878/statm: 28282 348 296 221 0 87 0
[pid=28881] ppid=28878 vsize=15018748 memory=131100 CPUtime=1.04 cores=0,2,4,6
/proc/28881/stat : 28881 (java) S 28878 28878 23167 0 -1 1077944320 17382 0 0 0 99 5 0 0 20 0 15 0 225499977 15379197952 32775 33554432000 4194304 4196468 140727623329776 140727623312320 139867371515639 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
/proc/28881/statm: 3754687 32775 3128 1 0 3716091 0
[pid=28881/tid=28882] ppid=28878 vsize=15018748 memory=2372 CPUtime=0.66 cores=0,2,4,6
/proc/28881/task/28882/stat : 28882 (java) R 28878 28878 23167 0 -1 4202560 14613 0 0 0 63 3 0 0 20 0 15 0 225499977 15379197952 32775 33554432000 4194304 4196468 140727623329776 139867343351568 139867371537565 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28883] ppid=28878 vsize=15018748 memory=116 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28883/stat : 28883 (java) S 28878 28878 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225499979 15379197952 32775 33554432000 4194304 4196468 140727623329776 139867375758352 139867371525845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28884] ppid=28878 vsize=15018748 memory=12868 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28884/stat : 28884 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225499979 15379197952 32775 33554432000 4194304 4196468 140727623329776 139867166842000 139867371525845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28885] ppid=28878 vsize=15018748 memory=26497 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28885/stat : 28885 (java) S 28878 28878 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225499979 15379197952 32775 33554432000 4194304 4196468 140727623329776 139867165788944 139867371525845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28886] ppid=28878 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28886/stat : 28886 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225499979 15379197952 32775 33554432000 4194304 4196468 140727623329776 139867164736400 139867371525845 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28887] ppid=28878 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28887/stat : 28887 (java) S 28878 28878 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225499980 15379197952 32775 33554432000 4194304 4196468 140727623329776 139866341869808 139867371526786 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28888] ppid=28878 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28888/stat : 28888 (java) S 28878 28878 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225499981 15379197952 32775 33554432000 4194304 4196468 140727623329776 139865945531552 139867371525845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28889] ppid=28878 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28889/stat : 28889 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225499981 15379197952 32775 33554432000 4194304 4196468 140727623329776 139865677095664 139867371525845 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28890] ppid=28878 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28890/stat : 28890 (java) S 28878 28878 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225499984 15379197952 32775 33554432000 4194304 4196468 140727623329776 139865302587344 139867371534235 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28891] ppid=28878 vsize=15018748 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28881/task/28891/stat : 28891 (java) R 28878 28878 23167 0 -1 4202560 712 0 0 0 9 0 0 0 20 0 15 0 225499984 15379197952 32775 33554432000 4194304 4196468 140727623329776 139866340807120 139867371536986 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28892] ppid=28878 vsize=15018748 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28881/task/28892/stat : 28892 (java) R 28878 28878 23167 0 -1 4202560 217 0 0 0 8 0 0 0 20 0 15 0 225499984 15379197952 32775 33554432000 4194304 4196468 140727623329776 139866339758128 139867371536986 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28893] ppid=28878 vsize=15018748 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/28881/task/28893/stat : 28893 (java) R 28878 28878 23167 0 -1 4202560 508 0 0 0 17 0 0 0 20 0 15 0 225499984 15379197952 32775 33554432000 4194304 4196468 140727623329776 139866338709224 139867350219280 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28894] ppid=28878 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28894/stat : 28894 (java) S 28878 28878 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225499984 15379197952 32775 33554432000 4194304 4196468 140727623329776 139864804682592 139867371525845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
[pid=28881/tid=28895] ppid=28878 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28881/task/28895/stat : 28895 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225499984 15379197952 32775 33554432000 4194304 4196468 140727623329776 139866337659440 139867371526786 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30703616 140727623336967 140727623337265 140727623337265 140727623339983 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 132492 KiB
[startup+1.50213 s]
/proc/loadavg: 2.01 2.05 2.37 4/222 28895
/proc/meminfo: memFree=23131364/32770624 swapFree=67108688/67108860
[pid=28878] ppid=28875 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/28878/stat : 28878 (scop.sh) S 28875 28878 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225499977 115843072 348 33554432000 4194304 5098028 140721998185520 140721998182776 140011035349628 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27037696 140721998189633 140721998189831 140721998189831 140721998192589 0
/proc/28878/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=28896/tid=28899] ppid=28878 vsize=8068220 memory=125860 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28899/stat : 28899 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225502552 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077748960272 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28900] ppid=28878 vsize=8068220 memory=125860 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28900/stat : 28900 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225502552 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077747907472 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28901] ppid=28878 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28901/stat : 28901 (java) S 28878 28878 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225502552 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077746854672 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28902] ppid=28878 vsize=8068220 memory=924 CPUtime=0.05 cores=0,2,4,6
/proc/28896/task/28902/stat : 28902 (java) S 28878 28878 23167 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 225502554 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077189499248 140077944560258 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28903] ppid=28878 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28903/stat : 28903 (java) S 28878 28878 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225502554 8261857280 31465 33554432000 4194304 4196468 140736612670864 140076801582112 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28904] ppid=28878 vsize=8068220 memory=125860 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28904/stat : 28904 (java) S 28878 28878 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225502554 8261857280 31465 33554432000 4194304 4196468 140736612670864 140076667360112 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28905] ppid=28878 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28905/stat : 28905 (java) S 28878 28878 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225502557 8261857280 31465 33554432000 4194304 4196468 140736612670864 140076292855632 140077944567707 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28906] ppid=28878 vsize=8068220 memory=1472 CPUtime=0.21 cores=0,2,4,6
/proc/28896/task/28906/stat : 28906 (java) S 28878 28878 23167 0 -1 1077944384 738 0 0 0 21 0 0 0 20 0 19 0 225502557 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077188447088 140077944560258 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28907] ppid=28878 vsize=8068220 memory=1296 CPUtime=0.25 cores=0,2,4,6
/proc/28896/task/28907/stat : 28907 (java) S 28878 28878 23167 0 -1 1077944384 733 0 0 0 25 0 0 0 20 0 19 0 225502557 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077187394288 140077944560258 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28908] ppid=28878 vsize=8068220 memory=4452 CPUtime=0.25 cores=0,2,4,6
/proc/28896/task/28908/stat : 28908 (java) S 28878 28878 23167 0 -1 1077944384 631 0 0 0 25 0 0 0 20 0 19 0 225502557 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077186341488 140077944560258 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28909] ppid=28878 vsize=8068220 memory=560860 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28909/stat : 28909 (java) S 28878 28878 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225502557 8261857280 31465 33554432000 4194304 4196468 140736612670864 140075794950880 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28910] ppid=28878 vsize=8068220 memory=868 CPUtime=1.57 cores=0,2,4,6
/proc/28896/task/28910/stat : 28910 (java) S 28878 28878 23167 0 -1 1077944384 159 0 0 0 84 73 0 0 20 0 19 0 225502557 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077185288880 140077944560258 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28912] ppid=28878 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28912/stat : 28912 (java) S 28878 28878 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225502643 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077177480384 140077944573721 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28914] ppid=28878 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28914/stat : 28914 (java) S 28878 28878 23167 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 225502644 8261857280 31465 33554432000 4194304 4196468 140736612670864 140075258064176 140077944571037 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28915] ppid=28878 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28915/stat : 28915 (java) S 28878 28878 23167 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 225502644 8261857280 31465 33554432000 4194304 4196468 140736612670864 140075392286896 140077944571037 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28916] ppid=28878 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28916/stat : 28916 (java) S 28878 28878 23167 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 225502646 8261857280 31465 33554432000 4194304 4196468 140736612670864 140074989641376 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
Current children cumulated CPU time: 2405.03 s
Current children cumulated vsize: 8831300 KiB
Current children cumulated memory: 690240 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/228 29301
/proc/meminfo: memFree=22331820/32770624 swapFree=67108688/67108860
[pid=28878] ppid=28875 vsize=113128 memory=1472 CPUtime=46.34 cores=0,2,4,6
/proc/28878/stat : 28878 (scop.sh) S 28875 28878 23167 0 -1 4202496 589 64944 0 0 0 0 4394 240 20 0 1 0 225499977 115843072 368 33554432000 4194304 5098028 140721998185520 140721998182264 140011035349628 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27037696 140721998189633 140721998189831 140721998189831 140721998192589 0
/proc/28878/statm: 28282 368 311 221 0 87 0
[pid=28896] ppid=28878 vsize=8068220 memory=125860 CPUtime=3.37 cores=0,2,4,6
/proc/28896/stat : 28896 (java) S 28878 28878 23167 0 -1 1077944320 18325 0 0 0 258 79 0 0 20 0 19 0 225502551 8261857280 31465 33554432000 4194304 4196468 140736612670864 140736612653408 140077944549111 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
/proc/28896/statm: 2017055 31465 3162 1 0 1978454 0
[pid=28911] ppid=28896 vsize=649952 memory=549452 CPUtime=2415.37 cores=0,2,4,6
/proc/28911/stat : 28911 (minisat_release) R 28896 28878 23167 0 -1 4202496 3362638 0 0 0 241281 256 0 0 20 0 1 0 225502643 665550848 137363 33554432000 4194304 4308513 140724536357872 140724536355320 4276008 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 14397440 140724536366196 140724536366294 140724536366294 140724536369093 0
/proc/28911/statm: 162488 137363 341 28 0 158728 0
[pid=28896/tid=28897] ppid=28878 vsize=8068220 memory=1472 CPUtime=0.94 cores=0,2,4,6
/proc/28896/task/28897/stat : 28897 (java) S 28878 28878 23167 0 -1 1077944384 14628 0 0 0 82 12 0 0 20 0 19 0 225502551 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077916389264 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28898] ppid=28878 vsize=8068220 memory=125860 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28898/stat : 28898 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225502552 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077948791952 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28899] ppid=28878 vsize=8068220 memory=125860 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28899/stat : 28899 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225502552 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077748960272 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28900] ppid=28878 vsize=8068220 memory=125860 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28900/stat : 28900 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225502552 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077747907472 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28901] ppid=28878 vsize=8068220 memory=125860 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28901/stat : 28901 (java) S 28878 28878 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225502552 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077746854672 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28902] ppid=28878 vsize=8068220 memory=125860 CPUtime=0.05 cores=0,2,4,6
/proc/28896/task/28902/stat : 28902 (java) S 28878 28878 23167 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 225502554 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077189499248 140077944560258 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28903] ppid=28878 vsize=8068220 memory=547404 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28903/stat : 28903 (java) S 28878 28878 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225502554 8261857280 31465 33554432000 4194304 4196468 140736612670864 140076801582112 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28904] ppid=28878 vsize=8068220 memory=125860 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28904/stat : 28904 (java) S 28878 28878 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225502554 8261857280 31465 33554432000 4194304 4196468 140736612670864 140076667360112 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28905] ppid=28878 vsize=8068220 memory=125860 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28905/stat : 28905 (java) S 28878 28878 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225502557 8261857280 31465 33554432000 4194304 4196468 140736612670864 140076292855632 140077944567707 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28906] ppid=28878 vsize=8068220 memory=125860 CPUtime=0.21 cores=0,2,4,6
/proc/28896/task/28906/stat : 28906 (java) S 28878 28878 23167 0 -1 1077944384 738 0 0 0 21 0 0 0 20 0 19 0 225502557 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077188447088 140077944560258 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28907] ppid=28878 vsize=8068220 memory=1472 CPUtime=0.25 cores=0,2,4,6
/proc/28896/task/28907/stat : 28907 (java) S 28878 28878 23167 0 -1 1077944384 733 0 0 0 25 0 0 0 20 0 19 0 225502557 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077187394288 140077944560258 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28908] ppid=28878 vsize=8068220 memory=125860 CPUtime=0.25 cores=0,2,4,6
/proc/28896/task/28908/stat : 28908 (java) S 28878 28878 23167 0 -1 1077944384 631 0 0 0 25 0 0 0 20 0 19 0 225502557 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077186341488 140077944560258 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28909] ppid=28878 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28909/stat : 28909 (java) S 28878 28878 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225502557 8261857280 31465 33554432000 4194304 4196468 140736612670864 140075794950880 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28910] ppid=28878 vsize=8068220 memory=125860 CPUtime=1.6 cores=0,2,4,6
/proc/28896/task/28910/stat : 28910 (java) S 28878 28878 23167 0 -1 1077944384 163 0 0 0 85 75 0 0 20 0 19 0 225502557 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077185288880 140077944560258 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28912] ppid=28878 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28912/stat : 28912 (java) S 28878 28878 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225502643 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077177480384 140077944573721 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28914] ppid=28878 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28914/stat : 28914 (java) S 28878 28878 23167 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 225502644 8261857280 31465 33554432000 4194304 4196468 140736612670864 140075258064176 140077944571037 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28915] ppid=28878 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28915/stat : 28915 (java) S 28878 28878 23167 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 225502644 8261857280 31465 33554432000 4194304 4196468 140736612670864 140075392286896 140077944571037 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28916] ppid=28878 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28916/stat : 28916 (java) S 28878 28878 23167 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 225502646 8261857280 31465 33554432000 4194304 4196468 140736612670864 140074989641376 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
Current children cumulated CPU time: 2465.08 s
Current children cumulated vsize: 8831300 KiB
Current children cumulated memory: 676784 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2497.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/228 29302
/proc/meminfo: memFree=22309620/32770624 swapFree=67108688/67108860
[pid=28878] ppid=28875 vsize=113128 memory=1472 CPUtime=46.34 cores=0,2,4,6
/proc/28878/stat : 28878 (scop.sh) S 28875 28878 23167 0 -1 4202496 589 64944 0 0 0 0 4394 240 20 0 1 0 225499977 115843072 368 33554432000 4194304 5098028 140721998185520 140721998182264 140011035349628 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27037696 140721998189633 140721998189831 140721998189831 140721998192589 0
/proc/28878/statm: 28282 368 311 221 0 87 0
[pid=28896] ppid=28878 vsize=8068220 memory=125860 CPUtime=3.4 cores=0,2,4,6
/proc/28896/stat : 28896 (java) S 28878 28878 23167 0 -1 1077944320 18327 0 0 0 260 80 0 0 20 0 19 0 225502551 8261857280 31465 33554432000 4194304 4196468 140736612670864 140736612653408 140077944549111 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
/proc/28896/statm: 2017055 31465 3162 1 0 1978454 0
[pid=28911] ppid=28896 vsize=649952 memory=561756 CPUtime=2470.26 cores=0,2,4,6
/proc/28911/stat : 28911 (minisat_release) R 28896 28878 23167 0 -1 4202496 3431549 0 0 0 246766 260 0 0 20 0 1 0 225502643 665550848 140439 33554432000 4194304 4308513 140724536357872 140724536355320 4250434 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 14397440 140724536366196 140724536366294 140724536366294 140724536369093 0
/proc/28911/statm: 162488 140439 341 28 0 158728 0
[pid=28896/tid=28897] ppid=28878 vsize=8068220 memory=561756 CPUtime=0.94 cores=0,2,4,6
/proc/28896/task/28897/stat : 28897 (java) S 28878 28878 23167 0 -1 1077944384 14628 0 0 0 82 12 0 0 20 0 19 0 225502551 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077916389264 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28898] ppid=28878 vsize=8068220 memory=-7824251494390649955 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28898/stat : 28898 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225502552 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077948791952 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28899] ppid=28878 vsize=8068220 memory=125860 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28899/stat : 28899 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225502552 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077748960272 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28900] ppid=28878 vsize=8068220 memory=559708 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28900/stat : 28900 (java) S 28878 28878 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225502552 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077747907472 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28901] ppid=28878 vsize=8068220 memory=1168 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28901/stat : 28901 (java) S 28878 28878 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225502552 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077746854672 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28902] ppid=28878 vsize=8068220 memory=2336 CPUtime=0.05 cores=0,2,4,6
/proc/28896/task/28902/stat : 28902 (java) S 28878 28878 23167 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 225502554 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077189499248 140077944560258 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28903] ppid=28878 vsize=8068220 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28903/stat : 28903 (java) S 28878 28878 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225502554 8261857280 31465 33554432000 4194304 4196468 140736612670864 140076801582112 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28904] ppid=28878 vsize=8068220 memory=924 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28904/stat : 28904 (java) S 28878 28878 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225502554 8261857280 31465 33554432000 4194304 4196468 140736612670864 140076667360112 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28905] ppid=28878 vsize=8068220 memory=125860 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28905/stat : 28905 (java) S 28878 28878 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225502557 8261857280 31465 33554432000 4194304 4196468 140736612670864 140076292855632 140077944567707 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28906] ppid=28878 vsize=8068220 memory=-7824251494390649955 CPUtime=0.21 cores=0,2,4,6
/proc/28896/task/28906/stat : 28906 (java) S 28878 28878 23167 0 -1 1077944384 738 0 0 0 21 0 0 0 20 0 19 0 225502557 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077188447088 140077944560258 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28907] ppid=28878 vsize=8068220 memory=1408 CPUtime=0.25 cores=0,2,4,6
/proc/28896/task/28907/stat : 28907 (java) S 28878 28878 23167 0 -1 1077944384 733 0 0 0 25 0 0 0 20 0 19 0 225502557 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077187394288 140077944560258 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28908] ppid=28878 vsize=8068220 memory=3564 CPUtime=0.25 cores=0,2,4,6
/proc/28896/task/28908/stat : 28908 (java) S 28878 28878 23167 0 -1 1077944384 631 0 0 0 25 0 0 0 20 0 19 0 225502557 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077186341488 140077944560258 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28909] ppid=28878 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28909/stat : 28909 (java) S 28878 28878 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225502557 8261857280 31465 33554432000 4194304 4196468 140736612670864 140075794950880 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28910] ppid=28878 vsize=8068220 memory=125856 CPUtime=1.63 cores=0,2,4,6
/proc/28896/task/28910/stat : 28910 (java) S 28878 28878 23167 0 -1 1077944384 165 0 0 0 87 76 0 0 20 0 19 0 225502557 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077185288880 140077944560258 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28912] ppid=28878 vsize=8068220 memory=566024 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28912/stat : 28912 (java) S 28878 28878 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225502643 8261857280 31465 33554432000 4194304 4196468 140736612670864 140077177480384 140077944573721 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28914] ppid=28878 vsize=8068220 memory=-7824251494390455657 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28914/stat : 28914 (java) S 28878 28878 23167 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 225502644 8261857280 31465 33554432000 4194304 4196468 140736612670864 140075258064176 140077944571037 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28915] ppid=28878 vsize=8068220 memory=1924 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28915/stat : 28915 (java) S 28878 28878 23167 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 225502644 8261857280 31465 33554432000 4194304 4196468 140736612670864 140075392286896 140077944571037 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
[pid=28896/tid=28916] ppid=28878 vsize=8068220 memory=7284 CPUtime=0 cores=0,2,4,6
/proc/28896/task/28916/stat : 28916 (java) S 28878 28878 23167 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 225502646 8261857280 31465 33554432000 4194304 4196468 140736612670864 140074989641376 140077944559317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27406336 140736612676789 140736612676913 140736612676913 140736612679631 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 8831300 KiB
Current children cumulated memory: 689088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2497.21 s]
# the end of solver process 28878 was just reported to runsolver
# cumulated CPU time of all completed processes: user=43.9505 s, system=2.40694 s
[startup+2497.26 s]
# the end of solver process 28896 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.22 s, system=5.87133 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): 2497.26
CPU time (s): 2520.09
CPU user time (s): 2514.22
CPU system time (s): 5.87133
CPU usage (%): 100.914
Max. virtual memory (cumulated for all children) (KiB): 15144296
Max. memory (cumulated for all children) (KiB): 4258272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.22
system time used= 5.87133
maximum resident set size= 4256988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3515954
page faults= 0
swaps= 0
block input operations= 0
block output operations= 139056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61829
involuntary context switches= 1587
# summary of solver processes directly reported to runsolver:
# pid: 28878,28896
# total CPU time (s): 2520.09
# total CPU user time (s): 2514.22
# total CPU system time (s): 5.87133
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.319 second user time and 26.9814 second system time
The end