Trace number 4297143

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop both+glucose-syrup (2018-07-07)? (MO) 650.698 105.61

General information on the benchmark

NameCarSequencing/
CarSequencing-85-01_c18.xml
MD5SUM1301ca50d7ea6d03cca9e07ce6e480be
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark6.62169
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1440
Number of domains2
Minimum domain size2
Maximum domain size26
Distribution of domain sizes[{"size":2,"count":1000},{"size":26,"count":200}]
Minimum variable degree2
Maximum variable degree84
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":3}, {"degree":84,"count":39}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":35,"count":1},{"arity":38,"count":2},{"arity":40,"count":2},{"arity":41,"count":2},{"arity":42,"count":1},{"arity":44,"count":3},{"arity":45,"count":1},{"arity":46,"count":1},{"arity":47,"count":2},{"arity":48,"count":1},{"arity":50,"count":4},{"arity":52,"count":1},{"arity":53,"count":2},{"arity":54,"count":1},{"arity":55,"count":1},{"arity":56,"count":3},{"arity":58,"count":1},{"arity":59,"count":2},{"arity":60,"count":2},{"arity":62,"count":3},{"arity":64,"count":1},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1239},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.66/0.52	
0.66/0.53	scop both+glucose-syrup (2018-07-07)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Fri Jul 27 06:05:01 CEST 2018
0.66/0.55	c PID: 11903
0.66/0.55	c IP: 172.20.3.139
0.66/0.55	c HOST: node139.alineos.net
0.66/0.56	c (0,0) Parsing Begin
2.97/1.40	c (0,0) Parsing End
3.30/1.41	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1440 ctr, max domain size 26
3.30/1.41	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.30/1.41	c (0,0) Constraint Name Generate Begin
3.30/1.43	c (0,0) Ctr:HOME/instance-4297143-1532664300.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.30/1.43	c (0,0) Constraint Name Generate End
3.30/1.43	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.30/1.43	c (0,0) CSP to CSPinCNF Begin
12.09/4.62	c (4,4) translated 144 (10%) constraints
12.51/5.08	c (4,4) translated 288 (20%) constraints
12.51/5.10	c (4,4) translated 432 (30%) constraints
12.77/5.12	c (4,4) translated 576 (40%) constraints
12.77/5.15	c (4,4) translated 720 (50%) constraints
12.77/5.18	c (4,4) translated 864 (60%) constraints
12.77/5.19	c (4,4) translated 1008 (70%) constraints
13.20/5.21	c (4,4) translated 1152 (80%) constraints
15.14/6.75	c (6,6) translated 1296 (90%) constraints
16.14/7.75	c (7,7) translated 1440 (100%) constraints
17.57/8.32	c (7,7) STATISTICS1:HOME/instance-4297143-1532664300.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.57/8.32	c (7,7) ===========================================
17.57/8.32	c (7,7) Both Encoding selects:
17.57/8.32	c (7,7) Log
17.57/8.32	c (7,7) ===========================================
18.83/8.89	c (8,8) translated 5707 (10%) constraints
19.28/9.10	c (8,8) translated 11413 (20%) constraints
19.67/9.20	c (8,8) translated 17120 (30%) constraints
19.67/9.29	c (8,8) translated 22826 (40%) constraints
19.77/9.38	c (8,8) translated 28533 (50%) constraints
19.88/9.46	c (8,8) translated 34239 (60%) constraints
19.97/9.55	c (9,8) translated 39946 (70%) constraints
20.08/9.64	c (9,9) translated 45652 (80%) constraints
20.17/9.73	c (9,9) translated 51359 (90%) constraints
21.71/10.92	c (10,10) translated 57065 (100%) constraints
21.71/10.93	c (10,10) CSP to CSPinCNF End
21.71/10.94	c (10,10) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67491 ctr, max domain size 26
21.71/10.94	c (10,10) Heap : 4843 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
21.71/10.94	c (10,10) CSPinCNF Propagation Begin
22.97/11.63	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
22.97/11.63	c (11,11) CSPinCNF Propagation End
22.97/11.63	c (11,11) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67091 ctr, max domain size 26
22.97/11.63	c (11,11) Heap : 5181 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.97/11.63	c (11,11) Simplify CSPinCNF Begin
23.20/11.80	c (11,11) Simplify CSPinCNF End
23.31/11.80	c (11,11) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67091 ctr, max domain size 26
23.31/11.80	c (11,11) Heap : 5294 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.31/11.80	c (11,11) Calculate Precise Domain Begin
23.31/11.80	c (11,11) 0 values are removed by re-calculation
23.31/11.80	c (11,11) Calculate Precise Domain End
23.31/11.80	c (11,11) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67091 ctr, max domain size 26
23.31/11.80	c (11,11) Heap : 5294 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.31/11.80	c (11,11) CSPinCNF to SatSolver Begin
27.74/13.45	c (12,12) 6710 (10 %) CSP clauses are being encoded (126143 SAT variables, 279028 SAT clauses)
28.32/13.79	c (13,13) 13419 (20 %) CSP clauses are being encoded (149484 SAT variables, 329064 SAT clauses)
28.77/14.13	c (13,13) 20128 (30 %) CSP clauses are being encoded (173500 SAT variables, 380591 SAT clauses)
29.35/14.35	c (13,13) 26837 (40 %) CSP clauses are being encoded (180080 SAT variables, 399116 SAT clauses)
29.62/14.51	c (13,13) 33546 (50 %) CSP clauses are being encoded (185996 SAT variables, 416265 SAT clauses)
29.73/14.66	c (14,13) 40255 (60 %) CSP clauses are being encoded (192116 SAT variables, 433774 SAT clauses)
29.93/14.82	c (14,14) 46964 (70 %) CSP clauses are being encoded (198032 SAT variables, 450923 SAT clauses)
30.04/14.98	c (14,14) 53673 (80 %) CSP clauses are being encoded (204152 SAT variables, 468432 SAT clauses)
30.25/15.13	c (14,14) 60382 (90 %) CSP clauses are being encoded (210098 SAT variables, 485633 SAT clauses)
42.86/24.07	c (23,22) 67091 (100 %) CSP clauses are being encoded (1089100 SAT variables, 3076012 SAT clauses)
42.96/24.14	c (23,22) CSPinCNF to SatSolver End
42.96/24.14	c (23,22) Heap : 3345 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
43.95/24.57	c (24,23) STATISTICS2:HOME/instance-4297143-1532664300.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
43.95/24.57	c (24,23) SatSolver.solve Begin
43.95/24.57	c (24,23) 1095657 bool, 3095526 clause
43.95/24.57	c (24,23) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297143-1532664300.xml-scop-11903.cnf HOME/instance-4297143-1532664300.xml-scop-11903.cnf.out
123.99/39.43	c (38,0) c
123.99/39.43	c (38,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
123.99/39.43	c (38,0) c
123.99/39.43	c (38,0) c WARNING: for repeatability, setting FPU to use double precision
123.99/39.43	c (38,0) c 8 solvers engines and 1 companion as a blackboard created.
123.99/39.43	c (38,0) c ========================================[ Problem Statistics ]===========================================
123.99/39.43	c (38,0) c |                                                                                                       |
123.99/39.43	c (38,0) c |  Number of variables:       1095657                                                                   |
123.99/39.43	c (38,0) c |  Number of clauses:         3094035                                                                   |
123.99/39.43	c (38,0) c |  Parse time:                   1.22 s                                                                 |
123.99/39.43	c (38,0) c |                                                                                                       |
123.99/39.43	c (38,0) c |  Eliminated clauses:           3.64 Mb                                                                |
123.99/39.43	c (38,0) c |  Simplification time:          2.24 s                                                                 |
123.99/39.43	c (38,0) c |                                                                                                       |
123.99/39.43	c (38,0) c |  Generating clones                                                                                    |
123.99/39.43	c (38,0) c |  all clones generated. Memory = 2814.52Mb.                                                             |
123.99/39.43	c (38,0) c ========================================================================================================|
123.99/39.43	c (38,0) c
123.99/39.43	c (38,0) c |-------------------------------------------------------------------------------------------------------|
123.99/39.43	c (38,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
123.99/39.43	c (38,0) c |-------------------------------------------------------------------------------------------------------|
123.99/39.43	c (38,0) c |  0 |     10 |    3353324 |       3354 |    13755 |     2352 |       92 |      990 |        5 |  0.158 |
123.99/39.43	c (38,0) c |  1 |     18 |     629695 |       4496 |    24600 |     3499 |       68 |     1002 |        4 |  0.158 |
123.99/39.43	c (38,0) c |  2 |     18 |     632223 |       6311 |    21166 |     5310 |      557 |      523 |        5 |  0.158 |
123.99/39.43	c (38,0) c |  3 |     18 |    1135155 |       3404 |    25872 |     2409 |      115 |      892 |        5 |  0.156 |
123.99/39.43	c (38,0) c |  4 |     22 |    1405862 |       3645 |    25124 |     2650 |       44 |      760 |        0 |  0.156 |
123.99/39.43	c (38,0) c |  5 |     19 |    1020815 |       3640 |    34225 |     2640 |       75 |      967 |        5 |  0.158 |
123.99/39.43	c (38,0) c |  6 |     19 |     799824 |       3853 |    25756 |     2856 |       82 |      863 |        2 |  0.156 |
123.99/39.43	c (38,0) c |  7 |     18 |     630267 |       3360 |    27069 |     2360 |       50 |      656 |        4 |  0.150 |
123.99/39.43	c (38,0) c 
123.99/39.43	c (38,0) c synthesis       32067 conflicts   133905133 propagations      853 conflicts/sec  3560586 propagations/sec
123.99/39.43	c (38,0) c Total Memory so far : 3394.58Mb
123.99/39.43	c (38,0) c
123.99/39.43	c (38,0) c |-------------------------------------------------------------------------------------------------------|
123.99/39.43	c (38,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
123.99/39.43	c (38,0) c |-------------------------------------------------------------------------------------------------------|
123.99/39.43	c (38,0) c |  0 |     62 |    3650386 |      12710 |    57996 |     8920 |     1422 |    11733 |       23 |  0.219 |
123.99/39.43	c (38,0) c |  1 |     42 |    1336593 |      12354 |    55930 |     8560 |     1622 |    12241 |       20 |  0.226 |
123.99/39.43	c (38,0) c |  2 |     41 |    1586367 |      12777 |    55098 |     8978 |     2291 |    10500 |       30 |  0.219 |
123.99/39.43	c (38,0) c |  3 |     55 |    1241178 |      12235 |    68546 |     8430 |     2407 |    11524 |       13 |  0.226 |
123.99/39.43	c (38,0) c |  4 |     42 |    2037063 |      13474 |    53909 |     9658 |     2028 |    11057 |       30 |  0.226 |
123.99/39.43	c (38,0) c |  5 |     40 |    1623914 |       9441 |    61128 |     5638 |     1107 |    12683 |       18 |  0.226 |
123.99/39.43	c (38,0) c |  6 |     68 |    1155623 |      13101 |    68378 |     9305 |     1927 |    11894 |       11 |  0.226 |
123.99/39.43	c (38,0) c |  7 |     33 |    2090337 |       8812 |    42763 |     5024 |     1141 |    12713 |       20 |  0.226 |
123.99/39.43	c (38,0) c 
235.61/53.48	c (52,0) c synthesis       94910 conflicts   331400758 propagations     1232 conflicts/sec  4300398 propagations/sec
235.61/53.48	c (52,0) c Total Memory so far : 3396.79Mb
235.61/53.48	c (52,0) c
235.61/53.48	c (52,0) c |-------------------------------------------------------------------------------------------------------|
235.61/53.48	c (52,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
235.61/53.48	c (52,0) c |-------------------------------------------------------------------------------------------------------|
235.61/53.48	c (52,0) c |  0 |     77 |    4226613 |      20296 |    79462 |    11514 |     2344 |    36007 |       44 |  0.261 |
235.61/53.48	c (52,0) c |  1 |     77 |    1797805 |      18405 |    80081 |     9612 |     2812 |    35020 |       78 |  0.261 |
235.61/53.48	c (52,0) c |  2 |     77 |    1948364 |      21025 |    90176 |    12226 |     4233 |    33692 |      142 |  0.261 |
235.61/53.48	c (52,0) c |  3 |     84 |    1493930 |      25261 |    94005 |     9086 |     5685 |    31492 |      689 |  0.255 |
235.61/53.48	c (52,0) c |  4 |     73 |    2418325 |      22159 |    97109 |    13356 |     4273 |    33826 |      685 |  0.267 |
235.61/53.48	c (52,0) c |  5 |     60 |    2350615 |      19692 |    87248 |    10901 |     3409 |    34622 |      106 |  0.265 |
235.61/53.48	c (52,0) c |  6 |     84 |    1464901 |      49354 |    87549 |    23285 |    12291 |    25967 |      819 |  0.261 |
235.61/53.48	c (52,0) c |  7 |     61 |    3798208 |      20898 |    76028 |    12112 |     3312 |    34890 |      417 |  0.261 |
235.61/53.48	c (52,0) c 
235.61/53.48	c (52,0) c synthesis      197090 conflicts   527331977 propagations     1689 conflicts/sec  4519160 propagations/sec
235.61/53.48	c (52,0) c Total Memory so far : 3399.49Mb
235.61/53.48	c (52,0) c
235.61/53.48	c (52,0) c |-------------------------------------------------------------------------------------------------------|
235.61/53.48	c (52,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
235.61/53.48	c (52,0) c |-------------------------------------------------------------------------------------------------------|
235.61/53.48	c (52,0) c |  0 |     89 |    4332730 |      23437 |    90354 |    14652 |     2885 |    50635 |       85 |  0.288 |
235.61/53.48	c (52,0) c |  1 |     87 |    2174856 |      20943 |    93194 |    12150 |     3285 |    50749 |      128 |  0.282 |
235.61/53.48	c (52,0) c |  2 |     81 |    1963354 |      31375 |    91470 |    15180 |     6891 |    46766 |      151 |  0.282 |
235.61/53.48	c (52,0) c |  3 |    117 |    2294137 |      32538 |   117320 |    16354 |     6496 |    45019 |     1224 |  0.277 |
235.61/53.48	c (52,0) c |  4 |     83 |    3320294 |      34167 |   113210 |    17973 |     7510 |    42432 |     1652 |  0.283 |
235.61/53.48	c (52,0) c |  5 |     66 |    2448646 |      24802 |    91564 |     8609 |     4545 |    49517 |      185 |  0.286 |
235.61/53.48	c (52,0) c |  6 |    121 |    1509040 |      70211 |   107768 |    16672 |    17052 |    36987 |     1810 |  0.282 |
235.61/53.48	c (52,0) c |  7 |     80 |    4128085 |      30136 |    97953 |    13946 |     5445 |    47318 |      720 |  0.284 |
235.61/53.48	c (52,0) c 
235.61/53.48	c (52,0) c synthesis      267615 conflicts   681640110 propagations     1803 conflicts/sec  4591781 propagations/sec
235.61/53.48	c (52,0) c Total Memory so far : 3401.17Mb
235.61/53.48	c (52,0) c
235.61/53.48	c (52,0) c |-------------------------------------------------------------------------------------------------------|
235.61/53.48	c (52,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
235.61/53.48	c (52,0) c |-------------------------------------------------------------------------------------------------------|
235.61/53.48	c (52,0) c |  0 |    116 |    4446842 |      37216 |   117139 |    11146 |     6721 |    63742 |     1541 |  0.348 |
235.61/53.48	c (52,0) c |  1 |    105 |    2592222 |      28617 |   114279 |    12434 |     4537 |    64852 |      162 |  0.327 |
235.61/53.48	c (52,0) c |  2 |    112 |    3113420 |      44604 |   119900 |    18518 |    10387 |    58481 |      997 |  0.327 |
235.61/53.48	c (52,0) c |  3 |    146 |    2679012 |      37117 |   143813 |    11013 |     7039 |    63293 |     1406 |  0.342 |
235.61/53.48	c (52,0) c |  4 |    103 |    3966733 |      40332 |   131576 |    14242 |     8714 |    61584 |     2200 |  0.333 |
235.61/53.48	c (52,0) c |  5 |     69 |    3004364 |      36900 |    95775 |    10816 |     7201 |    51700 |      196 |  0.308 |
235.61/53.48	c (52,0) c |  6 |    164 |    2545177 |      81027 |   135131 |    27487 |    18789 |    51725 |     2457 |  0.332 |
235.61/53.48	c (52,0) c |  7 |    107 |    5242265 |      39856 |   114643 |    13766 |     7560 |    62674 |     1042 |  0.335 |
235.61/53.48	c (52,0) c 
235.61/53.48	c (52,0) c synthesis      346855 conflicts   873147682 propagations     1844 conflicts/sec  4642507 propagations/sec
355.28/68.43	c (67,0) c Total Memory so far : 3403.25Mb
355.28/68.43	c (67,0) c
355.28/68.43	c (67,0) c |-------------------------------------------------------------------------------------------------------|
355.28/68.43	c (67,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
355.28/68.43	c (67,0) c |-------------------------------------------------------------------------------------------------------|
355.28/68.43	c (67,0) c |  0 |    155 |    4572354 |      43017 |   140082 |    16937 |     7618 |    72193 |     1644 |  0.385 |
355.28/68.43	c (67,0) c |  1 |    124 |    2880046 |      36365 |   130266 |    10277 |     5925 |    74018 |      276 |  0.375 |
355.28/68.43	c (67,0) c |  2 |    138 |    3344011 |      48515 |   136346 |    22429 |    11139 |    68310 |     1128 |  0.369 |
355.28/68.43	c (67,0) c |  3 |    178 |    2756651 |      42589 |   160614 |    16470 |     7755 |    72087 |     1570 |  0.375 |
355.28/68.43	c (67,0) c |  4 |    115 |    4473650 |      45597 |   149733 |    19507 |     9614 |    70573 |     2366 |  0.381 |
355.28/68.43	c (67,0) c |  5 |     85 |    4016434 |      44483 |   113132 |    18399 |     8796 |    71019 |      305 |  0.379 |
355.28/68.43	c (67,0) c |  6 |    197 |    2704094 |      85548 |   166418 |    31998 |    19350 |    60539 |     2623 |  0.379 |
355.28/68.43	c (67,0) c |  7 |    142 |    5309453 |      53082 |   131793 |    14541 |     9996 |    69115 |     1381 |  0.376 |
355.28/68.43	c (67,0) c 
355.28/68.43	c (67,0) c synthesis      399198 conflicts  1060624346 propagations     1752 conflicts/sec  4655435 propagations/sec
355.28/68.43	c (67,0) c Total Memory so far : 3404.69Mb
355.28/68.43	c (67,0) c
355.28/68.43	c (67,0) c |-------------------------------------------------------------------------------------------------------|
355.28/68.43	c (67,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
355.28/68.43	c (67,0) c |-------------------------------------------------------------------------------------------------------|
355.28/68.43	c (67,0) c |  0 |    187 |    4817621 |      48134 |   160993 |    22042 |     8230 |    84562 |     1763 |  0.412 |
355.28/68.43	c (67,0) c |  1 |    153 |    3096243 |      52892 |   152090 |    14359 |    10600 |    81884 |     1493 |  0.412 |
355.28/68.43	c (67,0) c |  2 |    164 |    3581048 |      53566 |   151741 |    15020 |    11824 |    79511 |     1196 |  0.412 |
355.28/68.43	c (67,0) c |  3 |    202 |    2815952 |      60891 |   174479 |    21219 |    10167 |    81235 |     1739 |  0.412 |
355.28/68.43	c (67,0) c |  4 |    143 |    4543187 |      54977 |   175733 |    16434 |    10650 |    79398 |     2565 |  0.418 |
355.28/68.43	c (67,0) c |  5 |    104 |    4074511 |      55278 |   131688 |    16741 |    10361 |    77843 |      555 |  0.411 |
355.28/68.43	c (67,0) c |  6 |    228 |    2841425 |      90472 |   185422 |    19358 |    19943 |    72045 |     2817 |  0.416 |
355.28/68.43	c (67,0) c |  7 |    162 |    5869555 |      61748 |   151753 |    23206 |    11058 |    81770 |     1540 |  0.417 |
355.28/68.43	c (67,0) c 
355.28/68.43	c (67,0) c synthesis      477972 conflicts  1258707117 propagations     1786 conflicts/sec  4703859 propagations/sec
355.28/68.43	c (67,0) c Total Memory so far : 3406.76Mb
355.28/68.43	c (67,0) c
355.28/68.43	c (67,0) c Try to adapt solver strategies
355.28/68.43	c (67,0) c 
355.28/68.43	c (67,0) c Nothing extreme in this problem, continue with glucose default strategies.
355.28/68.43	c (67,0) c
355.28/68.43	c (67,0) c
355.28/68.43	c (67,0) c |-------------------------------------------------------------------------------------------------------|
355.28/68.43	c (67,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
355.28/68.43	c (67,0) c |-------------------------------------------------------------------------------------------------------|
355.28/68.43	c (67,0) c |  0 |    206 |    4932503 |      56416 |   172533 |    17877 |     9294 |   104533 |     1910 |  0.432 |
355.28/68.43	c (67,0) c |  1 |    155 |    3122617 |      69314 |   153165 |    15756 |    11800 |    83204 |     1513 |  0.412 |
355.28/68.43	c (67,0) c |  2 |    183 |    3623516 |      64932 |   155590 |    26387 |    12723 |    97963 |     1227 |  0.415 |
355.28/68.43	c (67,0) c |  3 |    229 |    3113476 |      76942 |   191103 |    22813 |    14320 |    99527 |     2881 |  0.429 |
355.28/68.43	c (67,0) c |  4 |    181 |    4751755 |      62780 |   197442 |    24236 |    11765 |   102084 |     3010 |  0.429 |
355.28/68.43	c (67,0) c |  5 |    109 |    4746030 |      72840 |   136217 |    19281 |    12387 |   101379 |      600 |  0.433 |
355.28/68.43	c (67,0) c |  6 |    249 |    2993852 |     103728 |   200050 |    32614 |    21094 |    92802 |     3300 |  0.436 |
355.28/68.43	c (67,0) c |  7 |    178 |    6814726 |      90055 |   160906 |    18890 |    20525 |    93206 |     3584 |  0.434 |
355.28/68.43	c (67,0) c 
474.91/83.43	c (82,0) c synthesis      597013 conflicts  1454599872 propagations     1942 conflicts/sec  4732154 propagations/sec
474.91/83.43	c (82,0) c Total Memory so far : 3409.54Mb
474.91/83.43	c (82,0) c
474.91/83.43	c (82,0) c |-------------------------------------------------------------------------------------------------------|
474.91/83.43	c (82,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
474.91/83.43	c (82,0) c |-------------------------------------------------------------------------------------------------------|
474.91/83.43	c (82,0) c |  0 |    222 |    5307681 |      62660 |   180260 |    24118 |     9743 |   112932 |     2003 |  0.468 |
474.91/83.43	c (82,0) c |  1 |    180 |    3377353 |      81508 |   157472 |    27949 |    13322 |   109259 |     1643 |  0.465 |
474.91/83.43	c (82,0) c |  2 |    198 |    4058211 |      77684 |   161501 |    24124 |    16231 |   106185 |     2271 |  0.465 |
474.91/83.43	c (82,0) c |  3 |    255 |    3820406 |      81999 |   208412 |    27869 |    14919 |   107267 |     3007 |  0.457 |
474.91/83.43	c (82,0) c |  4 |    186 |    4764540 |      68183 |   200293 |    29639 |    12633 |   103164 |     3083 |  0.432 |
474.91/83.43	c (82,0) c |  5 |    156 |    4773540 |      78279 |   168415 |    24710 |    13206 |   109507 |      819 |  0.465 |
474.91/83.43	c (82,0) c |  6 |    293 |    3068744 |     107360 |   217083 |    36244 |    21435 |   101064 |     3412 |  0.471 |
474.91/83.43	c (82,0) c |  7 |    210 |    7230532 |      95942 |   195619 |    24776 |    21231 |   101450 |     3988 |  0.470 |
474.91/83.43	c (82,0) c 
474.91/83.43	c (82,0) c synthesis      653621 conflicts  1641828221 propagations     1883 conflicts/sec  4729303 propagations/sec
474.91/83.43	c (82,0) c Total Memory so far : 3410.76Mb
474.91/83.43	c (82,0) c
474.91/83.43	c (82,0) c |-------------------------------------------------------------------------------------------------------|
474.91/83.43	c (82,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
474.91/83.43	c (82,0) c |-------------------------------------------------------------------------------------------------------|
474.91/83.43	c (82,0) c |  0 |    245 |    5415187 |      78066 |   192251 |    24507 |    11541 |   128456 |     2193 |  0.477 |
474.91/83.43	c (82,0) c |  1 |    205 |    3403395 |      94527 |   168719 |    23353 |    16232 |   124398 |     2776 |  0.474 |
474.91/83.43	c (82,0) c |  2 |    219 |    4100720 |      96869 |   167855 |    25720 |    21238 |   113019 |     3554 |  0.474 |
474.91/83.43	c (82,0) c |  3 |    277 |    4083448 |      87844 |   219044 |    33714 |    15935 |   123423 |     3664 |  0.474 |
474.91/83.43	c (82,0) c |  4 |    211 |    4878962 |      75551 |   206177 |    21984 |    14151 |   126408 |     3174 |  0.474 |
474.91/83.43	c (82,0) c |  5 |    171 |    5190933 |      97584 |   178055 |    26405 |    14955 |   125600 |      981 |  0.474 |
474.91/83.43	c (82,0) c |  6 |    320 |    3117175 |     128968 |   224645 |    37645 |    24933 |   115654 |     4855 |  0.481 |
474.91/83.43	c (82,0) c |  7 |    259 |    7289205 |     100361 |   215688 |    29190 |    21647 |   118866 |     4111 |  0.479 |
474.91/83.43	c (82,0) c 
474.91/83.43	c (82,0) c synthesis      759779 conflicts  1825189883 propagations     1964 conflicts/sec  4718078 propagations/sec
474.91/83.43	c (82,0) c Total Memory so far : 3462.45Mb
474.91/83.43	c (82,0) c
474.91/83.43	c (82,0) c Try to adapt solver strategies
474.91/83.43	c (82,0) c 
474.91/83.43	c (82,0) c Nothing extreme in this problem, continue with glucose default strategies.
474.91/83.43	c (82,0) c
474.91/83.43	c (82,0) c
474.91/83.43	c (82,0) c |-------------------------------------------------------------------------------------------------------|
474.91/83.43	c (82,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
474.91/83.43	c (82,0) c |-------------------------------------------------------------------------------------------------------|
474.91/83.43	c (82,0) c |  0 |    279 |    5453249 |      82436 |   213309 |    28877 |    12177 |   135577 |     2394 |  0.483 |
474.91/83.43	c (82,0) c |  1 |    242 |    3564737 |     105469 |   186052 |    34294 |    18916 |   128967 |     3321 |  0.480 |
474.91/83.43	c (82,0) c |  2 |    227 |    4280606 |     101642 |   175037 |    30493 |    21667 |   126117 |     3717 |  0.480 |
474.91/83.43	c (82,0) c |  3 |    312 |    4136765 |      95384 |   235376 |    23921 |    16745 |   131210 |     4013 |  0.480 |
474.91/83.43	c (82,0) c |  4 |    224 |    5100809 |      81230 |   215761 |    27663 |    15032 |   132671 |     3315 |  0.480 |
474.91/83.43	c (82,0) c |  5 |    196 |    5473368 |     104238 |   203288 |    33058 |    15935 |   131817 |     1075 |  0.480 |
474.91/83.43	c (82,0) c |  6 |    354 |    3559074 |     134662 |   248824 |    43336 |    25464 |   122286 |     5134 |  0.486 |
474.91/83.43	c (82,0) c |  7 |    295 |    7352799 |     104663 |   244123 |    33490 |    22048 |   125895 |     4377 |  0.485 |
474.91/83.43	c (82,0) c 
586.57/97.43	c (96,0) c synthesis      809727 conflicts  2008381595 propagations     1898 conflicts/sec  4707543 propagations/sec
586.57/97.43	c (96,0) c Total Memory so far : 3463.74Mb
586.57/97.43	c (96,0) c
586.57/97.43	c (96,0) c |-------------------------------------------------------------------------------------------------------|
586.57/97.43	c (96,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
586.57/97.43	c (96,0) c |-------------------------------------------------------------------------------------------------------|
586.57/97.43	c (96,0) c |  0 |    296 |    5699115 |      86140 |   234032 |    32580 |    13036 |   144831 |     3171 |  0.498 |
586.57/97.43	c (96,0) c |  1 |    265 |    3958349 |     108530 |   205042 |    37354 |    19429 |   138554 |     3427 |  0.495 |
586.57/97.43	c (96,0) c |  2 |    253 |    4474703 |     114061 |   190523 |    22716 |    23148 |   134811 |     4297 |  0.495 |
586.57/97.43	c (96,0) c |  3 |    361 |    4223420 |     100871 |   253401 |    29406 |    17326 |   140163 |     4168 |  0.495 |
586.57/97.43	c (96,0) c |  4 |    251 |    5304946 |      88486 |   226517 |    34915 |    15986 |   141974 |     3581 |  0.495 |
586.57/97.43	c (96,0) c |  5 |    239 |    5509238 |     113465 |   221524 |    22084 |    18616 |   137825 |     1444 |  0.489 |
586.57/97.43	c (96,0) c |  6 |    412 |    3606364 |     147409 |   263649 |    33255 |    26985 |   130886 |     5431 |  0.502 |
586.57/97.43	c (96,0) c |  7 |    355 |    7401571 |     116435 |   264606 |    25068 |    23463 |   134263 |     5677 |  0.492 |
586.57/97.43	c (96,0) c 
586.57/97.43	c (96,0) c synthesis      875398 conflicts  2187630126 propagations     1877 conflicts/sec  4689652 propagations/sec
586.57/97.43	c (96,0) c Total Memory so far : 3514.47Mb
586.57/97.43	c (96,0) c
586.57/97.43	c (96,0) c |-------------------------------------------------------------------------------------------------------|
586.57/97.43	c (96,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
586.57/97.43	c (96,0) c |-------------------------------------------------------------------------------------------------------|
586.57/97.43	c (96,0) c |  0 |    322 |    5727584 |      91214 |   242701 |    20037 |    14069 |   149660 |     3965 |  0.498 |
586.57/97.43	c (96,0) c |  1 |    290 |    4043919 |     110979 |   213152 |    39802 |    19865 |   144037 |     3604 |  0.495 |
586.57/97.43	c (96,0) c |  2 |    278 |    4883654 |     119490 |   207919 |    28145 |    23357 |   140513 |     4393 |  0.495 |
586.57/97.43	c (96,0) c |  3 |    393 |    4365999 |     104291 |   265258 |    32826 |    17790 |   146097 |     4256 |  0.495 |
586.57/97.43	c (96,0) c |  4 |    273 |    5347398 |      95037 |   240042 |    23867 |    16888 |   147007 |     3789 |  0.495 |
586.57/97.43	c (96,0) c |  5 |    265 |    5630351 |     121046 |   236778 |    29664 |    20567 |   143282 |     1560 |  0.495 |
586.57/97.43	c (96,0) c |  6 |    455 |    3794742 |     153523 |   282797 |    39368 |    27668 |   136233 |     5575 |  0.502 |
586.57/97.43	c (96,0) c |  7 |    383 |    7516725 |     119867 |   278937 |    28500 |    23698 |   140059 |     5773 |  0.492 |
586.57/97.43	c (96,0) c 
586.57/97.43	c (96,0) c synthesis      915450 conflicts  2329766926 propagations     1837 conflicts/sec  4675407 propagations/sec
586.57/97.43	c (96,0) c Total Memory so far : 3564.55Mb
586.57/97.43	c (96,0) c
586.57/97.43	c (96,0) c Try to adapt solver strategies
586.57/97.43	c (96,0) c 
586.57/97.43	c (96,0) c Nothing extreme in this problem, continue with glucose default strategies.
586.57/97.43	c (96,0) c
586.57/97.43	c (96,0) c
586.57/97.43	c (96,0) c |-------------------------------------------------------------------------------------------------------|
586.57/97.43	c (96,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
586.57/97.43	c (96,0) c |-------------------------------------------------------------------------------------------------------|
586.57/97.43	c (96,0) c |  0 |    365 |    5884319 |      95060 |   252669 |    23883 |    14557 |   153597 |     4027 |  0.514 |
586.57/97.43	c (96,0) c |  1 |    328 |    4096657 |     118836 |   222279 |    27451 |    20514 |   147604 |     3778 |  0.511 |
586.57/97.43	c (96,0) c |  2 |    314 |    5049375 |     123931 |   223654 |    32580 |    23827 |   144357 |     4621 |  0.511 |
586.57/97.43	c (96,0) c |  3 |    418 |    4540239 |     108677 |   272083 |    37211 |    18374 |   148846 |     4474 |  0.500 |
586.57/97.43	c (96,0) c |  4 |    303 |    5453234 |     101139 |   253558 |    29968 |    17684 |   150450 |     3976 |  0.511 |
586.57/97.43	c (96,0) c |  5 |    290 |    5642184 |     124676 |   247726 |    33292 |    21167 |   145563 |     1609 |  0.500 |
586.57/97.43	c (96,0) c |  6 |    479 |    3836519 |     161077 |   297723 |    46923 |    28113 |   140065 |     5843 |  0.511 |
586.57/97.43	c (96,0) c |  7 |    401 |    7664885 |     123059 |   287857 |    31690 |    23968 |   143862 |     5893 |  0.508 |
586.57/97.43	c (96,0) c 
650.38/105.42	c (104,0) receiving signal SIGTERM
650.38/105.42	s UNKNOWN
44.19/105.55	c (105,0) c synthesis      956462 conflicts
44.19/105.56	c (105,23) SatSolver is killed by some reasons.
44.19/105.56	c (105,23) 0,0,10,11,11,11,23,TO,TO,STOP-AFTER(DIMACS)
44.19/105.56	c END-Prog: Fri Jul 27 06:06:46 CEST 2018

Verifier Data


Watcher Data 

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 (3989 MiB free)
  memory of node 1: 16384 MiB (8024 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297143-1532664300/watcher-4297143-1532664300 -o /tmp/evaluation-result-4297143-1532664300/solver-4297143-1532664300 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532664287-11771 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297143-1532664300.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11903, runsolver pid=11900
Current StackSize limit: 8192 KiB


[startup+0.100134 s]*
/proc/loadavg: 8.12 8.64 8.76 2/199 11923
/proc/meminfo: memFree=12204832/32770624 swapFree=67108860/67108860
[pid=11903] ppid=11900 vsize=27312552 memory=110988 CPUtime=0.11 cores=0-7
/proc/11903/stat : 11903 (java) S 11900 11903 11744 0 -1 1077944320 6765 0 0 0 8 3 0 0 20 0 20 0 83993172 27968053248 27747 33554432000 4194304 4196468 140736961316832 140736961299376 140240086785783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
/proc/11903/statm: 6828138 27747 2750 1 0 6790598 0
[pid=11903/tid=11905] ppid=11900 vsize=27312552 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/11903/task/11905/stat : 11905 (java) R 11900 11903 11744 0 -1 4202560 4883 0 0 0 7 2 0 0 20 0 20 0 83993172 27968053248 27747 33554432000 4194304 4196468 140736961316832 140240058600144 140240070866270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11906] ppid=11900 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/11903/task/11906/stat : 11906 (java) S 11900 11903 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83993174 27968053248 27747 33554432000 4194304 4196468 140736961316832 140240091027728 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11907] ppid=11900 vsize=27312552 memory=140583584335488 CPUtime=0 cores=0-7
/proc/11903/task/11907/stat : 11907 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993174 27968053248 27747 33554432000 4194304 4196468 140736961316832 140239905184144 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11908] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11908/stat : 11908 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993174 27968053248 27747 33554432000 4194304 4196468 140736961316832 140239904131600 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11909] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11909/stat : 11909 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993174 27968053248 27747 33554432000 4194304 4196468 140736961316832 140239903079056 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11910] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11910/stat : 11910 (java) S 11900 11903 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83993175 27968053248 27747 33554432000 4194304 4196468 140736961316832 140239902026512 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11911] ppid=11900 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11903/task/11911/stat : 11911 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993175 27968053248 27747 33554432000 4194304 4196468 140736961316832 140239900973968 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11912] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11912/stat : 11912 (java) S 11900 11903 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83993175 27968053248 27747 33554432000 4194304 4196468 140736961316832 140239899921424 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11913] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11913/stat : 11913 (java) S 11900 11903 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83993175 27968053248 27747 33554432000 4194304 4196468 140736961316832 140239898868880 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11914] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11914/stat : 11914 (java) S 11900 11903 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83993176 27968053248 27747 33554432000 4194304 4196468 140736961316832 140238608340976 140240086796930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11915] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11915/stat : 11915 (java) S 11900 11903 11744 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83993176 27968053248 27747 33554432000 4194304 4196468 140736961316832 140238064182176 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11916] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11916/stat : 11916 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993177 27968053248 27747 33554432000 4194304 4196468 140736961316832 140237795746800 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11917] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11917/stat : 11917 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993179 27968053248 27747 33554432000 4194304 4196468 140736961316832 140237421238480 140240086804379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11918] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11918/stat : 11918 (java) S 11900 11903 11744 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 83993179 27968053248 27747 33554432000 4194304 4196468 140736961316832 140238607288816 140240086796930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11919] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11919/stat : 11919 (java) S 11900 11903 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83993179 27968053248 27747 33554432000 4194304 4196468 140736961316832 140238606236272 140240086796930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11920] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11920/stat : 11920 (java) S 11900 11903 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83993179 27968053248 27747 33554432000 4194304 4196468 140736961316832 140238605183728 140240086796930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11921] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11921/stat : 11921 (java) S 11900 11903 11744 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 20 0 83993179 27968053248 27747 33554432000 4194304 4196468 140736961316832 140238604131184 140240086796930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11922] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11922/stat : 11922 (java) S 11900 11903 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83993179 27968053248 27747 33554432000 4194304 4196468 140736961316832 140236923332832 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11923] ppid=11900 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11903/task/11923/stat : 11923 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993180 27968053248 27747 33554432000 4194304 4196468 140736961316832 140238603078064 140240086796930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 110988 KiB

[startup+0.210401 s]*
/proc/loadavg: 8.12 8.64 8.76 3/199 11923
/proc/meminfo: memFree=12188708/32770624 swapFree=67108860/67108860
[pid=11903] ppid=11900 vsize=27312552 memory=125368 CPUtime=0.24 cores=0-7
/proc/11903/stat : 11903 (java) S 11900 11903 11744 0 -1 1077944320 10558 0 0 0 20 4 0 0 20 0 20 0 83993172 27968053248 31342 33554432000 4194304 4196468 140736961316832 140736961299376 140240086785783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
/proc/11903/statm: 6828138 31342 2910 1 0 6790598 0
[pid=11903/tid=11905] ppid=11900 vsize=27312552 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/11903/task/11905/stat : 11905 (java) R 11900 11903 11744 0 -1 4202560 8457 0 0 0 17 3 0 0 20 0 20 0 83993172 27968053248 31342 33554432000 4194304 4196468 140736961316832 140240058584368 140239557461110 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11906] ppid=11900 vsize=27312552 memory=12881 CPUtime=0 cores=0-7
/proc/11903/task/11906/stat : 11906 (java) S 11900 11903 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83993174 27968053248 31342 33554432000 4194304 4196468 140736961316832 140240091027728 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11907] ppid=11900 vsize=27312552 memory=3690619683358049952 CPUtime=0 cores=0-7
/proc/11903/task/11907/stat : 11907 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993174 27968053248 31342 33554432000 4194304 4196468 140736961316832 140239905184144 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11908] ppid=11900 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11903/task/11908/stat : 11908 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993174 27968053248 31342 33554432000 4194304 4196468 140736961316832 140239904131600 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11909] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11909/stat : 11909 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993174 27968053248 31342 33554432000 4194304 4196468 140736961316832 140239903079056 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11910] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11910/stat : 11910 (java) S 11900 11903 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83993175 27968053248 31342 33554432000 4194304 4196468 140736961316832 140239902026512 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11911] ppid=11900 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11903/task/11911/stat : 11911 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993175 27968053248 31342 33554432000 4194304 4196468 140736961316832 140239900973968 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11912] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11912/stat : 11912 (java) S 11900 11903 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83993175 27968053248 31342 33554432000 4194304 4196468 140736961316832 140239899921424 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11913] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11913/stat : 11913 (java) S 11900 11903 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83993175 27968053248 31342 33554432000 4194304 4196468 140736961316832 140239898868880 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11914] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11914/stat : 11914 (java) S 11900 11903 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83993176 27968053248 31342 33554432000 4194304 4196468 140736961316832 140238608340976 140240086796930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11915] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11915/stat : 11915 (java) S 11900 11903 11744 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83993176 27968053248 31342 33554432000 4194304 4196468 140736961316832 140238064182176 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11916] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11916/stat : 11916 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993177 27968053248 31342 33554432000 4194304 4196468 140736961316832 140237795746800 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11917] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11917/stat : 11917 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993179 27968053248 31342 33554432000 4194304 4196468 140736961316832 140237421238480 140240086804379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11918] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11918/stat : 11918 (java) S 11900 11903 11744 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 83993179 27968053248 31342 33554432000 4194304 4196468 140736961316832 140238607288816 140240086796930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11919] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11919/stat : 11919 (java) S 11900 11903 11744 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 83993179 27968053248 31342 33554432000 4194304 4196468 140736961316832 140238606236272 140240086796930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11920] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11920/stat : 11920 (java) S 11900 11903 11744 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 83993179 27968053248 31342 33554432000 4194304 4196468 140736961316832 140238605183728 140240086796930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11921] ppid=11900 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/11903/task/11921/stat : 11921 (java) S 11900 11903 11744 0 -1 1077944384 284 0 0 0 2 0 0 0 20 0 20 0 83993179 27968053248 31342 33554432000 4194304 4196468 140736961316832 140238604131184 140240086796930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11922] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11922/stat : 11922 (java) S 11900 11903 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83993179 27968053248 31342 33554432000 4194304 4196468 140736961316832 140236923332832 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11923] ppid=11900 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11903/task/11923/stat : 11923 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993180 27968053248 31342 33554432000 4194304 4196468 140736961316832 140238603078064 140240086796930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 125368 KiB

[startup+0.310238 s]*
/proc/loadavg: 8.12 8.64 8.76 2/199 11923
/proc/meminfo: memFree=12184908/32770624 swapFree=67108860/67108860
[pid=11903] ppid=11900 vsize=27312552 memory=129088 CPUtime=0.42 cores=0-7
/proc/11903/stat : 11903 (java) S 11900 11903 11744 0 -1 1077944320 11191 0 0 0 37 5 0 0 20 0 20 0 83993172 27968053248 32272 33554432000 4194304 4196468 140736961316832 140736961299376 140240086785783 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
/proc/11903/statm: 6828138 32272 2996 1 0 6790598 0
[pid=11903/tid=11905] ppid=11900 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11903/task/11905/stat : 11905 (java) R 11900 11903 11744 0 -1 4202560 8887 0 0 0 26 3 0 0 20 0 20 0 83993172 27968053248 32272 33554432000 4194304 4196468 140736961316832 140240058589936 140240068349264 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11906] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11906/stat : 11906 (java) S 11900 11903 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83993174 27968053248 32272 33554432000 4194304 4196468 140736961316832 140240091027728 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11907] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11907/stat : 11907 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993174 27968053248 32272 33554432000 4194304 4196468 140736961316832 140239905184144 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11908] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11908/stat : 11908 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993174 27968053248 32272 33554432000 4194304 4196468 140736961316832 140239904131600 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11909] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11909/stat : 11909 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993174 27968053248 32272 33554432000 4194304 4196468 140736961316832 140239903079056 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11910] ppid=11900 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/11903/task/11910/stat : 11910 (java) S 11900 11903 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83993175 27968053248 32272 33554432000 4194304 4196468 140736961316832 140239902026512 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11911] ppid=11900 vsize=27312552 memory=140583473607599 CPUtime=0 cores=0-7
/proc/11903/task/11911/stat : 11911 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993175 27968053248 32272 33554432000 4194304 4196468 140736961316832 140239900973968 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11912] ppid=11900 vsize=27312552 memory=140583473609904 CPUtime=0 cores=0-7
/proc/11903/task/11912/stat : 11912 (java) S 11900 11903 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83993175 27968053248 32272 33554432000 4194304 4196468 140736961316832 140239899921424 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11913] ppid=11900 vsize=27312552 memory=140583473612208 CPUtime=0 cores=0-7
/proc/11903/task/11913/stat : 11913 (java) S 11900 11903 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83993175 27968053248 32272 33554432000 4194304 4196468 140736961316832 140239898868880 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11914] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11914/stat : 11914 (java) S 11900 11903 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83993176 27968053248 32272 33554432000 4194304 4196468 140736961316832 140238608340976 140240086796930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11915] ppid=11900 vsize=27312552 memory=281166947231376 CPUtime=0 cores=0-7
/proc/11903/task/11915/stat : 11915 (java) S 11900 11903 11744 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83993176 27968053248 32272 33554432000 4194304 4196468 140736961316832 140238064182176 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11916] ppid=11900 vsize=27312552 memory=281166947238288 CPUtime=0 cores=0-7
/proc/11903/task/11916/stat : 11916 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993177 27968053248 32272 33554432000 4194304 4196468 140736961316832 140237795746800 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11917] ppid=11900 vsize=27312552 memory=281166947179568 CPUtime=0 cores=0-7
/proc/11903/task/11917/stat : 11917 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993179 27968053248 32272 33554432000 4194304 4196468 140736961316832 140237421238480 140240086804379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11918] ppid=11900 vsize=27312552 memory=281166947252112 CPUtime=0.01 cores=0-7
/proc/11903/task/11918/stat : 11918 (java) S 11900 11903 11744 0 -1 1077944384 323 0 0 0 1 0 0 0 20 0 20 0 83993179 27968053248 32272 33554432000 4194304 4196468 140736961316832 140238607288816 140240086796930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11919] ppid=11900 vsize=27312552 memory=281166947259024 CPUtime=0.01 cores=0-7
/proc/11903/task/11919/stat : 11919 (java) S 11900 11903 11744 0 -1 1077944384 222 0 0 0 1 0 0 0 20 0 20 0 83993179 27968053248 32272 33554432000 4194304 4196468 140736961316832 140238606236272 140240086796930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11920] ppid=11900 vsize=27312552 memory=281166947256720 CPUtime=0.01 cores=0-7
/proc/11903/task/11920/stat : 11920 (java) S 11900 11903 11744 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 20 0 83993179 27968053248 32272 33554432000 4194304 4196468 140736961316832 140238605183728 140240086796930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11921] ppid=11900 vsize=27312552 memory=281166947273328 CPUtime=0.06 cores=0-7
/proc/11903/task/11921/stat : 11921 (java) S 11900 11903 11744 0 -1 1077944384 328 0 0 0 6 0 0 0 20 0 20 0 83993179 27968053248 32272 33554432000 4194304 4196468 140736961316832 140238604131184 140240086796930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11922] ppid=11900 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11922/stat : 11922 (java) S 11900 11903 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83993179 27968053248 32272 33554432000 4194304 4196468 140736961316832 140236923332832 140240086795989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11923] ppid=11900 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11903/task/11923/stat : 11923 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993180 27968053248 32272 33554432000 4194304 4196468 140736961316832 140238603078064 140240086796930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 129088 KiB

[startup+0.708367 s]
/proc/loadavg: 8.12 8.64 8.76 3/199 11923
/proc/meminfo: memFree=12160848/32770624 swapFree=67108860/67108860
[pid=11903] ppid=11900 vsize=27320872 memory=169400 CPUtime=1.08 cores=0-7
/proc/11903/stat : 11903 (java) S 11900 11903 11744 0 -1 1077944320 18432 0 0 0 100 8 0 0 20 0 20 0 83993172 27976572928 42350 33554432000 4194304 4196468 140736961316832 140736961299376 140240086785783 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
/proc/11903/statm: 6830218 42350 3135 1 0 6791622 0
[pid=11903/tid=11905] ppid=11900 vsize=27320872 memory=0 CPUtime=0.68 cores=0-7
/proc/11903/task/11905/stat : 11905 (java) R 11900 11903 11744 0 -1 4202560 15527 0 0 0 63 5 0 0 20 0 20 0 83993172 27976572928 42350 33554432000 4194304 4196468 140736961316832 140240058615168 140240070866270 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11906] ppid=11900 vsize=27320872 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11906/stat : 11906 (java) S 11900 11903 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83993174 27976572928 42350 33554432000 4194304 4196468 140736961316832 140240091027728 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11907] ppid=11900 vsize=27320872 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11907/stat : 11907 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993174 27976572928 42404 33554432000 4194304 4196468 140736961316832 140239905184144 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11908] ppid=11900 vsize=27320872 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11908/stat : 11908 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993174 27976572928 42404 33554432000 4194304 4196468 140736961316832 140239904131600 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11909] ppid=11900 vsize=27320872 memory=1200 CPUtime=0 cores=0-7
/proc/11903/task/11909/stat : 11909 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993174 27976572928 42404 33554432000 4194304 4196468 140736961316832 140239903079056 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11910] ppid=11900 vsize=27320872 memory=10608 CPUtime=0 cores=0-7
/proc/11903/task/11910/stat : 11910 (java) S 11900 11903 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83993175 27976572928 42404 33554432000 4194304 4196468 140736961316832 140239902026512 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11911] ppid=11900 vsize=27320872 memory=4616 CPUtime=0 cores=0-7
/proc/11903/task/11911/stat : 11911 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83993175 27976572928 42404 33554432000 4194304 4196468 140736961316832 140239900973968 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11912] ppid=11900 vsize=27320872 memory=1428 CPUtime=0 cores=0-7
/proc/11903/task/11912/stat : 11912 (java) S 11900 11903 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83993175 27976572928 42404 33554432000 4194304 4196468 140736961316832 140239899921424 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11913] ppid=11900 vsize=27320872 memory=15876 CPUtime=0 cores=0-7
/proc/11903/task/11913/stat : 11913 (java) S 11900 11903 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83993175 27976572928 42404 33554432000 4194304 4196468 140736961316832 140239898868880 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11914] ppid=11900 vsize=27320872 memory=16436 CPUtime=0 cores=0-7
/proc/11903/task/11914/stat : 11914 (java) S 11900 11903 11744 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 83993176 27976572928 42404 33554432000 4194304 4196468 140736961316832 140238608340976 140240086796930 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0

################
# More data... #
################

/proc/11924/task/11931/stat : 11931 (glucose-syrup) R 11903 11903 11744 0 -1 4202560 270155 0 0 0 7181 39 0 0 20 0 9 0 83996162 3842461696 818415 33554432000 4194304 4373367 140735082139216 140566737403024 4258831 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 10174464 140735082140591 140735082140844 140735082140844 140735082143687 0
[pid=11924/tid=11932] ppid=11903 vsize=3752404 memory=6636292 CPUtime=72.21 cores=0-7
/proc/11924/task/11932/stat : 11932 (glucose-syrup) R 11903 11903 11744 0 -1 4202560 263406 0 0 0 7168 53 0 0 20 0 9 0 83996162 3842461696 818415 33554432000 4194304 4373367 140735082139216 140565305482440 4271808 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 10174464 140735082140591 140735082140844 140735082140844 140735082143687 0
[pid=11924/tid=11933] ppid=11903 vsize=3752404 memory=317604 CPUtime=72.2 cores=0-7
/proc/11924/task/11933/stat : 11933 (glucose-syrup) R 11903 11903 11744 0 -1 4202560 265922 0 0 0 7167 53 0 0 20 0 9 0 83996162 3842461696 818415 33554432000 4194304 4373367 140735082139216 140565297089680 4271828 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 10174464 140735082140591 140735082140844 140735082140844 140735082143687 0
[pid=11924/tid=11934] ppid=11903 vsize=3752404 memory=140587879302783 CPUtime=72.19 cores=0-7
/proc/11924/task/11934/stat : 11934 (glucose-syrup) R 11903 11903 11744 0 -1 4202560 266753 0 0 0 7163 56 0 0 20 0 9 0 83996162 3842461696 818415 33554432000 4194304 4373367 140735082139216 140565288697032 4271597 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 10174464 140735082140591 140735082140844 140735082140844 140735082143687 0
[pid=11924/tid=11935] ppid=11903 vsize=3752404 memory=13171 CPUtime=72.18 cores=0-7
/proc/11924/task/11935/stat : 11935 (glucose-syrup) R 11903 11903 11744 0 -1 4202560 269159 0 0 0 7172 46 0 0 20 0 9 0 83996162 3842461696 818415 33554432000 4194304 4373367 140735082139216 140565280304328 4258847 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 10174464 140735082140591 140735082140844 140735082140844 140735082143687 0
[pid=11924/tid=11936] ppid=11903 vsize=3752404 memory=24600 CPUtime=70.67 cores=0-7
/proc/11924/task/11936/stat : 11936 (glucose-syrup) R 11903 11903 11744 0 -1 4202560 257010 0 0 0 7024 43 0 0 20 0 9 0 83996162 3842461696 818415 33554432000 4194304 4373367 140735082139216 140565137693968 4271925 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 10174464 140735082140591 140735082140844 140735082140844 140735082143687 0
[pid=11924/tid=11937] ppid=11903 vsize=3752404 memory=1292 CPUtime=72.2 cores=0-7
/proc/11924/task/11937/stat : 11937 (glucose-syrup) R 11903 11903 11744 0 -1 4202560 228529 0 0 0 7172 48 0 0 20 0 9 0 83996162 3842461696 818415 33554432000 4194304 4373367 140735082139216 140565271911656 4271897 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 10174464 140735082140591 140735082140844 140735082140844 140735082143687 0
[pid=11903/tid=11905] ppid=11900 vsize=27984808 memory=337 CPUtime=23.97 cores=0-7
/proc/11903/task/11905/stat : 11905 (java) S 11900 11903 11744 0 -1 1077944384 22362 0 0 0 2297 100 0 0 20 0 24 0 83993172 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140240058625024 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11906] ppid=11900 vsize=27984808 memory=0 CPUtime=0.54 cores=0-7
/proc/11903/task/11906/stat : 11906 (java) S 11900 11903 11744 0 -1 1077944384 329 0 0 0 31 23 0 0 20 0 24 0 83993174 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140240091027728 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11907] ppid=11900 vsize=27984808 memory=3212396 CPUtime=0.52 cores=0-7
/proc/11903/task/11907/stat : 11907 (java) S 11900 11903 11744 0 -1 1077944384 330 0 0 0 29 23 0 0 20 0 24 0 83993174 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140239905184144 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11908] ppid=11900 vsize=27984808 memory=140583474269032 CPUtime=0.53 cores=0-7
/proc/11903/task/11908/stat : 11908 (java) S 11900 11903 11744 0 -1 1077944384 356 0 0 0 30 23 0 0 20 0 24 0 83993174 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140239904131600 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11909] ppid=11900 vsize=27984808 memory=164 CPUtime=0.53 cores=0-7
/proc/11903/task/11909/stat : 11909 (java) S 11900 11903 11744 0 -1 1077944384 342 0 0 0 30 23 0 0 20 0 24 0 83993174 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140239903079056 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11910] ppid=11900 vsize=27984808 memory=-3975649505123405620 CPUtime=0.53 cores=0-7
/proc/11903/task/11910/stat : 11910 (java) S 11900 11903 11744 0 -1 1077944384 341 0 0 0 30 23 0 0 20 0 24 0 83993175 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140239902026512 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11911] ppid=11900 vsize=27984808 memory=129 CPUtime=0.54 cores=0-7
/proc/11903/task/11911/stat : 11911 (java) S 11900 11903 11744 0 -1 1077944384 368 0 0 0 30 24 0 0 20 0 24 0 83993175 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140239900973968 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11912] ppid=11900 vsize=27984808 memory=33 CPUtime=0.54 cores=0-7
/proc/11903/task/11912/stat : 11912 (java) S 11900 11903 11744 0 -1 1077944384 330 0 0 0 32 22 0 0 20 0 24 0 83993175 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140239899921424 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11913] ppid=11900 vsize=27984808 memory=6636292 CPUtime=0.53 cores=0-7
/proc/11903/task/11913/stat : 11913 (java) S 11900 11903 11744 0 -1 1077944384 325 0 0 0 30 23 0 0 20 0 24 0 83993175 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140239898868880 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11914] ppid=11900 vsize=27984808 memory=3251048 CPUtime=0.01 cores=0-7
/proc/11903/task/11914/stat : 11914 (java) S 11900 11903 11744 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 24 0 83993176 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140238608340976 140240086796930 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11915] ppid=11900 vsize=27984808 memory=7528 CPUtime=0 cores=0-7
/proc/11903/task/11915/stat : 11915 (java) S 11900 11903 11744 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 83993176 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140238064182240 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11916] ppid=11900 vsize=27984808 memory=24600 CPUtime=0 cores=0-7
/proc/11903/task/11916/stat : 11916 (java) S 11900 11903 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 83993177 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140237795746816 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11917] ppid=11900 vsize=27984808 memory=1292 CPUtime=0 cores=0-7
/proc/11903/task/11917/stat : 11917 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83993179 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140237421238480 140240086804379 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11918] ppid=11900 vsize=27984808 memory=2416 CPUtime=4.47 cores=0-7
/proc/11903/task/11918/stat : 11918 (java) S 11900 11903 11744 0 -1 1077944384 7223 0 0 0 445 2 0 0 20 0 24 0 83993179 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140238607288816 140240086796930 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11919] ppid=11900 vsize=27984808 memory=6636292 CPUtime=5.18 cores=0-7
/proc/11903/task/11919/stat : 11919 (java) S 11900 11903 11744 0 -1 1077944384 10958 0 0 0 516 2 0 0 20 0 24 0 83993179 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140238606236272 140240086796930 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11920] ppid=11900 vsize=27984808 memory=3254592 CPUtime=4.39 cores=0-7
/proc/11903/task/11920/stat : 11920 (java) S 11900 11903 11744 0 -1 1077944384 4500 0 0 0 437 2 0 0 20 0 24 0 83993179 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140238605183728 140240086796930 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11921] ppid=11900 vsize=27984808 memory=3218924 CPUtime=1.68 cores=0-7
/proc/11903/task/11921/stat : 11921 (java) S 11900 11903 11744 0 -1 1077944384 4325 0 0 0 166 2 0 0 20 0 24 0 83993179 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140238604131184 140240086796930 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11922] ppid=11900 vsize=27984808 memory=6636292 CPUtime=0 cores=0-7
/proc/11903/task/11922/stat : 11922 (java) S 11900 11903 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83993179 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140236923332832 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11923] ppid=11900 vsize=27984808 memory=8039887049847964578 CPUtime=0.05 cores=0-7
/proc/11903/task/11923/stat : 11923 (java) S 11900 11903 11744 0 -1 1077944384 9 0 0 0 3 2 0 0 20 0 24 0 83993180 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140238603078064 140240086796930 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11925] ppid=11900 vsize=27984808 memory=3223000 CPUtime=0 cores=0-7
/proc/11903/task/11925/stat : 11925 (java) S 11900 11903 11744 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 83995631 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140239876609216 140240086810393 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11927] ppid=11900 vsize=27984808 memory=281166948995040 CPUtime=0.01 cores=0-7
/proc/11903/task/11927/stat : 11927 (java) S 11900 11903 11744 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 24 0 83995631 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140236252233392 140240086807709 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11928] ppid=11900 vsize=27984808 memory=6636292 CPUtime=0 cores=0-7
/proc/11903/task/11928/stat : 11928 (java) S 11900 11903 11744 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 83995631 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140236520668976 140240086807709 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11929] ppid=11900 vsize=27984808 memory=3227656 CPUtime=0 cores=0-7
/proc/11903/task/11929/stat : 11929 (java) S 11900 11903 11744 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 83995633 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140235983806112 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
Current children cumulated CPU time: 625.65 s
Current children cumulated vsize: 31737212 KiB
Current children cumulated memory: 9909952 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+105.402 s]
/proc/loadavg: 7.22 7.93 8.47 9/211 11937
/proc/meminfo: memFree=2307152/32770624 swapFree=67108860/67108860
[pid=11903] ppid=11900 vsize=27984808 memory=6636292 CPUtime=44.18 cores=0-7
/proc/11903/stat : 11903 (java) S 11900 11903 11744 0 -1 1077944320 53515 0 0 0 4116 302 0 0 20 0 24 0 83993172 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140736961299376 140240086785783 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
/proc/11903/statm: 6996202 1659073 3254 1 0 6957058 0
[pid=11924] ppid=11903 vsize=3803824 memory=3287000 CPUtime=606.2 cores=0-7
/proc/11924/stat : 11924 (glucose-syrup) S 11903 11903 11744 0 -1 1077944320 2820316 0 0 0 60158 462 0 0 20 0 9 0 83995630 3895115776 821750 33554432000 4194304 4373367 140735082139216 140735082137760 140566981122690 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6470912 6472264 10174464 140735082140591 140735082140844 140735082140844 140735082143687 0
/proc/11924/statm: 950956 821750 388 44 0 946644 0
[pid=11924/tid=11930] ppid=11903 vsize=3803824 memory=1 CPUtime=75.31 cores=0-7
/proc/11924/task/11930/stat : 11930 (glucose-syrup) R 11903 11903 11744 0 -1 4202560 489267 0 0 0 7487 44 0 0 20 0 9 0 83996162 3895115776 821750 33554432000 4194304 4373367 140735082139216 140566805130440 4249146 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 10174464 140735082140591 140735082140844 140735082140844 140735082143687 0
[pid=11924/tid=11931] ppid=11903 vsize=3803824 memory=3284328 CPUtime=75.3 cores=0-7
/proc/11924/task/11931/stat : 11931 (glucose-syrup) R 11903 11903 11744 0 -1 4202560 271156 0 0 0 7491 39 0 0 20 0 9 0 83996162 3895115776 821750 33554432000 4194304 4373367 140735082139216 140566737403024 4271828 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 10174464 140735082140591 140735082140844 140735082140844 140735082143687 0
[pid=11924/tid=11932] ppid=11903 vsize=3803824 memory=6636292 CPUtime=75.3 cores=0-7
/proc/11924/task/11932/stat : 11932 (glucose-syrup) R 11903 11903 11744 0 -1 4202560 264467 0 0 0 7477 53 0 0 20 0 9 0 83996162 3895115776 821750 33554432000 4194304 4373367 140735082139216 140565305482512 4271897 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 10174464 140735082140591 140735082140844 140735082140844 140735082143687 0
[pid=11924/tid=11933] ppid=11903 vsize=3803824 memory=3284076 CPUtime=75.29 cores=0-7
/proc/11924/task/11933/stat : 11933 (glucose-syrup) R 11903 11903 11744 0 -1 4202560 267180 0 0 0 7476 53 0 0 20 0 9 0 83996162 3895115776 821750 33554432000 4194304 4373367 140735082139216 140565297089904 4271897 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 10174464 140735082140591 140735082140844 140735082140844 140735082143687 0
[pid=11924/tid=11934] ppid=11903 vsize=3803824 memory=844 CPUtime=75.28 cores=0-7
/proc/11924/task/11934/stat : 11934 (glucose-syrup) R 11903 11903 11744 0 -1 4202560 276581 0 0 0 7472 56 0 0 20 0 9 0 83996162 3895115776 821750 33554432000 4194304 4373367 140735082139216 140565288696664 4272316 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 10174464 140735082140591 140735082140844 140735082140844 140735082143687 0
[pid=11924/tid=11935] ppid=11903 vsize=3803824 memory=4096 CPUtime=75.27 cores=0-7
/proc/11924/task/11935/stat : 11935 (glucose-syrup) R 11903 11903 11744 0 -1 4202560 270691 0 0 0 7481 46 0 0 20 0 9 0 83996162 3895115776 821750 33554432000 4194304 4373367 140735082139216 140565280304272 4271619 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 10174464 140735082140591 140735082140844 140735082140844 140735082143687 0
[pid=11924/tid=11936] ppid=11903 vsize=3803824 memory=1696 CPUtime=73.7 cores=0-7
/proc/11924/task/11936/stat : 11936 (glucose-syrup) R 11903 11903 11744 0 -1 4202560 273273 0 0 0 7326 44 0 0 20 0 9 0 83996162 3895115776 821750 33554432000 4194304 4373367 140735082139216 140565137693896 4258831 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 10174464 140735082140591 140735082140844 140735082140844 140735082143687 0
[pid=11924/tid=11937] ppid=11903 vsize=3803824 memory=920 CPUtime=75.3 cores=0-7
/proc/11924/task/11937/stat : 11937 (glucose-syrup) R 11903 11903 11744 0 -1 4202560 245942 0 0 0 7481 49 0 0 20 0 9 0 83996162 3895115776 821750 33554432000 4194304 4373367 140735082139216 140565271911624 4272106 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 10174464 140735082140591 140735082140844 140735082140844 140735082143687 0
[pid=11903/tid=11905] ppid=11900 vsize=27984808 memory=4204 CPUtime=23.97 cores=0-7
/proc/11903/task/11905/stat : 11905 (java) S 11900 11903 11744 0 -1 1077944384 22362 0 0 0 2297 100 0 0 20 0 24 0 83993172 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140240058625024 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11906] ppid=11900 vsize=27984808 memory=1412 CPUtime=0.54 cores=0-7
/proc/11903/task/11906/stat : 11906 (java) S 11900 11903 11744 0 -1 1077944384 329 0 0 0 31 23 0 0 20 0 24 0 83993174 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140240091027728 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11907] ppid=11900 vsize=27984808 memory=3484 CPUtime=0.52 cores=0-7
/proc/11903/task/11907/stat : 11907 (java) S 11900 11903 11744 0 -1 1077944384 330 0 0 0 29 23 0 0 20 0 24 0 83993174 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140239905184144 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11908] ppid=11900 vsize=27984808 memory=6636292 CPUtime=0.53 cores=0-7
/proc/11903/task/11908/stat : 11908 (java) S 11900 11903 11744 0 -1 1077944384 356 0 0 0 30 23 0 0 20 0 24 0 83993174 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140239904131600 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11909] ppid=11900 vsize=27984808 memory=3259456 CPUtime=0.53 cores=0-7
/proc/11903/task/11909/stat : 11909 (java) S 11900 11903 11744 0 -1 1077944384 342 0 0 0 30 23 0 0 20 0 24 0 83993174 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140239903079056 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11910] ppid=11900 vsize=27984808 memory=140583473734296 CPUtime=0.53 cores=0-7
/proc/11903/task/11910/stat : 11910 (java) S 11900 11903 11744 0 -1 1077944384 341 0 0 0 30 23 0 0 20 0 24 0 83993175 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140239902026512 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11911] ppid=11900 vsize=27984808 memory=140583473737612 CPUtime=0.54 cores=0-7
/proc/11903/task/11911/stat : 11911 (java) S 11900 11903 11744 0 -1 1077944384 368 0 0 0 30 24 0 0 20 0 24 0 83993175 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140239900973968 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11912] ppid=11900 vsize=27984808 memory=0 CPUtime=0.54 cores=0-7
/proc/11903/task/11912/stat : 11912 (java) S 11900 11903 11744 0 -1 1077944384 330 0 0 0 32 22 0 0 20 0 24 0 83993175 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140239899921424 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11913] ppid=11900 vsize=27984808 memory=4121551108176377304 CPUtime=0.53 cores=0-7
/proc/11903/task/11913/stat : 11913 (java) S 11900 11903 11744 0 -1 1077944384 325 0 0 0 30 23 0 0 20 0 24 0 83993175 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140239898868880 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11914] ppid=11900 vsize=27984808 memory=8534021445795529411 CPUtime=0.02 cores=0-7
/proc/11903/task/11914/stat : 11914 (java) S 11900 11903 11744 0 -1 1077944384 27 0 0 0 2 0 0 0 20 0 24 0 83993176 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140238608340976 140240086796930 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11915] ppid=11900 vsize=27984808 memory=8029507001284184867 CPUtime=0 cores=0-7
/proc/11903/task/11915/stat : 11915 (java) S 11900 11903 11744 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 83993176 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140238064182240 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11916] ppid=11900 vsize=27984808 memory=7813734678672907014 CPUtime=0 cores=0-7
/proc/11903/task/11916/stat : 11916 (java) S 11900 11903 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 83993177 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140237795746816 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11917] ppid=11900 vsize=27984808 memory=3472468879701524764 CPUtime=0 cores=0-7
/proc/11903/task/11917/stat : 11917 (java) S 11900 11903 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83993179 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140237421238480 140240086804379 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11918] ppid=11900 vsize=27984808 memory=6636292 CPUtime=4.47 cores=0-7
/proc/11903/task/11918/stat : 11918 (java) S 11900 11903 11744 0 -1 1077944384 7223 0 0 0 445 2 0 0 20 0 24 0 83993179 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140238607288816 140240086796930 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11919] ppid=11900 vsize=27984808 memory=56 CPUtime=5.18 cores=0-7
/proc/11903/task/11919/stat : 11919 (java) S 11900 11903 11744 0 -1 1077944384 10958 0 0 0 516 2 0 0 20 0 24 0 83993179 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140238606236272 140240086796930 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11920] ppid=11900 vsize=27984808 memory=302304370639503671 CPUtime=4.39 cores=0-7
/proc/11903/task/11920/stat : 11920 (java) S 11900 11903 11744 0 -1 1077944384 4500 0 0 0 437 2 0 0 20 0 24 0 83993179 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140238605183728 140240086796930 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11921] ppid=11900 vsize=27984808 memory=14134428972616243 CPUtime=1.68 cores=0-7
/proc/11903/task/11921/stat : 11921 (java) S 11900 11903 11744 0 -1 1077944384 4326 0 0 0 166 2 0 0 20 0 24 0 83993179 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140238604131184 140240086796930 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11922] ppid=11900 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11922/stat : 11922 (java) S 11900 11903 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83993179 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140236923332832 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11923] ppid=11900 vsize=27984808 memory=0 CPUtime=0.05 cores=0-7
/proc/11903/task/11923/stat : 11923 (java) S 11900 11903 11744 0 -1 1077944384 9 0 0 0 3 2 0 0 20 0 24 0 83993180 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140238603078064 140240086796930 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11925] ppid=11900 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11925/stat : 11925 (java) S 11900 11903 11744 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 83995631 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140239876609216 140240086810393 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11927] ppid=11900 vsize=27984808 memory=1 CPUtime=0.01 cores=0-7
/proc/11903/task/11927/stat : 11927 (java) S 11900 11903 11744 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 24 0 83995631 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140236252233392 140240086807709 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11928] ppid=11900 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/11903/task/11928/stat : 11928 (java) S 11900 11903 11744 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 83995631 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140236520668976 140240086807709 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
[pid=11903/tid=11929] ppid=11900 vsize=27984808 memory=9 CPUtime=0 cores=0-7
/proc/11903/task/11929/stat : 11929 (java) S 11900 11903 11744 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 83995633 28656443392 1659073 33554432000 4194304 4196468 140736961316832 140235983806112 140240086795989 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26046464 140736961319898 140736961320197 140736961320197 140736961322959 0
Current children cumulated CPU time: 650.38 s
Current children cumulated vsize: 31788632 KiB
Current children cumulated memory: 9923292 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+105.61 s]
# the end of solver process 11903 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=642.861 s, system=7.83636 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+105.601 s]*
/proc/loadavg: 7.22 7.93 8.47 2/179 11938
/proc/meminfo: memFree=12300716/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 1
Real time (s): 105.61
CPU time (s): 650.698
CPU user time (s): 642.861
CPU system time (s): 7.83636
CPU usage (%): 616.131
Max. virtual memory (cumulated for all children) (KiB): 31788632
Max. memory (cumulated for all children) (KiB): 9934428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 642.861
system time used= 7.83636
maximum resident set size= 6643392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2873890
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59645
involuntary context switches= 6348


# summary of solver processes directly reported to runsolver:
#   pid: 11903
#   total CPU time (s): 650.698
#   total CPU user time (s): 642.861
#   total CPU system time (s): 7.83636

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.853259 second user time and 1.39754 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-27 06:05:00
IDJOB=4297143
IDBENCH=141455
IDSOLVER=2759
FILE ID=node139/4297143-1532664300
RUNJOBID= node139-1532664287-11771
PBS_JOBID= 21022231
Free space on /tmp= 38720 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/CarSequencing/CarSequencing-85-01_c18.xml
COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -both -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297143-1532664300/watcher-4297143-1532664300 -o /tmp/evaluation-result-4297143-1532664300/solver-4297143-1532664300 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532664287-11771 --watchdog 2580  java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297143-1532664300.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 1301ca50d7ea6d03cca9e07ce6e480be
RANDOM SEED=1713507033

node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        12303312 kB
MemAvailable:   31930452 kB
Buffers:          249248 kB
Cached:         19333256 kB
SwapCached:            0 kB
Active:          3057292 kB
Inactive:       16575976 kB
Active(anon):       5148 kB
Inactive(anon):    73540 kB
Active(file):    3052144 kB
Inactive(file): 16502436 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8556 kB
Writeback:             0 kB
AnonPages:         51708 kB
Mapped:            41500 kB
Shmem:             25228 kB
Slab:             528324 kB
SReclaimable:     501020 kB
SUnreclaim:        27304 kB
KernelStack:        2864 kB
PageTables:         4952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 38712 MiB
End job on node139 at 2018-07-27 06:06:46