Trace number 4297145

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) 720.753 115.111

General information on the benchmark

NameCarSequencing/
CarSequencing-90-01_c18.xml
MD5SUMcda201995a07a9b7663412ba5f5fbb4e
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 benchmark9.19352
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1459
Number of domains2
Minimum domain size2
Maximum domain size27
Distribution of domain sizes[{"size":2,"count":1000},{"size":27,"count":200}]
Minimum variable degree2
Maximum variable degree92
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":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":2}, {"degree":84,"count":2}, {"degree":85,"count":2}, {"degree":86,"count":2}, {"degree":87,"count":2}, {"degree":88,"count":2}, {"degree":89,"count":2}, {"degree":90,"count":2}, {"degree":91,"count":3}, {"degree":92,"count":23}]
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":20,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":26,"count":3},{"arity":28,"count":1},{"arity":29,"count":2},{"arity":30,"count":2},{"arity":32,"count":3},{"arity":34,"count":1},{"arity":35,"count":3},{"arity":36,"count":1},{"arity":38,"count":3},{"arity":40,"count":2},{"arity":41,"count":2},{"arity":42,"count":1},{"arity":44,"count":3},{"arity":45,"count":1},{"arity":46,"count":1},{"arity":47,"count":2},{"arity":48,"count":1},{"arity":50,"count":4},"...",{"arity":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":1258},{"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.56	c BEGIN-Prog: Fri Jul 27 06:06:47 CEST 2018
0.66/0.56	c PID: 12003
0.66/0.56	c IP: 172.20.3.139
0.66/0.56	c HOST: node139.alineos.net
0.66/0.57	c (0,0) Parsing Begin
3.27/1.40	c (0,0) Parsing End
3.27/1.42	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1459 ctr, max domain size 27
3.27/1.42	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.27/1.42	c (0,0) Constraint Name Generate Begin
3.27/1.45	c (0,0) Ctr:HOME/instance-4297145-1532664406.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.27/1.45	c (0,0) Constraint Name Generate End
3.27/1.45	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.27/1.45	c (0,0) CSP to CSPinCNF Begin
12.90/4.75	c (4,4) translated 146 (10%) constraints
13.48/5.20	c (4,4) translated 292 (20%) constraints
13.48/5.22	c (4,4) translated 438 (30%) constraints
13.48/5.24	c (4,4) translated 584 (40%) constraints
13.48/5.26	c (4,4) translated 730 (50%) constraints
13.48/5.29	c (4,4) translated 876 (60%) constraints
13.97/5.30	c (4,4) translated 1022 (70%) constraints
13.97/5.32	c (4,4) translated 1168 (80%) constraints
15.91/6.94	c (6,6) translated 1314 (90%) constraints
16.82/7.86	c (7,7) translated 1459 (100%) constraints
18.31/8.43	c (7,7) STATISTICS1:HOME/instance-4297145-1532664406.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,17000,58485,9223372036854775807,27,26,200,9223372036854775807:270;2305843009213693952:3;576460752303423488:2;288230376151711744:2;144115188075855872:1;36028797018963968:3;18014398509481984:1;9007199254740992:1;4503599627370496:2;2251799813685248:1;562949953421312:4;140737488355328:1;70368744177664:2;35184372088832:1;17592186044416:1;8796093022208:3;2199023255552:1;1099511627776:2;549755813888:2;137438953472:3;34359738368:1;17179869184:3;8589934592:1;2147483648:3;536870912:2;268435456:2;134217728:1;33554432:3;8388608:1;4194304:1;524288:1;16:392;4:396;2:199,27:21200;2:162761,26:200;3:30400;2:26600;1:1285,200:59;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:3;89:2;88:1;86:3;85:2;84:1;83:2;82:1;80:5;78:1;77:2;76:1;75:2;74:3;72:1;71:2;70:3;68:3;66:1;65:3;64:1;62:3;60:2;59:2;58:1;56:3;55:1;54:1;53:2;52:1;50:4;48:1;47:2;46:1;45:1;44:3;42:1;41:2;40:2;38:3;36:1;35:3;34:1;32:3;30:2;29:2;28:1;26:3;24:1;23:1;20:1;5:392;3:396;2:199;1:149400;0:200,17689:59;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:3;7225:3;7056:1;6889:4;6724:1;6561:3;6400:3;6241:2;6084:1;5929:3;5776:3;5625:2;5476:1;5329:5;5184:1;5041:2;4900:3;4761:3;4624:1;4489:2;4356:3;4225:3;4096:1;3969:4;3844:1;3721:3;3600:3;3481:2;3364:1;3249:3;3136:3;3025:2;2916:1;2809:5;2704:1;2601:2;2500:3;2401:3;2304:1;2209:2;2116:3;2025:3;1936:1;1849:3;1764:1
18.31/8.43	c (7,7) ===========================================
18.31/8.43	c (7,7) Both Encoding selects:
18.31/8.43	c (7,7) Log
18.31/8.43	c (7,7) ===========================================
19.82/9.02	c (8,8) translated 5849 (10%) constraints
20.14/9.24	c (8,8) translated 11697 (20%) constraints
20.42/9.35	c (8,8) translated 17546 (30%) constraints
20.57/9.44	c (8,8) translated 23394 (40%) constraints
20.67/9.53	c (8,8) translated 29243 (50%) constraints
20.78/9.62	c (9,9) translated 35091 (60%) constraints
20.87/9.71	c (9,9) translated 40940 (70%) constraints
20.98/9.80	c (9,9) translated 46788 (80%) constraints
20.98/9.89	c (9,9) translated 52637 (90%) constraints
22.50/11.09	c (10,10) translated 58485 (100%) constraints
22.50/11.10	c (10,10) CSP to CSPinCNF End
22.62/11.11	c (10,10) CSP: 200 int (0 aux), 22200 bool (21200 aux), 69312 ctr, max domain size 27
22.62/11.11	c (10,10) Heap : 4843 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.62/11.11	c (10,10) CSPinCNF Propagation Begin
23.99/11.83	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
23.99/11.83	c (11,11) CSPinCNF Propagation End
23.99/11.83	c (11,11) CSP: 200 int (0 aux), 22200 bool (21200 aux), 68912 ctr, max domain size 27
23.99/11.83	c (11,11) Heap : 5181 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.99/11.83	c (11,11) Simplify CSPinCNF Begin
24.23/12.00	c (11,11) Simplify CSPinCNF End
24.23/12.01	c (11,11) CSP: 200 int (0 aux), 22200 bool (21200 aux), 68912 ctr, max domain size 27
24.23/12.01	c (11,11) Heap : 5181 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.23/12.01	c (11,11) Calculate Precise Domain Begin
24.34/12.01	c (11,11) 0 values are removed by re-calculation
24.34/12.01	c (11,11) Calculate Precise Domain End
24.34/12.01	c (11,11) CSP: 200 int (0 aux), 22200 bool (21200 aux), 68912 ctr, max domain size 27
24.34/12.01	c (11,11) Heap : 5181 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.34/12.01	c (11,11) CSPinCNF to SatSolver Begin
29.19/13.72	c (13,13) 6892 (10 %) CSP clauses are being encoded (127815 SAT variables, 280992 SAT clauses)
29.72/14.09	c (13,13) 13783 (20 %) CSP clauses are being encoded (152012 SAT variables, 332834 SAT clauses)
30.14/14.45	c (13,13) 20674 (30 %) CSP clauses are being encoded (177139 SAT variables, 386542 SAT clauses)
30.71/14.66	c (14,13) 27565 (40 %) CSP clauses are being encoded (184024 SAT variables, 405854 SAT clauses)
31.06/14.83	c (14,14) 34456 (50 %) CSP clauses are being encoded (190210 SAT variables, 423657 SAT clauses)
31.16/14.99	c (14,14) 41348 (60 %) CSP clauses are being encoded (196532 SAT variables, 441703 SAT clauses)
31.37/15.15	c (14,14) 48239 (70 %) CSP clauses are being encoded (202892 SAT variables, 459814 SAT clauses)
31.57/15.31	c (14,14) 55130 (80 %) CSP clauses are being encoded (209252 SAT variables, 477925 SAT clauses)
31.67/15.46	c (14,14) 62021 (90 %) CSP clauses are being encoded (215400 SAT variables, 495662 SAT clauses)
44.79/24.91	c (24,23) 68912 (100 %) CSP clauses are being encoded (1130577 SAT variables, 3196672 SAT clauses)
44.79/24.97	c (24,23) CSPinCNF to SatSolver End
44.79/24.97	c (24,23) Heap : 3697 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
45.92/25.42	c (24,24) STATISTICS2:HOME/instance-4297145-1532664406.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,22400,68912,9223372036854775807,27,25,200,9223372036854775807:270;2305843009213693952:3;576460752303423488:2;288230376151711744:2;144115188075855872:1;36028797018963968:3;18014398509481984:1;9007199254740992:1;4503599627370496:2;2251799813685248:1;562949953421312:4;140737488355328:1;70368744177664:2;35184372088832:1;17592186044416:1;8796093022208:3;2199023255552:1;1099511627776:2;549755813888:2;137438953472:3;34359738368:1;17179869184:3;8589934592:1;2147483648:3;536870912:2;268435456:2;134217728:1;33554432:3;8388608:1;4194304:1;524288:1;16:392;4:396;2:199,27:31200;2:183961,25:200;3:30000;2:37400;1:1312,200:59;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:3;89:2;88:1;86:3;85:2;84:1;83:2;82:1;80:5;78:1;77:2;76:1;75:2;74:3;72:1;71:2;70:3;68:3;66:1;65:3;64:1;62:3;60:2;59:2;58:1;56:3;55:1;54:1;53:2;52:1;50:4;48:1;47:2;46:1;45:1;44:3;42:1;41:2;40:2;38:3;36:1;35:3;34:1;32:3;30:2;29:2;28:1;26:3;24:1;23:1;20:1;5:392;3:396;2:199;1:169800,2:270
45.92/25.42	c (24,24) SatSolver.solve Begin
45.92/25.42	c (24,24) 1136247 bool, 3213557 clause
45.92/25.42	c (24,24) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297145-1532664406.xml-scop-12003.cnf HOME/instance-4297145-1532664406.xml-scop-12003.cnf.out
130.17/40.95	c (40,0) c
130.17/40.95	c (40,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
130.17/40.95	c (40,0) c
130.17/40.95	c (40,0) c WARNING: for repeatability, setting FPU to use double precision
130.17/40.95	c (40,0) c 8 solvers engines and 1 companion as a blackboard created.
130.17/40.95	c (40,0) c ========================================[ Problem Statistics ]===========================================
130.17/40.95	c (40,0) c |                                                                                                       |
130.17/40.95	c (40,0) c |  Number of variables:       1136247                                                                   |
130.17/40.95	c (40,0) c |  Number of clauses:         3212045                                                                   |
130.17/40.95	c (40,0) c |  Parse time:                   1.30 s                                                                 |
130.17/40.95	c (40,0) c |                                                                                                       |
130.17/40.95	c (40,0) c |  Eliminated clauses:           3.73 Mb                                                                |
130.17/40.95	c (40,0) c |  Simplification time:          2.37 s                                                                 |
130.17/40.95	c (40,0) c |                                                                                                       |
130.17/40.95	c (40,0) c |  Generating clones                                                                                    |
130.17/40.95	c (40,0) c |  all clones generated. Memory = 2866.65Mb.                                                             |
130.17/40.95	c (40,0) c ========================================================================================================|
130.17/40.95	c (40,0) c
130.17/40.95	c (40,0) c |-------------------------------------------------------------------------------------------------------|
130.17/40.95	c (40,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
130.17/40.95	c (40,0) c |-------------------------------------------------------------------------------------------------------|
130.17/40.95	c (40,0) c |  0 |      2 |     674532 |       2371 |    17574 |     1385 |       43 |      175 |        0 |  0.159 |
130.17/40.95	c (40,0) c |  1 |     13 |      82227 |       3416 |    42025 |     2415 |       60 |     2231 |       10 |  0.208 |
130.17/40.96	c (40,0) c |  2 |      7 |      27247 |       3067 |    24489 |     2070 |       54 |     2176 |        2 |  0.208 |
130.17/40.96	c (40,0) c |  3 |      9 |     165263 |       6505 |    26296 |     5498 |      719 |     1435 |        7 |  0.192 |
130.17/40.96	c (40,0) c |  4 |     14 |      28673 |       3233 |    29292 |     2228 |       76 |     2156 |        2 |  0.208 |
130.17/40.96	c (40,0) c |  5 |     19 |      71935 |       3543 |    26711 |     2545 |       58 |     2349 |       13 |  0.211 |
130.17/40.96	c (40,0) c |  6 |     12 |     267238 |       4974 |    26153 |     3981 |       44 |     2173 |        9 |  0.208 |
130.17/40.96	c (40,0) c |  7 |      7 |     135244 |       8713 |    29902 |     4922 |     1404 |     1039 |        0 |  0.211 |
130.17/40.96	c (40,0) c 
130.17/40.96	c (40,0) c synthesis       35832 conflicts   156617794 propagations      839 conflicts/sec  3669345 propagations/sec
130.17/40.96	c (40,0) c Total Memory so far : 3445.54Mb
130.17/40.96	c (40,0) c
130.17/40.96	c (40,0) c |-------------------------------------------------------------------------------------------------------|
130.17/40.96	c (40,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
130.17/40.96	c (40,0) c |-------------------------------------------------------------------------------------------------------|
130.17/40.96	c (40,0) c |  0 |      8 |     684484 |       7023 |    30781 |     3234 |      723 |     9529 |        0 |  0.265 |
130.17/40.96	c (40,0) c |  1 |     25 |     105738 |       6929 |    63239 |     3129 |      655 |     7706 |       43 |  0.258 |
130.17/40.96	c (40,0) c |  2 |     23 |     516095 |       8172 |    58358 |     4378 |     1185 |     7791 |       13 |  0.258 |
130.17/40.96	c (40,0) c |  3 |     41 |     267256 |       9969 |    77299 |     6171 |     1354 |     9650 |       11 |  0.269 |
130.17/40.96	c (40,0) c |  4 |     27 |     401258 |       6929 |    46424 |     3129 |      788 |     7872 |       16 |  0.258 |
130.17/40.96	c (40,0) c |  5 |     40 |     286208 |      10047 |    61306 |     6252 |     1122 |     9853 |       60 |  0.269 |
130.17/40.96	c (40,0) c |  6 |     25 |     475671 |      10362 |    47245 |     6570 |     1430 |     9440 |       14 |  0.269 |
130.17/40.96	c (40,0) c |  7 |     15 |     406083 |      16353 |    48983 |     7554 |     3956 |     6843 |        0 |  0.269 |
130.17/40.96	c (40,0) c 
226.74/53.03	c (52,0) c synthesis       75789 conflicts   331849597 propagations      924 conflicts/sec  4044227 propagations/sec
226.74/53.03	c (52,0) c Total Memory so far : 3447.37Mb
226.74/53.03	c (52,0) c
226.74/53.03	c (52,0) c |-------------------------------------------------------------------------------------------------------|
226.74/53.03	c (52,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
226.74/53.03	c (52,0) c |-------------------------------------------------------------------------------------------------------|
226.74/53.03	c (52,0) c |  0 |     14 |    1006603 |      12888 |    46588 |     9099 |     2333 |    19854 |        2 |  0.287 |
226.74/53.03	c (52,0) c |  1 |     27 |     111284 |      10139 |    63771 |     6340 |     1704 |    16353 |      132 |  0.278 |
226.74/53.03	c (52,0) c |  2 |     50 |     741048 |      13330 |    92344 |     9530 |     2347 |    20620 |      183 |  0.301 |
226.74/53.03	c (52,0) c |  3 |     52 |     417158 |      13300 |    99604 |     9499 |     2149 |    17630 |       18 |  0.288 |
226.74/53.03	c (52,0) c |  4 |     33 |     417867 |      16575 |    62469 |     7780 |     2998 |    13815 |      212 |  0.274 |
226.74/53.03	c (52,0) c |  5 |     60 |     651568 |      13200 |    82448 |     9404 |     1876 |    20619 |      140 |  0.287 |
226.74/53.03	c (52,0) c |  6 |     47 |     598029 |      18855 |    73784 |    10074 |     3174 |    19807 |       38 |  0.301 |
226.74/53.03	c (52,0) c |  7 |     28 |     425113 |      25988 |    73983 |     9793 |     6423 |     9973 |       28 |  0.272 |
226.74/53.03	c (52,0) c 
226.74/53.03	c (52,0) c synthesis      124275 conflicts   487489648 propagations     1093 conflicts/sec  4285883 propagations/sec
226.74/53.03	c (52,0) c Total Memory so far : 3448.53Mb
226.74/53.03	c (52,0) c
226.74/53.03	c (52,0) c |-------------------------------------------------------------------------------------------------------|
226.74/53.03	c (52,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
226.74/53.03	c (52,0) c |-------------------------------------------------------------------------------------------------------|
226.74/53.03	c (52,0) c |  0 |     27 |    1169649 |      19010 |    61648 |    10219 |     4076 |    29063 |       34 |  0.324 |
226.74/53.03	c (52,0) c |  1 |     28 |     115794 |      13191 |    63951 |     9392 |     2722 |    30211 |      175 |  0.318 |
226.74/53.03	c (52,0) c |  2 |     79 |     857089 |      17763 |   136813 |     8976 |     3016 |    30121 |      264 |  0.324 |
226.74/53.03	c (52,0) c |  3 |     62 |     434549 |      18614 |   114970 |     9807 |     3357 |    30051 |       20 |  0.334 |
226.74/53.03	c (52,0) c |  4 |     43 |     587111 |      21819 |    86609 |    12977 |     4177 |    29103 |      235 |  0.324 |
226.74/53.03	c (52,0) c |  5 |     66 |     720723 |      18856 |    88349 |    10054 |     3205 |    29922 |      236 |  0.324 |
226.74/53.03	c (52,0) c |  6 |     61 |     617388 |      28563 |    78340 |    12337 |     5548 |    28571 |       40 |  0.324 |
226.74/53.03	c (52,0) c |  7 |     32 |     732711 |      34797 |    84800 |    18595 |     8116 |    25897 |       35 |  0.326 |
226.74/53.03	c (52,0) c 
226.74/53.03	c (52,0) c synthesis      172616 conflicts   639723259 propagations     1186 conflicts/sec  4395634 propagations/sec
226.74/53.03	c (52,0) c Total Memory so far : 3449.77Mb
226.74/53.03	c (52,0) c
226.74/53.03	c (52,0) c |-------------------------------------------------------------------------------------------------------|
226.74/53.03	c (52,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
226.74/53.03	c (52,0) c |-------------------------------------------------------------------------------------------------------|
226.74/53.03	c (52,0) c |  0 |     28 |    1174996 |      22794 |    63425 |    14003 |     5179 |    36451 |       55 |  0.332 |
226.74/53.03	c (52,0) c |  1 |     38 |     932350 |      16699 |    75495 |     7902 |     3747 |    42495 |      283 |  0.336 |
226.74/53.03	c (52,0) c |  2 |    111 |     904718 |      21423 |   176776 |    12633 |     3467 |    43265 |      309 |  0.336 |
226.74/53.03	c (52,0) c |  3 |     73 |     815433 |      23386 |   135534 |    14569 |     4524 |    40543 |       41 |  0.347 |
226.74/53.03	c (52,0) c |  4 |     85 |     728440 |      35414 |   115926 |    19198 |     6653 |    39795 |      486 |  0.338 |
226.74/53.03	c (52,0) c |  5 |     76 |     981982 |      24403 |   102817 |     8207 |     4437 |    38363 |      289 |  0.332 |
226.74/53.03	c (52,0) c |  6 |     70 |     775207 |      47916 |    80943 |    21807 |    10089 |    35273 |       66 |  0.336 |
226.74/53.03	c (52,0) c |  7 |     63 |    1059305 |      39418 |   127504 |    13326 |     8796 |    38099 |       90 |  0.338 |
226.74/53.03	c (52,0) c 
226.74/53.03	c (52,0) c synthesis      231492 conflicts   802192080 propagations     1305 conflicts/sec  4523524 propagations/sec
377.45/71.95	c (71,0) c Total Memory so far : 3451.22Mb
377.45/71.95	c (71,0) c
377.45/71.95	c (71,0) c |-------------------------------------------------------------------------------------------------------|
377.45/71.95	c (71,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
377.45/71.95	c (71,0) c |-------------------------------------------------------------------------------------------------------|
377.45/71.95	c (71,0) c |  0 |     36 |    1580840 |      27431 |    90431 |    11232 |     6357 |    48179 |      114 |  0.371 |
377.45/71.95	c (71,0) c |  1 |     51 |     974842 |      22148 |    92882 |    13352 |     4992 |    51005 |      447 |  0.371 |
377.45/71.95	c (71,0) c |  2 |    126 |     932696 |      32060 |   194062 |    15871 |     5782 |    47754 |      365 |  0.360 |
377.45/71.95	c (71,0) c |  3 |    100 |     904689 |      27533 |   165361 |    11322 |     5211 |    51160 |      131 |  0.384 |
377.45/71.95	c (71,0) c |  4 |    109 |     840075 |      41892 |   137866 |    15788 |     7795 |    48383 |      613 |  0.373 |
377.45/71.95	c (71,0) c |  5 |     96 |    1058176 |      30963 |   106151 |    14763 |     5920 |    50339 |      452 |  0.371 |
377.45/71.95	c (71,0) c |  6 |     98 |     961860 |      52114 |   102455 |    13563 |    10819 |    45528 |      222 |  0.371 |
377.45/71.95	c (71,0) c |  7 |    116 |    1118739 |      44685 |   176099 |    18580 |     9613 |    46820 |      184 |  0.373 |
377.45/71.95	c (71,0) c 
377.45/71.95	c (71,0) c synthesis      278827 conflicts   985914822 propagations     1284 conflicts/sec  4541365 propagations/sec
377.45/71.95	c (71,0) c Total Memory so far : 3452.51Mb
377.45/71.95	c (71,0) c
377.45/71.95	c (71,0) c |-------------------------------------------------------------------------------------------------------|
377.45/71.95	c (71,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
377.45/71.95	c (71,0) c |-------------------------------------------------------------------------------------------------------|
377.45/71.95	c (71,0) c |  0 |     36 |    1586530 |      31564 |    91009 |    15366 |     7100 |    48179 |      114 |  0.371 |
377.45/71.95	c (71,0) c |  1 |     53 |     980786 |      26220 |    92961 |    10032 |     5893 |    52309 |      554 |  0.374 |
377.45/71.95	c (71,0) c |  2 |    147 |    1393315 |      38099 |   220048 |    12005 |     6962 |    55803 |      443 |  0.383 |
377.45/71.95	c (71,0) c |  3 |    113 |     914996 |      31504 |   175182 |    15284 |     5981 |    53288 |      153 |  0.389 |
377.45/71.95	c (71,0) c |  4 |    131 |     913615 |      48646 |   163539 |    22543 |     8935 |    54401 |      653 |  0.385 |
377.45/71.95	c (71,0) c |  5 |    128 |    1156866 |      36146 |   121657 |    10043 |     6969 |    56906 |      734 |  0.384 |
377.45/71.95	c (71,0) c |  6 |    110 |     979149 |      55392 |   108357 |    16841 |    11418 |    52460 |      347 |  0.384 |
377.45/71.96	c (71,0) c |  7 |    128 |    1164049 |      50013 |   192584 |    23908 |    10772 |    53136 |      227 |  0.386 |
377.45/71.96	c (71,0) c 
377.45/71.96	c (71,0) c synthesis      317588 conflicts  1160877041 propagations     1236 conflicts/sec  4518320 propagations/sec
377.45/71.96	c (71,0) c Total Memory so far : 3453.29Mb
377.45/71.96	c (71,0) c
377.45/71.96	c (71,0) c |-------------------------------------------------------------------------------------------------------|
377.45/71.96	c (71,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
377.45/71.96	c (71,0) c |-------------------------------------------------------------------------------------------------------|
377.45/71.96	c (71,0) c |  0 |     46 |    1832379 |      35847 |   106080 |    19644 |     7898 |    64493 |      147 |  0.427 |
377.45/71.96	c (71,0) c |  1 |     75 |    1058516 |      31452 |   118745 |    15261 |     6859 |    65819 |      763 |  0.427 |
377.45/71.96	c (71,0) c |  2 |    169 |    1556022 |      44754 |   234265 |    18647 |     7884 |    64375 |      621 |  0.428 |
377.45/71.96	c (71,0) c |  3 |    113 |     920179 |      35686 |   175190 |    19467 |     6721 |    53288 |      155 |  0.389 |
377.45/71.96	c (71,0) c |  4 |    149 |    1127787 |      60904 |   181266 |    22357 |    10980 |    61771 |      791 |  0.429 |
377.45/71.96	c (71,0) c |  5 |    154 |    1255135 |      46815 |   153271 |    20703 |     8517 |    64194 |      889 |  0.427 |
377.45/71.96	c (71,0) c |  6 |    151 |    1031536 |      65117 |   129398 |    26561 |    12698 |    60023 |      468 |  0.427 |
377.45/71.96	c (71,0) c |  7 |    162 |    1208703 |      53495 |   245459 |    14942 |    11230 |    61532 |      240 |  0.429 |
377.45/71.96	c (71,0) c 
377.45/71.96	c (71,0) c synthesis      374075 conflicts  1347251952 propagations     1261 conflicts/sec  4541913 propagations/sec
377.45/71.96	c (71,0) c Total Memory so far : 3454.46Mb
377.45/71.96	c (71,0) c
481.13/84.95	c (84,0) c |-------------------------------------------------------------------------------------------------------|
481.13/84.95	c (84,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
481.13/84.95	c (84,0) c |-------------------------------------------------------------------------------------------------------|
481.13/84.95	c (84,0) c |  0 |     58 |    1842360 |      39797 |   112764 |    13700 |     8683 |    68311 |      172 |  0.456 |
481.13/84.95	c (84,0) c |  1 |     78 |    1066031 |      34488 |   119117 |    18294 |     7470 |    68640 |      857 |  0.432 |
481.13/84.95	c (84,0) c |  2 |    187 |    1716863 |      50583 |   244434 |    24452 |     8705 |    69499 |      821 |  0.445 |
481.13/84.95	c (84,0) c |  3 |    113 |     924798 |      39466 |   175201 |    13363 |     7283 |    53288 |      158 |  0.389 |
481.13/84.95	c (84,0) c |  4 |    180 |    1278985 |      65472 |   203782 |    26924 |    11892 |    65407 |     1033 |  0.446 |
481.13/84.95	c (84,0) c |  5 |    171 |    1437890 |      51290 |   176032 |    12737 |     9254 |    68705 |      949 |  0.444 |
481.13/84.95	c (84,0) c |  6 |    153 |    1036510 |      68040 |   129482 |    29483 |    13197 |    64824 |      571 |  0.444 |
481.13/84.95	c (84,0) c |  7 |    185 |    1263518 |      57153 |   260741 |    18599 |    11802 |    66263 |      269 |  0.446 |
481.13/84.95	c (84,0) c 
481.13/84.95	c (84,0) c synthesis      406291 conflicts  1484845606 propagations     1237 conflicts/sec  4520442 propagations/sec
481.13/84.95	c (84,0) c Total Memory so far : 3455.23Mb
481.13/84.95	c (84,0) c
481.13/84.95	c (84,0) c |-------------------------------------------------------------------------------------------------------|
481.13/84.95	c (84,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
481.13/84.95	c (84,0) c |-------------------------------------------------------------------------------------------------------|
481.13/84.95	c (84,0) c |  0 |     66 |    1973677 |      44736 |   116910 |    18635 |     9454 |    74419 |      205 |  0.462 |
481.13/84.95	c (84,0) c |  1 |     88 |    1375390 |      37221 |   137502 |    11123 |     8037 |    75993 |      902 |  0.454 |
481.13/84.95	c (84,0) c |  2 |    209 |    2034422 |      55831 |   258257 |    17271 |     9622 |    73790 |     1064 |  0.450 |
481.13/84.95	c (84,0) c |  3 |    113 |     930648 |      43910 |   175247 |    17807 |     7936 |    53288 |      161 |  0.389 |
481.13/84.95	c (84,0) c |  4 |    199 |    1293817 |      68661 |   217117 |    15088 |    12464 |    71627 |     1350 |  0.451 |
481.13/84.95	c (84,0) c |  5 |    184 |    1528697 |      57321 |   202810 |    18761 |    10565 |    73307 |      995 |  0.450 |
481.13/84.95	c (84,0) c |  6 |    172 |    1114616 |      70992 |   174848 |    17413 |    13585 |    70065 |      686 |  0.449 |
481.13/84.95	c (84,0) c |  7 |    196 |    1273014 |      61049 |   266943 |    22495 |    12442 |    71500 |      405 |  0.451 |
481.13/84.95	c (84,0) c 
481.13/84.95	c (84,0) c synthesis      439726 conflicts  1623624713 propagations     1221 conflicts/sec  4507244 propagations/sec
481.13/84.95	c (84,0) c Total Memory so far : 3455.89Mb
481.13/84.95	c (84,0) c
481.13/84.95	c (84,0) c |-------------------------------------------------------------------------------------------------------|
481.13/84.96	c (84,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
481.13/84.96	c (84,0) c |-------------------------------------------------------------------------------------------------------|
481.13/84.96	c (84,0) c |  0 |     79 |    1983569 |      48381 |   123779 |    22279 |    10162 |    75166 |      219 |  0.462 |
481.13/84.96	c (84,0) c |  1 |    110 |    1465499 |      41305 |   164058 |    15187 |     8765 |    79884 |     1031 |  0.474 |
481.13/84.96	c (84,0) c |  2 |    234 |    2088618 |      59427 |   284588 |    20861 |    10128 |    78389 |     1118 |  0.463 |
481.13/84.96	c (84,0) c |  3 |    118 |    1666825 |      47058 |   192151 |    20945 |     8454 |    78229 |      375 |  0.477 |
481.13/84.96	c (84,0) c |  4 |    215 |    1328186 |      71428 |   233970 |    17853 |    12863 |    75335 |     1559 |  0.464 |
481.13/84.96	c (84,0) c |  5 |    191 |    1557234 |      60644 |   215554 |    22083 |    11264 |    76610 |     1200 |  0.462 |
481.13/84.96	c (84,0) c |  6 |    187 |    1123458 |      74405 |   182431 |    20822 |    14027 |    74635 |      887 |  0.469 |
481.13/84.96	c (84,0) c |  7 |    215 |    1303153 |      64215 |   275875 |    25660 |    13020 |    75603 |      500 |  0.471 |
481.13/84.96	c (84,0) c 
481.13/84.96	c (84,0) c synthesis      466868 conflicts  1760309508 propagations     1191 conflicts/sec  4489619 propagations/sec
481.13/84.96	c (84,0) c Total Memory so far : 3456.66Mb
481.13/84.96	c (84,0) c
481.13/84.96	c (84,0) c |-------------------------------------------------------------------------------------------------------|
592.80/98.95	c (98,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
592.80/98.95	c (98,0) c |-------------------------------------------------------------------------------------------------------|
592.80/98.95	c (98,0) c |  0 |     87 |    2127106 |      53396 |   129591 |    14840 |    11130 |    84834 |      365 |  0.509 |
592.80/98.95	c (98,0) c |  1 |    126 |    1538943 |      45654 |   180048 |    19520 |     9584 |    85797 |     1260 |  0.505 |
592.80/98.95	c (98,0) c |  2 |    266 |    2155222 |      62847 |   329515 |    24278 |    10579 |    84829 |     1162 |  0.501 |
592.80/98.95	c (98,0) c |  3 |    136 |    1701849 |      53882 |   214001 |    15324 |     9845 |    85912 |      414 |  0.518 |
592.80/98.95	c (98,0) c |  4 |    215 |    1336441 |      77715 |   233992 |    24140 |    13688 |    75335 |     1649 |  0.464 |
592.80/98.95	c (98,0) c |  5 |    194 |    1563522 |      65010 |   215637 |    26435 |    12204 |    81857 |     1489 |  0.494 |
592.80/98.95	c (98,0) c |  6 |    199 |    1164442 |      79363 |   199160 |    25780 |    14892 |    81096 |     1243 |  0.506 |
592.80/98.95	c (98,0) c |  7 |    228 |    1326745 |      69050 |   278246 |    15475 |    14073 |    79206 |      590 |  0.490 |
592.80/98.95	c (98,0) c 
592.80/98.95	c (98,0) c synthesis      506917 conflicts  1926248109 propagations     1174 conflicts/sec  4460306 propagations/sec
592.80/98.95	c (98,0) c Total Memory so far : 3457.44Mb
592.80/98.95	c (98,0) c
592.80/98.95	c (98,0) c |-------------------------------------------------------------------------------------------------------|
592.80/98.95	c (98,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
592.80/98.95	c (98,0) c |-------------------------------------------------------------------------------------------------------|
592.80/98.95	c (98,0) c |  0 |     97 |    2253974 |      58407 |   138718 |    19820 |    12080 |    89682 |      402 |  0.533 |
592.80/98.95	c (98,0) c |  1 |    145 |    1600955 |      51321 |   188790 |    12753 |    10772 |    90890 |     1472 |  0.534 |
592.80/98.95	c (98,0) c |  2 |    287 |    2212764 |      66696 |   345992 |    28121 |    11138 |    89847 |     1174 |  0.530 |
592.80/98.95	c (98,0) c |  3 |    153 |    1767901 |      57529 |   243043 |    18962 |    10550 |    91315 |      654 |  0.544 |
592.80/98.95	c (98,0) c |  4 |    227 |    1438025 |      81897 |   248843 |    28302 |    14137 |    87729 |     1702 |  0.529 |
592.80/98.95	c (98,0) c |  5 |    195 |    1570905 |      70646 |   215661 |    17063 |    12981 |    87158 |     1695 |  0.526 |
592.80/98.95	c (98,0) c |  6 |    227 |    1213043 |      82887 |   221638 |    29296 |    15337 |    86407 |     1381 |  0.529 |
592.80/98.95	c (98,0) c |  7 |    228 |    1334352 |      75420 |   278253 |    21845 |    14969 |    79206 |      597 |  0.490 |
592.80/98.95	c (98,0) c 
592.80/98.95	c (98,0) c synthesis      544804 conflicts  2094527665 propagations     1155 conflicts/sec  4440841 propagations/sec
592.80/98.95	c (98,0) c Total Memory so far : 3507.26Mb
592.80/98.95	c (98,0) c
592.80/98.95	c (98,0) c |-------------------------------------------------------------------------------------------------------|
592.80/98.95	c (98,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
592.80/98.95	c (98,0) c |-------------------------------------------------------------------------------------------------------|
592.80/98.95	c (98,0) c |  0 |    102 |    2294912 |      62814 |   140379 |    24227 |    12853 |    90839 |      402 |  0.533 |
592.80/98.95	c (98,0) c |  1 |    157 |    1932672 |      59362 |   204625 |    20645 |    11754 |    95339 |     1582 |  0.569 |
592.80/98.95	c (98,0) c |  2 |    295 |    2240793 |      69965 |   351718 |    16393 |    11708 |    92716 |     1197 |  0.531 |
592.80/98.95	c (98,0) c |  3 |    177 |    1821652 |      61535 |   273885 |    22949 |    11275 |    95605 |     1107 |  0.578 |
592.80/98.95	c (98,0) c |  4 |    254 |    1466673 |      85441 |   269225 |    31838 |    14646 |    92231 |     2207 |  0.564 |
592.80/98.95	c (98,0) c |  5 |    204 |    2377477 |      74812 |   232043 |    21070 |    13639 |    92735 |     1862 |  0.561 |
592.80/98.95	c (98,0) c |  6 |    256 |    1314251 |      86279 |   245856 |    32666 |    15676 |    90998 |     1607 |  0.564 |
592.80/98.95	c (98,0) c |  7 |    249 |    1454123 |      81912 |   286019 |    28323 |    15766 |    91274 |      639 |  0.561 |
592.80/98.95	c (98,0) c 
592.80/98.95	c (98,0) c synthesis      582121 conflicts  2265724749 propagations     1138 conflicts/sec  4429734 propagations/sec
592.80/98.95	c (98,0) c Total Memory so far : 3508.07Mb
592.80/98.95	c (98,0) c
592.80/98.95	c (98,0) c |-------------------------------------------------------------------------------------------------------|
592.80/98.95	c (98,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
696.50/111.95	c (111,0) c |-------------------------------------------------------------------------------------------------------|
696.50/111.95	c (111,0) c |  0 |    106 |    2300830 |      66250 |   141597 |    27657 |    13403 |    96886 |      851 |  0.565 |
696.50/111.95	c (111,0) c |  1 |    170 |    2007668 |      62338 |   213197 |    23620 |    12069 |    99693 |     1771 |  0.574 |
696.50/111.95	c (111,0) c |  2 |    302 |    2248806 |      72741 |   358859 |    19137 |    12057 |    99525 |     1223 |  0.570 |
696.50/111.95	c (111,0) c |  3 |    203 |    1848353 |      66282 |   292681 |    27696 |    12118 |    99239 |     1303 |  0.584 |
696.50/111.95	c (111,0) c |  4 |    256 |    1480497 |      89770 |   275461 |    18536 |    15442 |    96306 |     2556 |  0.569 |
696.50/111.95	c (111,0) c |  5 |    222 |    2392452 |      78254 |   248781 |    24513 |    14233 |    97566 |     1950 |  0.572 |
696.50/111.95	c (111,0) c |  6 |    279 |    1330523 |      91882 |   253338 |    20672 |    16333 |    95083 |     1797 |  0.569 |
696.50/111.95	c (111,0) c |  7 |    285 |    1481869 |      85619 |   300978 |    32029 |    16146 |    95627 |      719 |  0.567 |
696.50/111.95	c (111,0) c 
696.50/111.95	c (111,0) c synthesis      613136 conflicts  2401842729 propagations     1128 conflicts/sec  4420316 propagations/sec
696.50/111.95	c (111,0) c Total Memory so far : 3508.72Mb
696.50/111.95	c (111,0) c
696.50/111.95	c (111,0) c Try to adapt solver strategies
696.50/111.95	c (111,0) c 
696.50/111.95	c (111,0) c Nothing extreme in this problem, continue with glucose default strategies.
696.50/111.95	c (111,0) c
696.50/111.95	c (111,0) c
696.50/111.95	c (111,0) c |-------------------------------------------------------------------------------------------------------|
696.50/111.95	c (111,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
696.50/111.95	c (111,0) c |-------------------------------------------------------------------------------------------------------|
696.50/111.95	c (111,0) c |  0 |    127 |    2398198 |      71378 |   154681 |    17789 |    14314 |   100931 |     1167 |  0.578 |
696.50/111.95	c (111,0) c |  1 |    174 |    2070307 |      65876 |   219113 |    27159 |    12596 |   102311 |     2014 |  0.576 |
696.50/111.95	c (111,0) c |  2 |    328 |    2289483 |      76877 |   387860 |    23266 |    12657 |   103632 |     1275 |  0.575 |
696.50/111.95	c (111,0) c |  3 |    211 |    1864850 |      68712 |   303589 |    15135 |    12581 |   103704 |     1312 |  0.589 |
696.50/111.95	c (111,0) c |  4 |    291 |    1517545 |      94612 |   293618 |    23374 |    16035 |   100095 |     2836 |  0.574 |
696.50/111.95	c (111,0) c |  5 |    245 |    2440458 |      80224 |   273411 |    26483 |    14489 |   101785 |     2050 |  0.577 |
696.50/111.95	c (111,0) c |  6 |    285 |    1346284 |     100814 |   258219 |    29602 |    17139 |    98927 |     1948 |  0.574 |
696.50/111.95	c (111,0) c |  7 |    306 |    1508433 |      89143 |   308278 |    17947 |    16495 |    99730 |      801 |  0.575 |
696.50/111.95	c (111,0) c 
696.50/111.95	c (111,0) c synthesis      647636 conflicts  2537520421 propagations     1126 conflicts/sec  4411366 propagations/sec
696.50/111.95	c (111,0) c Total Memory so far : 3607.21Mb
696.50/111.95	c (111,0) c
696.50/111.95	c (111,0) c |-------------------------------------------------------------------------------------------------------|
696.50/111.95	c (111,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
696.50/111.95	c (111,0) c |-------------------------------------------------------------------------------------------------------|
696.50/111.95	c (111,0) c |  0 |    139 |    2416436 |      82937 |   157971 |    29337 |    16003 |   105774 |     1480 |  0.578 |
696.50/111.95	c (111,0) c |  1 |    184 |    2154051 |      69741 |   238740 |    16101 |    12957 |   107926 |     2135 |  0.579 |
696.50/111.95	c (111,0) c |  2 |    357 |    2353520 |      80601 |   412012 |    26990 |    13234 |   108557 |     1355 |  0.575 |
696.50/111.95	c (111,0) c |  3 |    228 |    1875990 |      71709 |   311243 |    18126 |    13044 |   107762 |     1444 |  0.589 |
696.50/111.95	c (111,0) c |  4 |    315 |    1554270 |      99258 |   317821 |    28019 |    16519 |   105205 |     2963 |  0.574 |
696.50/111.95	c (111,0) c |  5 |    264 |    2461111 |      83625 |   287706 |    29876 |    15114 |   106400 |     2221 |  0.577 |
696.50/111.95	c (111,0) c |  6 |    290 |    1366077 |     106526 |   269183 |    35315 |    18011 |   100370 |     2072 |  0.574 |
696.50/111.95	c (111,0) c |  7 |    313 |    1521994 |      92761 |   313153 |    21565 |    16970 |   101154 |      853 |  0.575 |
696.50/111.95	c (111,0) c 
696.50/111.95	c (111,0) c synthesis      687167 conflicts  2677086677 propagations     1132 conflicts/sec  4409768 propagations/sec
696.50/111.95	c (111,0) c Total Memory so far : 3608.12Mb
696.50/111.95	c (111,0) c
696.50/111.95	c (111,0) c Try to adapt solver strategies
696.50/111.95	c (111,0) c 
696.50/111.95	c (111,0) c Nothing extreme in this problem, continue with glucose default strategies.
696.50/111.95	c (111,0) c
696.50/111.95	c (111,0) c
720.43/114.92	c (114,0) receiving signal SIGTERM
720.43/114.92	s UNKNOWN
46.13/115.04	c (114,0) c |-------------------------------------------------------------------------------------------
46.13/115.04	c (114,24) SatSolver is killed by some reasons.
46.13/115.04	c (114,24) 0,0,10,11,11,11,24,TO,TO,STOP-AFTER(DIMACS)
46.13/115.04	c END-Prog: Fri Jul 27 06:08:42 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 (3992 MiB free)
  memory of node 1: 16384 MiB (8022 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100153 s]*
/proc/loadavg: 6.65 7.80 8.43 2/198 12023
/proc/meminfo: memFree=12208396/32770624 swapFree=67108860/67108860
[pid=12003] ppid=12000 vsize=27312552 memory=109732 CPUtime=0.11 cores=0-7
/proc/12003/stat : 12003 (java) S 12000 12003 11744 0 -1 1077944320 6430 0 0 0 9 2 0 0 20 0 20 0 84003819 27968053248 27433 33554432000 4194304 4196468 140733377890000 140733377872544 140255596510967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
/proc/12003/statm: 6828138 27433 2727 1 0 6790598 0
[pid=12003/tid=12005] ppid=12000 vsize=27312552 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/12003/task/12005/stat : 12005 (java) R 12000 12003 11744 0 -1 4202560 4537 0 0 0 8 1 0 0 20 0 20 0 84003820 27968053248 27433 33554432000 4194304 4196468 140733377890000 140255568316440 140255060611048 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12006] ppid=12000 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12003/task/12006/stat : 12006 (java) S 12000 12003 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 27433 33554432000 4194304 4196468 140733377890000 140255600753424 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12007] ppid=12000 vsize=27312552 memory=140178241160832 CPUtime=0 cores=0-7
/proc/12003/task/12007/stat : 12007 (java) S 12000 12003 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 27433 33554432000 4194304 4196468 140733377890000 140255384148880 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12008] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12008/stat : 12008 (java) S 12000 12003 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 27433 33554432000 4194304 4196468 140733377890000 140255383096336 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12009] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12009/stat : 12009 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 27433 33554432000 4194304 4196468 140733377890000 140255382043792 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12010] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12010/stat : 12010 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 27433 33554432000 4194304 4196468 140733377890000 140255380990224 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12011] ppid=12000 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/12003/task/12011/stat : 12011 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 27433 33554432000 4194304 4196468 140733377890000 140255379937680 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12012] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12012/stat : 12012 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 27433 33554432000 4194304 4196468 140733377890000 140255013362192 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12013] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12013/stat : 12013 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 27433 33554432000 4194304 4196468 140733377890000 140255012309648 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12014] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12014/stat : 12014 (java) S 12000 12003 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84003824 27968053248 27433 33554432000 4194304 4196468 140733377890000 140254588672496 140255596522114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12015] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12015/stat : 12015 (java) S 12000 12003 11744 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84003824 27968053248 27433 33554432000 4194304 4196468 140733377890000 140253566330272 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12016] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12016/stat : 12016 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003824 27968053248 27433 33554432000 4194304 4196468 140733377890000 140253297894896 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12017] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12017/stat : 12017 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003827 27968053248 27433 33554432000 4194304 4196468 140733377890000 140252923386576 140255596529563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12018] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12018/stat : 12018 (java) S 12000 12003 11744 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 84003827 27968053248 27433 33554432000 4194304 4196468 140733377890000 140254587619312 140255596522114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12019] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12019/stat : 12019 (java) S 12000 12003 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84003827 27968053248 27433 33554432000 4194304 4196468 140733377890000 140254586566768 140255596522114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12020] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12020/stat : 12020 (java) S 12000 12003 11744 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 20 0 84003827 27968053248 27433 33554432000 4194304 4196468 140733377890000 140254585514224 140255596522114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12021] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12021/stat : 12021 (java) S 12000 12003 11744 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 20 0 84003827 27968053248 27433 33554432000 4194304 4196468 140733377890000 140254584461680 140255596522114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12022] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12022/stat : 12022 (java) S 12000 12003 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84003827 27968053248 27433 33554432000 4194304 4196468 140733377890000 140252425480928 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12023] ppid=12000 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/12003/task/12023/stat : 12023 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003827 27968053248 27433 33554432000 4194304 4196468 140733377890000 140254583409584 140255596522114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 109732 KiB

[startup+0.210217 s]*
/proc/loadavg: 6.65 7.80 8.43 2/198 12023
/proc/meminfo: memFree=12190100/32770624 swapFree=67108860/67108860
[pid=12003] ppid=12000 vsize=27312552 memory=123904 CPUtime=0.25 cores=0-7
/proc/12003/stat : 12003 (java) S 12000 12003 11744 0 -1 1077944320 10225 0 0 0 22 3 0 0 20 0 20 0 84003819 27968053248 30976 33554432000 4194304 4196468 140733377890000 140733377872544 140255596510967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
/proc/12003/statm: 6828138 30976 2881 1 0 6790598 0
[pid=12003/tid=12005] ppid=12000 vsize=27312552 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/12003/task/12005/stat : 12005 (java) R 12000 12003 11744 0 -1 4202560 8136 0 0 0 18 2 0 0 20 0 20 0 84003820 27968053248 30976 33554432000 4194304 4196468 140733377890000 140255568308248 140255596532893 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12006] ppid=12000 vsize=27312552 memory=12881 CPUtime=0 cores=0-7
/proc/12003/task/12006/stat : 12006 (java) S 12000 12003 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 30976 33554432000 4194304 4196468 140733377890000 140255600753424 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12007] ppid=12000 vsize=27312552 memory=3690619278014875296 CPUtime=0 cores=0-7
/proc/12003/task/12007/stat : 12007 (java) S 12000 12003 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 30976 33554432000 4194304 4196468 140733377890000 140255384148880 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12008] ppid=12000 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/12003/task/12008/stat : 12008 (java) S 12000 12003 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 30976 33554432000 4194304 4196468 140733377890000 140255383096336 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12009] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12009/stat : 12009 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 30976 33554432000 4194304 4196468 140733377890000 140255382043792 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12010] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12010/stat : 12010 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 30976 33554432000 4194304 4196468 140733377890000 140255380990224 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12011] ppid=12000 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/12003/task/12011/stat : 12011 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 30976 33554432000 4194304 4196468 140733377890000 140255379937680 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12012] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12012/stat : 12012 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 30976 33554432000 4194304 4196468 140733377890000 140255013362192 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12013] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12013/stat : 12013 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 30976 33554432000 4194304 4196468 140733377890000 140255012309648 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12014] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12014/stat : 12014 (java) S 12000 12003 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84003824 27968053248 30976 33554432000 4194304 4196468 140733377890000 140254588672496 140255596522114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12015] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12015/stat : 12015 (java) S 12000 12003 11744 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84003824 27968053248 30976 33554432000 4194304 4196468 140733377890000 140253566330272 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12016] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12016/stat : 12016 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003824 27968053248 31041 33554432000 4194304 4196468 140733377890000 140253297894896 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12017] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12017/stat : 12017 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003827 27968053248 31041 33554432000 4194304 4196468 140733377890000 140252923386576 140255596529563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12018] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12018/stat : 12018 (java) S 12000 12003 11744 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 84003827 27968053248 31041 33554432000 4194304 4196468 140733377890000 140254587619312 140255596522114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12019] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12019/stat : 12019 (java) S 12000 12003 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84003827 27968053248 31041 33554432000 4194304 4196468 140733377890000 140254586566768 140255596522114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12020] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12020/stat : 12020 (java) S 12000 12003 11744 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 20 0 84003827 27968053248 31041 33554432000 4194304 4196468 140733377890000 140254585514224 140255596522114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12021] ppid=12000 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/12003/task/12021/stat : 12021 (java) S 12000 12003 11744 0 -1 1077944384 281 0 0 0 2 0 0 0 20 0 20 0 84003827 27968053248 31041 33554432000 4194304 4196468 140733377890000 140254584461680 140255596522114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12022] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12022/stat : 12022 (java) S 12000 12003 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84003827 27968053248 31041 33554432000 4194304 4196468 140733377890000 140252425480928 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12023] ppid=12000 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/12003/task/12023/stat : 12023 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003827 27968053248 31041 33554432000 4194304 4196468 140733377890000 140254583409584 140255596522114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 123904 KiB

[startup+0.310095 s]*
/proc/loadavg: 6.65 7.80 8.43 2/198 12023
/proc/meminfo: memFree=12186800/32770624 swapFree=67108860/67108860
[pid=12003] ppid=12000 vsize=27312552 memory=127628 CPUtime=0.42 cores=0-7
/proc/12003/stat : 12003 (java) S 12000 12003 11744 0 -1 1077944320 10789 0 0 0 39 3 0 0 20 0 20 0 84003819 27968053248 31907 33554432000 4194304 4196468 140733377890000 140733377872544 140255596510967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
/proc/12003/statm: 6828138 31907 2969 1 0 6790598 0
[pid=12003/tid=12005] ppid=12000 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12003/task/12005/stat : 12005 (java) R 12000 12003 11744 0 -1 4202560 8511 0 0 0 27 2 0 0 20 0 20 0 84003820 27968053248 31907 33554432000 4194304 4196468 140733377890000 140255568315088 140255578074566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12006] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12006/stat : 12006 (java) S 12000 12003 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 31907 33554432000 4194304 4196468 140733377890000 140255600753424 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12007] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12007/stat : 12007 (java) S 12000 12003 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 31907 33554432000 4194304 4196468 140733377890000 140255384148880 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12008] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12008/stat : 12008 (java) S 12000 12003 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 31907 33554432000 4194304 4196468 140733377890000 140255383096336 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12009] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12009/stat : 12009 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 31907 33554432000 4194304 4196468 140733377890000 140255382043792 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12010] ppid=12000 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/12003/task/12010/stat : 12010 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 31907 33554432000 4194304 4196468 140733377890000 140255380990224 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12011] ppid=12000 vsize=27312552 memory=140178136069039 CPUtime=0 cores=0-7
/proc/12003/task/12011/stat : 12011 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 31907 33554432000 4194304 4196468 140733377890000 140255379937680 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12012] ppid=12000 vsize=27312552 memory=140178136071344 CPUtime=0 cores=0-7
/proc/12003/task/12012/stat : 12012 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 31907 33554432000 4194304 4196468 140733377890000 140255013362192 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12013] ppid=12000 vsize=27312552 memory=140178136073648 CPUtime=0 cores=0-7
/proc/12003/task/12013/stat : 12013 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003822 27968053248 31907 33554432000 4194304 4196468 140733377890000 140255012309648 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12014] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12014/stat : 12014 (java) S 12000 12003 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84003824 27968053248 31907 33554432000 4194304 4196468 140733377890000 140254588672496 140255596522114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12015] ppid=12000 vsize=27312552 memory=280356272154256 CPUtime=0 cores=0-7
/proc/12003/task/12015/stat : 12015 (java) S 12000 12003 11744 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84003824 27968053248 31907 33554432000 4194304 4196468 140733377890000 140253566330272 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12016] ppid=12000 vsize=27312552 memory=280356272161168 CPUtime=0 cores=0-7
/proc/12003/task/12016/stat : 12016 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003824 27968053248 31907 33554432000 4194304 4196468 140733377890000 140253297894896 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12017] ppid=12000 vsize=27312552 memory=280356272102448 CPUtime=0 cores=0-7
/proc/12003/task/12017/stat : 12017 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003827 27968053248 31907 33554432000 4194304 4196468 140733377890000 140252923386576 140255596529563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12018] ppid=12000 vsize=27312552 memory=280356272174992 CPUtime=0.01 cores=0-7
/proc/12003/task/12018/stat : 12018 (java) S 12000 12003 11744 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 20 0 84003827 27968053248 31907 33554432000 4194304 4196468 140733377890000 140254587619312 140255596522114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12019] ppid=12000 vsize=27312552 memory=280356272181904 CPUtime=0.01 cores=0-7
/proc/12003/task/12019/stat : 12019 (java) S 12000 12003 11744 0 -1 1077944384 90 0 0 0 1 0 0 0 20 0 20 0 84003827 27968053248 31907 33554432000 4194304 4196468 140733377890000 140254586566768 140255596522114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12020] ppid=12000 vsize=27312552 memory=280356272179600 CPUtime=0.01 cores=0-7
/proc/12003/task/12020/stat : 12020 (java) S 12000 12003 11744 0 -1 1077944384 436 0 0 0 1 0 0 0 20 0 20 0 84003827 27968053248 31907 33554432000 4194304 4196468 140733377890000 140254585514224 140255596522114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12021] ppid=12000 vsize=27312552 memory=280356272196208 CPUtime=0.07 cores=0-7
/proc/12003/task/12021/stat : 12021 (java) S 12000 12003 11744 0 -1 1077944384 303 0 0 0 7 0 0 0 20 0 20 0 84003827 27968053248 31907 33554432000 4194304 4196468 140733377890000 140254584461680 140255596522114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12022] ppid=12000 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12022/stat : 12022 (java) S 12000 12003 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84003827 27968053248 31907 33554432000 4194304 4196468 140733377890000 140252425480928 140255596521173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12023] ppid=12000 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/12003/task/12023/stat : 12023 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003827 27968053248 31907 33554432000 4194304 4196468 140733377890000 140254583409584 140255596522114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127628 KiB

[startup+0.700938 s]
/proc/loadavg: 6.65 7.80 8.43 2/198 12023
/proc/meminfo: memFree=12162956/32770624 swapFree=67108860/67108860
[pid=12003] ppid=12000 vsize=27318824 memory=164640 CPUtime=1.01 cores=0-7
/proc/12003/stat : 12003 (java) S 12000 12003 11744 0 -1 1077944320 17685 0 0 0 95 6 0 0 20 0 20 0 84003819 27974475776 41160 33554432000 4194304 4196468 140733377890000 140733377872544 140255596510967 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
/proc/12003/statm: 6829706 41160 3128 1 0 6791110 0
[pid=12003/tid=12005] ppid=12000 vsize=27318824 memory=0 CPUtime=0.67 cores=0-7
/proc/12003/task/12005/stat : 12005 (java) R 12000 12003 11744 0 -1 4202560 14952 0 0 0 63 4 0 0 20 0 20 0 84003820 27974475776 41160 33554432000 4194304 4196468 140733377890000 140255568348544 140255596532893 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12006] ppid=12000 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12006/stat : 12006 (java) S 12000 12003 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84003822 27974475776 41160 33554432000 4194304 4196468 140733377890000 140255600753424 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12007] ppid=12000 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12007/stat : 12007 (java) S 12000 12003 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84003822 27974475776 41160 33554432000 4194304 4196468 140733377890000 140255384148880 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12008] ppid=12000 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12008/stat : 12008 (java) S 12000 12003 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84003822 27974475776 41160 33554432000 4194304 4196468 140733377890000 140255383096336 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12009] ppid=12000 vsize=27318824 memory=1200 CPUtime=0 cores=0-7
/proc/12003/task/12009/stat : 12009 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003822 27974475776 41160 33554432000 4194304 4196468 140733377890000 140255382043792 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12010] ppid=12000 vsize=27318824 memory=10608 CPUtime=0 cores=0-7
/proc/12003/task/12010/stat : 12010 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003822 27974475776 41160 33554432000 4194304 4196468 140733377890000 140255380990224 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12011] ppid=12000 vsize=27318824 memory=4616 CPUtime=0 cores=0-7
/proc/12003/task/12011/stat : 12011 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003822 27974475776 41160 33554432000 4194304 4196468 140733377890000 140255379937680 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12012] ppid=12000 vsize=27318824 memory=1428 CPUtime=0 cores=0-7
/proc/12003/task/12012/stat : 12012 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003822 27974475776 41160 33554432000 4194304 4196468 140733377890000 140255013362192 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12013] ppid=12000 vsize=27318824 memory=15876 CPUtime=0 cores=0-7
/proc/12003/task/12013/stat : 12013 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84003822 27974475776 41160 33554432000 4194304 4196468 140733377890000 140255012309648 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12014] ppid=12000 vsize=27318824 memory=16436 CPUtime=0 cores=0-7
/proc/12003/task/12014/stat : 12014 (java) S 12000 12003 11744 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 84003824 27974475776 41160 33554432000 4194304 4196468 140733377890000 140254588672496 140255596522114 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0

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

[pid=12003/tid=12025] ppid=12000 vsize=27984808 memory=-5155632414091537797 CPUtime=0 cores=0-7
/proc/12003/task/12025/stat : 12025 (java) S 12000 12003 11744 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 84006363 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140255378560704 140255596535577 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12027] ppid=12000 vsize=27984808 memory=3333188 CPUtime=0 cores=0-7
/proc/12003/task/12027/stat : 12027 (java) S 12000 12003 11744 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 24 0 84006364 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140251754380464 140255596532893 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12028] ppid=12000 vsize=27984808 memory=7752549240514114323 CPUtime=0 cores=0-7
/proc/12003/task/12028/stat : 12028 (java) S 12000 12003 11744 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 84006364 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140252022816048 140255596532893 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12029] ppid=12000 vsize=27984808 memory=-6876588627878687573 CPUtime=0 cores=0-7
/proc/12003/task/12029/stat : 12029 (java) S 12000 12003 11744 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 84006366 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140251485953184 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
Current children cumulated CPU time: 619.92 s
Current children cumulated vsize: 31678460 KiB
Current children cumulated memory: 9934288 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+114.901 s]
/proc/loadavg: 7.03 7.33 8.17 9/211 12037
/proc/meminfo: memFree=2257712/32770624 swapFree=67108860/67108860
[pid=12003] ppid=12000 vsize=27984808 memory=6652968 CPUtime=46.12 cores=0-7
/proc/12003/stat : 12003 (java) S 12000 12003 11744 0 -1 1077944320 53118 0 0 0 4320 292 0 0 20 0 24 0 84003819 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140733377872544 140255596510967 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
/proc/12003/statm: 6996202 1663242 3253 1 0 6957058 0
[pid=12024] ppid=12003 vsize=3796212 memory=3318388 CPUtime=674.31 cores=0-7
/proc/12024/stat : 12024 (glucose-syrup) S 12003 12003 11744 0 -1 1077944320 2491506 0 0 0 67038 393 0 0 20 0 9 0 84006363 3887321088 829597 33554432000 4194304 4373367 140731576397648 140731576396192 140282461776514 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6470912 6472264 11792384 140731576398767 140731576399020 140731576399020 140731576401863 0
/proc/12024/statm: 949053 829597 387 44 0 944741 0
[pid=12024/tid=12030] ppid=12003 vsize=3796212 memory=3317404 CPUtime=83.64 cores=0-7
/proc/12024/task/12030/stat : 12030 (glucose-syrup) R 12003 12003 11744 0 -1 4202560 417280 0 0 0 8322 42 0 0 20 0 9 0 84006919 3887321088 829597 33554432000 4194304 4373367 140731576397648 140282425187528 4261770 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 11792384 140731576398767 140731576399020 140731576399020 140731576401863 0
[pid=12024/tid=12031] ppid=12003 vsize=3796212 memory=3317216 CPUtime=83.8 cores=0-7
/proc/12024/task/12031/stat : 12031 (glucose-syrup) R 12003 12003 11744 0 -1 4202560 266858 0 0 0 8348 32 0 0 20 0 9 0 84006919 3887321088 829597 33554432000 4194304 4373367 140731576397648 140282348719472 4291704 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 11792384 140731576398767 140731576399020 140731576399020 140731576401863 0
[pid=12024/tid=12032] ppid=12003 vsize=3796212 memory=6652968 CPUtime=83.77 cores=0-7
/proc/12024/task/12032/stat : 12032 (glucose-syrup) R 12003 12003 11744 0 -1 4202560 240075 0 0 0 8327 50 0 0 20 0 9 0 84006919 3887321088 829597 33554432000 4194304 4373367 140731576397648 140282340326600 4258831 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 11792384 140731576398767 140731576399020 140731576399020 140731576401863 0
[pid=12024/tid=12033] ppid=12003 vsize=3796212 memory=6652968 CPUtime=82.48 cores=0-7
/proc/12024/task/12033/stat : 12033 (glucose-syrup) R 12003 12003 11744 0 -1 4202560 225678 0 0 0 8220 28 0 0 20 0 9 0 84006919 3887321088 829597 33554432000 4194304 4373367 140731576397648 140282269400520 4271597 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 11792384 140731576398767 140731576399020 140731576399020 140731576401863 0
[pid=12024/tid=12034] ppid=12003 vsize=3796212 memory=3266196 CPUtime=83.82 cores=0-7
/proc/12024/task/12034/stat : 12034 (glucose-syrup) R 12003 12003 11744 0 -1 4202560 218779 0 0 0 8334 48 0 0 20 0 9 0 84006919 3887321088 829597 33554432000 4194304 4373367 140731576397648 140282261007728 140282447068133 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 11792384 140731576398767 140731576399020 140731576399020 140731576401863 0
[pid=12024/tid=12035] ppid=12003 vsize=3796212 memory=120879919 CPUtime=83.83 cores=0-7
/proc/12024/task/12035/stat : 12035 (glucose-syrup) R 12003 12003 11744 0 -1 4202560 229230 0 0 0 8342 41 0 0 20 0 9 0 84006919 3887321088 829597 33554432000 4194304 4373367 140731576397648 140282239499464 4249146 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 11792384 140731576398767 140731576399020 140731576399020 140731576401863 0
[pid=12024/tid=12036] ppid=12003 vsize=3796212 memory=0 CPUtime=83.83 cores=0-7
/proc/12024/task/12036/stat : 12036 (glucose-syrup) R 12003 12003 11744 0 -1 4202560 224932 0 0 0 8346 37 0 0 20 0 9 0 84006919 3887321088 829597 33554432000 4194304 4373367 140731576397648 140282231106928 4271897 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 11792384 140731576398767 140731576399020 140731576399020 140731576401863 0
[pid=12024/tid=12037] ppid=12003 vsize=3796212 memory=6652968 CPUtime=83.45 cores=0-7
/proc/12024/task/12037/stat : 12037 (glucose-syrup) R 12003 12003 11744 0 -1 4202560 212430 0 0 0 8310 35 0 0 20 0 9 0 84006919 3887321088 829597 33554432000 4194304 4373367 140731576397648 140282222714056 4271597 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 11792384 140731576398767 140731576399020 140731576399020 140731576401863 0
[pid=12003/tid=12005] ppid=12000 vsize=27984808 memory=3289804 CPUtime=24.88 cores=0-7
/proc/12003/task/12005/stat : 12005 (java) S 12000 12003 11744 0 -1 1077944384 22182 0 0 0 2391 97 0 0 20 0 24 0 84003820 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140255568350208 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12006] ppid=12000 vsize=27984808 memory=4144 CPUtime=0.52 cores=0-7
/proc/12003/task/12006/stat : 12006 (java) S 12000 12003 11744 0 -1 1077944384 340 0 0 0 29 23 0 0 20 0 24 0 84003822 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140255600753424 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12007] ppid=12000 vsize=27984808 memory=1412 CPUtime=0.5 cores=0-7
/proc/12003/task/12007/stat : 12007 (java) S 12000 12003 11744 0 -1 1077944384 379 0 0 0 28 22 0 0 20 0 24 0 84003822 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140255384148880 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12008] ppid=12000 vsize=27984808 memory=6652968 CPUtime=0.52 cores=0-7
/proc/12003/task/12008/stat : 12008 (java) S 12000 12003 11744 0 -1 1077944384 323 0 0 0 29 23 0 0 20 0 24 0 84003822 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140255383096336 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12009] ppid=12000 vsize=27984808 memory=0 CPUtime=0.52 cores=0-7
/proc/12003/task/12009/stat : 12009 (java) S 12000 12003 11744 0 -1 1077944384 317 0 0 0 31 21 0 0 20 0 24 0 84003822 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140255382043792 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12010] ppid=12000 vsize=27984808 memory=-9178176116494409632 CPUtime=0.52 cores=0-7
/proc/12003/task/12010/stat : 12010 (java) S 12000 12003 11744 0 -1 1077944384 324 0 0 0 30 22 0 0 20 0 24 0 84003822 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140255380990224 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12011] ppid=12000 vsize=27984808 memory=7682475212697334586 CPUtime=0.52 cores=0-7
/proc/12003/task/12011/stat : 12011 (java) S 12000 12003 11744 0 -1 1077944384 348 0 0 0 29 23 0 0 20 0 24 0 84003822 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140255379937680 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12012] ppid=12000 vsize=27984808 memory=65 CPUtime=0.52 cores=0-7
/proc/12003/task/12012/stat : 12012 (java) S 12000 12003 11744 0 -1 1077944384 327 0 0 0 30 22 0 0 20 0 24 0 84003822 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140255013362192 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12013] ppid=12000 vsize=27984808 memory=-7965950325593906079 CPUtime=0.52 cores=0-7
/proc/12003/task/12013/stat : 12013 (java) S 12000 12003 11744 0 -1 1077944384 324 0 0 0 31 21 0 0 20 0 24 0 84003822 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140255012309648 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12014] ppid=12000 vsize=27984808 memory=8443538352883892301 CPUtime=0.02 cores=0-7
/proc/12003/task/12014/stat : 12014 (java) S 12000 12003 11744 0 -1 1077944384 24 0 0 0 2 0 0 0 20 0 24 0 84003824 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140254588672496 140255596522114 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12015] ppid=12000 vsize=27984808 memory=6652968 CPUtime=0 cores=0-7
/proc/12003/task/12015/stat : 12015 (java) S 12000 12003 11744 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 24 0 84003824 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140253566330336 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12016] ppid=12000 vsize=27984808 memory=3303740 CPUtime=0 cores=0-7
/proc/12003/task/12016/stat : 12016 (java) S 12000 12003 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 84003824 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140253297894912 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12017] ppid=12000 vsize=27984808 memory=4128 CPUtime=0 cores=0-7
/proc/12003/task/12017/stat : 12017 (java) S 12000 12003 11744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 84003827 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140252923386576 140255596529563 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12018] ppid=12000 vsize=27984808 memory=6944656592455360604 CPUtime=4.73 cores=0-7
/proc/12003/task/12018/stat : 12018 (java) S 12000 12003 11744 0 -1 1077944384 5867 0 0 0 470 3 0 0 20 0 24 0 84003827 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140254587619312 140255596522114 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12019] ppid=12000 vsize=27984808 memory=7523376918531162212 CPUtime=5.11 cores=0-7
/proc/12003/task/12019/stat : 12019 (java) S 12000 12003 11744 0 -1 1077944384 6648 0 0 0 509 2 0 0 20 0 24 0 84003827 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140254586566768 140255596522114 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12020] ppid=12000 vsize=27984808 memory=7523376918531162212 CPUtime=5.35 cores=0-7
/proc/12003/task/12020/stat : 12020 (java) S 12000 12003 11744 0 -1 1077944384 8123 0 0 0 532 3 0 0 20 0 24 0 84003827 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140254585514224 140255596522114 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12021] ppid=12000 vsize=27984808 memory=796 CPUtime=1.67 cores=0-7
/proc/12003/task/12021/stat : 12021 (java) S 12000 12003 11744 0 -1 1077944384 6195 0 0 0 165 2 0 0 20 0 24 0 84003827 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140254584461680 140255596522114 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12022] ppid=12000 vsize=27984808 memory=5408 CPUtime=0 cores=0-7
/proc/12003/task/12022/stat : 12022 (java) S 12000 12003 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84003827 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140252425480928 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12023] ppid=12000 vsize=27984808 memory=1008 CPUtime=0.05 cores=0-7
/proc/12003/task/12023/stat : 12023 (java) S 12000 12003 11744 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 24 0 84003827 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140254583409584 140255596522114 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12025] ppid=12000 vsize=27984808 memory=6652968 CPUtime=0 cores=0-7
/proc/12003/task/12025/stat : 12025 (java) S 12000 12003 11744 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 84006363 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140255378560704 140255596535577 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12027] ppid=12000 vsize=27984808 memory=6652968 CPUtime=0.01 cores=0-7
/proc/12003/task/12027/stat : 12027 (java) S 12000 12003 11744 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 24 0 84006364 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140251754380496 140255596532893 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12028] ppid=12000 vsize=27984808 memory=6652968 CPUtime=0 cores=0-7
/proc/12003/task/12028/stat : 12028 (java) S 12000 12003 11744 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 84006364 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140252022816048 140255596532893 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12029] ppid=12000 vsize=27984808 memory=3317532 CPUtime=0 cores=0-7
/proc/12003/task/12029/stat : 12029 (java) S 12000 12003 11744 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 84006366 28656443392 1663242 33554432000 4194304 4196468 140733377890000 140251485953184 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
Current children cumulated CPU time: 720.43 s
Current children cumulated vsize: 31781020 KiB
Current children cumulated memory: 9971356 KiB

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

[startup+115.111 s]
# the end of solver process 12003 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=713.694 s, system=7.05814 s

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

[startup+115.017 s]*
/proc/loadavg: 7.11 7.34 8.17 2/205 12038
/proc/meminfo: memFree=4302532/32770624 swapFree=67108860/67108860
[pid=12003] ppid=12000 vsize=28181420 memory=6655016 CPUtime=46.13 cores=0-7
/proc/12003/stat : 12003 (java) S 12000 12003 11744 0 -1 1077944320 53151 0 0 0 4320 293 0 0 20 0 25 0 84003819 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140733377872544 140255596510967 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
/proc/12003/statm: 7045355 1663754 3253 1 0 7006211 0
[pid=12003/tid=12005] ppid=12000 vsize=28181420 memory=6791534058613427641 CPUtime=24.88 cores=0-7
/proc/12003/task/12005/stat : 12005 (java) S 12000 12003 11744 0 -1 1077944384 22182 0 0 0 2391 97 0 0 20 0 25 0 84003820 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140255568350208 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12006] ppid=12000 vsize=28181420 memory=0 CPUtime=0.52 cores=0-7
/proc/12003/task/12006/stat : 12006 (java) S 12000 12003 11744 0 -1 1077944384 340 0 0 0 29 23 0 0 20 0 25 0 84003822 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140255600753424 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12007] ppid=12000 vsize=28181420 memory=0 CPUtime=0.5 cores=0-7
/proc/12003/task/12007/stat : 12007 (java) S 12000 12003 11744 0 -1 1077944384 379 0 0 0 28 22 0 0 20 0 25 0 84003822 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140255384148880 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12008] ppid=12000 vsize=28181420 memory=0 CPUtime=0.52 cores=0-7
/proc/12003/task/12008/stat : 12008 (java) S 12000 12003 11744 0 -1 1077944384 323 0 0 0 29 23 0 0 20 0 25 0 84003822 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140255383096336 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12009] ppid=12000 vsize=28181420 memory=-1 CPUtime=0.52 cores=0-7
/proc/12003/task/12009/stat : 12009 (java) S 12000 12003 11744 0 -1 1077944384 317 0 0 0 31 21 0 0 20 0 25 0 84003822 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140255382043792 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12010] ppid=12000 vsize=28181420 memory=7216 CPUtime=0.52 cores=0-7
/proc/12003/task/12010/stat : 12010 (java) S 12000 12003 11744 0 -1 1077944384 324 0 0 0 30 22 0 0 20 0 25 0 84003822 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140255380990224 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12011] ppid=12000 vsize=28181420 memory=67 CPUtime=0.52 cores=0-7
/proc/12003/task/12011/stat : 12011 (java) S 12000 12003 11744 0 -1 1077944384 348 0 0 0 29 23 0 0 20 0 25 0 84003822 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140255379937680 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12012] ppid=12000 vsize=28181420 memory=88484 CPUtime=0.52 cores=0-7
/proc/12003/task/12012/stat : 12012 (java) S 12000 12003 11744 0 -1 1077944384 327 0 0 0 30 22 0 0 20 0 25 0 84003822 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140255013362192 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12013] ppid=12000 vsize=28181420 memory=90788 CPUtime=0.52 cores=0-7
/proc/12003/task/12013/stat : 12013 (java) S 12000 12003 11744 0 -1 1077944384 324 0 0 0 31 21 0 0 20 0 25 0 84003822 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140255012309648 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12014] ppid=12000 vsize=28181420 memory=0 CPUtime=0.02 cores=0-7
/proc/12003/task/12014/stat : 12014 (java) S 12000 12003 11744 0 -1 1077944384 25 0 0 0 2 0 0 0 20 0 25 0 84003824 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140254588672496 140255596522114 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12015] ppid=12000 vsize=28181420 memory=280356274779872 CPUtime=0 cores=0-7
/proc/12003/task/12015/stat : 12015 (java) S 12000 12003 11744 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 25 0 84003824 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140253566330336 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12016] ppid=12000 vsize=28181420 memory=280356274782176 CPUtime=0 cores=0-7
/proc/12003/task/12016/stat : 12016 (java) S 12000 12003 11744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 25 0 84003824 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140253297894912 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12017] ppid=12000 vsize=28181420 memory=280356274784512 CPUtime=0 cores=0-7
/proc/12003/task/12017/stat : 12017 (java) S 12000 12003 11744 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 25 0 84003827 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140252923386576 140255596529563 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12018] ppid=12000 vsize=28181420 memory=140178137627839 CPUtime=4.73 cores=0-7
/proc/12003/task/12018/stat : 12018 (java) S 12000 12003 11744 0 -1 1077944384 5867 0 0 0 470 3 0 0 20 0 25 0 84003827 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140254587619312 140255596522114 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12019] ppid=12000 vsize=28181420 memory=140178137630176 CPUtime=5.11 cores=0-7
/proc/12003/task/12019/stat : 12019 (java) S 12000 12003 11744 0 -1 1077944384 6648 0 0 0 509 2 0 0 20 0 25 0 84003827 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140254586566768 140255596522114 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12020] ppid=12000 vsize=28181420 memory=140178137632481 CPUtime=5.35 cores=0-7
/proc/12003/task/12020/stat : 12020 (java) S 12000 12003 11744 0 -1 1077944384 8123 0 0 0 532 3 0 0 20 0 25 0 84003827 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140254585514224 140255596522114 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12021] ppid=12000 vsize=28181420 memory=140178137634786 CPUtime=1.67 cores=0-7
/proc/12003/task/12021/stat : 12021 (java) S 12000 12003 11744 0 -1 1077944384 6195 0 0 0 165 2 0 0 20 0 25 0 84003827 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140254584461680 140255596522114 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12022] ppid=12000 vsize=28181420 memory=3762530100754722864 CPUtime=0 cores=0-7
/proc/12003/task/12022/stat : 12022 (java) S 12000 12003 11744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 25 0 84003827 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140252425480928 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12023] ppid=12000 vsize=28181420 memory=7433226606429090352 CPUtime=0.05 cores=0-7
/proc/12003/task/12023/stat : 12023 (java) S 12000 12003 11744 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 25 0 84003827 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140254583409584 140255596522114 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12025] ppid=12000 vsize=28181420 memory=-1 CPUtime=0 cores=0-7
/proc/12003/task/12025/stat : 12025 (java) S 12000 12003 11744 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 25 0 84006363 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140255378560704 140255596535577 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12027] ppid=12000 vsize=28181420 memory=5936397764043759680 CPUtime=0.01 cores=0-7
/proc/12003/task/12027/stat : 12027 (java) S 12000 12003 11744 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 25 0 84006364 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140251754380496 140255596532893 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12028] ppid=12000 vsize=28181420 memory=6296997012091137386 CPUtime=0 cores=0-7
/proc/12003/task/12028/stat : 12028 (java) S 12000 12003 11744 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 25 0 84006364 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140252022816048 140255596532893 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12029] ppid=12000 vsize=28181420 memory=6005098669327215463 CPUtime=0 cores=0-7
/proc/12003/task/12029/stat : 12029 (java) S 12000 12003 11744 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 25 0 84006366 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140251485953184 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
[pid=12003/tid=12038] ppid=12000 vsize=28181420 memory=0 CPUtime=0 cores=0-7
/proc/12003/task/12038/stat : 12038 (java) S 12000 12003 11744 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 25 0 84015311 28857774080 1663754 33554432000 4194304 4196468 140733377890000 140251217519520 140255596521173 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35270656 140733377897434 140733377897733 140733377897733 140733377900495 0
Current children cumulated CPU time: 46.13 s
Current children cumulated vsize: 28181420 KiB
Current children cumulated memory: 6655016 KiB

Child status: 1
Real time (s): 115.111
CPU time (s): 720.753
CPU user time (s): 713.694
CPU system time (s): 7.05814
CPU usage (%): 626.137
Max. virtual memory (cumulated for all children) (KiB): 31781020
Max. memory (cumulated for all children) (KiB): 10021500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 713.694
system time used= 7.05814
maximum resident set size= 6655020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2544700
page faults= 0
swaps= 0
block input operations= 0
block output operations= 142240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39660
involuntary context switches= 6963


# summary of solver processes directly reported to runsolver:
#   pid: 12003
#   total CPU time (s): 720.753
#   total CPU user time (s): 713.694
#   total CPU system time (s): 7.05814

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.97729 second user time and 1.47729 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-27 06:06:46
IDJOB=4297145
IDBENCH=141458
IDSOLVER=2759
FILE ID=node139/4297145-1532664406
RUNJOBID= node139-1532664287-11771
PBS_JOBID= 21022231
Free space on /tmp= 38720 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/CarSequencing/CarSequencing-90-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-4297145-1532664406/watcher-4297145-1532664406 -o /tmp/evaluation-result-4297145-1532664406/solver-4297145-1532664406 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532664287-11771 --watchdog 2580  java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297145-1532664406.xml

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

MD5SUM BENCH= cda201995a07a9b7663412ba5f5fbb4e
RANDOM SEED=1667830090

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        12303068 kB
MemAvailable:   31930372 kB
Buffers:          249352 kB
Cached:         19333332 kB
SwapCached:            0 kB
Active:          3059072 kB
Inactive:       16575904 kB
Active(anon):       6604 kB
Inactive(anon):    73540 kB
Active(file):    3052468 kB
Inactive(file): 16502364 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8320 kB
Writeback:             0 kB
AnonPages:         59392 kB
Mapped:            41308 kB
Shmem:             25228 kB
Slab:             528420 kB
SReclaimable:     500932 kB
SUnreclaim:        27488 kB
KernelStack:        3216 kB
PageTables:         4748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324188 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:      107904 kB
DirectMap2M:    33437696 kB

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