Trace number 4297141

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) 522.96 88.7148

General information on the benchmark

NameCarSequencing/
CarSequencing-80-01_c18.xml
MD5SUM1fae7142163c3dd6bc5a43a0b85b79be
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 benchmark12.9743
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1429
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 degree78
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":54,"count":9}, {"degree":55,"count":9}, {"degree":56,"count":51}, {"degree":57,"count":6}, {"degree":58,"count":41}, {"degree":59,"count":2}, {"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":3}, {"degree":78,"count":51}]
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":40,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":45,"count":1},{"arity":47,"count":2},{"arity":50,"count":3},{"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":65,"count":3},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":3},{"arity":71,"count":2},"...",{"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":1228},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.66/0.53	
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:08:29 CEST 2018
0.66/0.55	c PID: 6040
0.66/0.55	c IP: 172.20.3.104
0.66/0.55	c HOST: node104.alineos.net
0.66/0.56	c (0,0) Parsing Begin
3.07/1.40	c (0,0) Parsing End
3.39/1.41	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1429 ctr, max domain size 26
3.39/1.41	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.39/1.41	c (0,0) Constraint Name Generate Begin
3.39/1.44	c (0,0) Ctr:HOME/instance-4297141-1532664508.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.39/1.44	c (0,0) Constraint Name Generate End
3.39/1.44	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.39/1.44	c (0,0) CSP to CSPinCNF Begin
12.47/4.66	c (4,4) translated 143 (10%) constraints
13.00/5.13	c (4,4) translated 286 (20%) constraints
13.00/5.15	c (4,4) translated 429 (30%) constraints
13.00/5.17	c (4,4) translated 572 (40%) constraints
13.39/5.20	c (4,4) translated 715 (50%) constraints
13.39/5.23	c (4,4) translated 858 (60%) constraints
13.39/5.24	c (4,4) translated 1001 (70%) constraints
13.39/5.26	c (4,4) translated 1144 (80%) constraints
15.79/6.70	c (6,6) translated 1287 (90%) constraints
16.81/7.77	c (7,7) translated 1429 (100%) constraints
18.33/8.33	c (7,7) STATISTICS1:HOME/instance-4297141-1532664508.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,16600,57054,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:3;70368744177664:2;17592186044416:1;8796093022208:1;1099511627776:1;549755813888:1;16:392;4:396;2:199,26:20400;2:158730,25:200;3:29600;2:26000;1:1254,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:3;47:2;45:1;44:1;41:1;40: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
18.33/8.33	c (7,7) ===========================================
18.33/8.33	c (7,7) Both Encoding selects:
18.33/8.33	c (7,7) Log
18.33/8.33	c (7,7) ===========================================
19.73/8.89	c (8,8) translated 5706 (10%) constraints
20.34/9.11	c (8,8) translated 11411 (20%) constraints
20.58/9.21	c (8,8) translated 17117 (30%) constraints
20.71/9.30	c (8,8) translated 22822 (40%) constraints
20.71/9.39	c (8,8) translated 28527 (50%) constraints
20.81/9.48	c (8,8) translated 34233 (60%) constraints
20.91/9.57	c (9,9) translated 39938 (70%) constraints
21.01/9.66	c (9,9) translated 45644 (80%) constraints
21.11/9.75	c (9,9) translated 51349 (90%) constraints
22.77/10.95	c (10,10) translated 57054 (100%) constraints
22.77/10.96	c (10,10) CSP to CSPinCNF End
22.77/10.97	c (10,10) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67480 ctr, max domain size 26
22.77/10.97	c (10,10) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.77/10.97	c (10,10) CSPinCNF Propagation Begin
23.96/11.65	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
23.96/11.65	c (11,11) CSPinCNF Propagation End
23.96/11.65	c (11,11) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67080 ctr, max domain size 26
23.96/11.65	c (11,11) Heap : 5068 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.96/11.65	c (11,11) Simplify CSPinCNF Begin
24.35/11.82	c (11,11) Simplify CSPinCNF End
24.35/11.82	c (11,11) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67080 ctr, max domain size 26
24.35/11.82	c (11,11) Heap : 5068 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.35/11.82	c (11,11) Calculate Precise Domain Begin
24.35/11.83	c (11,11) 0 values are removed by re-calculation
24.35/11.83	c (11,11) Calculate Precise Domain End
24.35/11.83	c (11,11) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67080 ctr, max domain size 26
24.35/11.83	c (11,11) Heap : 5068 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.35/11.83	c (11,11) CSPinCNF to SatSolver Begin
28.80/13.49	c (12,12) 6708 (10 %) CSP clauses are being encoded (125804 SAT variables, 278021 SAT clauses)
29.60/13.84	c (13,13) 13416 (20 %) CSP clauses are being encoded (149146 SAT variables, 328059 SAT clauses)
29.94/14.17	c (13,13) 20124 (30 %) CSP clauses are being encoded (173164 SAT variables, 379587 SAT clauses)
30.46/14.37	c (13,13) 26832 (40 %) CSP clauses are being encoded (179752 SAT variables, 398127 SAT clauses)
30.85/14.53	c (13,13) 33540 (50 %) CSP clauses are being encoded (185668 SAT variables, 415275 SAT clauses)
30.95/14.68	c (14,13) 40248 (60 %) CSP clauses are being encoded (191788 SAT variables, 432783 SAT clauses)
31.16/14.84	c (14,14) 46956 (70 %) CSP clauses are being encoded (197704 SAT variables, 449931 SAT clauses)
31.25/14.99	c (14,14) 53664 (80 %) CSP clauses are being encoded (203824 SAT variables, 467439 SAT clauses)
31.47/15.14	c (14,14) 60372 (90 %) CSP clauses are being encoded (209740 SAT variables, 484587 SAT clauses)
43.64/23.56	c (23,22) 67080 (100 %) CSP clauses are being encoded (1050660 SAT variables, 2959949 SAT clauses)
43.73/23.62	c (23,22) CSPinCNF to SatSolver End
43.73/23.62	c (23,22) Heap : 2933 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
44.81/24.05	c (23,22) STATISTICS2:HOME/instance-4297141-1532664508.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,21800,67080,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:3;70368744177664:2;17592186044416:1;8796093022208:1;1099511627776:1;549755813888:1;16:392;4:396;2:199,26:30000;2:179130,24:200;3:29200;2:36400;1:1280,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:3;47:2;45:1;44:1;41:1;40:1;5:392;3:396;2:199;1:165200,2:268
44.81/24.05	c (23,22) SatSolver.solve Begin
44.81/24.05	c (23,22) 1056743 bool, 2978041 clause
44.81/24.05	c (23,22) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297141-1532664508.xml-scop-6040.cnf HOME/instance-4297141-1532664508.xml-scop-6040.cnf.out
127.83/39.09	c (38,0) c
127.83/39.09	c (38,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
127.83/39.09	c (38,0) c
127.83/39.09	c (38,0) c WARNING: for repeatability, setting FPU to use double precision
127.83/39.09	c (38,0) c 8 solvers engines and 1 companion as a blackboard created.
127.83/39.09	c (38,0) c ========================================[ Problem Statistics ]===========================================
127.83/39.09	c (38,0) c |                                                                                                       |
127.83/39.09	c (38,0) c |  Number of variables:       1056743                                                                   |
127.83/39.09	c (38,0) c |  Number of clauses:         2976561                                                                   |
127.83/39.09	c (38,0) c |  Parse time:                   1.19 s                                                                 |
127.83/39.09	c (38,0) c |                                                                                                       |
127.83/39.09	c (38,0) c |  Eliminated clauses:           3.65 Mb                                                                |
127.83/39.09	c (38,0) c |  Simplification time:          2.15 s                                                                 |
127.83/39.09	c (38,0) c |                                                                                                       |
127.83/39.09	c (38,0) c |  Generating clones                                                                                    |
127.83/39.09	c (38,0) c |  all clones generated. Memory = 2763.49Mb.                                                             |
127.83/39.09	c (38,0) c ========================================================================================================|
127.83/39.09	c (38,0) c
127.83/39.09	c (38,0) c |-------------------------------------------------------------------------------------------------------|
127.83/39.09	c (38,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
127.83/39.09	c (38,0) c |-------------------------------------------------------------------------------------------------------|
127.83/39.09	c (38,0) c |  0 |      2 |    5561677 |        222 |    12357 |      222 |        6 |     2374 |        0 |  0.143 |
127.83/39.09	c (38,0) c |  1 |     23 |     329361 |       3097 |    28080 |     2102 |      125 |     2912 |        1 |  0.143 |
127.83/39.09	c (38,0) c |  2 |     30 |     608743 |       3313 |    30341 |     2313 |      127 |     2912 |        2 |  0.143 |
127.83/39.09	c (38,0) c |  3 |     23 |     357497 |       6966 |    35147 |     3180 |      612 |     2470 |        1 |  0.154 |
127.83/39.09	c (38,0) c |  4 |     20 |    1131616 |       8579 |    39688 |     4791 |     1262 |     1829 |        0 |  0.154 |
127.83/39.09	c (38,0) c |  5 |     25 |     438844 |       4106 |    31688 |     3114 |       98 |     2944 |        5 |  0.154 |
127.83/39.09	c (38,0) c |  6 |     28 |     315927 |       7662 |    38021 |     3872 |      779 |     1896 |        1 |  0.143 |
127.83/39.09	c (38,0) c |  7 |     21 |     598056 |       3038 |    29063 |     2041 |       89 |     2554 |        4 |  0.143 |
127.83/39.09	c (38,0) c 
127.83/39.09	c (38,0) c synthesis       36990 conflicts   132995127 propagations      907 conflicts/sec  3259763 propagations/sec
127.83/39.09	c (38,0) c Total Memory so far : 3343.55Mb
127.83/39.09	c (38,0) c
127.83/39.09	c (38,0) c |-------------------------------------------------------------------------------------------------------|
127.83/39.09	c (38,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
127.83/39.09	c (38,0) c |-------------------------------------------------------------------------------------------------------|
127.83/39.09	c (38,0) c |  0 |     28 |    5866088 |      22704 |    38435 |    13919 |     5708 |    16992 |       17 |  0.184 |
127.83/39.09	c (38,0) c |  1 |     56 |     557633 |       9301 |    52068 |     5504 |     1106 |    21137 |       50 |  0.184 |
127.83/39.09	c (38,0) c |  2 |     61 |     781131 |      11503 |    58970 |     7711 |     1470 |    19651 |       46 |  0.184 |
127.83/39.09	c (38,0) c |  3 |     53 |    1156009 |      12898 |    57179 |     9112 |     2449 |    19915 |       14 |  0.184 |
127.83/39.09	c (38,0) c |  4 |     54 |    2595605 |      20517 |    65646 |    11723 |     4723 |    17768 |      457 |  0.184 |
127.83/39.09	c (38,0) c |  5 |     53 |     509682 |      12555 |    58742 |     8763 |     2111 |    20425 |      290 |  0.184 |
127.83/39.09	c (38,0) c |  6 |     51 |     864013 |      15277 |    60042 |     6489 |     2692 |    18658 |      124 |  0.184 |
127.83/39.09	c (38,0) c |  7 |     63 |    1526543 |      12983 |    55088 |     9190 |     2487 |    16295 |      182 |  0.175 |
127.83/39.09	c (38,0) c 
247.49/54.07	c (53,0) c synthesis      117900 conflicts   315534352 propagations     1473 conflicts/sec  3940837 propagations/sec
247.49/54.07	c (53,0) c Total Memory so far : 3346.14Mb
247.49/54.07	c (53,0) c
247.49/54.07	c (53,0) c |-------------------------------------------------------------------------------------------------------|
247.49/54.07	c (53,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
247.49/54.07	c (53,0) c |-------------------------------------------------------------------------------------------------------|
247.49/54.07	c (53,0) c |  0 |     68 |    6516917 |      28840 |    65997 |    12659 |     6725 |    30743 |       34 |  0.200 |
247.49/54.07	c (53,0) c |  1 |     73 |     923769 |      17396 |    65208 |     8601 |     3608 |    33720 |      684 |  0.200 |
247.49/54.07	c (53,0) c |  2 |     75 |    1503551 |      21136 |    72751 |    12350 |     2990 |    34330 |      166 |  0.200 |
247.49/54.07	c (53,0) c |  3 |     73 |    1547938 |      17817 |    72436 |     9024 |     3185 |    33834 |      104 |  0.200 |
247.49/54.07	c (53,0) c |  4 |     78 |    3844421 |      30532 |    81373 |    14336 |     7181 |    30298 |     1022 |  0.200 |
247.49/54.07	c (53,0) c |  5 |     84 |     764326 |      24297 |    86029 |     8104 |     4842 |    32233 |      651 |  0.200 |
247.49/54.07	c (53,0) c |  6 |     71 |    1497919 |      29144 |    81137 |    12951 |     5697 |    31914 |      750 |  0.200 |
247.49/54.07	c (53,0) c |  7 |     88 |    1900298 |      19401 |    71834 |    10607 |     3618 |    33691 |      326 |  0.200 |
247.49/54.07	c (53,0) c 
247.49/54.07	c (53,0) c synthesis      188579 conflicts   497805114 propagations     1577 conflicts/sec  4163528 propagations/sec
247.49/54.07	c (53,0) c Total Memory so far : 3348.47Mb
247.49/54.07	c (53,0) c
247.49/54.07	c (53,0) c |-------------------------------------------------------------------------------------------------------|
247.49/54.07	c (53,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
247.49/54.07	c (53,0) c |-------------------------------------------------------------------------------------------------------|
247.49/54.07	c (53,0) c |  0 |     86 |    6638192 |      40913 |    96821 |    14839 |     9262 |    52196 |       78 |  0.214 |
247.49/54.07	c (53,0) c |  1 |     94 |    1782243 |      30814 |    81602 |    14630 |     7157 |    54147 |     1192 |  0.214 |
247.49/54.07	c (53,0) c |  2 |    103 |    1807560 |      28799 |    92476 |    12603 |     4598 |    57530 |      768 |  0.214 |
247.49/54.07	c (53,0) c |  3 |     98 |    1942367 |      30178 |    85940 |    13979 |     6177 |    55702 |     1035 |  0.214 |
247.49/54.07	c (53,0) c |  4 |    102 |    4497015 |      49607 |    94320 |    23510 |    12727 |    49281 |     2495 |  0.214 |
247.49/54.07	c (53,0) c |  5 |    119 |     971954 |      29114 |   113188 |    12919 |     5564 |    55441 |      767 |  0.216 |
247.49/54.07	c (53,0) c |  6 |     89 |    2496928 |      49262 |    90056 |    23165 |    12240 |    49274 |     2108 |  0.214 |
247.49/54.07	c (53,0) c |  7 |    127 |    2318920 |      25077 |    96924 |     8884 |     4630 |    56360 |      589 |  0.214 |
247.49/54.07	c (53,0) c 
247.49/54.07	c (53,0) c synthesis      285654 conflicts   674354122 propagations     1794 conflicts/sec  4235007 propagations/sec
247.49/54.07	c (53,0) c Total Memory so far : 3350.92Mb
247.49/54.07	c (53,0) c
247.49/54.07	c (53,0) c |-------------------------------------------------------------------------------------------------------|
247.49/54.07	c (53,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
247.49/54.07	c (53,0) c |-------------------------------------------------------------------------------------------------------|
247.49/54.07	c (53,0) c |  0 |    128 |    6785573 |      56199 |   113607 |    17677 |    12529 |    62166 |      308 |  0.225 |
247.49/54.07	c (53,0) c |  1 |    104 |    2256055 |      32583 |    87795 |    16399 |     7399 |    65896 |     1254 |  0.225 |
247.49/54.07	c (53,0) c |  2 |    120 |    2267839 |      35920 |   111195 |    19724 |     6941 |    69307 |     1665 |  0.225 |
247.49/54.07	c (53,0) c |  3 |    108 |    2834009 |      35835 |    90667 |    19636 |     7685 |    63106 |     1127 |  0.225 |
247.49/54.07	c (53,0) c |  4 |    138 |    5112325 |      58019 |   111753 |    19480 |    13842 |    61560 |     3182 |  0.225 |
247.49/54.07	c (53,0) c |  5 |    132 |    1337186 |      35581 |   124699 |    19386 |     6505 |    62758 |     1144 |  0.225 |
247.49/54.07	c (53,0) c |  6 |    118 |    3056579 |      57283 |   105156 |    18759 |    13651 |    60315 |     2781 |  0.225 |
247.49/54.07	c (53,0) c |  7 |    138 |    2562195 |      34468 |   104652 |    18274 |     7854 |    68100 |     2347 |  0.225 |
247.49/54.07	c (53,0) c 
247.49/54.07	c (53,0) c synthesis      345899 conflicts   841820764 propagations     1738 conflicts/sec  4230398 propagations/sec
367.15/69.07	c (68,0) c Total Memory so far : 3352.61Mb
367.15/69.07	c (68,0) c
367.15/69.07	c (68,0) c |-------------------------------------------------------------------------------------------------------|
367.15/69.07	c (68,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
367.15/69.07	c (68,0) c |-------------------------------------------------------------------------------------------------------|
367.15/69.07	c (68,0) c |  0 |    161 |    7363180 |      64478 |   124087 |    25956 |    13494 |    74302 |      967 |  0.238 |
367.15/69.07	c (68,0) c |  1 |    123 |    2542625 |      38045 |    98469 |    11963 |     7989 |    79132 |     1404 |  0.238 |
367.15/69.07	c (68,0) c |  2 |    146 |    2369803 |      50631 |   129229 |    24534 |     8738 |    77655 |     2432 |  0.238 |
367.15/69.07	c (68,0) c |  3 |    131 |    3143393 |      43261 |   103051 |    17182 |     8682 |    79312 |     1673 |  0.238 |
367.15/69.07	c (68,0) c |  4 |    166 |    5606261 |      67967 |   122764 |    29428 |    15065 |    71361 |     3848 |  0.238 |
367.15/69.07	c (68,0) c |  5 |    152 |    2110542 |      44620 |   133806 |    18536 |     8982 |    77914 |     2039 |  0.238 |
367.15/69.07	c (68,0) c |  6 |    147 |    3148717 |      69347 |   120271 |    15795 |    15220 |    72699 |     3638 |  0.238 |
367.15/69.07	c (68,0) c |  7 |    160 |    3007770 |      46400 |   120410 |    20310 |     9893 |    77936 |     3164 |  0.238 |
367.15/69.07	c (68,0) c 
367.15/69.07	c (68,0) c synthesis      424763 conflicts  1014721510 propagations     1779 conflicts/sec  4249247 propagations/sec
367.15/69.07	c (68,0) c Total Memory so far : 3354.42Mb
367.15/69.07	c (68,0) c
367.15/69.07	c (68,0) c |-------------------------------------------------------------------------------------------------------|
367.15/69.07	c (68,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
367.15/69.07	c (68,0) c |-------------------------------------------------------------------------------------------------------|
367.15/69.07	c (68,0) c |  0 |    221 |    7408353 |      74557 |   153118 |    36033 |    14062 |    95049 |     2258 |  0.248 |
367.15/69.07	c (68,0) c |  1 |    138 |    3266966 |      62076 |   108936 |    23542 |    13817 |    96328 |     1621 |  0.248 |
367.15/69.07	c (68,0) c |  2 |    155 |    3349825 |      61785 |   141470 |    23247 |    11692 |    93540 |     2714 |  0.248 |
367.15/69.07	c (68,0) c |  3 |    145 |    3523605 |      46514 |   114634 |    20432 |     9087 |    96121 |     1715 |  0.248 |
367.15/69.07	c (68,0) c |  4 |    181 |    5658415 |      80062 |   138713 |    26527 |    17418 |    88739 |     3921 |  0.248 |
367.15/69.07	c (68,0) c |  5 |    156 |    2203902 |      82183 |   139105 |    28631 |    15928 |    79933 |     2042 |  0.238 |
367.15/69.07	c (68,0) c |  6 |    177 |    3274842 |      86727 |   145265 |    33172 |    18198 |    88302 |     4047 |  0.248 |
367.15/69.07	c (68,0) c |  7 |    183 |    3461798 |      56936 |   131437 |    18401 |    10520 |   100151 |     3271 |  0.248 |
367.15/69.07	c (68,0) c 
367.15/69.07	c (68,0) c synthesis      550841 conflicts  1195209555 propagations     1977 conflicts/sec  4289870 propagations/sec
367.15/69.07	c (68,0) c Total Memory so far : 3357.69Mb
367.15/69.07	c (68,0) c
367.15/69.07	c (68,0) c Try to adapt solver strategies
367.15/69.07	c (68,0) c 
367.15/69.07	c (68,0) c Nothing extreme in this problem, continue with glucose default strategies.
367.15/69.07	c (68,0) c
367.15/69.07	c (68,0) c
367.15/69.07	c (68,0) c Try to adapt solver strategies
367.15/69.07	c (68,0) c 
367.15/69.07	c (68,0) c Nothing extreme in this problem, continue with glucose default strategies.
367.15/69.07	c (68,0) c
367.15/69.07	c (68,0) c
367.15/69.07	c (68,0) c |-------------------------------------------------------------------------------------------------------|
367.15/69.07	c (68,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
367.15/69.07	c (68,0) c |-------------------------------------------------------------------------------------------------------|
367.15/69.07	c (68,0) c |  0 |    276 |    7476894 |      79801 |   176836 |    22803 |    14756 |   126667 |     2453 |  0.282 |
367.15/69.07	c (68,0) c |  1 |    168 |    3536363 |      75561 |   122150 |    22023 |    16394 |   125691 |     2361 |  0.282 |
367.15/69.07	c (68,0) c |  2 |    183 |    3646094 |      85495 |   153645 |    31934 |    17105 |   125034 |     3975 |  0.282 |
367.15/69.07	c (68,0) c |  3 |    158 |    3698893 |      59536 |   122997 |    20997 |    10360 |   122193 |     2154 |  0.268 |
367.15/69.07	c (68,0) c |  4 |    211 |    5704510 |     101389 |   152499 |    30238 |    21161 |   120437 |     4965 |  0.282 |
367.15/69.07	c (68,0) c |  5 |    180 |    2805167 |     104944 |   155253 |    33775 |    20755 |   121093 |     3544 |  0.282 |
367.15/69.07	c (68,0) c |  6 |    191 |    3504551 |     122400 |   151656 |    31031 |    24588 |   116970 |     5653 |  0.282 |
478.83/83.07	c (82,0) c |  7 |    202 |    4143439 |      83949 |   146889 |    30390 |    17051 |   120665 |     4622 |  0.272 |
478.83/83.07	c (82,0) c 
478.83/83.07	c (82,0) c synthesis      713077 conflicts  1360837133 propagations     2240 conflicts/sec  4274455 propagations/sec
478.83/83.07	c (82,0) c Total Memory so far : 3361.12Mb
478.83/83.07	c (82,0) c
478.83/83.07	c (82,0) c Try to adapt solver strategies
478.83/83.07	c (82,0) c 
478.83/83.07	c (82,0) c Nothing extreme in this problem, continue with glucose default strategies.
478.83/83.07	c (82,0) c
478.83/83.07	c (82,0) c
478.83/83.07	c (82,0) c |-------------------------------------------------------------------------------------------------------|
478.83/83.07	c (82,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
478.83/83.07	c (82,0) c |-------------------------------------------------------------------------------------------------------|
478.83/83.07	c (82,0) c |  0 |    336 |    7529236 |      89879 |   189375 |    32881 |    16035 |   155853 |     3520 |  0.287 |
478.83/83.07	c (82,0) c |  1 |    192 |    3578112 |      97179 |   130096 |    26017 |    19895 |   148984 |     3353 |  0.287 |
478.83/83.07	c (82,0) c |  2 |    210 |    3684541 |     107079 |   161438 |    35912 |    20486 |   150774 |     4555 |  0.287 |
478.83/83.07	c (82,0) c |  3 |    171 |    4242591 |      76977 |   131069 |    23417 |    13194 |   158202 |     2511 |  0.287 |
478.83/83.07	c (82,0) c |  4 |    244 |    5843048 |     128856 |   164168 |    37476 |    26083 |   145686 |     6058 |  0.294 |
478.83/83.07	c (82,0) c |  5 |    194 |    2956725 |     135043 |   165183 |    43677 |    27228 |   144556 |     5588 |  0.287 |
478.83/83.07	c (82,0) c |  6 |    201 |    3530619 |     138216 |   155615 |    24087 |    26507 |   144931 |     6227 |  0.287 |
478.83/83.07	c (82,0) c |  7 |    221 |    4417667 |     112132 |   155811 |    20771 |    23061 |   149428 |     6424 |  0.287 |
478.83/83.07	c (82,0) c 
478.83/83.07	c (82,0) c synthesis      885362 conflicts  1513029302 propagations     2472 conflicts/sec  4225165 propagations/sec
478.83/83.07	c (82,0) c Total Memory so far : 3364.73Mb
478.83/83.07	c (82,0) c
478.83/83.07	c (82,0) c Try to adapt solver strategies
478.83/83.07	c (82,0) c 
478.83/83.07	c (82,0) c Nothing extreme in this problem, continue with glucose default strategies.
478.83/83.07	c (82,0) c
478.83/83.07	c (82,0) c
478.83/83.07	c (82,0) c |-------------------------------------------------------------------------------------------------------|
478.83/83.07	c (82,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
478.83/83.07	c (82,0) c |-------------------------------------------------------------------------------------------------------|
478.83/83.07	c (82,0) c |  0 |    363 |    7574418 |     100153 |   200530 |    23267 |    18066 |   185619 |     5190 |  0.289 |
478.83/83.07	c (82,0) c |  1 |    203 |    3611579 |     115007 |   135224 |    23642 |    22754 |   179299 |     5538 |  0.289 |
478.83/83.07	c (82,0) c |  2 |    213 |    3783472 |     133095 |   163533 |    41732 |    25023 |   166554 |     5208 |  0.287 |
478.83/83.07	c (82,0) c |  3 |    187 |    4298749 |     106561 |   137515 |    35389 |    20129 |   176795 |     5013 |  0.289 |
478.83/83.07	c (82,0) c |  4 |    253 |    5888845 |     158042 |   165593 |    43874 |    31119 |   161848 |     7725 |  0.294 |
478.83/83.07	c (82,0) c |  5 |    208 |    3015393 |     170098 |   169856 |    30542 |    32405 |   162434 |     7240 |  0.287 |
478.83/83.07	c (82,0) c |  6 |    215 |    3566481 |     159714 |   157256 |    45585 |    29110 |   173274 |     7887 |  0.289 |
478.83/83.07	c (82,0) c |  7 |    257 |    4469144 |     128194 |   172218 |    36833 |    25122 |   174375 |     7961 |  0.289 |
478.83/83.07	c (82,0) c 
478.83/83.07	c (82,0) c synthesis     1070865 conflicts  1630896593 propagations     2747 conflicts/sec  4182869 propagations/sec
478.83/83.07	c (82,0) c Total Memory so far : 3368.16Mb
478.83/83.07	c (82,0) c
478.83/83.07	c (82,0) c |-------------------------------------------------------------------------------------------------------|
478.83/83.07	c (82,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
478.83/83.07	c (82,0) c |-------------------------------------------------------------------------------------------------------|
478.83/83.07	c (82,0) c |  0 |    375 |    7601178 |     114368 |   208385 |    37482 |    20204 |   214999 |     6400 |  0.300 |
478.83/83.07	c (82,0) c |  1 |    213 |    3661826 |     143623 |   137619 |    29476 |    27626 |   204144 |     7632 |  0.300 |
478.83/83.07	c (82,0) c |  2 |    233 |    4019852 |     156872 |   170259 |    42713 |    30543 |   206767 |     7778 |  0.300 |
478.83/83.07	c (82,0) c |  3 |    208 |    4473423 |     131600 |   143169 |    40236 |    23691 |   213805 |     6553 |  0.300 |
478.83/83.07	c (82,0) c |  4 |    293 |    6081822 |     177421 |   176769 |    37877 |    34076 |   203500 |     8927 |  0.308 |
478.83/83.07	c (82,0) c |  5 |    247 |    3141819 |     203790 |   174022 |    36275 |    38166 |   193818 |     9133 |  0.300 |
522.65/88.52	c (87,0) receiving signal SIGTERM
522.65/88.52	s UNKNOWN
45.01/88.66	c (88,0) c |  6 |    227 |    3813223 |     190139 |   1
45.01/88.66	c (88,22) SatSolver is killed by some reasons.
45.01/88.66	c (88,22) 0,0,10,11,11,11,23,TO,TO,STOP-AFTER(DIMACS)
45.01/88.66	c END-Prog: Fri Jul 27 06:09:57 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 (13590 MiB free)
  memory of node 1: 16384 MiB (13990 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297141-1532664508/watcher-4297141-1532664508 -o /tmp/evaluation-result-4297141-1532664508/solver-4297141-1532664508 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532664469-5802 --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-4297141-1532664508.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
Current StackSize limit: 8192 KiB

solver pid=6040, runsolver pid=6037

[startup+0.100109 s]*
/proc/loadavg: 5.98 7.33 6.33 3/198 6060
/proc/meminfo: memFree=28148436/32770624 swapFree=67108532/67108860
[pid=6040] ppid=6037 vsize=27312552 memory=106476 CPUtime=0.1 cores=0-7
/proc/6040/stat : 6040 (java) S 6037 6040 5775 0 -1 1077944320 6669 0 0 0 8 2 0 0 20 0 20 0 84014008 27968053248 26619 33554432000 4194304 4196468 140733339191184 140733339173728 140088419655415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
/proc/6040/statm: 6828138 26619 2755 1 0 6790598 0
[pid=6040/tid=6042] ppid=6037 vsize=27312552 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/6040/task/6042/stat : 6042 (java) R 6037 6040 5775 0 -1 4202560 4772 0 0 0 7 2 0 0 20 0 20 0 84014008 27968053248 26619 33554432000 4194304 4196468 140733339191184 140088391460888 140088419667350 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6043] ppid=6037 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6040/task/6043/stat : 6043 (java) S 6037 6040 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 26619 33554432000 4194304 4196468 140733339191184 140088423898256 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6044] ppid=6037 vsize=27312552 memory=139816055518848 CPUtime=0 cores=0-7
/proc/6040/task/6044/stat : 6044 (java) S 6037 6040 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 26619 33554432000 4194304 4196468 140733339191184 140088238054416 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6045] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6045/stat : 6045 (java) S 6037 6040 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 26619 33554432000 4194304 4196468 140733339191184 140088237001616 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6046] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6046/stat : 6046 (java) S 6037 6040 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 26619 33554432000 4194304 4196468 140733339191184 140088235948816 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6047] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6047/stat : 6047 (java) S 6037 6040 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 26619 33554432000 4194304 4196468 140733339191184 140088234896016 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6048] ppid=6037 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6040/task/6048/stat : 6048 (java) S 6037 6040 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 26619 33554432000 4194304 4196468 140733339191184 140088233843216 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6049] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6049/stat : 6049 (java) S 6037 6040 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 26619 33554432000 4194304 4196468 140733339191184 140088232790416 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6050] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6050/stat : 6050 (java) S 6037 6040 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 26619 33554432000 4194304 4196468 140733339191184 140088231737616 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6051] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6051/stat : 6051 (java) S 6037 6040 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84014012 27968053248 26619 33554432000 4194304 4196468 140733339191184 140087478127472 140088419666562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6052] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6052/stat : 6052 (java) S 6037 6040 5775 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84014013 27968053248 26619 33554432000 4194304 4196468 140733339191184 140086331041312 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6053] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6053/stat : 6053 (java) S 6037 6040 5775 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 84014013 27968053248 26619 33554432000 4194304 4196468 140733339191184 140086196819312 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6054] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6054/stat : 6054 (java) S 6037 6040 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84014015 27968053248 26619 33554432000 4194304 4196468 140733339191184 140085822314832 140088419674011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6055] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6055/stat : 6055 (java) S 6037 6040 5775 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 84014015 27968053248 26619 33554432000 4194304 4196468 140733339191184 140087477074288 140088419666562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6056] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6056/stat : 6056 (java) S 6037 6040 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84014015 27968053248 26619 33554432000 4194304 4196468 140733339191184 140087476021488 140088419666562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6057] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6057/stat : 6057 (java) S 6037 6040 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84014015 27968053248 26619 33554432000 4194304 4196468 140733339191184 140087474968688 140088419666562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6058] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6058/stat : 6058 (java) S 6037 6040 5775 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 20 0 84014015 27968053248 26619 33554432000 4194304 4196468 140733339191184 140087473915888 140088419666562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6059] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6059/stat : 6059 (java) S 6037 6040 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84014015 27968053248 26619 33554432000 4194304 4196468 140733339191184 140085324409952 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6060] ppid=6037 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6040/task/6060/stat : 6060 (java) S 6037 6040 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84014016 27968053248 26619 33554432000 4194304 4196468 140733339191184 140086062599216 140088419666562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 106476 KiB

[startup+0.209985 s]*
/proc/loadavg: 5.98 7.33 6.33 2/198 6060
/proc/meminfo: memFree=28131940/32770624 swapFree=67108532/67108860
[pid=6040] ppid=6037 vsize=27312552 memory=121168 CPUtime=0.24 cores=0-7
/proc/6040/stat : 6040 (java) S 6037 6040 5775 0 -1 1077944320 10552 0 0 0 21 3 0 0 20 0 20 0 84014008 27968053248 30292 33554432000 4194304 4196468 140733339191184 140733339173728 140088419655415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
/proc/6040/statm: 6828138 30292 2877 1 0 6790598 0
[pid=6040/tid=6042] ppid=6037 vsize=27312552 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/6040/task/6042/stat : 6042 (java) R 6037 6040 5775 0 -1 4202560 8448 0 0 0 17 3 0 0 20 0 20 0 84014008 27968053248 30292 33554432000 4194304 4196468 140733339191184 140088391436688 140088403735902 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6043] ppid=6037 vsize=27312552 memory=11921 CPUtime=0 cores=0-7
/proc/6040/task/6043/stat : 6043 (java) S 6037 6040 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 30292 33554432000 4194304 4196468 140733339191184 140088423898256 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6044] ppid=6037 vsize=27312552 memory=139816055525141 CPUtime=0 cores=0-7
/proc/6040/task/6044/stat : 6044 (java) S 6037 6040 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 30292 33554432000 4194304 4196468 140733339191184 140088238054416 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6045] ppid=6037 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6040/task/6045/stat : 6045 (java) S 6037 6040 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 30292 33554432000 4194304 4196468 140733339191184 140088237001616 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6046] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6046/stat : 6046 (java) S 6037 6040 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 30292 33554432000 4194304 4196468 140733339191184 140088235948816 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6047] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6047/stat : 6047 (java) S 6037 6040 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 30292 33554432000 4194304 4196468 140733339191184 140088234896016 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6048] ppid=6037 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6040/task/6048/stat : 6048 (java) S 6037 6040 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 30292 33554432000 4194304 4196468 140733339191184 140088233843216 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6049] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6049/stat : 6049 (java) S 6037 6040 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 30292 33554432000 4194304 4196468 140733339191184 140088232790416 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6050] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6050/stat : 6050 (java) S 6037 6040 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 30292 33554432000 4194304 4196468 140733339191184 140088231737616 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6051] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6051/stat : 6051 (java) S 6037 6040 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84014012 27968053248 30292 33554432000 4194304 4196468 140733339191184 140087478127472 140088419666562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6052] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6052/stat : 6052 (java) S 6037 6040 5775 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84014013 27968053248 30292 33554432000 4194304 4196468 140733339191184 140086331041312 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6053] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6053/stat : 6053 (java) S 6037 6040 5775 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 84014013 27968053248 30292 33554432000 4194304 4196468 140733339191184 140086196819312 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6054] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6054/stat : 6054 (java) S 6037 6040 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84014015 27968053248 30292 33554432000 4194304 4196468 140733339191184 140085822314832 140088419674011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6055] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6055/stat : 6055 (java) S 6037 6040 5775 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 20 0 84014015 27968053248 30292 33554432000 4194304 4196468 140733339191184 140087477074288 140088419666562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6056] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6056/stat : 6056 (java) S 6037 6040 5775 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 84014015 27968053248 30292 33554432000 4194304 4196468 140733339191184 140087476021488 140088419666562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6057] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6057/stat : 6057 (java) S 6037 6040 5775 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 84014015 27968053248 30292 33554432000 4194304 4196468 140733339191184 140087474968688 140088419666562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6058] ppid=6037 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/6040/task/6058/stat : 6058 (java) S 6037 6040 5775 0 -1 1077944384 287 0 0 0 2 0 0 0 20 0 20 0 84014015 27968053248 30292 33554432000 4194304 4196468 140733339191184 140087473915888 140088419666562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6059] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6059/stat : 6059 (java) S 6037 6040 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84014015 27968053248 30292 33554432000 4194304 4196468 140733339191184 140085324409952 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6060] ppid=6037 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6040/task/6060/stat : 6060 (java) S 6037 6040 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84014016 27968053248 30292 33554432000 4194304 4196468 140733339191184 140086062599216 140088419666562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 121168 KiB

[startup+0.309306 s]*
/proc/loadavg: 5.98 7.33 6.33 2/198 6060
/proc/meminfo: memFree=28128156/32770624 swapFree=67108532/67108860
[pid=6040] ppid=6037 vsize=27312552 memory=125332 CPUtime=0.42 cores=0-7
/proc/6040/stat : 6040 (java) S 6037 6040 5775 0 -1 1077944320 11195 0 0 0 38 4 0 0 20 0 20 0 84014008 27968053248 31333 33554432000 4194304 4196468 140733339191184 140733339173728 140088419655415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
/proc/6040/statm: 6828138 31333 2984 1 0 6790598 0
[pid=6040/tid=6042] ppid=6037 vsize=27312552 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/6040/task/6042/stat : 6042 (java) R 6037 6040 5775 0 -1 4202560 8898 0 0 0 26 3 0 0 20 0 20 0 84014008 27968053248 31333 33554432000 4194304 4196468 140733339191184 140088391459568 140088419667350 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6043] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6043/stat : 6043 (java) S 6037 6040 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 31333 33554432000 4194304 4196468 140733339191184 140088423898256 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6044] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6044/stat : 6044 (java) S 6037 6040 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 31333 33554432000 4194304 4196468 140733339191184 140088238054416 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6045] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6045/stat : 6045 (java) S 6037 6040 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 31333 33554432000 4194304 4196468 140733339191184 140088237001616 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6046] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6046/stat : 6046 (java) S 6037 6040 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 31333 33554432000 4194304 4196468 140733339191184 140088235948816 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6047] ppid=6037 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/6040/task/6047/stat : 6047 (java) S 6037 6040 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 31333 33554432000 4194304 4196468 140733339191184 140088234896016 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6048] ppid=6037 vsize=27312552 memory=139815949530031 CPUtime=0 cores=0-7
/proc/6040/task/6048/stat : 6048 (java) S 6037 6040 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 31333 33554432000 4194304 4196468 140733339191184 140088233843216 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6049] ppid=6037 vsize=27312552 memory=139815949532336 CPUtime=0 cores=0-7
/proc/6040/task/6049/stat : 6049 (java) S 6037 6040 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 31333 33554432000 4194304 4196468 140733339191184 140088232790416 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6050] ppid=6037 vsize=27312552 memory=139815949534640 CPUtime=0 cores=0-7
/proc/6040/task/6050/stat : 6050 (java) S 6037 6040 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84014011 27968053248 31333 33554432000 4194304 4196468 140733339191184 140088231737616 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6051] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6051/stat : 6051 (java) S 6037 6040 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84014012 27968053248 31333 33554432000 4194304 4196468 140733339191184 140087478127472 140088419666562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6052] ppid=6037 vsize=27312552 memory=279631899076240 CPUtime=0 cores=0-7
/proc/6040/task/6052/stat : 6052 (java) S 6037 6040 5775 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84014013 27968053248 31333 33554432000 4194304 4196468 140733339191184 140086331041312 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6053] ppid=6037 vsize=27312552 memory=279631899083152 CPUtime=0 cores=0-7
/proc/6040/task/6053/stat : 6053 (java) S 6037 6040 5775 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 84014013 27968053248 31333 33554432000 4194304 4196468 140733339191184 140086196819312 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6054] ppid=6037 vsize=27312552 memory=279631899024432 CPUtime=0 cores=0-7
/proc/6040/task/6054/stat : 6054 (java) S 6037 6040 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84014015 27968053248 31333 33554432000 4194304 4196468 140733339191184 140085822314832 140088419674011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6055] ppid=6037 vsize=27312552 memory=279631899096976 CPUtime=0 cores=0-7
/proc/6040/task/6055/stat : 6055 (java) S 6037 6040 5775 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 20 0 84014015 27968053248 31333 33554432000 4194304 4196468 140733339191184 140087477074288 140088419666562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6056] ppid=6037 vsize=27312552 memory=279631899103888 CPUtime=0.02 cores=0-7
/proc/6040/task/6056/stat : 6056 (java) S 6037 6040 5775 0 -1 1077944384 126 0 0 0 2 0 0 0 20 0 20 0 84014015 27968053248 31333 33554432000 4194304 4196468 140733339191184 140087476021488 140088419666562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6057] ppid=6037 vsize=27312552 memory=279631899101584 CPUtime=0 cores=0-7
/proc/6040/task/6057/stat : 6057 (java) S 6037 6040 5775 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 84014015 27968053248 31333 33554432000 4194304 4196468 140733339191184 140087474968688 140088419666562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6058] ppid=6037 vsize=27312552 memory=279631899118192 CPUtime=0.07 cores=0-7
/proc/6040/task/6058/stat : 6058 (java) S 6037 6040 5775 0 -1 1077944384 333 0 0 0 7 0 0 0 20 0 20 0 84014015 27968053248 31333 33554432000 4194304 4196468 140733339191184 140087473915888 140088419666562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6059] ppid=6037 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6059/stat : 6059 (java) S 6037 6040 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84014015 27968053248 31333 33554432000 4194304 4196468 140733339191184 140085324409952 140088419665621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6060] ppid=6037 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6040/task/6060/stat : 6060 (java) S 6037 6040 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84014016 27968053248 31333 33554432000 4194304 4196468 140733339191184 140086062599216 140088419666562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 125332 KiB

[startup+0.700748 s]
/proc/loadavg: 5.98 7.33 6.33 2/198 6060
/proc/meminfo: memFree=28103848/32770624 swapFree=67108532/67108860
[pid=6040] ppid=6037 vsize=27318824 memory=164680 CPUtime=1.02 cores=0-7
/proc/6040/stat : 6040 (java) S 6037 6040 5775 0 -1 1077944320 18263 0 0 0 97 5 0 0 20 0 20 0 84014008 27974475776 41170 33554432000 4194304 4196468 140733339191184 140733339173728 140088419655415 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
/proc/6040/statm: 6829706 41170 3135 1 0 6791110 0
[pid=6040/tid=6042] ppid=6037 vsize=27318824 memory=0 CPUtime=0.67 cores=0-7
/proc/6040/task/6042/stat : 6042 (java) R 6037 6040 5775 0 -1 4202560 15436 0 0 0 63 4 0 0 20 0 20 0 84014008 27974475776 41170 33554432000 4194304 4196468 140733339191184 140088391493952 140088403735902 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6043] ppid=6037 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6043/stat : 6043 (java) S 6037 6040 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84014011 27974475776 41170 33554432000 4194304 4196468 140733339191184 140088423898256 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6044] ppid=6037 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6044/stat : 6044 (java) S 6037 6040 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84014011 27974475776 41170 33554432000 4194304 4196468 140733339191184 140088238054416 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6045] ppid=6037 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/6040/task/6045/stat : 6045 (java) S 6037 6040 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84014011 27974475776 41170 33554432000 4194304 4196468 140733339191184 140088237001616 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6046] ppid=6037 vsize=27318824 memory=7120 CPUtime=0 cores=0-7
/proc/6040/task/6046/stat : 6046 (java) S 6037 6040 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84014011 27974475776 41170 33554432000 4194304 4196468 140733339191184 140088235948816 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6047] ppid=6037 vsize=27318824 memory=1012 CPUtime=0 cores=0-7
/proc/6040/task/6047/stat : 6047 (java) S 6037 6040 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84014011 27974475776 41170 33554432000 4194304 4196468 140733339191184 140088234896016 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6048] ppid=6037 vsize=27318824 memory=1444 CPUtime=0 cores=0-7
/proc/6040/task/6048/stat : 6048 (java) S 6037 6040 5775 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84014011 27974475776 41170 33554432000 4194304 4196468 140733339191184 140088233843216 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6049] ppid=6037 vsize=27318824 memory=1200 CPUtime=0 cores=0-7
/proc/6040/task/6049/stat : 6049 (java) S 6037 6040 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84014011 27974475776 41170 33554432000 4194304 4196468 140733339191184 140088232790416 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6050] ppid=6037 vsize=27318824 memory=15436 CPUtime=0 cores=0-7
/proc/6040/task/6050/stat : 6050 (java) S 6037 6040 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84014011 27974475776 41170 33554432000 4194304 4196468 140733339191184 140088231737616 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6051] ppid=6037 vsize=27318824 memory=15024 CPUtime=0 cores=0-7
/proc/6040/task/6051/stat : 6051 (java) S 6037 6040 5775 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 84014012 27974475776 41170 33554432000 4194304 4196468 140733339191184 140087478127472 140088419666562 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0

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

/proc/6040/task/6065/stat : 6065 (java) S 6037 6040 5775 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 84016415 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140084921744816 140088419677341 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6066] ppid=6037 vsize=27984808 memory=3097104 CPUtime=0 cores=0-7
/proc/6040/task/6066/stat : 6066 (java) S 6037 6040 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84016417 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140084384881696 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
Current children cumulated CPU time: 224.37 s
Current children cumulated vsize: 31416936 KiB
Current children cumulated memory: 9762104 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+88.5023 s]
/proc/loadavg: 7.05 7.15 6.35 9/211 6074
/proc/meminfo: memFree=18320668/32770624 swapFree=67108532/67108860
[pid=6040] ppid=6037 vsize=27984808 memory=6650176 CPUtime=45.01 cores=0-7
/proc/6040/stat : 6040 (java) S 6037 6040 5775 0 -1 1077944320 52348 0 0 0 4196 305 0 0 20 0 24 0 84014008 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140733339173728 140088419655415 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
/proc/6040/statm: 6996202 1662544 3253 1 0 6957058 0
[pid=6061] ppid=6040 vsize=3786184 memory=3206968 CPUtime=477.64 cores=0-7
/proc/6061/stat : 6061 (glucose-syrup) S 6040 6040 5775 0 -1 1077944320 2689991 0 0 0 47289 475 0 0 20 0 9 0 84016415 3877052416 801742 33554432000 4194304 4373367 140723607396816 140723607395360 139691273923202 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6470912 6472264 32620544 140723607405489 140723607405740 140723607405740 140723607408583 0
/proc/6061/statm: 946546 801742 388 44 0 942234 0
[pid=6061/tid=6067] ppid=6040 vsize=3786184 memory=3195428 CPUtime=59.26 cores=0-7
/proc/6061/task/6067/stat : 6067 (glucose-syrup) R 6040 6040 5775 0 -1 4202560 447283 0 0 0 5844 82 0 0 20 0 9 0 84016921 3877052416 801742 33554432000 4194304 4373367 140723607396816 139691099176136 4258831 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 32620544 140723607405489 140723607405740 140723607405740 140723607408583 0
[pid=6061/tid=6068] ppid=6040 vsize=3786184 memory=928 CPUtime=58.03 cores=0-7
/proc/6061/task/6068/stat : 6068 (glucose-syrup) R 6040 6040 5775 0 -1 4202560 271633 0 0 0 5770 33 0 0 20 0 9 0 84016921 3877052416 801742 33554432000 4194304 4373367 140723607396816 139691031448440 4271897 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 32620544 140723607405489 140723607405740 140723607405740 140723607408583 0
[pid=6061/tid=6069] ppid=6040 vsize=3786184 memory=3191040 CPUtime=59.2 cores=0-7
/proc/6061/task/6069/stat : 6069 (glucose-syrup) R 6040 6040 5775 0 -1 4202560 263138 0 0 0 5887 33 0 0 20 0 9 0 84016921 3877052416 801742 33554432000 4194304 4373367 140723607396816 139689621941520 4271597 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 32620544 140723607405489 140723607405740 140723607405740 140723607408583 0
[pid=6061/tid=6070] ppid=6040 vsize=3786184 memory=6650176 CPUtime=59.12 cores=0-7
/proc/6061/task/6070/stat : 6070 (glucose-syrup) R 6040 6040 5775 0 -1 4202560 258346 0 0 0 5886 26 0 0 20 0 9 0 84016921 3877052416 801742 33554432000 4194304 4373367 140723607396816 139689613548912 4271828 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 32620544 140723607405489 140723607405740 140723607405740 140723607408583 0
[pid=6061/tid=6071] ppid=6040 vsize=3786184 memory=3202256 CPUtime=59.23 cores=0-7
/proc/6061/task/6071/stat : 6071 (glucose-syrup) R 6040 6040 5775 0 -1 4202560 263888 0 0 0 5871 52 0 0 20 0 9 0 84016921 3877052416 801742 33554432000 4194304 4373367 140723607396816 139689605156208 4271828 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 32620544 140723607405489 140723607405740 140723607405740 140723607408583 0
[pid=6061/tid=6072] ppid=6040 vsize=3786184 memory=3206292 CPUtime=59.18 cores=0-7
/proc/6061/task/6072/stat : 6072 (glucose-syrup) R 6040 6040 5775 0 -1 4202560 253948 0 0 0 5861 57 0 0 20 0 9 0 84016921 3877052416 801742 33554432000 4194304 4373367 140723607396816 139689596762968 4271597 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 32620544 140723607405489 140723607405740 140723607405740 140723607408583 0
[pid=6061/tid=6073] ppid=6040 vsize=3786184 memory=6650176 CPUtime=59.25 cores=0-7
/proc/6061/task/6073/stat : 6073 (glucose-syrup) R 6040 6040 5775 0 -1 12591168 269410 0 0 0 5873 52 0 0 20 0 9 0 84016921 3877052416 801742 33554432000 4194304 4373367 140723607396816 139689588370704 4342796 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 32620544 140723607405489 140723607405740 140723607405740 140723607408583 0
[pid=6061/tid=6074] ppid=6040 vsize=3786184 memory=3142728 CPUtime=59.14 cores=0-7
/proc/6061/task/6074/stat : 6074 (glucose-syrup) R 6040 6040 5775 0 -1 4202560 267282 0 0 0 5847 67 0 0 20 0 9 0 84016921 3877052416 801742 33554432000 4194304 4373367 140723607396816 139689579978000 4257694 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 32620544 140723607405489 140723607405740 140723607405740 140723607408583 0
[pid=6040/tid=6042] ppid=6037 vsize=27984808 memory=0 CPUtime=23.49 cores=0-7
/proc/6040/task/6042/stat : 6042 (java) S 6037 6040 5775 0 -1 1077944384 22531 0 0 0 2250 99 0 0 20 0 24 0 84014008 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140088391494656 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6043] ppid=6037 vsize=27984808 memory=84 CPUtime=0.55 cores=0-7
/proc/6040/task/6043/stat : 6043 (java) S 6037 6040 5775 0 -1 1077944384 331 0 0 0 33 22 0 0 20 0 24 0 84014011 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140088423898256 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6044] ppid=6037 vsize=27984808 memory=0 CPUtime=0.55 cores=0-7
/proc/6040/task/6044/stat : 6044 (java) S 6037 6040 5775 0 -1 1077944384 378 0 0 0 31 24 0 0 20 0 24 0 84014011 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140088238054416 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6045] ppid=6037 vsize=27984808 memory=0 CPUtime=0.54 cores=0-7
/proc/6040/task/6045/stat : 6045 (java) S 6037 6040 5775 0 -1 1077944384 326 0 0 0 32 22 0 0 20 0 24 0 84014011 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140088237001616 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6046] ppid=6037 vsize=27984808 memory=12012 CPUtime=0.55 cores=0-7
/proc/6040/task/6046/stat : 6046 (java) S 6037 6040 5775 0 -1 1077944384 330 0 0 0 32 23 0 0 20 0 24 0 84014011 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140088235948816 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6047] ppid=6037 vsize=27984808 memory=1724 CPUtime=0.55 cores=0-7
/proc/6040/task/6047/stat : 6047 (java) S 6037 6040 5775 0 -1 1077944384 370 0 0 0 31 24 0 0 20 0 24 0 84014011 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140088234896016 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6048] ppid=6037 vsize=27984808 memory=7120 CPUtime=0.54 cores=0-7
/proc/6040/task/6048/stat : 6048 (java) S 6037 6040 5775 0 -1 1077944384 342 0 0 0 29 25 0 0 20 0 24 0 84014011 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140088233843216 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6049] ppid=6037 vsize=27984808 memory=3153992 CPUtime=0.55 cores=0-7
/proc/6040/task/6049/stat : 6049 (java) S 6037 6040 5775 0 -1 1077944384 347 0 0 0 30 25 0 0 20 0 24 0 84014011 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140088232790416 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6050] ppid=6037 vsize=27984808 memory=6650176 CPUtime=0.55 cores=0-7
/proc/6040/task/6050/stat : 6050 (java) S 6037 6040 5775 0 -1 1077944384 330 0 0 0 31 24 0 0 20 0 24 0 84014011 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140088231737616 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6051] ppid=6037 vsize=27984808 memory=3198164 CPUtime=0.02 cores=0-7
/proc/6040/task/6051/stat : 6051 (java) S 6037 6040 5775 0 -1 1077944384 24 0 0 0 2 0 0 0 20 0 24 0 84014012 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140087478127472 140088419666562 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6052] ppid=6037 vsize=27984808 memory=6650176 CPUtime=0 cores=0-7
/proc/6040/task/6052/stat : 6052 (java) S 6037 6040 5775 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 84014013 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140086331041376 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6053] ppid=6037 vsize=27984808 memory=6650176 CPUtime=0 cores=0-7
/proc/6040/task/6053/stat : 6053 (java) S 6037 6040 5775 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 24 0 84014013 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140086196819328 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6054] ppid=6037 vsize=27984808 memory=3159704 CPUtime=0 cores=0-7
/proc/6040/task/6054/stat : 6054 (java) S 6037 6040 5775 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 84014015 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140085822314832 140088419674011 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6055] ppid=6037 vsize=27984808 memory=0 CPUtime=5.09 cores=0-7
/proc/6040/task/6055/stat : 6055 (java) S 6037 6040 5775 0 -1 1077944384 8733 0 0 0 506 3 0 0 20 0 24 0 84014015 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140087477074288 140088419666562 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6056] ppid=6037 vsize=27984808 memory=0 CPUtime=4.72 cores=0-7
/proc/6040/task/6056/stat : 6056 (java) S 6037 6040 5775 0 -1 1077944384 4052 0 0 0 470 2 0 0 20 0 24 0 84014015 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140087476021488 140088419666562 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6057] ppid=6037 vsize=27984808 memory=0 CPUtime=5.37 cores=0-7
/proc/6040/task/6057/stat : 6057 (java) S 6037 6040 5775 0 -1 1077944384 8591 0 0 0 536 1 0 0 20 0 24 0 84014015 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140087474968688 140088419666562 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6058] ppid=6037 vsize=27984808 memory=3868 CPUtime=1.76 cores=0-7
/proc/6040/task/6058/stat : 6058 (java) S 6037 6040 5775 0 -1 1077944384 4252 0 0 0 174 2 0 0 20 0 24 0 84014015 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140087473915888 140088419666562 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6059] ppid=6037 vsize=27984808 memory=24792 CPUtime=0 cores=0-7
/proc/6040/task/6059/stat : 6059 (java) S 6037 6040 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84014015 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140085324409952 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6060] ppid=6037 vsize=27984808 memory=1280 CPUtime=0.03 cores=0-7
/proc/6040/task/6060/stat : 6060 (java) S 6037 6040 5775 0 -1 1077944384 7 0 0 0 2 1 0 0 20 0 24 0 84014016 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140086062599216 140088419666562 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6062] ppid=6037 vsize=27984808 memory=8039887049847963814 CPUtime=0 cores=0-7
/proc/6040/task/6062/stat : 6062 (java) S 6037 6040 5775 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 84016415 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140088210531904 140088419680025 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6064] ppid=6037 vsize=27984808 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/6040/task/6064/stat : 6064 (java) S 6037 6040 5775 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 24 0 84016415 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140084653309488 140088419677341 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6065] ppid=6037 vsize=27984808 memory=13567093857585738 CPUtime=0 cores=0-7
/proc/6040/task/6065/stat : 6065 (java) S 6037 6040 5775 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 84016415 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140084921744816 140088419677341 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6066] ppid=6037 vsize=27984808 memory=6650176 CPUtime=0 cores=0-7
/proc/6040/task/6066/stat : 6066 (java) S 6037 6040 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84016417 28656443392 1662544 33554432000 4194304 4196468 140733339191184 140084384881696 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
Current children cumulated CPU time: 522.65 s
Current children cumulated vsize: 31770992 KiB
Current children cumulated memory: 9857144 KiB

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

[startup+88.7147 s]
# the end of solver process 6040 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=514.958 s, system=8.002 s

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

[startup+88.6166 s]
/proc/loadavg: 7.05 7.15 6.35 9/211 6074
/proc/meminfo: memFree=18320668/32770624 swapFree=67108532/67108860
[pid=6040] ppid=6037 vsize=28181420 memory=6652224 CPUtime=45.01 cores=0-7
/proc/6040/stat : 6040 (java) S 6037 6040 5775 0 -1 1077944320 52377 0 0 0 4196 305 0 0 20 0 25 0 84014008 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140733339173728 140088419655415 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
/proc/6040/statm: 7045355 1663056 3253 1 0 7006211 0
[pid=6040/tid=6042] ppid=6037 vsize=28181420 memory=139815950855554 CPUtime=23.49 cores=0-7
/proc/6040/task/6042/stat : 6042 (java) S 6037 6040 5775 0 -1 1077944384 22531 0 0 0 2250 99 0 0 20 0 25 0 84014008 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140088391494656 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6043] ppid=6037 vsize=28181420 memory=397 CPUtime=0.55 cores=0-7
/proc/6040/task/6043/stat : 6043 (java) S 6037 6040 5775 0 -1 1077944384 331 0 0 0 33 22 0 0 20 0 25 0 84014011 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140088423898256 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6044] ppid=6037 vsize=28181420 memory=279631900423344 CPUtime=0.55 cores=0-7
/proc/6040/task/6044/stat : 6044 (java) S 6037 6040 5775 0 -1 1077944384 378 0 0 0 31 24 0 0 20 0 25 0 84014011 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140088238054416 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6045] ppid=6037 vsize=28181420 memory=139815950858905 CPUtime=0.54 cores=0-7
/proc/6040/task/6045/stat : 6045 (java) S 6037 6040 5775 0 -1 1077944384 326 0 0 0 32 22 0 0 20 0 25 0 84014011 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140088237001616 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6046] ppid=6037 vsize=28181420 memory=279631901723408 CPUtime=0.55 cores=0-7
/proc/6040/task/6046/stat : 6046 (java) S 6037 6040 5775 0 -1 1077944384 330 0 0 0 32 23 0 0 20 0 25 0 84014011 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140088235948816 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6047] ppid=6037 vsize=28181420 memory=2110166557968868 CPUtime=0.55 cores=0-7
/proc/6040/task/6047/stat : 6047 (java) S 6037 6040 5775 0 -1 1077944384 370 0 0 0 31 24 0 0 20 0 25 0 84014011 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140088234896016 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6048] ppid=6037 vsize=28181420 memory=279631901734912 CPUtime=0.54 cores=0-7
/proc/6040/task/6048/stat : 6048 (java) S 6037 6040 5775 0 -1 1077944384 342 0 0 0 29 25 0 0 20 0 25 0 84014011 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140088233843216 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6049] ppid=6037 vsize=28181420 memory=279631901739456 CPUtime=0.55 cores=0-7
/proc/6040/task/6049/stat : 6049 (java) S 6037 6040 5775 0 -1 1077944384 347 0 0 0 30 25 0 0 20 0 25 0 84014011 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140088232790416 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6050] ppid=6037 vsize=28181420 memory=0 CPUtime=0.55 cores=0-7
/proc/6040/task/6050/stat : 6050 (java) S 6037 6040 5775 0 -1 1077944384 330 0 0 0 31 24 0 0 20 0 25 0 84014011 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140088231737616 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6051] ppid=6037 vsize=28181420 memory=-7452431979323206951 CPUtime=0.02 cores=0-7
/proc/6040/task/6051/stat : 6051 (java) S 6037 6040 5775 0 -1 1077944384 25 0 0 0 2 0 0 0 20 0 25 0 84014012 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140087478127472 140088419666562 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6052] ppid=6037 vsize=28181420 memory=28740457405 CPUtime=0 cores=0-7
/proc/6040/task/6052/stat : 6052 (java) S 6037 6040 5775 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 25 0 84014013 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140086331041376 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6053] ppid=6037 vsize=28181420 memory=5793410893723834537 CPUtime=0 cores=0-7
/proc/6040/task/6053/stat : 6053 (java) S 6037 6040 5775 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 25 0 84014013 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140086196819328 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6054] ppid=6037 vsize=28181420 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/6040/task/6054/stat : 6054 (java) S 6037 6040 5775 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 25 0 84014015 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140085822314832 140088419674011 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6055] ppid=6037 vsize=28181420 memory=4121138026085873992 CPUtime=5.09 cores=0-7
/proc/6040/task/6055/stat : 6055 (java) S 6037 6040 5775 0 -1 1077944384 8733 0 0 0 506 3 0 0 20 0 25 0 84014015 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140087477074288 140088419666562 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6056] ppid=6037 vsize=28181420 memory=4121138026085871720 CPUtime=4.72 cores=0-7
/proc/6040/task/6056/stat : 6056 (java) S 6037 6040 5775 0 -1 1077944384 4052 0 0 0 470 2 0 0 20 0 25 0 84014015 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140087476021488 140088419666562 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6057] ppid=6037 vsize=28181420 memory=6944656592455360604 CPUtime=5.37 cores=0-7
/proc/6040/task/6057/stat : 6057 (java) S 6037 6040 5775 0 -1 1077944384 8591 0 0 0 536 1 0 0 20 0 25 0 84014015 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140087474968688 140088419666562 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6058] ppid=6037 vsize=28181420 memory=7594593253080130664 CPUtime=1.76 cores=0-7
/proc/6040/task/6058/stat : 6058 (java) S 6037 6040 5775 0 -1 1077944384 4252 0 0 0 174 2 0 0 20 0 25 0 84014015 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140087473915888 140088419666562 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6059] ppid=6037 vsize=28181420 memory=64244 CPUtime=0 cores=0-7
/proc/6040/task/6059/stat : 6059 (java) S 6037 6040 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 25 0 84014015 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140085324409952 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6060] ppid=6037 vsize=28181420 memory=279631901231776 CPUtime=0.03 cores=0-7
/proc/6040/task/6060/stat : 6060 (java) S 6037 6040 5775 0 -1 1077944384 7 0 0 0 2 1 0 0 20 0 25 0 84014016 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140086062599216 140088419666562 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6062] ppid=6037 vsize=28181420 memory=397 CPUtime=0 cores=0-7
/proc/6040/task/6062/stat : 6062 (java) S 6037 6040 5775 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 25 0 84016415 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140088210531904 140088419680025 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6064] ppid=6037 vsize=28181420 memory=279631901820644 CPUtime=0 cores=0-7
/proc/6040/task/6064/stat : 6064 (java) S 6037 6040 5775 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 25 0 84016415 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140084653309488 140088419677341 0 4 0 25189583 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6065] ppid=6037 vsize=28181420 memory=4638778398332703844 CPUtime=0 cores=0-7
/proc/6040/task/6065/stat : 6065 (java) S 6037 6040 5775 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 25 0 84016415 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140084921744816 140088419677341 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
[pid=6040/tid=6066] ppid=6037 vsize=28181420 memory=4639059895069856102 CPUtime=0 cores=0-7
/proc/6040/task/6066/stat : 6066 (java) S 6037 6040 5775 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 25 0 84016417 28857774080 1663056 33554432000 4194304 4196468 140733339191184 140084384881696 140088419665621 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26877952 140733339194330 140733339194629 140733339194629 140733339197391 0
Current children cumulated CPU time: 45.01 s
Current children cumulated vsize: 28181420 KiB
Current children cumulated memory: 6652224 KiB

[startup+88.7011 s]*
/proc/loadavg: 7.05 7.15 6.35 2/180 6075
/proc/meminfo: memFree=27708976/32770624 swapFree=67108532/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): 88.7148
CPU time (s): 522.96
CPU user time (s): 514.958
CPU system time (s): 8.002
CPU usage (%): 589.485
Max. virtual memory (cumulated for all children) (KiB): 31770992
Max. memory (cumulated for all children) (KiB): 9857144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 514.958
system time used= 8.002
maximum resident set size= 6655448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2742481
page faults= 0
swaps= 0
block input operations= 0
block output operations= 130696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52536
involuntary context switches= 4785


# summary of solver processes directly reported to runsolver:
#   pid: 6040
#   total CPU time (s): 522.96
#   total CPU user time (s): 514.958
#   total CPU system time (s): 8.002

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.775887 second user time and 1.09437 second system time

The end

Launcher Data 

Begin job on node104 at 2018-07-27 06:08:28
IDJOB=4297141
IDBENCH=141459
IDSOLVER=2759
FILE ID=node104/4297141-1532664508
RUNJOBID= node104-1532664469-5802
PBS_JOBID= 21022233
Free space on /tmp= 48344 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/CarSequencing/CarSequencing-80-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-4297141-1532664508/watcher-4297141-1532664508 -o /tmp/evaluation-result-4297141-1532664508/solver-4297141-1532664508 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532664469-5802 --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-4297141-1532664508.xml

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

MD5SUM BENCH= 1fae7142163c3dd6bc5a43a0b85b79be
RANDOM SEED=1837296865

node104.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.11
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.11
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.11
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.11
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:        28242884 kB
MemAvailable:   31951524 kB
Buffers:           95432 kB
Cached:          3867272 kB
SwapCached:           12 kB
Active:          1866524 kB
Inactive:        2148388 kB
Active(anon):       6180 kB
Inactive(anon):    73880 kB
Active(file):    1860344 kB
Inactive(file):  2074508 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108860 kB
SwapFree:       67108532 kB
Dirty:              8460 kB
Writeback:             0 kB
AnonPages:         59268 kB
Mapped:            39168 kB
Shmem:             25060 kB
Slab:             207480 kB
SReclaimable:     179248 kB
SUnreclaim:        28232 kB
KernelStack:        3616 kB
PageTables:         5176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48336 MiB
End job on node104 at 2018-07-27 06:09:57