Trace number 4307092

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 order+glucose-syrup (2018-07-31)SAT 730.892 112.844

General information on the benchmark

NameCarSequencing/
CarSequencing-85-02_c18.xml
MD5SUM8bc781233594bd95127afade52cac536
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 benchmark70.0837
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1442
Number of domains2
Minimum domain size2
Maximum domain size26
Distribution of domain sizes[{"size":2,"count":1000},{"size":26,"count":200}]
Minimum variable degree2
Maximum variable degree86
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":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":2}, {"degree":84,"count":2}, {"degree":85,"count":3}, {"degree":86,"count":35}]
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":32,"count":1},{"arity":35,"count":2},{"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":52,"count":1},{"arity":53,"count":2},{"arity":54,"count":1},{"arity":55,"count":1},{"arity":56,"count":3},{"arity":58,"count":1},{"arity":59,"count":2},{"arity":60,"count":2},"...",{"arity":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":1241},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-3617-serial-file.bin HOME/instance-4307092-1534195357.xml
0.65/0.53	
0.65/0.53	scop order+glucose-syrup (2018-07-31)
0.65/0.53	(Encoding Process)
0.65/0.53	
0.65/0.56	c BEGIN-Prog: Mon Aug 13 23:22:38 CEST 2018
0.65/0.56	c PID: 3620
0.65/0.56	c IP: 172.20.3.133
0.65/0.56	c HOST: node133.alineos.net
0.65/0.56	c (0,0) Parsing Begin
2.99/1.38	c (0,0) Parsing End
2.99/1.39	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1442 ctr, max domain size 26
2.99/1.39	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.99/1.39	c (0,0) Constraint Name Generate Begin
3.31/1.42	c (0,0) Ctr:HOME/instance-4307092-1534195357.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.31/1.42	c (0,0) Constraint Name Generate End
3.31/1.42	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.31/1.42	c (0,0) CSP to CSPinCNF Begin
12.02/4.59	c (4,4) translated 145 (10%) constraints
12.54/5.06	c (4,4) translated 289 (20%) constraints
12.54/5.08	c (4,4) translated 433 (30%) constraints
12.54/5.10	c (4,4) translated 577 (40%) constraints
12.89/5.13	c (4,4) translated 721 (50%) constraints
12.89/5.15	c (4,4) translated 866 (60%) constraints
12.89/5.17	c (4,4) translated 1010 (70%) constraints
12.89/5.18	c (4,4) translated 1154 (80%) constraints
15.35/6.70	c (6,6) translated 1298 (90%) constraints
16.38/7.72	c (7,7) translated 1442 (100%) constraints
17.72/8.27	c (7,7) STATISTICS1:HOME/instance-4307092-1534195357.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,17200,59467,9223372036854775807,26,26,200,9223372036854775807:266;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:2;2147483648:1;16:392;4:396;2:199,26:20400;2:165392,26:200;3:30800;2:27200;1:1267,200:57;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:3;102:1;101:2;100:3;98:3;96:1;95:4;94:1;92:3;90:3;89:2;88:1;86:3;85:2;84:1;83:2;82:1;80:5;78:1;77:2;76:1;75:1;74:3;72:1;71:2;70:2;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:2;32:1;5:392;3:396;2:199;1:151800;0:200,17689:57;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:3;7225:3;7056:1;6889:4;6724:1;6561:3;6400:3;6241:2;6084:1;5929:3;5776:3;5625:2;5476:1;5329:5;5184:1;5041:2;4900:3;4761:3;4624:1;4489:2;4356:3;4225:3;4096:1;3969:4;3844:1;3721:3;3600:3;3481:2;3364:1;3249:3;3136:3;3025:2;2916:1;2809:5;2704:1;2601:2;2500:2;2401:3;2304:1;2209:2;2116:2;2025:3;1936:1;1849:3;1764:1
17.72/8.27	c (7,7) ==========================================
17.72/8.27	c (7,7) Order
17.72/8.27	c (7,7) ==========================================
20.29/9.05	c (8,8) translated 5947 (10%) constraints
21.02/9.28	c (8,8) translated 11894 (20%) constraints
21.34/9.39	c (8,8) translated 17841 (30%) constraints
21.63/9.48	c (8,8) translated 23787 (40%) constraints
21.83/9.58	c (9,9) translated 29734 (50%) constraints
21.94/9.67	c (9,9) translated 35681 (60%) constraints
22.04/9.76	c (9,9) translated 41627 (70%) constraints
22.14/9.85	c (9,9) translated 47574 (80%) constraints
22.24/9.95	c (9,9) translated 53521 (90%) constraints
30.46/12.18	c (11,11) translated 59467 (100%) constraints
30.46/12.19	c (11,11) CSP to CSPinCNF End
30.68/12.20	c (11,11) CSP: 4182 int (3982 aux), 22227 bool (21227 aux), 80204 ctr, max domain size 68
30.68/12.20	c (11,11) Heap : 5519 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
30.68/12.20	c (11,11) CSPinCNF Propagation Begin
32.98/12.89	c (12,12) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
32.98/12.89	c (12,12) CSPinCNF Propagation End
33.22/12.90	c (12,12) CSP: 4182 int (3982 aux), 22227 bool (21227 aux), 79804 ctr, max domain size 68
33.22/12.90	c (12,12) Heap : 285 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
33.22/12.90	c (12,12) Simplify CSPinCNF Begin
33.42/13.07	c (12,12) Simplify CSPinCNF End
33.42/13.07	c (12,12) CSP: 4182 int (3982 aux), 22227 bool (21227 aux), 79804 ctr, max domain size 68
33.42/13.07	c (12,12) Heap : 395 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
33.42/13.07	c (12,12) Calculate Precise Domain Begin
33.59/13.12	c (12,12) 0 values are removed by re-calculation
33.59/13.12	c (12,12) Calculate Precise Domain End
33.59/13.13	c (12,12) CSP: 4182 int (3982 aux), 22227 bool (21227 aux), 79804 ctr, max domain size 68
33.59/13.13	c (12,12) Heap : 395 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
33.59/13.13	c (12,12) CSPinCNF to SatSolver Begin
36.83/15.21	c (14,14) 7981 (10 %) CSP clauses are encoded (95329 SAT variables, 585380 SAT clauses)
36.83/15.26	c (14,14) 15961 (20 %) CSP clauses are encoded (95329 SAT variables, 593360 SAT clauses)
37.13/15.31	c (14,14) 23942 (30 %) CSP clauses are encoded (95329 SAT variables, 601341 SAT clauses)
37.13/15.38	c (14,14) 31922 (40 %) CSP clauses are encoded (95329 SAT variables, 609321 SAT clauses)
37.41/15.45	c (14,14) 39902 (50 %) CSP clauses are encoded (95329 SAT variables, 617301 SAT clauses)
37.61/15.53	c (14,14) 47883 (60 %) CSP clauses are encoded (95329 SAT variables, 625282 SAT clauses)
37.61/15.57	c (15,14) 55863 (70 %) CSP clauses are encoded (95329 SAT variables, 633262 SAT clauses)
37.75/15.61	c (15,14) 63844 (80 %) CSP clauses are encoded (95329 SAT variables, 641243 SAT clauses)
37.95/15.84	c (15,15) 71824 (90 %) CSP clauses are encoded (95329 SAT variables, 730289 SAT clauses)
43.23/20.88	c (20,19) 79804 (100 %) CSP clauses are encoded (95329 SAT variables, 2490622 SAT clauses)
43.23/20.89	c (20,19) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
43.23/20.89	c (20,19) CSPinCNF to SatSolver End
43.23/20.89	c (20,19) Heap : 1317 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
44.28/21.22	c (20,19) STATISTICS2:HOME/instance-4307092-1534195357.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,26409,79804,4556,68,25,11,4556:5;4489:1;4422:2;4356:3;4290:3;4225:1;4160:2;4096:3;4032:3;3969:1;3906:4;3844:1;3782:3;3721:3;3660:2;3600:1;3540:3;3481:3;3422:2;3364:1;3306:5;3249:1;3192:2;3136:3;3080:3;3025:1;2970:2;2916:3;2862:3;2809:1;2756:4;2704:1;2652:3;2601:3;2550:2;2500:1;2450:3;2401:3;2352:2;2304:1;2256:5;2209:1;2162:2;2116:3;2070:3;2025:1;1980:2;1936:3;1892:3;1849:1;1806:4;1764:1;1722:3;1681:3;1640:2;1600:3;1560:3;1521:3;1482:2;1444:1;1406:5;1369:1;1332:2;1296:3;1260:3;1225:1;1190:16;1156:18;1122:19;1089:14;1056:18;1024:295;992:15;961:20;930:14;900:16;870:17;841:16;812:18;784:14;756:19;729:16;702:14;676:19;650:15;625:16;600:16;576:15;552:19;529:22;512:761;506:17;484:16;462:15;441:19;420:14;400:16;380:17;361:15;342:18;324:32;306:90;289:88;272:70;270:8;256:1924;255:16;240:71;234:4;225:88;221:8;210:72;198:4;196:71;187:8;182:74;169:77;162:16;156:70;153:32;144:69;132:68;128:1174;126:4;121:80;119:8;110:67;100:69;96:277;90:568;85:24;81:528;72:315;68:32;64:1153;56:291;54:16;51:32;49:293;36:12;34:24;25:301;16:978;9:32;4:420;2:199,68:20;67:26;66:32;65:26;64:28;63:30;62:24;61:34;60:24;59:30;58:28;57:26;56:32;55:26;54:28;53:30;52:24;51:34;50:24;49:30;48:28;47:26;46:32;45:26;44:28;43:30;42:24;41:34;40:36;39:30;38:28;37:26;36:32;35:54;34:148;33:142;32:136;31:150;30:136;29:142;28:140;27:138;26:30142;25:136;24:136;23:174;22:134;21:144;20:134;19:138;18:1112;17:1028;16:598;15:656;14:582;13:606;12:1108;11:594;10:1522;9:3838;8:2348;7:1758;5:1216;4:144;3:144;2:185900,25:200;3:30400;2:37600;1:11604,11:279;10:761;9:1847;8:1174;7:861;5:1223;3:5260;2:199;1:171400,
44.28/21.22	c (20,19) 95329 bool, 2491323 clause
44.28/21.22	c (20,19) Export Begin
44.44/21.38	c (20,20) Export to HOME/scop-3617-serial-file.bin
44.44/21.38	c (20,20) Export End
44.44/21.38	c (20,20) Export File Size: 0.24 MB
44.44/21.38	c (20,20) 0,0,11,12,12,12,20,STOP-AFTER(DIMACS)
44.44/21.38	c END-Prog: Mon Aug 13 23:22:59 CEST 2018
0.00/21.43	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-3617-serial-file.bin
44.81/21.92	c (0,0) Read Serial File Begin
44.81/21.92	c (0,0) HOME/scop-3617-serial-file.bin
45.83/22.16	c (0,0) Read Serial File End
45.83/22.17	
45.83/22.17	scop order+glucose-syrup (2018-07-31)
45.83/22.17	(Solving Process)
45.83/22.17	
45.83/22.20	c BEGIN-Prog: Mon Aug 13 23:23:00 CEST 2018
45.83/22.20	c PID: 3640
45.83/22.20	c IP: 172.20.3.133
45.83/22.20	c HOST: node133.alineos.net
46.03/22.20	c (0,0) SatSolver.solve Begin
46.03/22.20	c (0,0) 0 bool, 0 clause
46.03/22.20	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307092-1534195357.xml-scop-3620.cnf
126.81/36.95	c (15,0) c
126.81/36.95	c (15,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
126.81/36.95	c (15,0) c
126.81/36.95	c (15,0) c WARNING: for repeatability, setting FPU to use double precision
126.81/36.95	c (15,0) c 8 solvers engines and 1 companion as a blackboard created.
126.81/36.95	c (15,0) c ========================================[ Problem Statistics ]===========================================
126.81/36.95	c (15,0) c |                                                                                                       |
126.81/36.95	c (15,0) c |  Number of variables:         95329                                                                   |
126.81/36.95	c (15,0) c |  Number of clauses:         2491039                                                                   |
126.81/36.95	c (15,0) c |  Parse time:                   0.85 s                                                                 |
126.81/36.95	c (15,0) c |                                                                                                       |
126.81/36.95	c (15,0) c |  Eliminated clauses:           0.33 Mb                                                                |
126.81/36.95	c (15,0) c |  Simplification time:          3.65 s                                                                 |
126.81/36.95	c (15,0) c |                                                                                                       |
126.81/36.95	c (15,0) c |  Generating clones                                                                                    |
126.81/36.95	c (15,0) c |  all clones generated. Memory = 1052.55Mb.                                                             |
126.81/36.95	c (15,0) c ========================================================================================================|
126.81/36.95	c (15,0) c
126.81/36.95	c (15,0) c |-------------------------------------------------------------------------------------------------------|
126.81/36.95	c (15,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
126.81/36.95	c (15,0) c |-------------------------------------------------------------------------------------------------------|
126.81/36.95	c (15,0) c |  0 |     67 |      63681 |      17015 |    22419 |     8221 |     2593 |    18812 |       18 |  5.434 |
126.81/36.95	c (15,0) c |  1 |     34 |      60814 |      19451 |    17518 |    10660 |     3768 |     3849 |        7 |  5.434 |
126.81/36.95	c (15,0) c |  2 |     52 |      73353 |      18942 |    26094 |    10157 |     3353 |    18267 |       34 |  5.434 |
126.81/36.95	c (15,0) c |  3 |     52 |      83124 |      13340 |    24823 |     9544 |     2130 |    19978 |       20 |  5.434 |
126.81/36.95	c (15,0) c |  4 |     50 |      79594 |      19607 |    24885 |    10822 |     2887 |    18139 |       25 |  5.434 |
126.81/36.95	c (15,0) c |  5 |     68 |      73462 |      17535 |    26815 |     8744 |     2510 |    17045 |       26 |  5.434 |
126.81/36.95	c (15,0) c |  6 |     36 |      67427 |      19680 |    21468 |    10890 |     2948 |    16452 |       44 |  5.434 |
126.81/36.95	c (15,0) c |  7 |     80 |      76430 |      18972 |    26234 |    10182 |     2179 |    17260 |       38 |  5.434 |
126.81/36.95	c (15,0) c 
126.81/36.95	c (15,0) c synthesis      144548 conflicts   106514220 propagations     3662 conflicts/sec  2698291 propagations/sec
126.81/36.95	c (15,0) c Total Memory so far : 1675.07Mb
126.81/36.95	c (15,0) c
126.81/36.95	c (15,0) c |-------------------------------------------------------------------------------------------------------|
126.81/36.95	c (15,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
126.81/36.95	c (15,0) c |-------------------------------------------------------------------------------------------------------|
126.81/36.95	c (15,0) c |  0 |    133 |     138664 |      37940 |    40208 |    11852 |     5841 |    39224 |      156 |  5.434 |
126.81/36.95	c (15,0) c |  1 |    102 |     135962 |      33802 |    34887 |    17622 |     5373 |    38647 |      131 |  5.434 |
126.81/36.95	c (15,0) c |  2 |    114 |     160869 |      39528 |    43372 |    13438 |     6422 |    38438 |      128 |  5.434 |
126.81/36.95	c (15,0) c |  3 |    118 |     170111 |      31667 |    45302 |    15474 |     4501 |    40461 |      142 |  5.434 |
126.81/36.95	c (15,0) c |  4 |    145 |     166124 |      42873 |    47972 |    16790 |     6069 |    38714 |      186 |  5.434 |
126.81/36.95	c (15,0) c |  5 |    132 |     147391 |      45171 |    43542 |    19080 |     6872 |    38141 |      179 |  5.434 |
126.81/36.95	c (15,0) c |  6 |     98 |     141887 |      35646 |    45950 |    19459 |     5089 |    39568 |      158 |  5.434 |
126.81/36.95	c (15,0) c |  7 |    133 |     155672 |      37556 |    44035 |    11466 |     4899 |    40162 |      149 |  5.434 |
126.81/36.95	c (15,0) c 
230.41/49.93	c (28,0) c synthesis      304184 conflicts   238097853 propagations     3846 conflicts/sec  3010427 propagations/sec
230.41/49.93	c (28,0) c Total Memory so far : 1681.77Mb
230.41/49.93	c (28,0) c
230.41/49.93	c (28,0) c |-------------------------------------------------------------------------------------------------------|
230.41/49.93	c (28,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
230.41/49.93	c (28,0) c |-------------------------------------------------------------------------------------------------------|
230.41/49.93	c (28,0) c |  0 |    197 |     191963 |      58584 |    50650 |    20044 |     8393 |    55843 |      283 |  5.434 |
230.41/49.93	c (28,0) c |  1 |    131 |     177246 |      52304 |    41157 |    13772 |     7006 |    57768 |      232 |  5.434 |
230.41/49.93	c (28,0) c |  2 |    136 |     223535 |      58004 |    53813 |    19468 |    10338 |    54397 |      332 |  5.434 |
230.41/49.93	c (28,0) c |  3 |    138 |     206987 |      52206 |    50758 |    13672 |     8429 |    56059 |      359 |  5.434 |
230.41/49.93	c (28,0) c |  4 |    199 |     230573 |      57689 |    58084 |    19149 |     7703 |    56948 |      359 |  5.434 |
230.41/49.93	c (28,0) c |  5 |    175 |     196692 |      65270 |    52874 |    26727 |     9310 |    49260 |      327 |  5.434 |
230.41/49.93	c (28,0) c |  6 |    140 |     201491 |      45728 |    56687 |    19644 |     6112 |    58865 |      320 |  5.434 |
230.41/49.93	c (28,0) c |  7 |    173 |     212740 |      56934 |    55920 |    18391 |     7900 |    50195 |      313 |  5.434 |
230.41/49.93	c (28,0) c 
230.41/49.93	c (28,0) c synthesis      446722 conflicts   340222947 propagations     4040 conflicts/sec  3077171 propagations/sec
230.41/49.95	c (28,0) c Total Memory so far : 1685.42Mb
230.41/49.95	c (28,0) c
230.41/49.95	c (28,0) c |-------------------------------------------------------------------------------------------------------|
230.41/49.95	c (28,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
230.41/49.95	c (28,0) c |-------------------------------------------------------------------------------------------------------|
230.41/49.95	c (28,0) c |  0 |    258 |     248055 |      73497 |    59974 |    19938 |     9963 |    68759 |      515 |  5.434 |
230.41/49.95	c (28,0) c |  1 |    209 |     229029 |      64306 |    56474 |    25775 |     7835 |    70742 |      489 |  5.434 |
230.41/49.95	c (28,0) c |  2 |    198 |     283610 |      72921 |    66395 |    19357 |    12110 |    66536 |      526 |  5.434 |
230.41/49.95	c (28,0) c |  3 |    204 |     268775 |      64039 |    63132 |    25506 |     9322 |    69125 |      686 |  5.434 |
230.41/49.95	c (28,0) c |  4 |    241 |     289220 |      81789 |    65853 |    28227 |    11342 |    67334 |      534 |  5.434 |
230.41/49.95	c (28,0) c |  5 |    217 |     247303 |      85484 |    61319 |    31921 |    12239 |    66490 |      740 |  5.434 |
230.41/49.95	c (28,0) c |  6 |    189 |     262748 |      56950 |    68388 |    18414 |     6909 |    71795 |      568 |  5.434 |
230.41/49.95	c (28,0) c |  7 |    242 |     275289 |      72057 |    69010 |    18485 |     9256 |    69442 |      568 |  5.434 |
230.41/49.95	c (28,0) c 
230.41/49.95	c (28,0) c synthesis      571052 conflicts   445584515 propagations     4018 conflicts/sec  3135225 propagations/sec
230.41/49.95	c (28,0) c Total Memory so far : 1688.48Mb
230.41/49.95	c (28,0) c
230.41/49.95	c (28,0) c Try to adapt solver strategies
230.41/49.95	c (28,0) c 
230.41/49.95	c (28,0) c Nothing extreme in this problem, continue with glucose default strategies.
230.41/49.95	c (28,0) c
230.41/49.95	c (28,0) c
230.41/49.95	c (28,0) c |-------------------------------------------------------------------------------------------------------|
230.41/49.95	c (28,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
230.41/49.95	c (28,0) c |-------------------------------------------------------------------------------------------------------|
230.41/49.95	c (28,0) c |  0 |    312 |     307638 |      94384 |    70206 |    23216 |    11521 |    81433 |      776 |  5.434 |
230.41/49.95	c (28,0) c |  1 |    296 |     294511 |      81130 |    69891 |    27566 |     9243 |    83836 |      801 |  5.434 |
230.41/49.95	c (28,0) c |  2 |    311 |     351297 |      87289 |    81140 |    33725 |    13459 |    79637 |      925 |  5.434 |
230.41/49.95	c (28,0) c |  3 |    255 |     335924 |      81798 |    78601 |    28246 |    11601 |    81512 |      988 |  5.434 |
230.41/49.95	c (28,0) c |  4 |    326 |     350865 |     100063 |    77785 |    28886 |    12980 |    80127 |      806 |  5.434 |
230.41/49.95	c (28,0) c |  5 |    285 |     313946 |     103153 |    74883 |    31978 |    14131 |    78921 |     1202 |  5.434 |
230.41/49.96	c (28,0) c |  6 |    254 |     326181 |      74451 |    79652 |    20887 |     8502 |    84485 |      860 |  5.434 |
230.41/49.96	c (28,0) c |  7 |    311 |     337550 |      95617 |    81492 |    24447 |    11678 |    81426 |      834 |  5.434 |
230.41/49.96	c (28,0) c 
349.99/64.94	c (43,0) c synthesis      717897 conflicts   573730289 propagations     3949 conflicts/sec  3155913 propagations/sec
349.99/64.94	c (43,0) c Total Memory so far : 1691.80Mb
349.99/64.94	c (43,0) c
349.99/64.94	c (43,0) c Try to adapt solver strategies
349.99/64.94	c (43,0) c 
349.99/64.94	c (43,0) c Nothing extreme in this problem, continue with glucose default strategies.
349.99/64.94	c (43,0) c
349.99/64.94	c (43,0) c
349.99/64.94	c (43,0) c Try to adapt solver strategies
349.99/64.94	c (43,0) c 
349.99/64.94	c (43,0) c Nothing extreme in this problem, continue with glucose default strategies.
349.99/64.94	c (43,0) c
349.99/64.94	c (43,0) c
349.99/64.94	c (43,0) c |-------------------------------------------------------------------------------------------------------|
349.99/64.94	c (43,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
349.99/64.94	c (43,0) c |-------------------------------------------------------------------------------------------------------|
349.99/64.94	c (43,0) c |  0 |    363 |     359718 |     112409 |    77792 |    21036 |    13757 |    96485 |     1133 |  5.434 |
349.99/64.94	c (43,0) c |  1 |    377 |     347042 |     102539 |    77292 |    31363 |    11644 |    96857 |     1153 |  5.434 |
349.99/64.94	c (43,0) c |  2 |    385 |     408962 |     110218 |    88618 |    39041 |    15861 |    92282 |     1324 |  5.434 |
349.99/64.94	c (43,0) c |  3 |    346 |     399179 |     103450 |    87988 |    32276 |    13781 |    96368 |     1333 |  5.434 |
349.99/64.94	c (43,0) c |  4 |    380 |     416213 |     132012 |    84769 |    40634 |    16200 |    93808 |     1067 |  5.434 |
349.99/64.94	c (43,0) c |  5 |    352 |     369130 |     124562 |    83507 |    33178 |    15085 |    90370 |     1491 |  5.434 |
349.99/64.94	c (43,0) c |  6 |    317 |     379551 |      97435 |    86598 |    26261 |    10777 |    92547 |     1064 |  5.434 |
349.99/64.94	c (43,0) c |  7 |    404 |     396699 |     113050 |    92148 |    21672 |    13192 |    96992 |     1137 |  5.434 |
349.99/64.94	c (43,0) c 
349.99/64.94	c (43,0) c synthesis      895680 conflicts   705532587 propagations     4044 conflicts/sec  3185798 propagations/sec
349.99/64.94	c (43,0) c Total Memory so far : 1755.06Mb
349.99/64.94	c (43,0) c
349.99/64.94	c (43,0) c Try to adapt solver strategies
349.99/64.94	c (43,0) c 
349.99/64.94	c (43,0) c Nothing extreme in this problem, continue with glucose default strategies.
349.99/64.94	c (43,0) c
349.99/64.94	c (43,0) c
349.99/64.94	c (43,0) c |-------------------------------------------------------------------------------------------------------|
349.99/64.94	c (43,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
349.99/64.94	c (43,0) c |-------------------------------------------------------------------------------------------------------|
349.99/64.94	c (43,0) c |  0 |    433 |     413427 |     135043 |    85006 |    43670 |    15711 |   108050 |     1565 |  5.434 |
349.99/64.94	c (43,0) c |  1 |    463 |     408105 |     120973 |    88944 |    29611 |    13383 |   110646 |     1451 |  5.434 |
349.99/64.94	c (43,0) c |  2 |    454 |     472156 |     130717 |    95662 |    39338 |    17539 |   106427 |     1513 |  5.434 |
349.99/64.94	c (43,0) c |  3 |    430 |     461984 |     122438 |    94667 |    31062 |    14973 |   109018 |     1614 |  5.434 |
349.99/64.94	c (43,0) c |  4 |    492 |     472765 |     148914 |    94975 |    34730 |    17258 |   106776 |     1422 |  5.434 |
349.99/64.94	c (43,0) c |  5 |    422 |     423405 |     141279 |    92830 |    27096 |    16067 |   107982 |     1833 |  5.434 |
349.99/64.94	c (43,0) c |  6 |    407 |     436021 |     116516 |    93477 |    25134 |    12722 |   111267 |     1297 |  5.434 |
349.99/64.94	c (43,0) c |  7 |    452 |     443962 |     134753 |    98776 |    43375 |    16403 |   107613 |     1517 |  5.434 |
349.99/64.94	c (43,0) c 
349.99/64.94	c (43,0) c synthesis     1050635 conflicts   829165057 propagations     4024 conflicts/sec  3175509 propagations/sec
349.99/64.94	c (43,0) c Total Memory so far : 1757.92Mb
349.99/64.94	c (43,0) c
349.99/64.94	c (43,0) c |-------------------------------------------------------------------------------------------------------|
349.99/64.94	c (43,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
349.99/64.94	c (43,0) c |-------------------------------------------------------------------------------------------------------|
349.99/64.94	c (43,0) c |  0 |    486 |     467607 |     150294 |    93328 |    36116 |    17035 |   120850 |     1910 |  5.434 |
349.99/64.94	c (43,0) c |  1 |    533 |     458651 |     140404 |    95899 |    26235 |    14465 |   123397 |     1711 |  5.434 |
349.99/64.94	c (43,0) c |  2 |    546 |     527994 |     155235 |   102077 |    41051 |    19759 |   118106 |     1958 |  5.434 |
349.99/64.94	c (43,0) c |  3 |    512 |     514812 |     145346 |    99884 |    31182 |    16358 |   121519 |     1887 |  5.434 |
349.99/64.94	c (43,0) c |  4 |    589 |     531573 |     177696 |   100444 |    38114 |    19054 |   118822 |     1824 |  5.434 |
453.65/77.94	c (56,0) c |  5 |    507 |     484297 |     158408 |   100451 |    44225 |    17643 |   119984 |     2095 |  5.434 |
453.65/77.94	c (56,0) c |  6 |    474 |     490845 |     139510 |   100711 |    25333 |    15979 |   121907 |     1626 |  5.434 |
453.65/77.94	c (56,0) c |  7 |    528 |     497512 |     154321 |   104715 |    40134 |    17603 |   120188 |     1732 |  5.434 |
453.65/77.94	c (56,0) c 
453.65/77.94	c (56,0) c synthesis     1221219 conflicts   957911373 propagations     4060 conflicts/sec  3184645 propagations/sec
453.65/77.94	c (56,0) c Total Memory so far : 1700.51Mb
453.65/77.94	c (56,0) c
453.65/77.94	c (56,0) c |-------------------------------------------------------------------------------------------------------|
453.65/77.94	c (56,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
453.65/77.94	c (56,0) c |-------------------------------------------------------------------------------------------------------|
453.65/77.94	c (56,0) c |  0 |    551 |     516499 |     170668 |    98949 |    31087 |    18355 |   132479 |     2204 |  5.434 |
453.65/77.94	c (56,0) c |  1 |    602 |     517969 |     159523 |   103197 |    45355 |    15394 |   135384 |     1966 |  5.434 |
453.65/77.94	c (56,0) c |  2 |    641 |     584906 |     176708 |   110057 |    37119 |    21258 |   129390 |     2162 |  5.434 |
453.65/77.94	c (56,0) c |  3 |    592 |     566031 |     166916 |   104658 |    27343 |    17721 |   131861 |     2125 |  5.434 |
453.65/77.94	c (56,0) c |  4 |    688 |     583350 |     197922 |   108528 |    30352 |    20583 |   130159 |     2255 |  5.434 |
453.65/77.94	c (56,0) c |  5 |    555 |     531916 |     184435 |   105800 |    44855 |    20937 |   129703 |     2383 |  5.434 |
453.65/77.94	c (56,0) c |  6 |    540 |     542833 |     162614 |   106930 |    48437 |    17817 |   133010 |     1974 |  5.434 |
453.65/77.94	c (56,0) c |  7 |    634 |     554637 |     174378 |   110823 |    34788 |    18793 |   132058 |     2084 |  5.434 |
453.65/77.94	c (56,0) c 
453.65/77.94	c (56,0) c synthesis     1393166 conflicts  1087153999 propagations     4091 conflicts/sec  3192354 propagations/sec
453.65/77.94	c (56,0) c Total Memory so far : 1763.37Mb
453.65/77.94	c (56,0) c
453.65/77.94	c (56,0) c |-------------------------------------------------------------------------------------------------------|
453.65/77.94	c (56,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
453.65/77.94	c (56,0) c |-------------------------------------------------------------------------------------------------------|
453.65/77.94	c (56,0) c |  0 |    612 |     555511 |     185563 |   106125 |    45982 |    19811 |   143862 |     2499 |  5.434 |
453.65/77.94	c (56,0) c |  1 |    677 |     560268 |     177144 |   109324 |    37572 |    16895 |   147229 |     2202 |  5.434 |
453.65/77.94	c (56,0) c |  2 |    701 |     627278 |     189936 |   114807 |    50347 |    22078 |   142368 |     2347 |  5.434 |
453.65/77.94	c (56,0) c |  3 |    592 |     597623 |     192037 |   104808 |    52464 |    21024 |   131861 |     2127 |  5.434 |
453.65/77.94	c (56,0) c |  4 |    777 |     623228 |     211503 |   114265 |    43933 |    21391 |   142789 |     2406 |  5.434 |
453.65/77.94	c (56,0) c |  5 |    614 |     572714 |     199406 |   110191 |    31824 |    22324 |   141913 |     2620 |  5.434 |
453.65/77.94	c (56,0) c |  6 |    598 |     587076 |     179869 |   111652 |    40289 |    18823 |   145545 |     2281 |  5.434 |
453.65/77.94	c (56,0) c |  7 |    676 |     603628 |     198406 |   116328 |    30837 |    22107 |   142075 |     2268 |  5.434 |
453.65/77.94	c (56,0) c 
453.65/77.94	c (56,0) c synthesis     1533866 conflicts  1185115417 propagations     4120 conflicts/sec  3183126 propagations/sec
453.65/77.94	c (56,0) c Total Memory so far : 1886.92Mb
453.65/77.94	c (56,0) c
453.65/77.94	c (56,0) c |-------------------------------------------------------------------------------------------------------|
453.65/77.94	c (56,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
453.65/77.94	c (56,0) c |-------------------------------------------------------------------------------------------------------|
453.65/77.94	c (56,0) c |  0 |    690 |     596204 |     199465 |   111807 |    31881 |    20730 |   153256 |     2772 |  5.434 |
453.65/77.94	c (56,0) c |  1 |    743 |     603326 |     193928 |   114185 |    54356 |    18365 |   154924 |     2379 |  5.434 |
453.65/77.94	c (56,0) c |  2 |    760 |     667078 |     205778 |   119609 |    38187 |    23228 |   150745 |     2602 |  5.434 |
453.65/77.94	c (56,0) c |  3 |    648 |     637133 |     207266 |   108445 |    39698 |    22352 |   151622 |     2346 |  5.434 |
453.65/77.94	c (56,0) c |  4 |    817 |     659503 |     230885 |   118923 |    32705 |    23603 |   150291 |     2543 |  5.434 |
453.65/77.94	c (56,0) c |  5 |    668 |     609382 |     215545 |   112710 |    47963 |    23418 |   150429 |     2932 |  5.434 |
573.25/92.94	c (71,0) c |  6 |    669 |     624561 |     192298 |   116198 |    52718 |    19417 |   154572 |     2451 |  5.434 |
573.25/92.94	c (71,0) c |  7 |    733 |     643296 |     213821 |   120186 |    46252 |    22905 |   151094 |     2488 |  5.434 |
573.25/92.94	c (71,0) c 
573.25/92.94	c (71,0) c synthesis     1658988 conflicts  1281124605 propagations     4105 conflicts/sec  3170198 propagations/sec
573.25/92.94	c (71,0) c Total Memory so far : 1828.93Mb
573.25/92.94	c (71,0) c
573.25/92.94	c (71,0) c |-------------------------------------------------------------------------------------------------------|
573.25/92.94	c (71,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
573.25/92.94	c (71,0) c |-------------------------------------------------------------------------------------------------------|
573.25/92.94	c (71,0) c |  0 |    741 |     642447 |     223817 |   117154 |    56233 |    22213 |   164713 |     3049 |  5.434 |
573.25/92.94	c (71,0) c |  1 |    828 |     656538 |     211819 |   119333 |    44236 |    19534 |   167956 |     2615 |  5.434 |
573.25/92.94	c (71,0) c |  2 |    826 |     721230 |     222438 |   125780 |    54847 |    24193 |   163277 |     2879 |  5.434 |
573.25/92.94	c (71,0) c |  3 |    718 |     710221 |     244137 |   113865 |    45974 |    26251 |   161184 |     2843 |  5.434 |
573.25/92.94	c (71,0) c |  4 |    915 |     712939 |     250142 |   125199 |    51962 |    25054 |   162190 |     2784 |  5.434 |
573.25/92.94	c (71,0) c |  5 |    725 |     654064 |     235706 |   116926 |    37529 |    25037 |   162554 |     3343 |  5.434 |
573.25/92.94	c (71,0) c |  6 |    734 |     673661 |     215281 |   121800 |    47695 |    21584 |   166013 |     2810 |  5.434 |
573.25/92.94	c (71,0) c |  7 |    816 |     691370 |     231350 |   124014 |    33187 |    23742 |   163743 |     2676 |  5.434 |
573.25/92.94	c (71,0) c 
573.25/92.94	c (71,0) c synthesis     1834692 conflicts  1407616516 propagations     4133 conflicts/sec  3171271 propagations/sec
573.25/92.94	c (71,0) c Total Memory so far : 1711.17Mb
573.25/92.94	c (71,0) c
573.25/92.94	c (71,0) c |-------------------------------------------------------------------------------------------------------|
573.25/92.94	c (71,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
573.25/92.94	c (71,0) c |-------------------------------------------------------------------------------------------------------|
573.25/92.94	c (71,0) c |  0 |    812 |     686529 |     242152 |   121280 |    43973 |    23251 |   177486 |     3278 |  5.434 |
573.25/92.94	c (71,0) c |  1 |    914 |     707174 |     229435 |   123749 |    31250 |    20753 |   180272 |     2964 |  5.434 |
573.25/92.94	c (71,0) c |  2 |    883 |     770436 |     246321 |   130354 |    48137 |    25854 |   176298 |     3361 |  5.434 |
573.25/92.94	c (71,0) c |  3 |    806 |     767503 |     262172 |   120126 |    64008 |    27363 |   174721 |     3241 |  5.434 |
573.25/92.94	c (71,0) c |  4 |    998 |     765199 |     268435 |   130454 |    37051 |    26219 |   175899 |     3017 |  5.434 |
573.25/92.94	c (71,0) c |  5 |    763 |     716904 |     274803 |   119931 |    43436 |    29577 |   172571 |     3463 |  5.434 |
573.25/92.94	c (71,0) c |  6 |    806 |     727006 |     238373 |   127740 |    40193 |    23388 |   178751 |     3155 |  5.434 |
573.25/92.94	c (71,0) c |  7 |    909 |     745107 |     254996 |   128090 |    56833 |    25764 |   175516 |     3087 |  5.434 |
573.25/92.94	c (71,0) c 
573.25/92.94	c (71,0) c synthesis     2016687 conflicts  1533529400 propagations     4170 conflicts/sec  3171064 propagations/sec
573.25/92.94	c (71,0) c Total Memory so far : 1774.17Mb
573.25/92.94	c (71,0) c
573.25/92.94	c (71,0) c |-------------------------------------------------------------------------------------------------------|
573.25/92.94	c (71,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
573.25/92.94	c (71,0) c |-------------------------------------------------------------------------------------------------------|
573.25/92.94	c (71,0) c |  0 |    880 |     733010 |     261233 |   125390 |    63055 |    24811 |   188350 |     3660 |  5.434 |
573.25/92.94	c (71,0) c |  1 |    992 |     762205 |     247718 |   128471 |    49534 |    22498 |   191813 |     3272 |  5.434 |
573.25/92.94	c (71,0) c |  2 |    949 |     821450 |     272726 |   135236 |    41338 |    28543 |   185753 |     3897 |  5.434 |
573.25/92.94	c (71,0) c |  3 |    875 |     818918 |     281111 |   124310 |    49739 |    28692 |   185716 |     3609 |  5.434 |
573.25/92.94	c (71,0) c |  4 |   1092 |     815303 |     285800 |   134733 |    54416 |    27489 |   186695 |     3330 |  5.434 |
573.25/92.94	c (71,0) c |  5 |    857 |     769154 |     295951 |   123800 |    64584 |    30413 |   182531 |     3731 |  5.434 |
573.25/92.94	c (71,0) c |  6 |    861 |     773043 |     258551 |   131109 |    60371 |    24233 |   189982 |     3327 |  5.434 |
684.91/106.94	c (85,0) c |  7 |    982 |     794678 |     275152 |   132439 |    43787 |    27744 |   186590 |     3583 |  5.434 |
684.91/106.94	c (85,0) c 
684.91/106.94	c (85,0) c synthesis     2178251 conflicts  1657726137 propagations     4162 conflicts/sec  3167383 propagations/sec
684.91/106.94	c (85,0) c Total Memory so far : 1836.24Mb
684.91/106.94	c (85,0) c
684.91/106.94	c (85,0) c |-------------------------------------------------------------------------------------------------------|
684.91/106.94	c (85,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
684.91/106.94	c (85,0) c |-------------------------------------------------------------------------------------------------------|
684.91/106.94	c (85,0) c |  0 |    915 |     779841 |     289261 |   128151 |    57883 |    29091 |   198595 |     4069 |  5.434 |
684.91/106.94	c (85,0) c |  1 |   1062 |     809878 |     265744 |   132497 |    34364 |    24065 |   203662 |     3621 |  5.434 |
684.91/106.94	c (85,0) c |  2 |   1029 |     872987 |     295735 |   137965 |    64348 |    30713 |   199908 |     4324 |  5.434 |
684.91/106.94	c (85,0) c |  3 |    949 |     862449 |     300514 |   127866 |    69142 |    29695 |   194595 |     3884 |  5.434 |
684.91/106.94	c (85,0) c |  4 |   1152 |     863108 |     308267 |   139530 |    41081 |    29778 |   200599 |     4053 |  5.434 |
684.91/106.94	c (85,0) c |  5 |    945 |     815837 |     313518 |   126860 |    46348 |    31211 |   199538 |     4040 |  5.434 |
684.91/106.94	c (85,0) c |  6 |    907 |     817639 |     282012 |   133435 |    50629 |    25852 |   202693 |     3664 |  5.434 |
684.91/106.94	c (85,0) c |  7 |   1034 |     849034 |     302805 |   136041 |    71440 |    30353 |   196396 |     3956 |  5.434 |
684.91/106.94	c (85,0) c 
684.91/106.94	c (85,0) c synthesis     2357861 conflicts  1786638329 propagations     4187 conflicts/sec  3172416 propagations/sec
684.91/106.94	c (85,0) c Total Memory so far : 1778.50Mb
684.91/106.94	c (85,0) c
684.91/106.94	c (85,0) c |-------------------------------------------------------------------------------------------------------|
684.91/106.94	c (85,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
684.91/106.94	c (85,0) c |-------------------------------------------------------------------------------------------------------|
684.91/106.94	c (85,0) c |  0 |    987 |     827681 |     307867 |   131625 |    40697 |    30954 |   212232 |     4643 |  5.434 |
684.91/106.94	c (85,0) c |  1 |   1141 |     857603 |     286658 |   136020 |    55278 |    25512 |   217682 |     4084 |  5.434 |
684.91/106.94	c (85,0) c |  2 |   1100 |     919666 |     315970 |   140440 |    48782 |    32017 |   211191 |     4627 |  5.434 |
684.91/106.94	c (85,0) c |  3 |   1001 |     904957 |     324953 |   130346 |    57773 |    31548 |   211564 |     4089 |  5.434 |
684.91/106.94	c (85,0) c |  4 |   1225 |     920739 |     332404 |   143580 |    65218 |    32470 |   210586 |     4538 |  5.434 |
684.91/106.94	c (85,0) c |  5 |   1060 |     866516 |     327189 |   132179 |    60019 |    31869 |   211145 |     4295 |  5.434 |
684.91/106.94	c (85,0) c |  6 |    977 |     865911 |     300878 |   136461 |    69495 |    27203 |   215946 |     3951 |  5.434 |
684.91/106.94	c (85,0) c |  7 |   1068 |     893878 |     327086 |   138691 |    59915 |    31654 |   211518 |     4195 |  5.434 |
684.91/106.94	c (85,0) c 
684.91/106.94	c (85,0) c synthesis     2523008 conflicts  1910650993 propagations     4184 conflicts/sec  3168714 propagations/sec
684.91/106.94	c (85,0) c Total Memory so far : 1780.77Mb
684.91/106.94	c (85,0) c
684.91/106.94	c (85,0) c |-------------------------------------------------------------------------------------------------------|
684.91/106.94	c (85,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
684.91/106.94	c (85,0) c |-------------------------------------------------------------------------------------------------------|
684.91/106.94	c (85,0) c |  0 |   1046 |     867196 |     326961 |   135280 |    59791 |    31750 |   217473 |     4844 |  5.434 |
684.91/106.94	c (85,0) c |  1 |   1223 |     900945 |     299449 |   139950 |    68069 |    26088 |   223039 |     4332 |  5.434 |
684.91/106.94	c (85,0) c |  2 |   1172 |     963565 |     329148 |   142712 |    61960 |    32455 |   216772 |     4792 |  5.434 |
684.91/106.94	c (85,0) c |  3 |   1057 |     942875 |     342884 |   132242 |    75704 |    32637 |   216604 |     4286 |  5.434 |
684.91/106.94	c (85,0) c |  4 |   1294 |     961740 |     351372 |   146445 |    45784 |    33602 |   215566 |     4875 |  5.434 |
684.91/106.94	c (85,0) c |  5 |   1117 |     901986 |     345319 |   133790 |    39745 |    32577 |   215538 |     4518 |  5.434 |
684.91/106.94	c (85,0) c |  6 |   1050 |     907640 |     314290 |   139862 |    47108 |    28017 |   221262 |     4109 |  5.434 |
684.91/106.94	c (85,0) c |  7 |   1137 |     935100 |     339566 |   142292 |    72395 |    32182 |   217054 |     4417 |  5.434 |
684.91/106.94	c (85,0) c 
729.58/112.58	c (90,0) c synthesis     2648995 conflicts  2006828972 propagations     4173 conflicts/sec  3161231 propagations/sec
729.58/112.59	c (90,0) c Total Memory so far : 1842.73Mb
729.58/112.59	c (90,0) c
729.58/112.59	c (90,0) c |-------------------------------------------------------------------------------------------------------|
729.58/112.59	c (90,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
729.58/112.59	c (90,0) c |-------------------------------------------------------------------------------------------------------|
729.58/112.59	c (90,0) c |  0 |   1105 |     909811 |     340132 |   138485 |    72962 |    32550 |   224928 |     5172 |  5.434 |
729.58/112.59	c (90,0) c |  1 |   1272 |     938067 |     320214 |   141509 |    53031 |    27530 |   229986 |     4698 |  5.434 |
729.58/112.59	c (90,0) c |  2 |   1247 |    1002109 |     343215 |   145316 |    76027 |    33074 |   224087 |     4966 |  5.434 |
729.58/112.59	c (90,0) c |  3 |   1111 |     982106 |     357684 |   135312 |    52107 |    33470 |   224045 |     4472 |  5.434 |
729.58/112.59	c (90,0) c |  4 |   1367 |     998597 |     365723 |   147992 |    60135 |    34054 |   223372 |     5102 |  5.434 |
729.58/112.59	c (90,0) c |  5 |   1186 |     945282 |     360476 |   136932 |    54902 |    33836 |   223652 |     4736 |  5.434 |
729.58/112.59	c (90,0) c |  6 |   1092 |     942504 |     332471 |   142537 |    65289 |    29989 |   227498 |     4465 |  5.434 |
729.58/112.59	c (90,0) c |  7 |   1184 |     972301 |     357726 |   144794 |    52147 |    33021 |   224428 |     4653 |  5.434 |
729.58/112.59	c (90,0) c 
729.58/112.59	c (90,0) c synthesis     2777647 conflicts  2105148085 propagations     4167 conflicts/sec  3157787 propagations/sec
729.58/112.59	c (90,0) c Total Memory so far : 1874.03Mb
729.58/112.59	c (90,0) c last restart ## conflicts  :  141 1810 
729.58/112.59	c (90,0) c Thread 5 is 100% pure glucose! First thread to finish! (SAT answer).
729.58/112.59	c (90,0) c Total Memory so far : 1844.62Mb
729.58/112.59	c (90,0) c
729.58/112.59	c (90,0) c real time : 90.3618 s
729.58/112.59	c (90,0) c cpu time  : 679.734 s
729.58/112.59	c (90,0) c
729.58/112.59	c (90,0) c
729.58/112.59	c (90,0) c
729.58/112.59	c (90,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
729.58/112.59	c (90,0) c
729.58/112.59	c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
729.58/112.59	c (90,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
729.58/112.59	c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
729.58/112.59	c (90,0) c | Conflicts     |         2825419 |     345277 |     324623 |     353319 |     364478 |     372986 |     365716 |     337095 |     361925 |
729.58/112.59	c (90,0) c | Decisions     |         7819779 |     925603 |     956377 |    1016459 |     998755 |    1012207 |     962228 |     959696 |     988454 |
729.58/112.59	c (90,0) c | Propagations  |      2143744953 |  260867072 |  252360392 |  273431549 |  270718293 |  279927886 |  267366334 |  265031283 |  274042144 |
729.58/112.59	c (90,0) c | Avg_Trail     |                 |      22690 |      23494 |      22699 |      21847 |      21181 |      23446 |      22992 |      22306 |
729.58/112.59	c (90,0) c | Avg_DL        |                 |        123 |        131 |        126 |        118 |        114 |        131 |        126 |        122 |
729.58/112.59	c (90,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
729.58/112.59	c (90,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
729.58/112.59	c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
729.58/112.59	c (90,0) c | Exported      |          260277 |      32839 |      27722 |      33448 |      34199 |      34347 |      34185 |      30253 |      33284 |
729.58/112.59	c (90,0) c | Imported      |         1820303 |     227323 |     232507 |     226731 |     226004 |     224871 |     225887 |     230009 |     226971 |
729.58/112.59	c (90,0) c | Good          |           38158 |       4885 |       4915 |       4681 |       4654 |       4677 |       4919 |       4756 |       4671 |
729.58/112.59	c (90,0) c | Purge         |         1782145 |     222438 |     227592 |     222050 |     221350 |     220194 |     220968 |     225253 |     222300 |
729.58/112.59	c (90,0) c | Promoted      |           38960 |       5250 |       4770 |       4998 |       4666 |       5151 |       4816 |       4562 |       4747 |
729.58/112.59	c (90,0) c | Remove_Imp    |         1151313 |     150056 |     152088 |     147192 |     140408 |     137019 |     138642 |     145071 |     140837 |
729.58/112.59	c (90,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
729.58/112.59	c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
729.58/112.59	c (90,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
729.58/112.59	c (90,0) c | Binaries      |                 |        567 |        537 |        771 |        798 |        769 |        533 |        696 |        781 |
729.58/112.59	c (90,0) c | Glues         |                 |       1080 |       1053 |       1261 |       1303 |       1523 |       1025 |       1191 |       1364 |
729.58/112.59	c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
729.58/112.59	c (90,0) c | Orig_Seen     |             5 % |     139604 |     142822 |     145604 |     136094 |     148828 |     137987 |     143700 |     146187 |
729.58/112.59	c (90,0) c | Diff Orig seen|                 |       1617 |       4835 |       7617 | -     1893 |      10841 |      X     |       5713 |       8200 |
729.58/112.59	c (90,0) c | Hamming       |             9 % |       9069 |       9958 |       7865 |       8538 |       7530 |      X     |       9304 |       9087 |
729.58/112.59	c (90,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
729.58/112.59	c (90,0) 
729.58/112.59	c (90,0) s SATISFIABLE
730.25/112.70	c (90,0) SatSolver.solve End
730.52/112.70	c (90,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
730.52/112.70	c (90,0) Show results Begin
730.52/112.79	s SATISFIABLE
730.76/112.82	v <instantiation>
730.76/112.82	v     <list>cls[0] cls[1] cls[2] cls[3] cls[4] cls[5] cls[6] cls[7] cls[8] cls[9] cls[10] cls[11] cls[12] cls[13] cls[14] cls[15] cls[16] cls[17] cls[18] cls[19] cls[20] cls[21] cls[22] cls[23] cls[24] cls[25] cls[26] cls[27] cls[28] cls[29] cls[30] cls[31] cls[32] cls[33] cls[34] cls[35] cls[36] cls[37] cls[38] cls[39] cls[40] cls[41] cls[42] cls[43] cls[44] cls[45] cls[46] cls[47] cls[48] cls[49] cls[50] cls[51] cls[52] cls[53] cls[54] cls[55] cls[56] cls[57] cls[58] cls[59] cls[60] cls[61] cls[62] cls[63] cls[64] cls[65] cls[66] cls[67] cls[68] cls[69] cls[70] cls[71] cls[72] cls[73] cls[74] cls[75] cls[76] cls[77] cls[78] cls[79] cls[80] cls[81] cls[82] cls[83] cls[84] cls[85] cls[86] cls[87] cls[88] cls[89] cls[90] cls[91] cls[92] cls[93] cls[94] cls[95] cls[96] cls[97] cls[98] cls[99] cls[100] cls[101] cls[102] cls[103] cls[104] cls[105] cls[106] cls[107] cls[108] cls[109] cls[110] cls[111] cls[112] cls[113] cls[114] cls[115] cls[116] cls[117] cls[118] cls[119] cls[120] cls[121] cls[122] cls[123] cls[124] cls[125] cls[126] cls[127] cls[128] cls[129] cls[130] cls[131] cls[132] cls[133] cls[134] cls[135] cls[136] cls[137] cls[138] cls[139] cls[140] cls[141] cls[142] cls[143] cls[144] cls[145] cls[146] cls[147] cls[148] cls[149] cls[150] cls[151] cls[152] cls[153] cls[154] cls[155] cls[156] cls[157] cls[158] cls[159] cls[160] cls[161] cls[162] cls[163] cls[164] cls[165] cls[166] cls[167] cls[168] cls[169] cls[170] cls[171] cls[172] cls[173] cls[174] cls[175] cls[176] cls[177] cls[178] cls[179] cls[180] cls[181] cls[182] cls[183] cls[184] cls[185] cls[186] cls[187] cls[188] cls[189] cls[190] cls[191] cls[192] cls[193] cls[194] cls[195] cls[196] cls[197] cls[198] cls[199] opt[0][0] opt[0][1] opt[0][2] opt[0][3] opt[0][4] opt[1][0] opt[1][1] opt[1][2] opt[1][3] opt[1][4] opt[2][0] opt[2][1] opt[2][2] opt[2][3] opt[2][4] opt[3][0] opt[3][1] opt[3][2] opt[3][3] opt[3][4] opt[4][0] opt[4][1] opt[4][2] opt[4][3] opt[4][4] opt[5][0] opt[5][1] opt[5][2] opt[5][3] opt[5][4] opt[6][0] opt[6][1] opt[6][2] opt[6][3] opt[6][4] opt[7][0] opt[7][1] opt[7][2] opt[7][3] opt[7][4] opt[8][0] opt[8][1] opt[8][2] opt[8][3] opt[8][4] opt[9][0] opt[9][1] opt[9][2] opt[9][3] opt[9][4] opt[10][0] opt[10][1] opt[10][2] opt[10][3] opt[10][4] opt[11][0] opt[11][1] opt[11][2] opt[11][3] opt[11][4] opt[12][0] opt[12][1] opt[12][2] opt[12][3] opt[12][4] opt[13][0] opt[13][1] opt[13][2] opt[13][3] opt[13][4] opt[14][0] opt[14][1] opt[14][2] opt[14][3] opt[14][4] opt[15][0] opt[15][1] opt[15][2] opt[15][3] opt[15][4] opt[16][0] opt[16][1] opt[16][2] opt[16][3] opt[16][4] opt[17][0] opt[17][1] opt[17][2] opt[17][3] opt[17][4] opt[18][0] opt[18][1] opt[18][2] opt[18][3] opt[18][4] opt[19][0] opt[19][1] opt[19][2] opt[19][3] opt[19][4] opt[20][0] opt[20][1] opt[20][2] opt[20][3] opt[20][4] opt[21][0] opt[21][1] opt[21][2] opt[21][3] opt[21][4] opt[22][0] opt[22][1] opt[22][2] opt[22][3] opt[22][4] opt[23][0] opt[23][1] opt[23][2] opt[23][3] opt[23][4] opt[24][0] opt[24][1] opt[24][2] opt[24][3] opt[24][4] opt[25][0] opt[25][1] opt[25][2] opt[25][3] opt[25][4] opt[26][0] opt[26][1] opt[26][2] opt[26][3] opt[26][4] opt[27][0] opt[27][1] opt[27][2] opt[27][3] opt[27][4] opt[28][0] opt[28][1] opt[28][2] opt[28][3] opt[28][4] opt[29][0] opt[29][1] opt[29][2] opt[29][3] opt[29][4] opt[30][0] opt[30][1] opt[30][2] opt[30][3] opt[30][4] opt[31][0] opt[31][1] opt[31][2] opt[31][3] opt[31][4] opt[32][0] opt[32][1] opt[32][2] opt[32][3] opt[32][4] opt[33][0] opt[33][1] opt[33][2] opt[33][3] opt[33][4] opt[34][0] opt[34][1] opt[34][2] opt[34][3] opt[34][4] opt[35][0] opt[35][1] opt[35][2] opt[35][3] opt[35][4] opt[36][0] opt[36][1] opt[36][2] opt[36][3] opt[36][4] opt[37][0] opt[37][1] opt[37][2] opt[37][3] opt[37][4] opt[38][0] opt[38][1] opt[38][2] opt[38][3] opt[38][4] opt[39][0] opt[39][1] opt[39][2] opt[39][3] opt[39][4] opt[40][0] opt[40][1] opt[40][2] opt[40][3] opt[40][4] opt[41][0] opt[41][1] opt[41][2] opt[41][3] opt[41][4] opt[42][0] opt[42][1] opt[42][2] opt[42][3] opt[42][4] opt[43][0] opt[43][1] opt[43][2] opt[43][3] opt[43][4] opt[44][0] opt[44][1] opt[44][2] opt[44][3] opt[44][4] opt[45][0] opt[45][1] opt[45][2] opt[45][3] opt[45][4] opt[46][0] opt[46][1] opt[46][2] opt[46][3] opt[46][4] opt[47][0] opt[47][1] opt[47][2] opt[47][3] opt[47][4] opt[48][0] opt[48][1] opt[48][2] opt[48][3] opt[48][4] opt[49][0] opt[49][1] opt[49][2] opt[49][3] opt[49][4] opt[50][0] opt[50][1] opt[50][2] opt[50][3] opt[50][4] opt[51][0] opt[51][1] opt[51][2] opt[51][3] opt[51][4] opt[52][0] opt[52][1] opt[52][2] opt[52][3] opt[52][4] opt[53][0] opt[53][1] opt[53][2] opt[53][3] opt[53][4] opt[54][0] opt[54][1] opt[54][2] opt[54][3] opt[54][4] opt[55][0] opt[55][1] opt[55][2] opt[55][3] opt[55][4] opt[56][0] opt[56][1] opt[56][2] opt[56][3] opt[56][4] opt[57][0] opt[57][1] opt[57][2] opt[57][3] opt[57][4] opt[58][0] opt[58][1] opt[58][2] opt[58][3] opt[58][4] opt[59][0] opt[59][1] opt[59][2] opt[59][3] opt[59][4] opt[60][0] opt[60][1] opt[60][2] opt[60][3] opt[60][4] opt[61][0] opt[61][1] opt[61][2] opt[61][3] opt[61][4] opt[62][0] opt[62][1] opt[62][2] opt[62][3] opt[62][4] opt[63][0] opt[63][1] opt[63][2] opt[63][3] opt[63][4] opt[64][0] opt[64][1] opt[64][2] opt[64][3] opt[64][4] opt[65][0] opt[65][1] opt[65][2] opt[65][3] opt[65][4] opt[66][0] opt[66][1] opt[66][2] opt[66][3] opt[66][4] opt[67][0] opt[67][1] opt[67][2] opt[67][3] opt[67][4] opt[68][0] opt[68][1] opt[68][2] opt[68][3] opt[68][4] opt[69][0] opt[69][1] opt[69][2] opt[69][3] opt[69][4] opt[70][0] opt[70][1] opt[70][2] opt[70][3] opt[70][4] opt[71][0] opt[71][1] opt[71][2] opt[71][3] opt[71][4] opt[72][0] opt[72][1] opt[72][2] opt[72][3] opt[72][4] opt[73][0] opt[73][1] opt[73][2] opt[73][3] opt[73][4] opt[74][0] opt[74][1] opt[74][2] opt[74][3] opt[74][4] opt[75][0] opt[75][1] opt[75][2] opt[75][3] opt[75][4] opt[76][0] opt[76][1] opt[76][2] opt[76][3] opt[76][4] opt[77][0] opt[77][1] opt[77][2] opt[77][3] opt[77][4] opt[78][0] opt[78][1] opt[78][2] opt[78][3] opt[78][4] opt[79][0] opt[79][1] opt[79][2] opt[79][3] opt[79][4] opt[80][0] opt[80][1] opt[80][2] opt[80][3] opt[80][4] opt[81][0] opt[81][1] opt[81][2] opt[81][3] opt[81][4] opt[82][0] opt[82][1] opt[82][2] opt[82][3] opt[82][4] opt[83][0] opt[83][1] opt[83][2] opt[83][3] opt[83][4] opt[84][0] opt[84][1] opt[84][2] opt[84][3] opt[84][4] opt[85][0] opt[85][1] opt[85][2] opt[85][3] opt[85][4] opt[86][0] opt[86][1] opt[86][2] opt[86][3] opt[86][4] opt[87][0] opt[87][1] opt[87][2] opt[87][3] opt[87][4] opt[88][0] opt[88][1] opt[88][2] opt[88][3] opt[88][4] opt[89][0] opt[89][1] opt[89][2] opt[89][3] opt[89][4] opt[90][0] opt[90][1] opt[90][2] opt[90][3] opt[90][4] opt[91][0] opt[91][1] opt[91][2] opt[91][3] opt[91][4] opt[92][0] opt[92][1] opt[92][2] opt[92][3] opt[92][4] opt[93][0] opt[93][1] opt[93][2] opt[93][3] opt[93][4] opt[94][0] opt[94][1] opt[94][2] opt[94][3] opt[94][4] opt[95][0] opt[95][1] opt[95][2] opt[95][3] opt[95][4] opt[96][0] opt[96][1] opt[96][2] opt[96][3] opt[96][4] opt[97][0] opt[97][1] opt[97][2] opt[97][3] opt[97][4] opt[98][0] opt[98][1] opt[98][2] opt[98][3] opt[98][4] opt[99][0] opt[99][1] opt[99][2] opt[99][3] opt[99][4] opt[100][0] opt[100][1] opt[100][2] opt[100][3] opt[100][4] opt[101][0] opt[101][1] opt[101][2] opt[101][3] opt[101][4] opt[102][0] opt[102][1] opt[102][2] opt[102][3] opt[102][4] opt[103][0] opt[103][1] opt[103][2] opt[103][3] opt[103][4] opt[104][0] opt[104][1] opt[104][2] opt[104][3] opt[104][4] opt[105][0] opt[105][1] opt[105][2] opt[105][3] opt[105][4] opt[106][0] opt[106][1] opt[106][2] opt[106][3] opt[106][4] opt[107][0] opt[107][1] opt[107][2] opt[107][3] opt[107][4] opt[108][0] opt[108][1] opt[108][2] opt[108][3] opt[108][4] opt[109][0] opt[109][1] opt[109][2] opt[109][3] opt[109][4] opt[110][0] opt[110][1] opt[110][2] opt[110][3] opt[110][4] opt[111][0] opt[111][1] opt[111][2] opt[111][3] opt[111][4] opt[112][0] opt[112][1] opt[112][2] opt[112][3] opt[112][4] opt[113][0] opt[113][1] opt[113][2] opt[113][3] opt[113][4] opt[114][0] opt[114][1] opt[114][2] opt[114][3] opt[114][4] opt[115][0] opt[115][1] opt[115][2] opt[115][3] opt[115][4] opt[116][0] opt[116][1] opt[116][2] opt[116][3] opt[116][4] opt[117][0] opt[117][1] opt[117][2] opt[117][3] opt[117][4] opt[118][0] opt[118][1] opt[118][2] opt[118][3] opt[118][4] opt[119][0] opt[119][1] opt[119][2] opt[119][3] opt[119][4] opt[120][0] opt[120][1] opt[120][2] opt[120][3] opt[120][4] opt[121][0] opt[121][1] opt[121][2] opt[121][3] opt[121][4] opt[122][0] opt[122][1] opt[122][2] opt[122][3] opt[122][4] opt[123][0] opt[123][1] opt[123][2] opt[123][3] opt[123][4] opt[124][0] opt[124][1] opt[124][2] opt[124][3] opt[124][4] opt[125][0] opt[125][1] opt[125][2] opt[125][3] opt[125][4] opt[126][0] opt[126][1] opt[126][2] opt[126][3] opt[126][4] opt[127][0] opt[127][1] opt[127][2] opt[127][3] opt[127][4] opt[128][0] opt[128][1] opt[128][2] opt[128][3] opt[128][4] opt[129][0] opt[129][1] opt[129][2] opt[129][3] opt[129][4] opt[130][0] opt[130][1] opt[130][2] opt[130][3] opt[130][4] opt[131][0] opt[131][1] opt[131][2] opt[131][3] opt[131][4] opt[132][0] opt[132][1] opt[132][2] opt[132][3] opt[132][4] opt[133][0] opt[133][1] opt[133][2] opt[133][3] opt[133][4] opt[134][0] opt[134][1] opt[134][2] opt[134][3] opt[134][4] opt[135][0] opt[135][1] opt[135][2] opt[135][3] opt[135][4] opt[136][0] opt[136][1] opt[136][2] opt[136][3] opt[136][4] opt[137][0] opt[137][1] opt[137][2] opt[137][3] opt[137][4] opt[138][0] opt[138][1] opt[138][2] opt[138][3] opt[138][4] opt[139][0] opt[139][1] opt[139][2] opt[139][3] opt[139][4] opt[140][0] opt[140][1] opt[140][2] opt[140][3] opt[140][4] opt[141][0] opt[141][1] opt[141][2] opt[141][3] opt[141][4] opt[142][0] opt[142][1] opt[142][2] opt[142][3] opt[142][4] opt[143][0] opt[143][1] opt[143][2] opt[143][3] opt[143][4] opt[144][0] opt[144][1] opt[144][2] opt[144][3] opt[144][4] opt[145][0] opt[145][1] opt[145][2] opt[145][3] opt[145][4] opt[146][0] opt[146][1] opt[146][2] opt[146][3] opt[146][4] opt[147][0] opt[147][1] opt[147][2] opt[147][3] opt[147][4] opt[148][0] opt[148][1] opt[148][2] opt[148][3] opt[148][4] opt[149][0] opt[149][1] opt[149][2] opt[149][3] opt[149][4] opt[150][0] opt[150][1] opt[150][2] opt[150][3] opt[150][4] opt[151][0] opt[151][1] opt[151][2] opt[151][3] opt[151][4] opt[152][0] opt[152][1] opt[152][2] opt[152][3] opt[152][4] opt[153][0] opt[153][1] opt[153][2] opt[153][3] opt[153][4] opt[154][0] opt[154][1] opt[154][2] opt[154][3] opt[154][4] opt[155][0] opt[155][1] opt[155][2] opt[155][3] opt[155][4] opt[156][0] opt[156][1] opt[156][2] opt[156][3] opt[156][4] opt[157][0] opt[157][1] opt[157][2] opt[157][3] opt[157][4] opt[158][0] opt[158][1] opt[158][2] opt[158][3] opt[158][4] opt[159][0] opt[159][1] opt[159][2] opt[159][3] opt[159][4] opt[160][0] opt[160][1] opt[160][2] opt[160][3] opt[160][4] opt[161][0] opt[161][1] opt[161][2] opt[161][3] opt[161][4] opt[162][0] opt[162][1] opt[162][2] opt[162][3] opt[162][4] opt[163][0] opt[163][1] opt[163][2] opt[163][3] opt[163][4] opt[164][0] opt[164][1] opt[164][2] opt[164][3] opt[164][4] opt[165][0] opt[165][1] opt[165][2] opt[165][3] opt[165][4] opt[166][0] opt[166][1] opt[166][2] opt[166][3] opt[166][4] opt[167][0] opt[167][1] opt[167][2] opt[167][3] opt[167][4] opt[168][0] opt[168][1] opt[168][2] opt[168][3] opt[168][4] opt[169][0] opt[169][1] opt[169][2] opt[169][3] opt[169][4] opt[170][0] opt[170][1] opt[170][2] opt[170][3] opt[170][4] opt[171][0] opt[171][1] opt[171][2] opt[171][3] opt[171][4] opt[172][0] opt[172][1] opt[172][2] opt[172][3] opt[172][4] opt[173][0] opt[173][1] opt[173][2] opt[173][3] opt[173][4] opt[174][0] opt[174][1] opt[174][2] opt[174][3] opt[174][4] opt[175][0] opt[175][1] opt[175][2] opt[175][3] opt[175][4] opt[176][0] opt[176][1] opt[176][2] opt[176][3] opt[176][4] opt[177][0] opt[177][1] opt[177][2] opt[177][3] opt[177][4] opt[178][0] opt[178][1] opt[178][2] opt[178][3] opt[178][4] opt[179][0] opt[179][1] opt[179][2] opt[179][3] opt[179][4] opt[180][0] opt[180][1] opt[180][2] opt[180][3] opt[180][4] opt[181][0] opt[181][1] opt[181][2] opt[181][3] opt[181][4] opt[182][0] opt[182][1] opt[182][2] opt[182][3] opt[182][4] opt[183][0] opt[183][1] opt[183][2] opt[183][3] opt[183][4] opt[184][0] opt[184][1] opt[184][2] opt[184][3] opt[184][4] opt[185][0] opt[185][1] opt[185][2] opt[185][3] opt[185][4] opt[186][0] opt[186][1] opt[186][2] opt[186][3] opt[186][4] opt[187][0] opt[187][1] opt[187][2] opt[187][3] opt[187][4] opt[188][0] opt[188][1] opt[188][2] opt[188][3] opt[188][4] opt[189][0] opt[189][1] opt[189][2] opt[189][3] opt[189][4] opt[190][0] opt[190][1] opt[190][2] opt[190][3] opt[190][4] opt[191][0] opt[191][1] opt[191][2] opt[191][3] opt[191][4] opt[192][0] opt[192][1] opt[192][2] opt[192][3] opt[192][4] opt[193][0] opt[193][1] opt[193][2] opt[193][3] opt[193][4] opt[194][0] opt[194][1] opt[194][2] opt[194][3] opt[194][4] opt[195][0] opt[195][1] opt[195][2] opt[195][3] opt[195][4] opt[196][0] opt[196][1] opt[196][2] opt[196][3] opt[196][4] opt[197][0] opt[197][1] opt[197][2] opt[197][3] opt[197][4] opt[198][0] opt[198][1] opt[198][2] opt[198][3] opt[198][4] opt[199][0] opt[199][1] opt[199][2] opt[199][3] opt[199][4]</list>
730.76/112.82	v     <values>2 25 22 21 2 15 8 11 2 12 6 25 2 8 5 22 11 6 12 2 22 14 1 11 8 11 13 4 13 11 8 2 5 9 25 2 3 25 16 7 2 2 21 2 17 3 11 22 10 16 22 7 2 2 4 22 11 3 25 16 7 22 5 13 4 2 2 7 13 0 8 11 2 8 5 16 7 22 13 24 15 2 11 20 11 2 12 6 22 11 24 25 2 13 4 2 12 2 12 24 11 1 21 2 25 3 5 1 13 3 25 13 4 2 25 3 5 15 14 2 25 13 13 4 2 11 8 2 25 0 11 20 2 25 2 18 8 2 25 8 11 13 1 7 2 12 2 19 11 2 8 25 22 1 13 10 22 11 8 0 5 8 11 2 23 2 12 3 25 2 21 1 5 2 7 13 11 9 11 2 25 24 5 1 11 13 7 2 5 22 18 3 22 11 22 2 10 1 12 2 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0</values>
730.76/112.82	v </instantiation>
730.76/112.82	c (91,0) Show results End
730.76/112.82	c (91,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
730.76/112.82	c (91,0) 90,91,STOP-AFTER(ALL)
730.76/112.82	c END-Prog: Mon Aug 13 23:24:30 CEST 2018

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307092-1534195357/watcher-4307092-1534195357 -o /tmp/evaluation-result-4307092-1534195357/solver-4307092-1534195357 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1534187664-1357 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307092-1534195357.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=3617, runsolver pid=3614
Current StackSize limit: 8192 KiB


[startup+0.100149 s]*
/proc/loadavg: 5.56 7.68 6.94 3/205 3639
/proc/meminfo: memFree=23911920/32770624 swapFree=67108852/67108860
[pid=3617] ppid=3614 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3617/stat : 3617 (scop.sh) S 3614 3617 1330 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237098908 115843072 349 33554432000 4194304 5098028 140733056558352 140733056555608 140129323438716 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17162240 140733056562210 140733056562435 140733056562435 140733056565197 0
/proc/3617/statm: 28282 349 296 221 0 87 0
[pid=3620] ppid=3617 vsize=27313900 memory=109520 CPUtime=0.1 cores=0-7
/proc/3620/stat : 3620 (java) S 3617 3617 1330 0 -1 1077944320 6311 0 0 0 8 2 0 0 20 0 20 0 237098908 27969433600 27380 33554432000 4194304 4196468 140725872694032 140725872676576 139755528310519 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
/proc/3620/statm: 6828475 27380 2739 1 0 6790935 0
[pid=3620/tid=3621] ppid=3617 vsize=27313900 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/3620/task/3621/stat : 3621 (java) R 3617 3617 1330 0 -1 4202560 4462 0 0 0 6 2 0 0 20 0 20 0 237098908 27969433600 27380 33554432000 4194304 4196468 140725872694032 139755500145088 139755508586268 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3622] ppid=3617 vsize=27313900 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3620/task/3622/stat : 3622 (java) S 3617 3617 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 27380 33554432000 4194304 4196468 140725872694032 139755532552848 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3623] ppid=3617 vsize=27313900 memory=139997555226240 CPUtime=0 cores=0-7
/proc/3620/task/3623/stat : 3623 (java) S 3617 3617 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 27445 33554432000 4194304 4196468 140725872694032 139754950523408 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3624] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3624/stat : 3624 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 27445 33554432000 4194304 4196468 140725872694032 139754949470608 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3625] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3625/stat : 3625 (java) S 3617 3617 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 27445 33554432000 4194304 4196468 140725872694032 139754948417808 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3626] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3626/stat : 3626 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 27445 33554432000 4194304 4196468 140725872694032 139754947366032 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3627] ppid=3617 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/3620/task/3627/stat : 3627 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 27445 33554432000 4194304 4196468 140725872694032 139754946313232 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3628] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3628/stat : 3628 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 27445 33554432000 4194304 4196468 140725872694032 139754945260432 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3629] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3629/stat : 3629 (java) S 3617 3617 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 27445 33554432000 4194304 4196468 140725872694032 139754944207632 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3630] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3630/stat : 3630 (java) S 3617 3617 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237098912 27969433600 27445 33554432000 4194304 4196468 140725872694032 139754519660912 139755528321666 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3631] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3631/stat : 3631 (java) S 3617 3617 1330 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237098913 27969433600 27445 33554432000 4194304 4196468 140725872694032 139753471075360 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3632] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3632/stat : 3632 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237098913 27969433600 27445 33554432000 4194304 4196468 140725872694032 139753202639728 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3633] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3633/stat : 3633 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237098915 27969433600 27445 33554432000 4194304 4196468 140725872694032 139752828131152 139755528329115 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3634] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3634/stat : 3634 (java) R 3617 3617 1330 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 237098915 27969433600 27445 33554432000 4194304 4196468 140725872694032 139754518608752 139755528321666 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3635] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3635/stat : 3635 (java) S 3617 3617 1330 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 237098915 27969433600 27445 33554432000 4194304 4196468 140725872694032 139754517555952 139755528321666 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3636] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3636/stat : 3636 (java) S 3617 3617 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237098916 27969433600 27445 33554432000 4194304 4196468 140725872694032 139754516503152 139755528321666 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3637] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3637/stat : 3637 (java) S 3617 3617 1330 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 20 0 237098916 27969433600 27445 33554432000 4194304 4196468 140725872694032 139754515450352 139755528321666 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3638] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3638/stat : 3638 (java) S 3617 3617 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237098916 27969433600 27445 33554432000 4194304 4196468 140725872694032 139752330226272 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3639] ppid=3617 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/3620/task/3639/stat : 3639 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237098916 27969433600 27445 33554432000 4194304 4196468 140725872694032 139754514397744 139755528321666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 110916 KiB

[startup+0.210859 s]*
/proc/loadavg: 5.56 7.68 6.94 2/205 3639
/proc/meminfo: memFree=23895416/32770624 swapFree=67108852/67108860
[pid=3617] ppid=3614 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3617/stat : 3617 (scop.sh) S 3614 3617 1330 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237098908 115843072 349 33554432000 4194304 5098028 140733056558352 140733056555608 140129323438716 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17162240 140733056562210 140733056562435 140733056562435 140733056565197 0
/proc/3617/statm: 28282 349 296 221 0 87 0
[pid=3620] ppid=3617 vsize=27313900 memory=123880 CPUtime=0.24 cores=0-7
/proc/3620/stat : 3620 (java) S 3617 3617 1330 0 -1 1077944320 10172 0 0 0 21 3 0 0 20 0 20 0 237098908 27969433600 30970 33554432000 4194304 4196468 140725872694032 140725872676576 139755528310519 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
/proc/3620/statm: 6828475 30970 2894 1 0 6790935 0
[pid=3620/tid=3621] ppid=3617 vsize=27313900 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/3620/task/3621/stat : 3621 (java) R 3617 3617 1330 0 -1 4202560 8068 0 0 0 17 3 0 0 20 0 20 0 237098908 27969433600 30970 33554432000 4194304 4196468 140725872694032 139755500137920 139755528332445 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3622] ppid=3617 vsize=27313900 memory=331 CPUtime=0 cores=0-7
/proc/3620/task/3622/stat : 3622 (java) S 3617 3617 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 30970 33554432000 4194304 4196468 140725872694032 139755532552848 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3623] ppid=3617 vsize=27313900 memory=139997555229908 CPUtime=0 cores=0-7
/proc/3620/task/3623/stat : 3623 (java) S 3617 3617 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 30970 33554432000 4194304 4196468 140725872694032 139754950523408 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3624] ppid=3617 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/3620/task/3624/stat : 3624 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 30970 33554432000 4194304 4196468 140725872694032 139754949470608 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3625] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3625/stat : 3625 (java) S 3617 3617 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 30970 33554432000 4194304 4196468 140725872694032 139754948417808 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3626] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3626/stat : 3626 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 31035 33554432000 4194304 4196468 140725872694032 139754947366032 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3627] ppid=3617 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/3620/task/3627/stat : 3627 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 31035 33554432000 4194304 4196468 140725872694032 139754946313232 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3628] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3628/stat : 3628 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 31035 33554432000 4194304 4196468 140725872694032 139754945260432 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3629] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3629/stat : 3629 (java) S 3617 3617 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 31035 33554432000 4194304 4196468 140725872694032 139754944207632 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3630] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3630/stat : 3630 (java) S 3617 3617 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237098912 27969433600 31035 33554432000 4194304 4196468 140725872694032 139754519660912 139755528321666 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3631] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3631/stat : 3631 (java) S 3617 3617 1330 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237098913 27969433600 31035 33554432000 4194304 4196468 140725872694032 139753471075360 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3632] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3632/stat : 3632 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237098913 27969433600 31035 33554432000 4194304 4196468 140725872694032 139753202639728 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3633] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3633/stat : 3633 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237098915 27969433600 31035 33554432000 4194304 4196468 140725872694032 139752828131152 139755528329115 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3634] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3634/stat : 3634 (java) S 3617 3617 1330 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 237098915 27969433600 31035 33554432000 4194304 4196468 140725872694032 139754518608752 139755528321666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3635] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3635/stat : 3635 (java) S 3617 3617 1330 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 20 0 237098915 27969433600 31035 33554432000 4194304 4196468 140725872694032 139754517555952 139755528321666 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3636] ppid=3617 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/3620/task/3636/stat : 3636 (java) S 3617 3617 1330 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 237098916 27969433600 31035 33554432000 4194304 4196468 140725872694032 139754516503152 139755528321666 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3637] ppid=3617 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/3620/task/3637/stat : 3637 (java) S 3617 3617 1330 0 -1 1077944384 287 0 0 0 2 0 0 0 20 0 20 0 237098916 27969433600 31035 33554432000 4194304 4196468 140725872694032 139754515450352 139755528321666 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3638] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3638/stat : 3638 (java) S 3617 3617 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237098916 27969433600 31035 33554432000 4194304 4196468 140725872694032 139752330226272 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3639] ppid=3617 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/3620/task/3639/stat : 3639 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237098916 27969433600 31035 33554432000 4194304 4196468 140725872694032 139754514397744 139755528321666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 125276 KiB

[startup+0.310774 s]*
/proc/loadavg: 5.56 7.68 6.94 2/205 3639
/proc/meminfo: memFree=23892376/32770624 swapFree=67108852/67108860
[pid=3617] ppid=3614 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3617/stat : 3617 (scop.sh) S 3614 3617 1330 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237098908 115843072 349 33554432000 4194304 5098028 140733056558352 140733056555608 140129323438716 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17162240 140733056562210 140733056562435 140733056562435 140733056565197 0
/proc/3617/statm: 28282 349 296 221 0 87 0
[pid=3620] ppid=3617 vsize=27313900 memory=127392 CPUtime=0.41 cores=0-7
/proc/3620/stat : 3620 (java) S 3617 3617 1330 0 -1 1077944320 10716 0 0 0 38 3 0 0 20 0 20 0 237098908 27969433600 31848 33554432000 4194304 4196468 140725872694032 140725872676576 139755528310519 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
/proc/3620/statm: 6828475 31848 2919 1 0 6790935 0
[pid=3620/tid=3621] ppid=3617 vsize=27313900 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/3620/task/3621/stat : 3621 (java) R 3617 3617 1330 0 -1 4202560 8446 0 0 0 26 3 0 0 20 0 20 0 237098908 27969433600 31848 33554432000 4194304 4196468 140725872694032 139755500105968 139755513677234 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3622] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3622/stat : 3622 (java) S 3617 3617 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 31848 33554432000 4194304 4196468 140725872694032 139755532552848 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3623] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3623/stat : 3623 (java) S 3617 3617 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 31848 33554432000 4194304 4196468 140725872694032 139754950523408 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3624] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3624/stat : 3624 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 31848 33554432000 4194304 4196468 140725872694032 139754949470608 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3625] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3625/stat : 3625 (java) S 3617 3617 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 31848 33554432000 4194304 4196468 140725872694032 139754948417808 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3626] ppid=3617 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/3620/task/3626/stat : 3626 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 31848 33554432000 4194304 4196468 140725872694032 139754947366032 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3627] ppid=3617 vsize=27313900 memory=139997411898287 CPUtime=0 cores=0-7
/proc/3620/task/3627/stat : 3627 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 31848 33554432000 4194304 4196468 140725872694032 139754946313232 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3628] ppid=3617 vsize=27313900 memory=139997411900592 CPUtime=0 cores=0-7
/proc/3620/task/3628/stat : 3628 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 31848 33554432000 4194304 4196468 140725872694032 139754945260432 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3629] ppid=3617 vsize=27313900 memory=139997411902896 CPUtime=0 cores=0-7
/proc/3620/task/3629/stat : 3629 (java) S 3617 3617 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237098911 27969433600 31848 33554432000 4194304 4196468 140725872694032 139754944207632 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3630] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3630/stat : 3630 (java) S 3617 3617 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237098912 27969433600 31848 33554432000 4194304 4196468 140725872694032 139754519660912 139755528321666 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3631] ppid=3617 vsize=27313900 memory=279994823812752 CPUtime=0 cores=0-7
/proc/3620/task/3631/stat : 3631 (java) S 3617 3617 1330 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237098913 27969433600 31848 33554432000 4194304 4196468 140725872694032 139753471075360 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3632] ppid=3617 vsize=27313900 memory=279994823819664 CPUtime=0 cores=0-7
/proc/3620/task/3632/stat : 3632 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237098913 27969433600 31848 33554432000 4194304 4196468 140725872694032 139753202639728 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3633] ppid=3617 vsize=27313900 memory=279994823760944 CPUtime=0 cores=0-7
/proc/3620/task/3633/stat : 3633 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237098915 27969433600 31848 33554432000 4194304 4196468 140725872694032 139752828131152 139755528329115 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3634] ppid=3617 vsize=27313900 memory=279994823833488 CPUtime=0.01 cores=0-7
/proc/3620/task/3634/stat : 3634 (java) S 3617 3617 1330 0 -1 1077944384 393 0 0 0 1 0 0 0 20 0 20 0 237098915 27969433600 31848 33554432000 4194304 4196468 140725872694032 139754518608752 139755528321666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3635] ppid=3617 vsize=27313900 memory=279994823840400 CPUtime=0.01 cores=0-7
/proc/3620/task/3635/stat : 3635 (java) S 3617 3617 1330 0 -1 1077944384 198 0 0 0 1 0 0 0 20 0 20 0 237098915 27969433600 31848 33554432000 4194304 4196468 140725872694032 139754517555952 139755528321666 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3636] ppid=3617 vsize=27313900 memory=279994823838096 CPUtime=0 cores=0-7
/proc/3620/task/3636/stat : 3636 (java) S 3617 3617 1330 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 237098916 27969433600 31848 33554432000 4194304 4196468 140725872694032 139754516503152 139755528321666 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3637] ppid=3617 vsize=27313900 memory=279994823854256 CPUtime=0.07 cores=0-7
/proc/3620/task/3637/stat : 3637 (java) S 3617 3617 1330 0 -1 1077944384 308 0 0 0 7 0 0 0 20 0 20 0 237098916 27969433600 31848 33554432000 4194304 4196468 140725872694032 139754515450352 139755528321666 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3638] ppid=3617 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3638/stat : 3638 (java) S 3617 3617 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237098916 27969433600 31848 33554432000 4194304 4196468 140725872694032 139752330226272 139755528320725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3639] ppid=3617 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/3620/task/3639/stat : 3639 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237098916 27969433600 31848 33554432000 4194304 4196468 140725872694032 139754514397744 139755528321666 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 128788 KiB

[startup+0.701468 s]
/proc/loadavg: 5.56 7.68 6.94 2/205 3639
/proc/meminfo: memFree=23867820/32770624 swapFree=67108852/67108860
[pid=3617] ppid=3614 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3617/stat : 3617 (scop.sh) S 3614 3617 1330 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237098908 115843072 349 33554432000 4194304 5098028 140733056558352 140733056555608 140129323438716 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17162240 140733056562210 140733056562435 140733056562435 140733056565197 0
/proc/3617/statm: 28282 349 296 221 0 87 0
[pid=3620] ppid=3617 vsize=27320172 memory=168948 CPUtime=1.02 cores=0-7
/proc/3620/stat : 3620 (java) S 3617 3617 1330 0 -1 1077944320 17657 0 0 0 96 6 0 0 20 0 20 0 237098908 27975856128 42237 33554432000 4194304 4196468 140725872694032 140725872676576 139755528310519 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
/proc/3620/statm: 6830043 42237 3130 1 0 6791447 0
[pid=3620/tid=3621] ppid=3617 vsize=27320172 memory=279994824212144 CPUtime=0.66 cores=0-7
/proc/3620/task/3621/stat : 3621 (java) R 3617 3617 1330 0 -1 4202560 14808 0 0 0 62 4 0 0 20 0 20 0 237098908 27975856128 42237 33554432000 4194304 4196468 140725872694032 139755500140880 139755033765187 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3622] ppid=3617 vsize=27320172 memory=139997412107120 CPUtime=0 cores=0-7
/proc/3620/task/3622/stat : 3622 (java) S 3617 3617 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237098911 27975856128 42237 33554432000 4194304 4196468 140725872694032 139755532552848 139755528320725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3623] ppid=3617 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/3620/task/3623/stat : 3623 (java) S 3617 3617 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237098911 27975856128 42237 33554432000 4194304 4196468 140725872694032 139754950523408 139755528320725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0
[pid=3620/tid=3624] ppid=3617 vsize=27320172 memory=1912 CPUtime=0 cores=0-7
/proc/3620/task/3624/stat : 3624 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237098911 27975856128 42237 33554432000 4194304 4196468 140725872694032 139754949470608 139755528320725 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38035456 140725872698345 140725872698669 140725872698669 140725872701391 0

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

/proc/3640/task/3652/stat : 3652 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237101055 8615837696 32024 33554432000 4194304 4196468 140732745753936 140355102041456 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3653] ppid=3617 vsize=8413904 memory=3467964702335021152 CPUtime=0 cores=0-7
/proc/3640/task/3653/stat : 3653 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237101057 8615837696 32024 33554432000 4194304 4196468 140732745753936 140354727532880 140356739565467 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3654] ppid=3617 vsize=8413904 memory=1263748 CPUtime=0.11 cores=0-7
/proc/3640/task/3654/stat : 3654 (java) S 3617 3617 1330 0 -1 1077944384 743 0 0 0 11 0 0 0 20 0 24 0 237101057 8615837696 32024 33554432000 4194304 4196468 140732745753936 140355764709744 140356739558018 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3655] ppid=3617 vsize=8413904 memory=1472 CPUtime=0.13 cores=0-7
/proc/3640/task/3655/stat : 3655 (java) S 3617 3617 1330 0 -1 1077944384 587 0 0 0 13 0 0 0 20 0 24 0 237101057 8615837696 32024 33554432000 4194304 4196468 140732745753936 140355763656944 140356739558018 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3656] ppid=3617 vsize=8413904 memory=128096 CPUtime=0.08 cores=0-7
/proc/3640/task/3656/stat : 3656 (java) S 3617 3617 1330 0 -1 1077944384 136 0 0 0 8 0 0 0 20 0 24 0 237101057 8615837696 32024 33554432000 4194304 4196468 140732745753936 140355762604144 140356739558018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3657] ppid=3617 vsize=8413904 memory=1271604 CPUtime=0.24 cores=0-7
/proc/3640/task/3657/stat : 3657 (java) S 3617 3617 1330 0 -1 1077944384 805 0 0 0 24 0 0 0 20 0 24 0 237101057 8615837696 32024 33554432000 4194304 4196468 140732745753936 140355761551344 140356739558018 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3658] ppid=3617 vsize=8413904 memory=279994823606512 CPUtime=0 cores=0-7
/proc/3640/task/3658/stat : 3658 (java) S 3617 3617 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237101057 8615837696 32024 33554432000 4194304 4196468 140732745753936 140354229628000 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3659] ppid=3617 vsize=8413904 memory=7378135787313387882 CPUtime=0.04 cores=0-7
/proc/3640/task/3659/stat : 3659 (java) S 3617 3617 1330 0 -1 1077944384 7 0 0 0 0 4 0 0 20 0 24 0 237101058 8615837696 32024 33554432000 4194304 4196468 140732745753936 140355760499760 140356739558018 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3661] ppid=3617 vsize=8413904 memory=7517468035769787242 CPUtime=0 cores=0-7
/proc/3640/task/3661/stat : 3661 (java) S 3617 3617 1330 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237101130 8615837696 32024 33554432000 4194304 4196468 140732745753936 140355752691264 140356739571481 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3663] ppid=3617 vsize=8413904 memory=14916 CPUtime=0.02 cores=0-7
/proc/3640/task/3663/stat : 3663 (java) S 3617 3617 1330 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 24 0 237101131 8615837696 32024 33554432000 4194304 4196468 140732745753936 140353558527696 140356739568797 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3664] ppid=3617 vsize=8413904 memory=8315171486948655189 CPUtime=0 cores=0-7
/proc/3640/task/3664/stat : 3664 (java) S 3617 3617 1330 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 237101131 8615837696 32024 33554432000 4194304 4196468 140732745753936 140353826962992 140356739568797 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3665] ppid=3617 vsize=8413904 memory=18437 CPUtime=0 cores=0-7
/proc/3640/task/3665/stat : 3665 (java) S 3617 3617 1330 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 237101133 8615837696 32024 33554432000 4194304 4196468 140732745753936 140353290099744 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
Current children cumulated CPU time: 725.65 s
Current children cumulated vsize: 10415620 KiB
Current children cumulated memory: 1401116 KiB

[startup+112.401 s]
/proc/loadavg: 8.27 7.74 7.03 9/217 3673
/proc/meminfo: memFree=22557244/32770624 swapFree=67108852/67108860
[pid=3617] ppid=3614 vsize=113128 memory=1472 CPUtime=44.81 cores=0-7
/proc/3617/stat : 3617 (scop.sh) S 3614 3617 1330 0 -1 4202496 590 54246 0 0 0 0 4261 220 20 0 1 0 237098908 115843072 368 33554432000 4194304 5098028 140733056558352 140733056555096 140129323438716 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17162240 140733056562210 140733056562435 140733056562435 140733056565197 0
/proc/3617/statm: 28282 368 311 221 0 87 0
[pid=3640] ppid=3617 vsize=8413904 memory=128096 CPUtime=1.48 cores=0-7
/proc/3640/stat : 3640 (java) S 3617 3617 1330 0 -1 1077944320 18770 0 0 0 138 10 0 0 20 0 24 0 237101051 8615837696 32024 33554432000 4194304 4196468 140732745753936 140732745736480 140356739546871 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
/proc/3640/statm: 2103476 32024 3146 1 0 2064875 0
[pid=3660] ppid=3640 vsize=1888884 memory=1278040 CPUtime=682.48 cores=0-7
/proc/3660/stat : 3660 (glucose-syrup) S 3640 3617 1330 0 -1 1077944320 1959425 0 0 0 67831 417 0 0 20 0 9 0 237101130 1934217216 319510 33554432000 4194304 4373367 140729659136416 140729659134960 140365430688386 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6470912 6472264 11218944 140729659143249 140729659143380 140729659143380 140729659146183 0
/proc/3660/statm: 472221 319510 387 44 0 467909 0
[pid=3660/tid=3666] ppid=3640 vsize=1888884 memory=6944656592387989600 CPUtime=84.92 cores=0-7
/proc/3660/task/3666/stat : 3666 (glucose-syrup) R 3640 3617 1330 0 -1 4202560 219871 0 0 0 8443 49 0 0 20 0 9 0 237101645 1934217216 319510 33554432000 4194304 4373367 140729659136416 140365382630768 4271641 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 11218944 140729659143249 140729659143380 140729659143380 140729659146183 0
[pid=3660/tid=3667] ppid=3640 vsize=1888884 memory=6944656592387989600 CPUtime=84.89 cores=0-7
/proc/3660/task/3667/stat : 3667 (glucose-syrup) R 3640 3617 1330 0 -1 4202560 225807 0 0 0 8436 53 0 0 20 0 9 0 237101645 1934217216 319510 33554432000 4194304 4373367 140729659136416 140365374237480 4271808 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 11218944 140729659143249 140729659143380 140729659143380 140729659146183 0
[pid=3660/tid=3668] ppid=3640 vsize=1888884 memory=6872598998417432672 CPUtime=84.94 cores=0-7
/proc/3660/task/3668/stat : 3668 (glucose-syrup) R 3640 3617 1330 0 -1 4202560 228259 0 0 0 8440 54 0 0 20 0 9 0 237101645 1934217216 319510 33554432000 4194304 4373367 140729659136416 140365365845360 4271925 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 11218944 140729659143249 140729659143380 140729659143380 140729659146183 0
[pid=3660/tid=3669] ppid=3640 vsize=1888884 memory=-7816663703405220396 CPUtime=84.56 cores=0-7
/proc/3660/task/3669/stat : 3669 (glucose-syrup) R 3640 3617 1330 0 -1 4202560 227000 0 0 0 8415 41 0 0 20 0 9 0 237101645 1934217216 319510 33554432000 4194304 4373367 140729659136416 140364934855560 4271944 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 11218944 140729659143249 140729659143380 140729659143380 140729659146183 0
[pid=3660/tid=3670] ppid=3640 vsize=1888884 memory=6944656592387989600 CPUtime=84.93 cores=0-7
/proc/3660/task/3670/stat : 3670 (glucose-syrup) R 3640 3617 1330 0 -1 4202560 215556 0 0 0 8444 49 0 0 20 0 9 0 237101645 1934217216 319510 33554432000 4194304 4373367 140729659136416 140364926463344 4271828 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 11218944 140729659143249 140729659143380 140729659143380 140729659146183 0
[pid=3660/tid=3671] ppid=3640 vsize=1888884 memory=6943526294502006880 CPUtime=83.78 cores=0-7
/proc/3660/task/3671/stat : 3671 (glucose-syrup) R 3640 3617 1330 0 -1 4202560 215050 0 0 0 8344 34 0 0 20 0 9 0 237101645 1934217216 319510 33554432000 4194304 4373367 140729659136416 140364918070640 4271925 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 11218944 140729659143249 140729659143380 140729659143380 140729659146183 0
[pid=3660/tid=3672] ppid=3640 vsize=1888884 memory=6872598998417432672 CPUtime=84.87 cores=0-7
/proc/3660/task/3672/stat : 3672 (glucose-syrup) R 3640 3617 1330 0 -1 4202560 203435 0 0 0 8423 64 0 0 20 0 9 0 237101645 1934217216 319510 33554432000 4194304 4373367 140729659136416 140364909677448 4272341 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 11218944 140729659143249 140729659143380 140729659143380 140729659146183 0
[pid=3660/tid=3673] ppid=3640 vsize=1888884 memory=6656426216303648864 CPUtime=84.38 cores=0-7
/proc/3660/task/3673/stat : 3673 (glucose-syrup) R 3640 3617 1330 0 -1 4202560 196595 0 0 0 8402 36 0 0 20 0 9 0 237101645 1934217216 319510 33554432000 4194304 4373367 140729659136416 140364832828560 4271619 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 11218944 140729659143249 140729659143380 140729659143380 140729659146183 0
[pid=3640/tid=3641] ppid=3617 vsize=8413904 memory=7309167735352552301 CPUtime=0.81 cores=0-7
/proc/3640/task/3641/stat : 3641 (java) S 3617 3617 1330 0 -1 1077944384 15080 0 0 0 73 8 0 0 20 0 24 0 237101051 8615837696 32024 33554432000 4194304 4196468 140732745753936 140356711387024 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3642] ppid=3617 vsize=8413904 memory=7309167735352552301 CPUtime=0 cores=0-7
/proc/3640/task/3642/stat : 3642 (java) S 3617 3617 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237101052 8615837696 32024 33554432000 4194304 4196468 140732745753936 140356743789712 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3643] ppid=3617 vsize=8413904 memory=8039887049847963814 CPUtime=0 cores=0-7
/proc/3640/task/3643/stat : 3643 (java) S 3617 3617 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237101052 8615837696 32024 33554432000 4194304 4196468 140732745753936 140356543958032 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3644] ppid=3617 vsize=8413904 memory=603327791113398043 CPUtime=0 cores=0-7
/proc/3640/task/3644/stat : 3644 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237101052 8615837696 32024 33554432000 4194304 4196468 140732745753936 140356542905232 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3645] ppid=3617 vsize=8413904 memory=14475 CPUtime=0 cores=0-7
/proc/3640/task/3645/stat : 3645 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237101052 8615837696 32024 33554432000 4194304 4196468 140732745753936 140356541852432 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3646] ppid=3617 vsize=8413904 memory=301794141380238764 CPUtime=0 cores=0-7
/proc/3640/task/3646/stat : 3646 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237101052 8615837696 32024 33554432000 4194304 4196468 140732745753936 140356540799632 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3647] ppid=3617 vsize=8413904 memory=7307747282427079268 CPUtime=0 cores=0-7
/proc/3640/task/3647/stat : 3647 (java) S 3617 3617 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237101052 8615837696 32024 33554432000 4194304 4196468 140732745753936 140356539746832 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3648] ppid=3617 vsize=8413904 memory=8028631073110250065 CPUtime=0 cores=0-7
/proc/3640/task/3648/stat : 3648 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237101052 8615837696 32024 33554432000 4194304 4196468 140732745753936 140356538694032 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3649] ppid=3617 vsize=8413904 memory=7738965847152487785 CPUtime=0 cores=0-7
/proc/3640/task/3649/stat : 3649 (java) S 3617 3617 1330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237101053 8615837696 32024 33554432000 4194304 4196468 140732745753936 140356537641232 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3650] ppid=3617 vsize=8413904 memory=5931348737947488336 CPUtime=0 cores=0-7
/proc/3640/task/3650/stat : 3650 (java) S 3617 3617 1330 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 24 0 237101054 8615837696 32024 33554432000 4194304 4196468 140732745753936 140355765762928 140356739558018 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3651] ppid=3617 vsize=8413904 memory=279994825503104 CPUtime=0 cores=0-7
/proc/3640/task/3651/stat : 3651 (java) S 3617 3617 1330 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 237101054 8615837696 32024 33554432000 4194304 4196468 140732745753936 140355370477088 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3652] ppid=3617 vsize=8413904 memory=-6078019831954980807 CPUtime=0 cores=0-7
/proc/3640/task/3652/stat : 3652 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237101055 8615837696 32024 33554432000 4194304 4196468 140732745753936 140355102041456 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3653] ppid=3617 vsize=8413904 memory=-8895323862916359527 CPUtime=0 cores=0-7
/proc/3640/task/3653/stat : 3653 (java) S 3617 3617 1330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237101057 8615837696 32024 33554432000 4194304 4196468 140732745753936 140354727532880 140356739565467 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3654] ppid=3617 vsize=8413904 memory=4211032169800561539 CPUtime=0.11 cores=0-7
/proc/3640/task/3654/stat : 3654 (java) S 3617 3617 1330 0 -1 1077944384 743 0 0 0 11 0 0 0 20 0 24 0 237101057 8615837696 32024 33554432000 4194304 4196468 140732745753936 140355764709744 140356739558018 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3655] ppid=3617 vsize=8413904 memory=0 CPUtime=0.13 cores=0-7
/proc/3640/task/3655/stat : 3655 (java) S 3617 3617 1330 0 -1 1077944384 587 0 0 0 13 0 0 0 20 0 24 0 237101057 8615837696 32024 33554432000 4194304 4196468 140732745753936 140355763656944 140356739558018 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3656] ppid=3617 vsize=8413904 memory=7151829807201800272 CPUtime=0.08 cores=0-7
/proc/3640/task/3656/stat : 3656 (java) S 3617 3617 1330 0 -1 1077944384 136 0 0 0 8 0 0 0 20 0 24 0 237101057 8615837696 32024 33554432000 4194304 4196468 140732745753936 140355762604144 140356739558018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3657] ppid=3617 vsize=8413904 memory=288230574492221466 CPUtime=0.24 cores=0-7
/proc/3640/task/3657/stat : 3657 (java) S 3617 3617 1330 0 -1 1077944384 805 0 0 0 24 0 0 0 20 0 24 0 237101057 8615837696 32024 33554432000 4194304 4196468 140732745753936 140355761551344 140356739558018 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3658] ppid=3617 vsize=8413904 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/3640/task/3658/stat : 3658 (java) S 3617 3617 1330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237101057 8615837696 32024 33554432000 4194304 4196468 140732745753936 140354229628000 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3659] ppid=3617 vsize=8413904 memory=16097065801352663 CPUtime=0.04 cores=0-7
/proc/3640/task/3659/stat : 3659 (java) S 3617 3617 1330 0 -1 1077944384 7 0 0 0 0 4 0 0 20 0 24 0 237101058 8615837696 32024 33554432000 4194304 4196468 140732745753936 140355760499760 140356739558018 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3661] ppid=3617 vsize=8413904 memory=3536 CPUtime=0 cores=0-7
/proc/3640/task/3661/stat : 3661 (java) S 3617 3617 1330 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237101130 8615837696 32024 33554432000 4194304 4196468 140732745753936 140355752691264 140356739571481 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3663] ppid=3617 vsize=8413904 memory=1472 CPUtime=0.02 cores=0-7
/proc/3640/task/3663/stat : 3663 (java) S 3617 3617 1330 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 24 0 237101131 8615837696 32024 33554432000 4194304 4196468 140732745753936 140353558527696 140356739568797 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3664] ppid=3617 vsize=8413904 memory=128096 CPUtime=0 cores=0-7
/proc/3640/task/3664/stat : 3664 (java) S 3617 3617 1330 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 237101131 8615837696 32024 33554432000 4194304 4196468 140732745753936 140353826962992 140356739568797 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3665] ppid=3617 vsize=8413904 memory=1253696 CPUtime=0 cores=0-7
/proc/3640/task/3665/stat : 3665 (java) S 3617 3617 1330 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 237101133 8615837696 32024 33554432000 4194304 4196468 140732745753936 140353290099744 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
Current children cumulated CPU time: 728.77 s
Current children cumulated vsize: 10415916 KiB
Current children cumulated memory: 1407608 KiB

[startup+112.801 s]
/proc/loadavg: 8.27 7.74 7.03 9/217 3673
/proc/meminfo: memFree=22557244/32770624 swapFree=67108852/67108860
[pid=3617] ppid=3614 vsize=113128 memory=1472 CPUtime=44.81 cores=0-7
/proc/3617/stat : 3617 (scop.sh) S 3614 3617 1330 0 -1 4202496 590 54246 0 0 0 0 4261 220 20 0 1 0 237098908 115843072 368 33554432000 4194304 5098028 140733056558352 140733056555096 140129323438716 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17162240 140733056562210 140733056562435 140733056562435 140733056565197 0
/proc/3617/statm: 28282 368 311 221 0 87 0
[pid=3640] ppid=3617 vsize=8282828 memory=154816 CPUtime=685.95 cores=0-7
/proc/3640/stat : 3640 (java) S 3617 3617 1330 0 -1 1077944320 19787 1959770 0 0 183 11 67975 426 20 0 22 0 237101051 8481615872 38704 33554432000 4194304 4196468 140732745753936 140732745736480 140356739546871 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
/proc/3640/statm: 2070707 38704 3177 1 0 2032106 0
[pid=3640/tid=3641] ppid=3617 vsize=8282828 memory=8112282956445269571 CPUtime=684.92 cores=0-7
/proc/3640/task/3641/stat : 3641 (java) R 3617 3617 1330 0 -1 4202560 15304 1959770 0 0 83 8 67975 426 20 0 22 0 237101051 8481615872 38704 33554432000 4194304 4196468 140732745753936 140356711384080 140356739558806 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3642] ppid=3617 vsize=8282828 memory=0 CPUtime=684.01 cores=0-7
/proc/3640/task/3642/stat : 3642 (java) S 3617 3617 1330 0 -1 1077944384 2 1959770 0 0 0 0 67975 426 20 0 22 0 237101052 8481615872 38704 33554432000 4194304 4196468 140732745753936 140356743789712 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3643] ppid=3617 vsize=8282828 memory=1472 CPUtime=684.01 cores=0-7
/proc/3640/task/3643/stat : 3643 (java) S 3617 3617 1330 0 -1 1077944384 2 1959770 0 0 0 0 67975 426 20 0 22 0 237101052 8481615872 38704 33554432000 4194304 4196468 140732745753936 140356543958032 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3644] ppid=3617 vsize=8282828 memory=128096 CPUtime=684.01 cores=0-7
/proc/3640/task/3644/stat : 3644 (java) S 3617 3617 1330 0 -1 1077944384 1 1959770 0 0 0 0 67975 426 20 0 22 0 237101052 8481615872 38704 33554432000 4194304 4196468 140732745753936 140356542905232 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3645] ppid=3617 vsize=8282828 memory=1472 CPUtime=684.01 cores=0-7
/proc/3640/task/3645/stat : 3645 (java) S 3617 3617 1330 0 -1 1077944384 1 1959770 0 0 0 0 67975 426 20 0 22 0 237101052 8481615872 38704 33554432000 4194304 4196468 140732745753936 140356541852432 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3646] ppid=3617 vsize=8282828 memory=128096 CPUtime=684.01 cores=0-7
/proc/3640/task/3646/stat : 3646 (java) S 3617 3617 1330 0 -1 1077944384 1 1959770 0 0 0 0 67975 426 20 0 22 0 237101052 8481615872 38704 33554432000 4194304 4196468 140732745753936 140356540799632 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3647] ppid=3617 vsize=8282828 memory=1271880 CPUtime=684.01 cores=0-7
/proc/3640/task/3647/stat : 3647 (java) S 3617 3617 1330 0 -1 1077944384 2 1959770 0 0 0 0 67975 426 20 0 22 0 237101052 8481615872 38704 33554432000 4194304 4196468 140732745753936 140356539746832 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3648] ppid=3617 vsize=8282828 memory=7380 CPUtime=684.01 cores=0-7
/proc/3640/task/3648/stat : 3648 (java) S 3617 3617 1330 0 -1 1077944384 1 1959770 0 0 0 0 67975 426 20 0 22 0 237101052 8481615872 38704 33554432000 4194304 4196468 140732745753936 140356538694032 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3649] ppid=3617 vsize=8282828 memory=804 CPUtime=684.01 cores=0-7
/proc/3640/task/3649/stat : 3649 (java) S 3617 3617 1330 0 -1 1077944384 2 1959770 0 0 0 0 67975 426 20 0 22 0 237101053 8481615872 38704 33554432000 4194304 4196468 140732745753936 140356537641232 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3650] ppid=3617 vsize=8282828 memory=1408 CPUtime=684.01 cores=0-7
/proc/3640/task/3650/stat : 3650 (java) S 3617 3617 1330 0 -1 1077944384 11 1959770 0 0 0 0 67975 426 20 0 22 0 237101054 8481615872 38704 33554432000 4194304 4196468 140732745753936 140355765762928 140356739558018 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3651] ppid=3617 vsize=8282828 memory=8039887049847963814 CPUtime=684.01 cores=0-7
/proc/3640/task/3651/stat : 3651 (java) S 3617 3617 1330 0 -1 1077944384 13 1959770 0 0 0 0 67975 426 20 0 22 0 237101054 8481615872 38704 33554432000 4194304 4196468 140732745753936 140355370477088 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3652] ppid=3617 vsize=8282828 memory=1279996 CPUtime=684.01 cores=0-7
/proc/3640/task/3652/stat : 3652 (java) S 3617 3617 1330 0 -1 1077944384 1 1959770 0 0 0 0 67975 426 20 0 22 0 237101055 8481615872 38704 33554432000 4194304 4196468 140732745753936 140355102041456 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3653] ppid=3617 vsize=8282828 memory=1265820 CPUtime=684.01 cores=0-7
/proc/3640/task/3653/stat : 3653 (java) S 3617 3617 1330 0 -1 1077944384 1 1959770 0 0 0 0 67975 426 20 0 22 0 237101057 8481615872 38704 33554432000 4194304 4196468 140732745753936 140354727532880 140356739565467 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3654] ppid=3617 vsize=8282828 memory=279994825591072 CPUtime=684.18 cores=0-7
/proc/3640/task/3654/stat : 3654 (java) S 3617 3617 1330 0 -1 1077944384 774 1959770 0 0 17 0 67975 426 20 0 22 0 237101057 8481615872 38704 33554432000 4194304 4196468 140732745753936 140355764709744 140356739558018 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3655] ppid=3617 vsize=8282828 memory=6944656592455360604 CPUtime=684.2 cores=0-7
/proc/3640/task/3655/stat : 3655 (java) S 3617 3617 1330 0 -1 1077944384 713 1959770 0 0 19 0 67975 426 20 0 22 0 237101057 8481615872 38704 33554432000 4194304 4196468 140732745753936 140355763656944 140356739558018 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3656] ppid=3617 vsize=8282828 memory=417 CPUtime=684.14 cores=0-7
/proc/3640/task/3656/stat : 3656 (java) R 3617 3617 1330 0 -1 4202560 255 1959770 0 0 13 0 67975 426 20 0 22 0 237101057 8481615872 38704 33554432000 4194304 4196468 140732745753936 140355762593136 140356719390438 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3657] ppid=3617 vsize=8282828 memory=6944656592387989600 CPUtime=684.34 cores=0-7
/proc/3640/task/3657/stat : 3657 (java) S 3617 3617 1330 0 -1 1077944384 1263 1959770 0 0 33 0 67975 426 20 0 22 0 237101057 8481615872 38704 33554432000 4194304 4196468 140732745753936 140355761551344 140356739558018 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3658] ppid=3617 vsize=8282828 memory=1472 CPUtime=684.01 cores=0-7
/proc/3640/task/3658/stat : 3658 (java) S 3617 3617 1330 0 -1 1077944384 3 1959770 0 0 0 0 67975 426 20 0 22 0 237101057 8481615872 38704 33554432000 4194304 4196468 140732745753936 140354229628000 140356739557077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3659] ppid=3617 vsize=8282828 memory=128096 CPUtime=684.05 cores=0-7
/proc/3640/task/3659/stat : 3659 (java) S 3617 3617 1330 0 -1 1077944384 7 1959770 0 0 0 4 67975 426 20 0 22 0 237101058 8481615872 38704 33554432000 4194304 4196468 140732745753936 140355760499760 140356739558018 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3661] ppid=3617 vsize=8282828 memory=1271504 CPUtime=684.01 cores=0-7
/proc/3640/task/3661/stat : 3661 (java) S 3617 3617 1330 0 -1 1077944384 24 1959770 0 0 0 0 67975 426 20 0 22 0 237101130 8481615872 38704 33554432000 4194304 4196468 140732745753936 140355752690448 140356739558018 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
[pid=3640/tid=3665] ppid=3617 vsize=8282828 memory=2056 CPUtime=684.01 cores=0-7
/proc/3640/task/3665/stat : 3665 (java) S 3617 3617 1330 0 -1 1077944384 11 1959770 0 0 0 0 67975 426 20 0 22 0 237101133 8481615872 38704 33554432000 4194304 4196468 140732745753936 140353290101552 140356739558018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21553152 140732745761970 140732745762093 140732745762093 140732745764815 0
Current children cumulated CPU time: 730.76 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 156288 KiB

Child status: 0
Real time (s): 112.844
CPU time (s): 730.892
CPU user time (s): 724.281
CPU system time (s): 6.6101
CPU usage (%): 647.702
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 6179380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 724.281
system time used= 6.6101
maximum resident set size= 6178804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2034845
page faults= 0
swaps= 0
block input operations= 0
block output operations= 126984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87957
involuntary context switches= 8049


# summary of solver processes directly reported to runsolver:
#   pid: 3617
#   total CPU time (s): 730.892
#   total CPU user time (s): 724.281
#   total CPU system time (s): 6.6101

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.03913 second user time and 1.52174 second system time

The end

Launcher Data 

Begin job on node133 at 2018-08-13 23:22:38
IDJOB=4307092
IDBENCH=141449
IDSOLVER=2788
FILE ID=node133/4307092-1534195357
RUNJOBID= node133-1534187664-1357
PBS_JOBID= 21037986
Free space on /tmp= 38972 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/CarSequencing/CarSequencing-85-02_c18.xml
COMMAND LINE= scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307092-1534195357/watcher-4307092-1534195357 -o /tmp/evaluation-result-4307092-1534195357/solver-4307092-1534195357 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1534187664-1357 --watchdog 2580  scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307092-1534195357.xml

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

MD5SUM BENCH= 8bc781233594bd95127afade52cac536
RANDOM SEED=699438153

node133.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.24
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.24
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.24
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.24
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:        24009580 kB
MemAvailable:   31900824 kB
Buffers:           92680 kB
Cached:          8027932 kB
SwapCached:            4 kB
Active:          4085556 kB
Inactive:        4089704 kB
Active(anon):       3612 kB
Inactive(anon):   103864 kB
Active(file):    4081944 kB
Inactive(file):  3985840 kB
Unevictable:        7068 kB
Mlocked:            7068 kB
SwapTotal:      67108860 kB
SwapFree:       67108852 kB
Dirty:              8796 kB
Writeback:             0 kB
AnonPages:        169984 kB
Mapped:            54376 kB
Shmem:             49816 kB
Slab:             280252 kB
SReclaimable:     251920 kB
SUnreclaim:        28332 kB
KernelStack:        3728 kB
PageTables:         5272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     351520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 38964 MiB
End job on node133 at 2018-08-13 23:24:30