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-29191-serial-file.bin HOME/instance-4305563-1534079541.xml
0.55/0.51
0.55/0.51 scop both+minisat_release (2018-07-31)
0.55/0.51 (Encoding Process)
0.55/0.51
0.66/0.54 c BEGIN-Prog: Sun Aug 12 15:12:22 CEST 2018
0.66/0.54 c PID: 29194
0.66/0.54 c IP: 172.20.3.106
0.66/0.54 c HOST: node106.alineos.net
0.66/0.55 c (0,0) Parsing Begin
3.00/1.40 c (0,0) Parsing End
3.27/1.41 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1459 ctr, max domain size 27
3.27/1.41 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.27/1.41 c (0,0) Constraint Name Generate Begin
3.27/1.44 c (0,0) Ctr:HOME/instance-4305563-1534079541.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.27/1.44 c (0,0) Constraint Name Generate End
3.27/1.44 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.27/1.44 c (0,0) CSP to CSPinCNF Begin
13.23/5.14 c (4,4) translated 146 (10%) constraints
13.64/5.59 c (5,4) translated 292 (20%) constraints
13.83/5.61 c (5,4) translated 438 (30%) constraints
13.83/5.64 c (5,4) translated 584 (40%) constraints
13.83/5.67 c (5,5) translated 730 (50%) constraints
13.83/5.69 c (5,5) translated 876 (60%) constraints
14.21/5.70 c (5,5) translated 1022 (70%) constraints
14.21/5.72 c (5,5) translated 1168 (80%) constraints
16.54/7.45 c (6,6) translated 1314 (90%) constraints
17.46/8.26 c (7,7) translated 1459 (100%) constraints
18.74/8.77 c (8,8) STATISTICS1:HOME/instance-4305563-1534079541.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,17000,58485,9223372036854775807,27,26,200,9223372036854775807:270;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:3;34359738368:1;17179869184:3;8589934592:1;2147483648:3;536870912:2;268435456:2;134217728:1;33554432:3;8388608:1;4194304:1;524288:1;16:392;4:396;2:199,27:21200;2:162761,26:200;3:30400;2:26600;1:1285,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: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:3;36:1;35:3;34:1;32:3;30:2;29:2;28:1;26:3;24:1;23:1;20:1;5:392;3:396;2:199;1:149400;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:3;1764:1
18.74/8.78 c (8,8) ==========================================
18.74/8.78 c (8,8) Both Encoding selects:
18.74/8.78 c (8,8) Log
18.74/8.78 c (8,8) ==========================================
20.25/9.34 c (8,8) translated 5849 (10%) constraints
20.79/9.56 c (9,8) translated 11697 (20%) constraints
21.02/9.66 c (9,8) translated 17546 (30%) constraints
21.16/9.74 c (9,8) translated 23394 (40%) constraints
21.26/9.82 c (9,9) translated 29243 (50%) constraints
21.36/9.90 c (9,9) translated 35091 (60%) constraints
21.36/9.98 c (9,9) translated 40940 (70%) constraints
21.47/10.07 c (9,9) translated 46788 (80%) constraints
21.57/10.15 c (9,9) translated 52637 (90%) constraints
22.53/10.69 c (10,9) translated 58485 (100%) constraints
22.53/10.69 c (10,9) CSP to CSPinCNF End
22.64/10.70 c (10,9) CSP: 200 int (0 aux), 22200 bool (21200 aux), 69312 ctr, max domain size 27
22.64/10.70 c (10,9) Heap : 1962 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.64/10.70 c (10,9) CSPinCNF Propagation Begin
23.68/11.36 c (10,10) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
23.68/11.36 c (10,10) CSPinCNF Propagation End
23.68/11.36 c (10,10) CSP: 200 int (0 aux), 22200 bool (21200 aux), 68912 ctr, max domain size 27
23.68/11.36 c (10,10) Heap : 2289 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.68/11.36 c (10,10) Simplify CSPinCNF Begin
24.09/11.51 c (10,10) Simplify CSPinCNF End
24.09/11.51 c (10,10) CSP: 200 int (0 aux), 22200 bool (21200 aux), 68912 ctr, max domain size 27
24.09/11.51 c (10,10) Heap : 2344 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.09/11.51 c (10,10) Calculate Precise Domain Begin
24.09/11.51 c (10,10) 0 values are removed by re-calculation
24.09/11.51 c (10,10) Calculate Precise Domain End
24.09/11.52 c (10,10) CSP: 200 int (0 aux), 22200 bool (21200 aux), 68912 ctr, max domain size 27
24.09/11.52 c (10,10) Heap : 2344 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.09/11.52 c (11,10) CSPinCNF to SatSolver Begin
27.99/13.16 c (12,12) 6892 (10 %) CSP clauses are being encoded (127815 SAT variables, 280992 SAT clauses)
28.70/13.50 c (12,12) 13783 (20 %) CSP clauses are being encoded (152012 SAT variables, 332834 SAT clauses)
29.05/13.83 c (13,12) 20674 (30 %) CSP clauses are being encoded (177139 SAT variables, 386542 SAT clauses)
29.37/14.09 c (13,13) 27565 (40 %) CSP clauses are being encoded (184024 SAT variables, 405854 SAT clauses)
29.78/14.24 c (13,13) 34456 (50 %) CSP clauses are being encoded (190210 SAT variables, 423657 SAT clauses)
29.88/14.38 c (13,13) 41348 (60 %) CSP clauses are being encoded (196532 SAT variables, 441703 SAT clauses)
30.09/14.53 c (14,13) 48239 (70 %) CSP clauses are being encoded (202892 SAT variables, 459814 SAT clauses)
30.19/14.68 c (14,13) 55130 (80 %) CSP clauses are being encoded (209252 SAT variables, 477925 SAT clauses)
30.38/14.82 c (14,13) 62021 (90 %) CSP clauses are being encoded (215400 SAT variables, 495662 SAT clauses)
44.95/24.69 c (24,22) 68912 (100 %) CSP clauses are being encoded (1130577 SAT variables, 3196672 SAT clauses)
45.05/24.75 c (24,22) Launch Command will be: minisat_release
45.05/24.75 c (24,22) CSPinCNF to SatSolver End
45.05/24.75 c (24,22) Heap : 943 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
46.20/25.20 c (24,22) STATISTICS2:HOME/instance-4305563-1534079541.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,22400,68912,9223372036854775807,27,25,200,9223372036854775807:270;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:3;34359738368:1;17179869184:3;8589934592:1;2147483648:3;536870912:2;268435456:2;134217728:1;33554432:3;8388608:1;4194304:1;524288:1;16:392;4:396;2:199,27:31200;2:183961,25:200;3:30000;2:37400;1:1312,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: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:3;36:1;35:3;34:1;32:3;30:2;29:2;28:1;26:3;24:1;23:1;20:1;5:392;3:396;2:199;1:169800,2:270
46.20/25.20 c (24,22) 1136247 bool, 3213557 clause
46.20/25.20 c (24,22) Export Begin
46.70/25.46 c (24,23) Export to HOME/scop-29191-serial-file.bin
46.70/25.46 c (24,23) Export End
46.70/25.46 c (24,23) Export File Size: 0.61 MB
46.70/25.46 c (24,23) 0,0,10,10,10,11,24,STOP-AFTER(DIMACS)
46.70/25.46 c END-Prog: Sun Aug 12 15:12:46 CEST 2018
46.70/25.49 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-29191-serial-file.bin
46.86/25.99 c (0,0) Read Serial File Begin
46.86/25.99 c (0,0) HOME/scop-29191-serial-file.bin
48.15/26.34 c (0,0) Read Serial File End
48.15/26.36
48.15/26.36 scop log+minisat_release (2018-07-31)
48.15/26.36 (Solving Process)
48.15/26.36
48.15/26.38 c BEGIN-Prog: Sun Aug 12 15:12:47 CEST 2018
48.15/26.38 c PID: 29209
48.15/26.38 c IP: 172.20.3.106
48.15/26.38 c HOST: node106.alineos.net
48.15/26.38 c (0,0) SatSolver.solve Begin
48.15/26.38 c (0,0) 0 bool, 0 clause
48.15/26.38 c (0,0) minisat_release HOME/instance-4305563-1534079541.xml-scop-29194.cnf
2520.09/2496.70 c (2470,0) receiving signal SIGTERM
2520.09/2496.70 s UNKNOWN
2520.09/2496.71 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.09/2496.71 c (scop.sh) Remove HOME/scop-29191-serial-file.bin.
2520.09/2496.71 c (scop.sh) Killing background jobs.
2520.09/2496.71 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 (9100 MiB free)
memory of node 1: 16384 MiB (13449 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305563-1534079541/watcher-4305563-1534079541 -o /tmp/evaluation-result-4305563-1534079541/solver-4305563-1534079541 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23199 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305563-1534079541.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29191, runsolver pid=29188
[startup+0.100067 s]*
/proc/loadavg: 2.13 2.11 2.33 3/223 29208
/proc/meminfo: memFree=23029660/32770624 swapFree=67108688/67108860
[pid=29191] ppid=29188 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/29191/stat : 29191 (scop.sh) S 29188 29191 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225516963 115843072 349 33554432000 4194304 5098028 140728720762352 140728720759608 140392287470204 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40419328 140728720770113 140728720770311 140728720770311 140728720773069 0
/proc/29191/statm: 28282 349 296 221 0 87 0
[pid=29194] ppid=29191 vsize=15012476 memory=74372 CPUtime=0.11 cores=1,3,5,7
/proc/29194/stat : 29194 (java) S 29191 29191 23167 0 -1 1077944320 6661 0 0 0 9 2 0 0 20 0 15 0 225516964 15372775424 18527 33554432000 4194304 4196468 140733983573360 140733983555904 140441832091383 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
/proc/29194/statm: 3753119 18527 2772 1 0 3715579 0
[pid=29194/tid=29195] ppid=29191 vsize=15012476 memory=-6078870780940435391 CPUtime=0.09 cores=1,3,5,7
/proc/29194/task/29195/stat : 29195 (java) R 29191 29191 23167 0 -1 4202560 4783 0 0 0 8 1 0 0 20 0 15 0 225516964 15372775424 18593 33554432000 4194304 4196468 140733983573360 140441803903368 140441812367143 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29196] ppid=29191 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29196/stat : 29196 (java) S 29191 29191 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225516965 15372775424 18593 33554432000 4194304 4196468 140733983573360 140441836333968 140441832101589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29197] ppid=29191 vsize=15012476 memory=140138166670976 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29197/stat : 29197 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225516966 15372775424 18593 33554432000 4194304 4196468 140733983573360 140441612036880 140441832101589 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29198] ppid=29191 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29198/stat : 29198 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225516966 15372775424 18593 33554432000 4194304 4196468 140733983573360 140441610984592 140441832101589 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29199] ppid=29191 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29199/stat : 29199 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225516966 15372775424 18593 33554432000 4194304 4196468 140733983573360 140441609931792 140441832101589 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29200] ppid=29191 vsize=15012476 memory=140138166670976 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29200/stat : 29200 (java) S 29191 29191 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225516967 15372775424 18593 33554432000 4194304 4196468 140733983573360 140441171224688 140441832102530 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29201] ppid=29191 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29201/stat : 29201 (java) S 29191 29191 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225516967 15372775424 18593 33554432000 4194304 4196468 140733983573360 140440464515872 140441832101589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29202] ppid=29191 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29202/stat : 29202 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225516968 15372775424 18593 33554432000 4194304 4196468 140733983573360 140440196080752 140441832101589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29203] ppid=29191 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29203/stat : 29203 (java) S 29191 29191 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225516970 15372775424 18659 33554432000 4194304 4196468 140733983573360 140439821572176 140441832109979 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29204] ppid=29191 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29204/stat : 29204 (java) S 29191 29191 23167 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 225516970 15372775424 18659 33554432000 4194304 4196468 140733983573360 140441170172528 140441832102530 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29205] ppid=29191 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29205/stat : 29205 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225516970 15372775424 18659 33554432000 4194304 4196468 140733983573360 140441169119728 140441832102530 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29206] ppid=29191 vsize=15012476 memory=140138166670976 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29206/stat : 29206 (java) S 29191 29191 23167 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 15 0 225516970 15372775424 18659 33554432000 4194304 4196468 140733983573360 140441168067440 140441832102530 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29207] ppid=29191 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29207/stat : 29207 (java) S 29191 29191 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225516970 15372775424 18659 33554432000 4194304 4196468 140733983573360 140439323667424 140441832101589 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29208] ppid=29191 vsize=15012476 memory=140138166670976 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29208/stat : 29208 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225516970 15372775424 18659 33554432000 4194304 4196468 140733983573360 140441167014320 140441832102530 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75768 KiB
[startup+0.21065 s]*
/proc/loadavg: 2.13 2.11 2.33 4/223 29208
/proc/meminfo: memFree=23016080/32770624 swapFree=67108688/67108860
[pid=29191] ppid=29188 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/29191/stat : 29191 (scop.sh) S 29188 29191 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225516963 115843072 349 33554432000 4194304 5098028 140728720762352 140728720759608 140392287470204 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40419328 140728720770113 140728720770311 140728720770311 140728720773069 0
/proc/29191/statm: 28282 349 296 221 0 87 0
[pid=29194] ppid=29191 vsize=15012476 memory=86648 CPUtime=0.26 cores=1,3,5,7
/proc/29194/stat : 29194 (java) S 29191 29191 23167 0 -1 1077944320 10019 0 0 0 23 3 0 0 20 0 15 0 225516964 15372775424 21662 33554432000 4194304 4196468 140733983573360 140733983555904 140441832091383 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
/proc/29194/statm: 3753119 21662 2873 1 0 3715579 0
[pid=29194/tid=29195] ppid=29191 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/29194/task/29195/stat : 29195 (java) R 29191 29191 23167 0 -1 4202560 7921 0 0 0 17 2 0 0 20 0 15 0 225516964 15372775424 21662 33554432000 4194304 4196468 140733983573360 140441803917888 140441824328510 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29196] ppid=29191 vsize=15012476 memory=546 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29196/stat : 29196 (java) S 29191 29191 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225516965 15372775424 21662 33554432000 4194304 4196468 140733983573360 140441836333968 140441832101589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29197] ppid=29191 vsize=15012476 memory=288370514318382720 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29197/stat : 29197 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225516966 15372775424 21662 33554432000 4194304 4196468 140733983573360 140441612036880 140441832101589 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29198] ppid=29191 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29198/stat : 29198 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225516966 15372775424 21662 33554432000 4194304 4196468 140733983573360 140441610984592 140441832101589 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29199] ppid=29191 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29199/stat : 29199 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225516966 15372775424 21662 33554432000 4194304 4196468 140733983573360 140441609931792 140441832101589 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29200] ppid=29191 vsize=15012476 memory=140138166670976 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29200/stat : 29200 (java) S 29191 29191 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225516967 15372775424 21662 33554432000 4194304 4196468 140733983573360 140441171224688 140441832102530 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29201] ppid=29191 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29201/stat : 29201 (java) S 29191 29191 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225516967 15372775424 21662 33554432000 4194304 4196468 140733983573360 140440464515872 140441832101589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29202] ppid=29191 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29202/stat : 29202 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225516968 15372775424 21662 33554432000 4194304 4196468 140733983573360 140440196080752 140441832101589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29203] ppid=29191 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29203/stat : 29203 (java) S 29191 29191 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225516970 15372775424 21662 33554432000 4194304 4196468 140733983573360 140439821572176 140441832109979 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29204] ppid=29191 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29194/task/29204/stat : 29204 (java) R 29191 29191 23167 0 -1 4202560 456 0 0 0 1 0 0 0 20 0 15 0 225516970 15372775424 21662 33554432000 4194304 4196468 140733983573360 140441170172528 140441813267543 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29205] ppid=29191 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29205/stat : 29205 (java) R 29191 29191 23167 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 15 0 225516970 15372775424 21662 33554432000 4194304 4196468 140733983573360 140441169119728 140441816973025 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29206] ppid=29191 vsize=15012476 memory=140138166670976 CPUtime=0.03 cores=1,3,5,7
/proc/29194/task/29206/stat : 29206 (java) S 29191 29191 23167 0 -1 1077944384 288 0 0 0 3 0 0 0 20 0 15 0 225516970 15372775424 21662 33554432000 4194304 4196468 140733983573360 140441168067440 140441832102530 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29207] ppid=29191 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29207/stat : 29207 (java) S 29191 29191 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225516970 15372775424 21662 33554432000 4194304 4196468 140733983573360 140439323667424 140441832101589 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29208] ppid=29191 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29208/stat : 29208 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225516970 15372775424 21662 33554432000 4194304 4196468 140733983573360 140441167014320 140441832102530 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88044 KiB
[startup+0.310738 s]*
/proc/loadavg: 2.13 2.11 2.33 3/223 29208
/proc/meminfo: memFree=23012420/32770624 swapFree=67108688/67108860
[pid=29191] ppid=29188 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/29191/stat : 29191 (scop.sh) S 29188 29191 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225516963 115843072 349 33554432000 4194304 5098028 140728720762352 140728720759608 140392287470204 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40419328 140728720770113 140728720770311 140728720770311 140728720773069 0
/proc/29191/statm: 28282 349 296 221 0 87 0
[pid=29194] ppid=29191 vsize=15012476 memory=90164 CPUtime=0.43 cores=1,3,5,7
/proc/29194/stat : 29194 (java) S 29191 29191 23167 0 -1 1077944320 10556 0 0 0 40 3 0 0 20 0 15 0 225516964 15372775424 22541 33554432000 4194304 4196468 140733983573360 140733983555904 140441832091383 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
/proc/29194/statm: 3753119 22541 2970 1 0 3715579 0
[pid=29194/tid=29195] ppid=29191 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/29194/task/29195/stat : 29195 (java) R 29191 29191 23167 0 -1 4202560 8301 0 0 0 27 2 0 0 20 0 15 0 225516964 15372775424 22541 33554432000 4194304 4196468 140733983573360 140441803918096 140441816171870 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29196] ppid=29191 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29196/stat : 29196 (java) S 29191 29191 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225516965 15372775424 22541 33554432000 4194304 4196468 140733983573360 140441836333968 140441832101589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29197] ppid=29191 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29197/stat : 29197 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225516966 15372775424 22541 33554432000 4194304 4196468 140733983573360 140441612036880 140441832101589 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29198] ppid=29191 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29198/stat : 29198 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225516966 15372775424 22541 33554432000 4194304 4196468 140733983573360 140441610984592 140441832101589 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29199] ppid=29191 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29199/stat : 29199 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225516966 15372775424 22541 33554432000 4194304 4196468 140733983573360 140441609931792 140441832101589 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29200] ppid=29191 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29200/stat : 29200 (java) S 29191 29191 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225516967 15372775424 22541 33554432000 4194304 4196468 140733983573360 140441171224688 140441832102530 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29201] ppid=29191 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29201/stat : 29201 (java) S 29191 29191 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225516967 15372775424 22541 33554432000 4194304 4196468 140733983573360 140440464515872 140441832101589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29202] ppid=29191 vsize=15012476 memory=-6664436420846798482 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29202/stat : 29202 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225516968 15372775424 22541 33554432000 4194304 4196468 140733983573360 140440196080752 140441832101589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29203] ppid=29191 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29203/stat : 29203 (java) S 29191 29191 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225516970 15372775424 22541 33554432000 4194304 4196468 140733983573360 140439821572176 140441832109979 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29204] ppid=29191 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29194/task/29204/stat : 29204 (java) S 29191 29191 23167 0 -1 1077944384 504 0 0 0 2 0 0 0 20 0 15 0 225516970 15372775424 22541 33554432000 4194304 4196468 140733983573360 140441170172528 140441832102530 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29205] ppid=29191 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29194/task/29205/stat : 29205 (java) S 29191 29191 23167 0 -1 1077944384 112 0 0 0 2 0 0 0 20 0 15 0 225516970 15372775424 22541 33554432000 4194304 4196468 140733983573360 140441169119728 140441832102530 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29206] ppid=29191 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29194/task/29206/stat : 29206 (java) S 29191 29191 23167 0 -1 1077944384 307 0 0 0 7 0 0 0 20 0 15 0 225516970 15372775424 22541 33554432000 4194304 4196468 140733983573360 140441168067440 140441832102530 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29207] ppid=29191 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29207/stat : 29207 (java) S 29191 29191 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225516970 15372775424 22541 33554432000 4194304 4196468 140733983573360 140439323667424 140441832101589 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29208] ppid=29191 vsize=15012476 memory=3905525982033944625 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29208/stat : 29208 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225516970 15372775424 22541 33554432000 4194304 4196468 140733983573360 140441167014320 140441832102530 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91560 KiB
[startup+0.700749 s]
/proc/loadavg: 2.13 2.11 2.33 4/223 29208
/proc/meminfo: memFree=22988360/32770624 swapFree=67108688/67108860
[pid=29191] ppid=29188 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/29191/stat : 29191 (scop.sh) S 29188 29191 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225516963 115843072 349 33554432000 4194304 5098028 140728720762352 140728720759608 140392287470204 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40419328 140728720770113 140728720770311 140728720770311 140728720773069 0
/proc/29191/statm: 28282 349 296 221 0 87 0
[pid=29194] ppid=29191 vsize=15020872 memory=132288 CPUtime=1.06 cores=1,3,5,7
/proc/29194/stat : 29194 (java) S 29191 29191 23167 0 -1 1077944320 17660 0 0 0 100 6 0 0 20 0 15 0 225516964 15381372928 33072 33554432000 4194304 4196468 140733983573360 140733983555904 140441832091383 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
/proc/29194/statm: 3755218 33072 3165 1 0 3716603 0
[pid=29194/tid=29195] ppid=29191 vsize=15020872 memory=2372 CPUtime=0.67 cores=1,3,5,7
/proc/29194/task/29195/stat : 29195 (java) R 29191 29191 23167 0 -1 4202560 14800 0 0 0 62 5 0 0 20 0 15 0 225516964 15381372928 33072 33554432000 4194304 4196468 140733983573360 140441803927472 140441832113309 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29196] ppid=29191 vsize=15020872 memory=116 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29196/stat : 29196 (java) S 29191 29191 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225516965 15381372928 33072 33554432000 4194304 4196468 140733983573360 140441836333968 140441832101589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29197] ppid=29191 vsize=15020872 memory=12868 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29197/stat : 29197 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225516966 15381372928 33072 33554432000 4194304 4196468 140733983573360 140441612036880 140441832101589 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29198] ppid=29191 vsize=15020872 memory=26497 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29198/stat : 29198 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225516966 15381372928 33072 33554432000 4194304 4196468 140733983573360 140441610984592 140441832101589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29199] ppid=29191 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29199/stat : 29199 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225516966 15381372928 33072 33554432000 4194304 4196468 140733983573360 140441609931792 140441832101589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29200] ppid=29191 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29200/stat : 29200 (java) S 29191 29191 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225516967 15381372928 33072 33554432000 4194304 4196468 140733983573360 140441171224688 140441832102530 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29201] ppid=29191 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29201/stat : 29201 (java) S 29191 29191 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225516967 15381372928 33072 33554432000 4194304 4196468 140733983573360 140440464515872 140441832101589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29202] ppid=29191 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29202/stat : 29202 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225516968 15381372928 33072 33554432000 4194304 4196468 140733983573360 140440196080752 140441832101589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29203] ppid=29191 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29203/stat : 29203 (java) S 29191 29191 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225516970 15381372928 33072 33554432000 4194304 4196468 140733983573360 140439821572176 140441832109979 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29204] ppid=29191 vsize=15020872 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29194/task/29204/stat : 29204 (java) S 29191 29191 23167 0 -1 1077944384 610 0 0 0 8 0 0 0 20 0 15 0 225516970 15381372928 33072 33554432000 4194304 4196468 140733983573360 140441170172528 140441832102530 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29205] ppid=29191 vsize=15020872 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/29194/task/29205/stat : 29205 (java) R 29191 29191 23167 0 -1 4202560 453 0 0 0 12 0 0 0 20 0 15 0 225516970 15381372928 33072 33554432000 4194304 4196468 140733983573360 140441169111680 140441811310024 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29206] ppid=29191 vsize=15020872 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/29194/task/29206/stat : 29206 (java) S 29191 29191 23167 0 -1 1077944384 462 0 0 0 17 0 0 0 20 0 15 0 225516970 15381372928 33072 33554432000 4194304 4196468 140733983573360 140441168067440 140441832102530 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29207] ppid=29191 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29207/stat : 29207 (java) S 29191 29191 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225516970 15381372928 33072 33554432000 4194304 4196468 140733983573360 140439323667424 140441832101589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
[pid=29194/tid=29208] ppid=29191 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29194/task/29208/stat : 29208 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225516970 15381372928 33072 33554432000 4194304 4196468 140733983573360 140441167014320 140441832102530 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8740864 140733983581191 140733983581489 140733983581489 140733983584207 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 133684 KiB
[startup+1.50085 s]
/proc/loadavg: 2.13 2.11 2.33 4/223 29208
/proc/meminfo: memFree=22948408/32770624 swapFree=67108688/67108860
[pid=29191] ppid=29188 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/29191/stat : 29191 (scop.sh) S 29188 29191 23167 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225516963 115843072 349 33554432000 4194304 5098028 140728720762352 140728720759608 140392287470204 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40419328 140728720770113 140728720770311 140728720770311 140728720773069 0
/proc/29191/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=29209/tid=29212] ppid=29191 vsize=8068220 memory=125856 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29212/stat : 29212 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225519515 8261857280 31464 33554432000 4194304 4196468 140725074862384 140057303645328 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29213] ppid=29191 vsize=8068220 memory=560748 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29213/stat : 29213 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225519515 8261857280 31464 33554432000 4194304 4196468 140725074862384 140057302592272 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29214] ppid=29191 vsize=8068220 memory=2192 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29214/stat : 29214 (java) S 29191 29191 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225519515 8261857280 31464 33554432000 4194304 4196468 140725074862384 140057301539728 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29215] ppid=29191 vsize=8068220 memory=3980 CPUtime=0.06 cores=1,3,5,7
/proc/29209/task/29215/stat : 29215 (java) S 29191 29191 23167 0 -1 1077944384 7 0 0 0 2 4 0 0 20 0 19 0 225519516 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056945715440 140057499245186 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29216] ppid=29191 vsize=8068220 memory=1924 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29216/stat : 29216 (java) S 29191 29191 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225519517 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056333378720 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29217] ppid=29191 vsize=8068220 memory=560748 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29217/stat : 29217 (java) S 29191 29191 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225519517 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056199156464 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29218] ppid=29191 vsize=8068220 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29218/stat : 29218 (java) S 29191 29191 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225519520 8261857280 31464 33554432000 4194304 4196468 140725074862384 140055824652240 140057499252635 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29219] ppid=29191 vsize=8068220 memory=1472 CPUtime=0.24 cores=1,3,5,7
/proc/29209/task/29219/stat : 29219 (java) S 29191 29191 23167 0 -1 1077944384 875 0 0 0 24 0 0 0 20 0 19 0 225519520 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056944663280 140057499245186 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29220] ppid=29191 vsize=8068220 memory=-7824251494390455657 CPUtime=0.23 cores=1,3,5,7
/proc/29209/task/29220/stat : 29220 (java) S 29191 29191 23167 0 -1 1077944384 618 0 0 0 22 1 0 0 20 0 19 0 225519520 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056943610736 140057499245186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29221] ppid=29191 vsize=8068220 memory=560748 CPUtime=0.26 cores=1,3,5,7
/proc/29209/task/29221/stat : 29221 (java) S 29191 29191 23167 0 -1 1077944384 637 0 0 0 25 1 0 0 20 0 19 0 225519520 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056942557680 140057499245186 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29222] ppid=29191 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29222/stat : 29222 (java) S 29191 29191 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225519520 8261857280 31464 33554432000 4194304 4196468 140725074862384 140055326747488 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29223] ppid=29191 vsize=8068220 memory=125856 CPUtime=1.35 cores=1,3,5,7
/proc/29209/task/29223/stat : 29223 (java) S 29191 29191 23167 0 -1 1077944384 163 0 0 0 62 73 0 0 20 0 19 0 225519520 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056941505072 140057499245186 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29225] ppid=29191 vsize=8068220 memory=560748 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29225/stat : 29225 (java) S 29191 29191 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225519604 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056937985344 140057499258649 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29227] ppid=29191 vsize=8068220 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29227/stat : 29227 (java) S 29191 29191 23167 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 225519604 8261857280 31464 33554432000 4194304 4196468 140725074862384 140054789860784 140057499255965 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29228] ppid=29191 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29228/stat : 29228 (java) S 29191 29191 23167 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 225519605 8261857280 31464 33554432000 4194304 4196468 140725074862384 140054521430064 140057499255965 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29229] ppid=29191 vsize=8068220 memory=125856 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29229/stat : 29229 (java) S 29191 29191 23167 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 225519607 8261857280 31464 33554432000 4194304 4196468 140725074862384 140054924091168 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
Current children cumulated CPU time: 2465.67 s
Current children cumulated vsize: 8845352 KiB
Current children cumulated memory: 690124 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2496.7 s]
/proc/loadavg: 2.09 2.06 2.05 3/228 29406
/proc/meminfo: memFree=22833556/32770624 swapFree=67108688/67108860
[pid=29191] ppid=29188 vsize=113128 memory=1472 CPUtime=46.86 cores=1,3,5,7
/proc/29191/stat : 29191 (scop.sh) S 29188 29191 23167 0 -1 4202496 590 60767 0 0 0 0 4452 234 20 0 1 0 225516963 115843072 368 33554432000 4194304 5098028 140728720762352 140728720759096 140392287470204 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40419328 140728720770113 140728720770311 140728720770311 140728720773069 0
/proc/29191/statm: 28282 368 311 221 0 87 0
[pid=29209] ppid=29191 vsize=8068220 memory=125856 CPUtime=3.14 cores=1,3,5,7
/proc/29209/stat : 29209 (java) S 29191 29191 23167 0 -1 1077944320 18850 0 0 0 226 88 0 0 20 0 19 0 225519513 8261857280 31464 33554432000 4194304 4196468 140725074862384 140725074844928 140057499234039 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
/proc/29209/statm: 2017055 31464 3154 1 0 1978454 0
[pid=29224] ppid=29209 vsize=664004 memory=570988 CPUtime=2470.09 cores=1,3,5,7
/proc/29224/stat : 29224 (minisat_release) R 29209 29191 23167 0 -1 4202496 2854604 0 0 0 246789 220 0 0 20 0 1 0 225519604 679940096 142747 33554432000 4194304 4308513 140731364309840 140731364307288 4276019 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 9605120 140731364316276 140731364316374 140731364316374 140731364319173 0
/proc/29224/statm: 166001 142747 340 28 0 162241 0
[pid=29209/tid=29210] ppid=29191 vsize=8068220 memory=1472 CPUtime=0.93 cores=1,3,5,7
/proc/29209/task/29210/stat : 29210 (java) S 29191 29191 23167 0 -1 1077944384 15120 0 0 0 80 13 0 0 20 0 19 0 225519514 8261857280 31464 33554432000 4194304 4196468 140725074862384 140057471074192 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29211] ppid=29191 vsize=8068220 memory=125856 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29211/stat : 29211 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225519515 8261857280 31464 33554432000 4194304 4196468 140725074862384 140057503476752 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29212] ppid=29191 vsize=8068220 memory=570988 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29212/stat : 29212 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225519515 8261857280 31464 33554432000 4194304 4196468 140725074862384 140057303645328 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29213] ppid=29191 vsize=8068220 memory=568940 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29213/stat : 29213 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225519515 8261857280 31464 33554432000 4194304 4196468 140725074862384 140057302592272 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29214] ppid=29191 vsize=8068220 memory=125856 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29214/stat : 29214 (java) S 29191 29191 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225519515 8261857280 31464 33554432000 4194304 4196468 140725074862384 140057301539728 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29215] ppid=29191 vsize=8068220 memory=564844 CPUtime=0.06 cores=1,3,5,7
/proc/29209/task/29215/stat : 29215 (java) S 29191 29191 23167 0 -1 1077944384 7 0 0 0 2 4 0 0 20 0 19 0 225519516 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056945715440 140057499245186 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29216] ppid=29191 vsize=8068220 memory=570988 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29216/stat : 29216 (java) S 29191 29191 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225519517 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056333378720 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29217] ppid=29191 vsize=8068220 memory=568940 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29217/stat : 29217 (java) S 29191 29191 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225519517 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056199156464 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29218] ppid=29191 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29218/stat : 29218 (java) S 29191 29191 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225519520 8261857280 31464 33554432000 4194304 4196468 140725074862384 140055824652240 140057499252635 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29219] ppid=29191 vsize=8068220 memory=1472 CPUtime=0.24 cores=1,3,5,7
/proc/29209/task/29219/stat : 29219 (java) S 29191 29191 23167 0 -1 1077944384 875 0 0 0 24 0 0 0 20 0 19 0 225519520 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056944663280 140057499245186 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29220] ppid=29191 vsize=8068220 memory=125856 CPUtime=0.23 cores=1,3,5,7
/proc/29209/task/29220/stat : 29220 (java) S 29191 29191 23167 0 -1 1077944384 618 0 0 0 22 1 0 0 20 0 19 0 225519520 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056943610736 140057499245186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29221] ppid=29191 vsize=8068220 memory=3732 CPUtime=0.26 cores=1,3,5,7
/proc/29209/task/29221/stat : 29221 (java) S 29191 29191 23167 0 -1 1077944384 637 0 0 0 25 1 0 0 20 0 19 0 225519520 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056942557680 140057499245186 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29222] ppid=29191 vsize=8068220 memory=12668 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29222/stat : 29222 (java) S 29191 29191 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225519520 8261857280 31464 33554432000 4194304 4196468 140725074862384 140055326747488 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29223] ppid=29191 vsize=8068220 memory=570988 CPUtime=1.37 cores=1,3,5,7
/proc/29209/task/29223/stat : 29223 (java) S 29191 29191 23167 0 -1 1077944384 167 0 0 0 63 74 0 0 20 0 19 0 225519520 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056941505072 140057499245186 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29225] ppid=29191 vsize=8068220 memory=570988 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29225/stat : 29225 (java) S 29191 29191 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225519604 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056937985344 140057499258649 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29227] ppid=29191 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29227/stat : 29227 (java) S 29191 29191 23167 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 225519604 8261857280 31464 33554432000 4194304 4196468 140725074862384 140054789860784 140057499255965 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29228] ppid=29191 vsize=8068220 memory=125856 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29228/stat : 29228 (java) S 29191 29191 23167 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 225519605 8261857280 31464 33554432000 4194304 4196468 140725074862384 140054521430064 140057499255965 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29229] ppid=29191 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29229/stat : 29229 (java) S 29191 29191 23167 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 225519607 8261857280 31464 33554432000 4194304 4196468 140725074862384 140054924091168 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 8845352 KiB
Current children cumulated memory: 698316 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2496.71 s]
# the end of solver process 29191 was just reported to runsolver
# cumulated CPU time of all completed processes: user=44.5242 s, system=2.34345 s
[startup+2496.76 s]
# the end of solver process 29209 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.69 s, system=5.48987 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
[startup+2496.7 s]
/proc/loadavg: 2.09 2.06 2.05 3/228 29406
/proc/meminfo: memFree=22833556/32770624 swapFree=67108688/67108860
[pid=29191] ppid=29188 vsize=113128 memory=1472 CPUtime=46.86 cores=1,3,5,7
/proc/29191/stat : 29191 (scop.sh) S 29188 29191 23167 0 -1 4202496 590 60767 0 0 0 0 4452 234 20 0 1 0 225516963 115843072 368 33554432000 4194304 5098028 140728720762352 140728720759096 140392287470204 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40419328 140728720770113 140728720770311 140728720770311 140728720773069 0
/proc/29191/statm: 28282 368 311 221 0 87 0
[pid=29209] ppid=29191 vsize=8068220 memory=125856 CPUtime=3.14 cores=1,3,5,7
/proc/29209/stat : 29209 (java) S 29191 29191 23167 0 -1 1077944320 18850 0 0 0 226 88 0 0 20 0 19 0 225519513 8261857280 31464 33554432000 4194304 4196468 140725074862384 140725074844928 140057499234039 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
/proc/29209/statm: 2017055 31464 3154 1 0 1978454 0
[pid=29224] ppid=29209 vsize=664004 memory=570988 CPUtime=2470.09 cores=1,3,5,7
/proc/29224/stat : 29224 (minisat_release) R 29209 29191 23167 0 -1 4202496 2854604 0 0 0 246789 220 0 0 20 0 1 0 225519604 679940096 142747 33554432000 4194304 4308513 140731364309840 140731364307288 4276019 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 9605120 140731364316276 140731364316374 140731364316374 140731364319173 0
/proc/29224/statm: 166001 142747 340 28 0 162241 0
[pid=29209/tid=29210] ppid=29191 vsize=8068220 memory=1472 CPUtime=0.93 cores=1,3,5,7
/proc/29209/task/29210/stat : 29210 (java) S 29191 29191 23167 0 -1 1077944384 15120 0 0 0 80 13 0 0 20 0 19 0 225519514 8261857280 31464 33554432000 4194304 4196468 140725074862384 140057471074192 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29211] ppid=29191 vsize=8068220 memory=125856 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29211/stat : 29211 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225519515 8261857280 31464 33554432000 4194304 4196468 140725074862384 140057503476752 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29212] ppid=29191 vsize=8068220 memory=570988 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29212/stat : 29212 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225519515 8261857280 31464 33554432000 4194304 4196468 140725074862384 140057303645328 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29213] ppid=29191 vsize=8068220 memory=568940 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29213/stat : 29213 (java) S 29191 29191 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225519515 8261857280 31464 33554432000 4194304 4196468 140725074862384 140057302592272 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29214] ppid=29191 vsize=8068220 memory=125856 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29214/stat : 29214 (java) S 29191 29191 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225519515 8261857280 31464 33554432000 4194304 4196468 140725074862384 140057301539728 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29215] ppid=29191 vsize=8068220 memory=564844 CPUtime=0.06 cores=1,3,5,7
/proc/29209/task/29215/stat : 29215 (java) S 29191 29191 23167 0 -1 1077944384 7 0 0 0 2 4 0 0 20 0 19 0 225519516 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056945715440 140057499245186 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29216] ppid=29191 vsize=8068220 memory=570988 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29216/stat : 29216 (java) S 29191 29191 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225519517 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056333378720 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29217] ppid=29191 vsize=8068220 memory=568940 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29217/stat : 29217 (java) S 29191 29191 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225519517 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056199156464 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29218] ppid=29191 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29218/stat : 29218 (java) S 29191 29191 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225519520 8261857280 31464 33554432000 4194304 4196468 140725074862384 140055824652240 140057499252635 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29219] ppid=29191 vsize=8068220 memory=1472 CPUtime=0.24 cores=1,3,5,7
/proc/29209/task/29219/stat : 29219 (java) S 29191 29191 23167 0 -1 1077944384 875 0 0 0 24 0 0 0 20 0 19 0 225519520 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056944663280 140057499245186 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29220] ppid=29191 vsize=8068220 memory=125856 CPUtime=0.23 cores=1,3,5,7
/proc/29209/task/29220/stat : 29220 (java) S 29191 29191 23167 0 -1 1077944384 618 0 0 0 22 1 0 0 20 0 19 0 225519520 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056943610736 140057499245186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29221] ppid=29191 vsize=8068220 memory=3732 CPUtime=0.26 cores=1,3,5,7
/proc/29209/task/29221/stat : 29221 (java) S 29191 29191 23167 0 -1 1077944384 637 0 0 0 25 1 0 0 20 0 19 0 225519520 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056942557680 140057499245186 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29222] ppid=29191 vsize=8068220 memory=12668 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29222/stat : 29222 (java) S 29191 29191 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225519520 8261857280 31464 33554432000 4194304 4196468 140725074862384 140055326747488 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29223] ppid=29191 vsize=8068220 memory=570988 CPUtime=1.37 cores=1,3,5,7
/proc/29209/task/29223/stat : 29223 (java) S 29191 29191 23167 0 -1 1077944384 167 0 0 0 63 74 0 0 20 0 19 0 225519520 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056941505072 140057499245186 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29225] ppid=29191 vsize=8068220 memory=570988 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29225/stat : 29225 (java) S 29191 29191 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225519604 8261857280 31464 33554432000 4194304 4196468 140725074862384 140056937985344 140057499258649 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29227] ppid=29191 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29227/stat : 29227 (java) S 29191 29191 23167 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 225519604 8261857280 31464 33554432000 4194304 4196468 140725074862384 140054789860784 140057499255965 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29228] ppid=29191 vsize=8068220 memory=125856 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29228/stat : 29228 (java) S 29191 29191 23167 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 225519605 8261857280 31464 33554432000 4194304 4196468 140725074862384 140054521430064 140057499255965 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
[pid=29209/tid=29229] ppid=29191 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/29209/task/29229/stat : 29229 (java) S 29191 29191 23167 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 225519607 8261857280 31464 33554432000 4194304 4196468 140725074862384 140054924091168 140057499244245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39301120 140725074867381 140725074867505 140725074867505 140725074870223 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 8845352 KiB
Current children cumulated memory: 698316 KiB
Child status: 1
Real time (s): 2496.76
CPU time (s): 2520.18
CPU user time (s): 2514.69
CPU system time (s): 5.48987
CPU usage (%): 100.938
Max. virtual memory (cumulated for all children) (KiB): 15144320
Max. memory (cumulated for all children) (KiB): 4276052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.69
system time used= 5.48987
maximum resident set size= 4274892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2935355
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61049
involuntary context switches= 968
# summary of solver processes directly reported to runsolver:
# pid: 29191,29209
# total CPU time (s): 2520.18
# total CPU user time (s): 2514.69
# total CPU system time (s): 5.48987
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7456 second user time and 29.358 second system time
The end